Sites Inria

English version

Equipe de recherche SERENA

Simulation for the Environment: Reliable and Efficient Numerical Algorithms

Présentation de l'équipe

L'équipe projet SERENA s'intéresse aux méthodes numériques pour les problèmes environnementaux. Ses sujets principaux sont la conception et l'analyse de modèles basés sur des équations aux dérivées partielles, l'étude de leur approximation numérique précise et efficace et leur implémentation dans le cadre d'une programmation sûre et correcte. Nous nous intéressons particulièrement à la fiabilité de l'intégralité de la procédure de simulation numérique et à l'efficacité par rapport aux ressources informatiques. Les applications concernent l'impact des activités humaines sur l'environnement, la protection de celui-ci, et l'usage durable des ressources. Ces travaux sont réalisés avec des partenaires industriels et des collaborateurs académiques.

Axes de recherche

  • Point de vue applicatif
    • Écoulements multiphasiques et transport de contaminants dans le sous-sol
    • Production d'énergie, usage durable des ressources
  • Point de vue mathématique
    • Méthodes d'éléments finis, de volumes finis, d'éléments finis mixtes et de Galerkin discontinu
    • Schémas compatibles, maillages quelconques
    • Décomposition de domaines et couplage de modèles
    • Estimations d'erreur a posteriori, adaptivité
    • Programmation fonctionnelle et preuves formelles pour le calcul scientifique

Relations industrielles et internationales

  • Agence nationale pour la gestion des déchets radioactifs (ANDRA), Commissariat à l'énergie atomique (CEA), Électricité de France (EdF), IFP Énergies nouvelles.
  • École nationale d'ingénieurs de Tunisie (LAMSIN, LMHE), Politecnico di Milano (MOX), Technical University Munich, Texas A&M University, Université Charles à Prague, Université du Texas à Austin (Center for Subsurface Modeling), University College London.

Mots-clés : Écoulements multiphasiques de Darcy Écoulement de Navier–Stokes Milieu poreux Production d'énergie Couplages multi-physiques Schémas compatibles Géométrie Décomposition de domaine Estimations d'erreur a posteriori Adaptivité Fiabilité Efficacité Calcul parallèle Programmation fonctionnelle sûre et correcte Preuves de programmes

Suivez Inria tout au long de son 50e anniversaire et au-delà !