Groupement National de Recherches MoMaS

Mod elisations math ematiques et simulations num eriques li ees aux probl` emes de gestion des d echets nucl eaires

Rapport scientique 2009

Th` eme A : Ecoulements multiphasiques

1. Ecoulements multiphasiques, transport et r eactions chimiques en milieu complexe (UPMC-Sisyphe et LCD Poitiers), resp. P. Adler Les travaux ont et e men es dans trois directions : L ecriture et limpl ementation dalgorithmes bas es sur la m ethode de Boltzmann pour les ecoulements a ` une et deux phases. Le programme simple phase donne des r esultats relativement pr ecis, mais sav` ere inecace par rapport aux codes bas es sur la m ethode de volumes nis. Le programme double phase donne lui aussi des r esultats satisfaisants, mais rencontre des dicult es lorsque les deux uides ont des densit es contrast ees. Les deux codes sont parall elis es sous OpenMP. Applications a ` des ecoulements double phase dans des milieux mod` eles. Le code a et e utilis e pour evaluer des perm eabilit es relatives et pour simuler linjection de gaz dans un milieu initialement satur e deau. Propri et es m ecaniques de milieux poreux mod` eles avec deux phases compressibles. La m ethode de calcul est bas ee sur la discr etisation du milieu par une m ethode de ressorts lin eaires et angulaires. Cette m ethode a et e utilis ee pour simuler la propagation dondes et a fourni des r esultats en bon accord avec des pr edictions th eoriques pour un milieu homog` ene. 2. Mod elisation et simulation num erique de la migration de gaz (Univ Pau, UCB Lyon et LEMTA Nancy), resp. B. Amaziane articles parus ou accept es [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], articles soumis [64, 65], th` eses [98, 109] Lobjectif principal a et e lobtention de mod` eles math ematiques et physiques pour la simulation des ecoulements diphasiques (liquide, gaz) a ` deux composants (eau, H2) en milieu poreux, adapt es aux sp ecicit es du stockage de d echets nucl eaires. Des r esultats ont et e obtenus dans trois directions principales : lutilisation de variables ad equates permettant de mod eliser et simuler lapparition/disparition de phase : concentration/pression (UCBLyon), saturation etendue/pression (LEMTA Nancy) ; le d eveloppement math ematique et num erique dun mod` ele utilisant une pression globale pour les ecoulements diphasiques immiscibles et compressibles. Lapproche num erique repose sur une m ethode totalement implicite en temps et une m ethode de volumes nis centr es par sommet en espace ; la d erivation dun mod` ele homog en eis e pour traiter le cas test Couplex-Gaz 1 propos e par lANDRA. La zone des colis est remplac ee par un milieu equivalent, le reste de la zone ouvrag ee et le milieu naturel demeurant inchang es. Les r esultats sont tr` es bons, en d epit du nombre relativement limit e de colis dans la zone a ` homog en eiser ; voir la gure 1. Signalons egalement la mise au point par l equipe de lUCBLyon dune banque de cas tests (benchmark) pour la simulation des ecoulements multiphasiques, voir http ://www.gdrmomas.org/ex qualifications.html

Cette th ematique (resp. A. Bourgeat) regroupe 4 projets.

6 pg1.txt pg2.txt 5

0.9 0.8 0.7 sg1.txt sg2.txt

4 3

0.6 0.5 0.4

2 1

0.3 0.2 0.1

0 0 5.6 5.4 5.2 5 4.8 4.6 4.4 4.2 4 3.8 3.6 3.4 0 1 2 3 4 5 6 7 pl1.txt pl2.txt 1 2 3 4 5 6 7

0 0 1 2 3 4 5 6 7

Fig. 1 Simulation de lexercice Couplex-Gaz propos e par lANDRA par le mod` ele Concentration/Pression (UCBLyon) ; comparaison entre une description d etaill ee et une approche homog en eis ee o` u la zone centrale des colis est remplac ee par un milieu equivalent ; en haut a ` gauche : pression du gaz, en haut a ` droite : saturation du gaz, en bas a ` gauche : pression du liquide, en bas a ` droite : probl` eme d etaill e Ces cas tests sont cibl es sur des dicult es sp eciques : apparition et disparition de phases ; conditions initiales hors equilibre ; milieu fortement h et erog` ene avec deux types de roches. 3. M ethodes math ematiques et num eriques pour les ecoulements diphasiques avec dissolution (Paris-Sud, Univ Aix Marseille, UMLV), resp. D. Hilhorst articles parus ou accept es [11, 12, 13, 14, 15, 16, 17], articles soumis [66, 67, 68, 69, 70], th` eses [100, 102] Les travaux se d eclinent selon trois axes. M ethodes de volumes nis centr es par maille. Pour les probl` emes de diusion et les equations paraboliques d eg en er ees, les r esultats portent sur lanalyse math ematique de la convergence du sch ema. Le sch ema SUSHI a egalement et e etendu au cas des ecoulements diphasiques et une impl ementation a et e r ealis ee en lien avec EdF dans Code Aster. Certains des cas tests du benchmark propos e par l equipe de lUCBLyon ont d ej` a et e pass es (injection dhydrog` ene dans un milieu homog` ene satur e, r e equilibrage capillaire dans un milieu h et erog` ene constitu e de deux mat eriaux). Limite singuli` ere dun mod` ele diphasique immiscible. On consid` ere la limite singuli` ere dun probl` eme d ecoulement diphasique immiscible en milieu poreux lorsque la viscosit e de lair tend vers z ero. On obtient un probl` eme limite qui a la forme dun probl` eme de Richards g en eralis e. Des simulations 1D compl` etent l etude. Le cas des pressions capillaires discontinues. Il sagit danalyser des ecoulements diphasiques avec des pressions capillaires discontinues li ees aux changements abrupts de g eologie. On a montr e que le prol de saturation limite pour des pressons capillaires ne d ependant que de la roche et non plus de la saturation converge vers la solution entropique dune loi de conservation scalaire

avec ux discontinu ou vers une solution avec un choc non classique a ` linterface. 4. Simulation num erique de transfert dhydrog` ene (EC Nantes, Univ Toulon et Univ Nantes), resp. M. Saad articles parus ou accept es [18, 19, 20], articles soumis [71, 72], th` eses [105, 108] Les travaux se d eclinent selon deux axes. Lanalyse math ematique et num erique de mod` eles d ecoulements diphasiques immiscibles et compressibles. De nouvelles estimations d energie ont et e obtenues an d etablir lexistence de solutions. La pression globale nest pas n ecessaire pour formuler le probl` eme mais est utile an dobtenir un r esultat de compacit e. Cette analyse math ematique a conduit naturellement a ` la formulation dun sch ema de volumes nis (en dimensions 2 et 3), lid ee etant de conserver au niveau du sch ema num erique les estimations d energie sur les solutions discr` etes. Lapproche utilise la notion de maillages admissibles et le d ecentrement amont des mobilit es aux interfaces selon le gradient de la pression globale. Un point important est dapprocher la densit e aux interfaces en utilisant les pressions sur les deux mailles voisines. Le d eveloppement de mod` eles num eriques dans la perspective du benchmark Couplex-Gaz 2 propos e par lANDRA. Le mod` ele consid er e exprime la conservation de la masse de chaque constituant et est ferm e par les lois de Dalton et Henry. Les impl ementations se font en lien avec le CEA dans le logiciel MPCube.

Th` eme B : Mod` eles et couplages

1. Simulation thermo-hydro-m ecanique de lEDZ : m ethodes r egularis ees et repr esentation discr` ete (L3S-R Grenoble, Lamsid, Institut dAlembert/UPMC), resp. R. Chambon articles parus ou accept es [21, 22], articles soumis [73] Les acteurs scientiques ont d evelopp e, dans le cadre du mod` ele a ` micro-dilatation, une m ethode qui permet de suivre plusieurs solutions et de comparer les solutions notamment en terme d etendue de lEDZ et de perm eabilit e equivalente. Linterpr etation des calculs r egularis es en terme dextension de lEDZ a et e achev ee. Par ailleurs, le travail sur le contr ole de la largeur de la zone localis ee dans l etat compl` etement endommag e et sur la mod elisation dune ssure discr` ete en hydrom ecanique est bien avanc e ; ce travail va etre poursuivi dans les ann ees a ` venir. Le troisi` eme sujet concernait lintroduction dun passage consistant dune zone localis ee a ` une interface dans le cadre des milieux de second gradient. Un travail pr eliminaire a et e fait en dimension un. Des dicult es impr evues ayant surgi en cours d etude, le travail en dimension deux est encore en cours de validation. Enn, le quatri` eme sujet portait sur le probl` eme de la non-unicit e des solutions pour les probl` emes consid er es. Les m ethodes de r egularisation des mod` eles dendommagement ne suppriment pas la multiplicit e des solutions, ce qui est coh erent avec la physique. Des travaux r ecents men es sur un cas analytique et avec un mod` ele dendommagement tr` es simple montrent quune innit e de solutions peuvent appara tre, et quen utilisant la d eriv ee seconde de l energie, on peut trouver un crit` ere dunicit e et un crit` ere de stabilit e. Ces travaux sont pris en compte par EDF dans Code ASTER. 2. Homog en eisation du terme source : d enition et validation de cas test (Univ Lyon 1), resp. O. Gipouloux articles parus ou accept es [23, 24], th` ese [109] Les travaux sinscrivent au sein du projet int egr e Europ een PAMINA FP6-036404 avec deux partenaires du Groupement, lIRSN (Ch. Serres et G. Mathieu) et le CEA (A. Genty) ; citons en particulier le livrable [97]. Lobjectif etait de mettre au point des cas tests an d evaluer linuence

Cette th ematique (resp. A. Mikeli c) regroupe 5 projets.

du changement d echelle sur le terme source pour la simulation du rel achement de radionucl eides dun stockage de d echets. La g eom etrie g en erale des cas tests se compose dalv eoles de stockage connect ees par une galerie dacc` es. Les r esultats des calculs eectu es par le CEA et lIRSN ont et e compar es a ` ceux eectu es pour le probl` eme homog en eis e dans deux cas, lun pour un comportement faiblement convectif dans les galeries et lautre pour un r egime beaucoup plus convectif. La solution num erique du probl` eme homog en eis ea et e obtenue par une approche bas ee sur une formulation EFMH avec d ecomposition de domaine en deux et trois dimensions despace. 3. Interfaces evolutives ` a la petite echelle : application au gonement des g eomat eriaux (LMSGC/Institut Navier, Champs/Marne), resp. E. Lemarchand Les mat eriaux argileux (argilites, schistes argileux) et les mat eriaux a ` matrice cimentaire (b eton, mortier) constituent deux classes de g eomat eriaux directement impliqu es dans la probl ematique du stockage des d echets radioactifs. Ces mat eriaux ont la particularit e dexhiber des h et erog en eit es a ` plusieurs echelles despace. Le projet sest concentr e sur lanalyse des interfaces solide/uide(s) et uide(s)/uide(s) evolutives sous leet de couplages, au moins en partie physico-chimiques, a ` une echelle non directement observable par ling enieur, en particulier sur les ph enom` enes de dissolution et dissolution/pr ecipitation de constituants de la phase solide des g eomat eriaux dans le contexte de lanalyse et la compr ehension de la d egradation des mat eriaux cimentaires. Une estimation des propri et es diusives des p ates cimentaires a et e obtenue sur la base de la micro-structure retenue pour les fractions volumiques des di erentes phases issues du mod` ele dhydratation de Powers. Parall` element, un raisonnement micro-m ecanique a et e d evelopp e sur la prise en compte de couplages chemo-m ecaniques dans l ecriture des lois de dissolution/pr ecipitation locales mises en jeu notamment dans la carbonatation des mat eriaux cimentaires. Il a et e montr e comment rendre compte de limpact de l energie libre elastique (locale) dans l ecriture de la force thermodynamique responsable localement des m ecanismes de dissolution et de pr ecipitations au niveau des interfaces solide/uide. Lidentication de la structure des lois dinterface coupl ees a et e achev ee, avec lestimation des termes de couplages chemo-porom ecaniques. Une publication est en cours d ecriture. 4. Mod` eles de dispersion ecace pour des probl` emes de chimie-transport (Univ Lyon 1, CMAP/Ecole Polytechnique, LMPA/Univ du Littoral, Univ Aix-Marseille 3, LEMTA-INPL Nancy), resp. A. Mikeli c articles parus ou accept es [25, 26, 27, 28, 29, 30, 31, 32, 33], articles soumis [74, 75], th` eses [99, 101] Les travaux ont et e d evelopp es dans diverses directions se compl etant mutuellement. Homog en eisation dun mod` ele de transport r eactif dans des milieux poreux an de comprendre la dispersion de Taylor dans une g eom etrie g en erale 3D. Le mod` ele contient une equation de convection-diusion dans les pores et une equation di erentielle ordinaire lin eaire pour ladsorption a ` la surface des pores. Pour une situation physique correspondant a ` de grands nombres de P eclet et de Damkohler, le mod` ele homog en eis ea et e obtenu ; celui-ci a la forme dune equation de convection-diusion avec des coecients ecaces d ependant du couplage entre la r eaction, la convection et la diusion ; voir la gure 2. D erivation rigoureuse du mod` ele eectif pour un r eactif traversant un pore bidimensionnel etroit et long. Le solut e, transport e et dius e par le uide, subit les r eactions dadsorption-d esorption ` la fronti` a ` la fronti` ere lat erale de tube. A ere dinjection, on suppose des conditions aux limites de Danckwerts. Les param` etres de transport et de r eaction sont suppos es conduire au r egime des grands nombres de P eclet et de Damkohler. La transformation de Laplace en temps a et e employ ee et, ensuite, la technique de la perturbation singuli` ere anisotrope. En supposant une cin etique chimique lin eaire, des eets de m emoire et de relaxation ont et e mis en evidence. Elaboration dun mod` ele a ` 3 echelles pour d ecrire le transport deau, dions et de charges electriques dans un milieu argileux satur e. Le mat eriau argileux utilis e pour cette etude th eorique

103 102 101 100 10-1 10-2 10-3 10-4 10

A*_11 = A1 + A2 A1 A2 A*_11

A*_11

10

10 Pe_loc

10

Fig. 2 Repr esentation en echelle log-log de la composante (1,1) de la matrice de dispersion eective, A , en fonction du nombre de P eclet local P eloc ; on d ecompose A etant 11 11 = A1 + A2 , la contribution A1 nulle en labsence de r eactions chimiques ; on observe que pour des grands nombres de P eclet locaux, 1.7 A ` P e2 eactions chimiques 11 est proportionnel a loc , alors que lasymptotique serait P eloc en labsence de r a et e une kaolinite non gonante. Lobjectif a et e dexaminer le r ole du pH connu pour etre un param` etre crucial dans le comportement des argiles. Le mod` ele physique prend en compte les r eactions d echange au niveau des surfaces des feuillets et introduit un mod` ele de dispersion r eactive des esp` eces ioniques. La mod elisation a et e d evelopp ee par homog en eisation p eriodique et des simulations a ` l echelle macroscopique, en r egimes permanent et transitoire, dans des g eom etries simples permettent dappr ehender les m ecanismes de transport pour ce type de situation. Mise au point de mesures gr ace a ` limagerie par r esonance magn etique (IRM) pour etudier les m ecanismes de transport en milieu poreux. Des s equences dacquisition et des proc edures de traitement dimages ont et e d evelopp ees pour d etailler la structure interne des milieux poreux mod` eles (empilements de billes) et pour r ealiser des mesures de vitesse au sein de ces m emes milieux (v elocim etrie IRM). La dicult e r eside, non pas dans la visualisation, mais dans lobtention de mesures pr ecises. Le principal r esultat concerne la cartographie 2D pr ecise du champ de vitesse dans la section de di erents milieux poreux parcourus par un ecoulement deau. Ces travaux sont le pr ealable a ` la r ealisation de mesures de la dispersion par IRM en utilisant la technique double-PGSE (Double Pulse Gradient Spin Echo). Signalons par ailleurs deux points suppl ementaires. Dune part, les ecoulements insatur es avec pression capillaire dynamique o` u lentropie est employ ee an dobtenir lexistence globale dune solution faible appropri ee avec des d eriv ees premi` eres de carr e int egrable. Dautre part, l etude de deux mod` eles dhomog en eisation des termes sources dans une equation parabolique de diusion. Les termes sources, correspondant a ` des colis desquels s echappe un polluant, sont r epartis p eriodiquement sur une surface. Le contraste de diusion entre le sous-sol g eologique et lenvironnement imm ediat des colis (galeries et scellements) est suppos e tr` es important (comme dans les mod` eles de double porosit e). Cela entra ne que, dans le mod` ele homog en eis e, le terme source est obtenu a ` travers la r esolution dun probl` eme de cellule et non pas par simple moyennisation. Des essais num eriques en 2-d compl` etent cette etude. Analyse du transfert coupl e matrice-fracture (GEMP/IMFT, LMAP/Univ Pau), resp. F. Plourabou e Le but est de mieux comprendre comment le transport coupl e entre ssures et matrice peut etre

mod elis e dans le cadre du r egime stationnaire et du r egime propagatif sans eectuer lapproximation de Taylor (i.e., pour tout nombre de P eclet). Les eorts ont port e sur une reformulation en probl` eme auto-adjoint du probl` eme de Graetz. 5. Mod` eles fractionnaires pour le transport de mati` ere en milieu poreux (Univ Avignon), resp. M.C. N eel articles parus ou accept es [34, 35], articles soumis [76] Le but du projet est dexpliquer les comportements diusifs anormaux (de type non-Fick eens) en ajoutant un terme de viscosit e de la forme I 1 t c o` u ]0, 1[ et I 1 repr esente une int egrale fractionnaire dordre 1 . Lajout de ce terme fournit un param` etre suppl ementaire et lid ee est dexpliquer les donn ees exp erimentales, pour la dispersion du solut e dans un ecoulement nonsatur e, par ce mod` ele l eg` erement plus compliqu e que le mod` ele Fick een. Au niveau mol eculaire, de telles formulations peuvent r esulter, au moins formellement, de mod` eles non-browniens avec terme de r etention. La mod elisation a egalement et e enrichie en incluant le cas o` u la vitesse de convection d epend du temps.

Th` eme C : M ethodes num eriques

1. M ethodes num eriques pour les ecoulements en milieux anisotropes et h et erog` enes (Univ Aix Marseille, UMLV, ENPC Champs, Univ Montpellier, Univ Clermont-Ferrand et Univ Nantes), resp. F. Hubert articles parus ou accept es [36, 37, 38, 39, 40, 41], articles soumis [77, 78, 79], th` ese [106] Le benchmark sur les probl` emes anisotropes h et erog` enes sur maillages g en eraux pr esent ea ` FVCA5 en Juin 2008 a permis de d egager des similitudes entre plusieurs sch emas ; voir la gure 3. Ceci a conduit a ` introduire une famille de sch emas qui contient les MFD (mimetic nite dierence methods), les m ethodes volumes nis dites hybrides de type SUSHI et les m ethodes volumes nis mixtes, et leur extension au cadre non lin eaire. Deux extensions de ce benchmark sont a ` pr esent a ` l etude : le passage a ` 3 dimensions despace et le couplage dune equation de diusion avec une equation de transport, de mani` ere a ` bien evaluer la pr ecision des ux num eriques. Les recherches concernant les sch emas DDFV ont et e poursuivies, avec en particulier une extension aux probl` emes de convection-diusion et les probl` emes anisotropes h et erog` enes, et egalement a ` la dimension 3 en espace. Il est egalement pr evu d etudier lalgorithme g en eral de couplage de sch emas dans le cadre de la m ethode de d ecomposition de domaine de Schwarz-Lions, qui est egalement etudi ee pour le sch ema DDFV bi-dimensionnel et pour laquelle on recherche des meilleures conditions de transmission. Un autre axe important est la recherche de monotonie pour des sch emas de discr etisation en espace sur maillage non structur e, et l etude de leurs propri et es de convergence. Enn, signalons dune part quil a et e r epondu armativement a ` une question dAavatsmark concernant lexistence dun sch ema centr ea ` 9 points sym etrique et convergent sur maillages quadrangulaires et dautre part que les sch emas de discr etisation de type el ements nis stabilis es en espace et Runge Kutta en temps ont et e analys es pour des equations hyperboliques en prouvant la stabilit e des sch emas et des estimations derreur pour des solutions r eguli` eres sous une condition de CFL habituelle. 2. M ethodes particulaires pour les milieux poreux (Univ Poitiers, Univ Bordeaux, LIMSI, Inria Nancy), resp. S. Huberson articles parus ou accept es [42, 43], articles soumis [80] Le premier objectif de ce projet etait de construire un code particulaire 3D pour un milieu anisotrope et discontinu et lappliquer sur un cas test de lANDRA. Le cot e anisotrope ne pose pas de

Cette th ematique (resp. R. Herbin) regroupe 4 projets.

CMPFA CVFE DDFVBHU DDFVHER DDFVMNI DDFVOMN DGC DGW FEP1 FEP2 FVHYB FVPMMD FVSYM MFDFHE MFDBLS MFDMAN MFDMAR MFE MFV NMFV SUSHINP

10

Test 1.1, Mesh1. : sqrt(nunkw)>erl2

10

Test 1.1, Mesh1. : sqrt(nnmat)>erl2

10

Test 1.1, Mesh1. : h>erl2

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10
10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

CVFE DDFVBHU DDFVHER DDFVMNI DDFVOMN DGC DGW FEP1 FEP2 FVHYB FVPMMD FVSYM MFDFHE MFDMAN MFE MFV NMFV SUSHINP

10

Test 1.1, Mesh1. : sqrt(nunkw)>ergrad

10

Test 1.1, Mesh1. : sqrt(nnmat)>ergrad

10

Test 1.1, Mesh1. : h>ergrad

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

10

Fig. 3 R esultats du benchmark ANIS. Test 1 : faible anisotropie. Comparaison de la norme L 2 de la solution (ordre {2, 3}) et du gradient (ordre {1, 2}).

probl` eme particulier, par contre les discontinuit es peuvent induire des instabilit es. Linterpr etation d eterministe de la m ethode de marche al eatoire de Lejay et Etore semble limit ee a ` une dimension despace. On a donc tent e d etendre la m ethode des lignes de courant pour inclure les eets de dispersion, ce qui ne parait pas facile, et nalement une nouvelle m ethode bas ee sur le transport des iso-contours a et e con cue. Les calculs 3D pr evus nont pu etre eectu es en raison du manque dun solveur pour le probl` eme de dispersion dans le cas de discontinuit es. On a toutefois produit un solveur parall` ele pour l equation de transport sur maillages non structur es dau moins 700 000 el ements. Le deuxi` eme objectif etait de combiner la m ethode particulaire avec le calcul dincertitudes dans le cas o` u le champ de vitesses et le tenseur de dispersion ne sont pas compl` etement d etermin es, en dimension 2 despace. La premi` ere m ethode propos ee est bas ee sur un transport Lagrangien de la fonction de distribution des particules, tandis que la seconde est une discr etisation particulaire pour la propagation dincertitudes. Les deux m ethodes donnent des r esultats similaires pour la variance dans le cas dun probl` eme de transport dispersion avec une condition initiale gaussienne, mais la premi` ere m ethode devient dicile a ` mettre en uvre pour les moments dordre sup erieur. 3. Solveurs pour l ecoulement et le transport en champ lointain (Inria Rocquencourt, UPMC, Univ Paris 13, Univ Troyes), resp. J. Jar e articles parus ou accept es [44, 45], articles soumis [81, 82] Un premier objectif est le d eveloppement de m ethodes de d ecomposition en temps pour permettre des pas de temps di erents sur des domaines physiques di erents. La m ethode de Schwarz coupl ee avec la m ethode de Galerkin discontinu en temps et des el ements nis en espace donne une discr etisation non conforme des probl` emes dadvection-diusion qui permet lutilisation de grilles

non conformes en temps. La projection dune grille a ` lautre est eectu ee par une m ethode frontale de complexit e lin eaire (en 2 et 3D) et facile a ` impl ementer. La convergence de la m ethode DGOSWR a et e prouv ee pour des conditions de transmission de Robin. La m ethode a et e etendue a ` des probl` emes avec porosit e discontinue. Les premiers r esultats num eriques eectu es avec P. Omnes (CEA) sont tr` es encourageants. Un code 2D avec plusieurs couches parall` eles est en cours de d eveloppement. Par ailleurs, la m ethode des el ements nis mixtes avec un compl ement de Schur pour linterface discr` ete a et e impl ement ee, et la m ethode de Schwarz etendue aux EF mixtes. On sest egalement int eress e dans ce projet aux maillages hexa edriques. On teste actuellement une m ethode adaptative pour la construction de tels maillages pour un calcul de Darcy 3D en minimisant les variations de la hessienne. Cette m ethode donne pour linstant trop d el ements et doit donc encore etre am elior ee. Enn, un probl` eme compl ementaire non-lin eaire a et e formul e pour le probl` eme diphasique eauhydrog` ene avec dissolution possible de lhydrog` ene dans leau mod elis ee par la loi de Henry. On sint eresse maintenant a ` la r esolution num erique de ce probl` eme ainsi qu` a dautres probl` emes compl ementaires tels que la dissolution-pr ecipitation. La m ethode Newton-min de Kansow (2004) a et e impl ement ee en 1D, mais peut ne pas converger si la matrice nest pas une M-matrice. 4. Mod elisation et simulation du transport r eactif (Inria Rocquencourt, IMFS, Inria Rennes), resp. J. Ehrel et M. Kern articles parus ou accept es [46, 47, 48, 49, 50, 51, 52, 53], articles soumis [83, 84] Les m ethodes globales pour le couplage ont et e etudi ees, en particulier pour la r eduction du temps de calcul n ecessaire pour la r esolution des syst` emes lin eaires par r esolution du syst` eme issu du compl ement de Schur de la matrice Jacobienne. Cette r esolution est actuellement eectu ee par une m ethode directe, et il est envisag e de passer a ` une m ethode it erative. L etude de la convergence des m ethodes SIA et SNIA a d ebut e. Il est clair que le pas de temps pour SNIA est restreint par une condition de stabilit e. Il semble que le pas de temps pour SIA soit egalement restreint, pour assurer la convergence de la m ethode de point xe. Il est maintenant pr evu d etudier la m ethode de d ecomposition dop erateurs. En eet, un sch ema explicite est pertinent pour la partie advective du transport, alors quune m ethode implicite et globale est n ecessaire pour la partie dispersive. Par ailleurs, les m ethodes ELLAM avec transport r eactif ont et e etudi ees en 1D. Poursuivant les travaux pr ec edents, une nouvelle combinaison (avec moins dinconnues) entre les m ethodes des lignes et le transport r eactif a et e propos ee. Enn, le Benchmark Transport R eactif a et e achev e. Il a et e r esolu par 9 equipes di erentes, a ` des degr es divers. Un num ero sp ecial de la revue Computational Geosciences sera consacr e au benchmark (articles disponibles en ligne).

Th` eme D : Analyse derreur et incertitudes

1. Estimation de param` etres hydrodynamiques par approche inverse multi- echelle et Estimation de param` etres de transport pour un milieu hydro-g eologique (IMFS, Univ Nice), resp. Ph. Ackerer/J. Blum articles soumis [85, 86], th` ese [107] Ce projet est compos e de deux parties distinctes dont les points communs sont lutilisation dune formulation adjointe et de techniques de zonation. Les applications pr esent ees sont di erentes. Pour la premi` ere partie, les objectifs etaient (1) d evelopper un code direct permettant de d ecrire les ecoulements dans un double milieu a ` laide d el ements nis mixtes sous un formalisme de condensation de masse ; (2) d evelopper la formulation adjointe pour calculer les indicateurs de

Cette th ematique (resp. S. Huberson) regroupe 3 projets.

ranement permettant didentier la zonation des param` etres (g eom etrie des zones et param` etres associ es) ; (3) appliquer loutil didentication obtenu aux donn ees du site de Poitiers ; (4) comparer les r esultats obtenus avec lapproche globale sur ce site. Les objectifs 1 et 2 ont et e atteints. Le code permettant le calcul direct a et e r ealis e avec le formalisme condens e des el ements nis mixtes et lalgorithme didentication des param` etres a et e d evelopp e et mis en uvre. Le code et lalgorithme didentication ont et e v eri es a ` laide de solutions analytiques et dexp eriences num eriques. La proc edure mise en place permet didentier les param` etres et la g eom etrie des zones consid er ees comme homog` enes. Lobjectif (3) na pas et e atteint, la mise en place de la proc edure didentication s etant av er ee plus compliqu ee que pr evu. Il est propos e de le poursuivre en 2010-2011. Quant a ` lobjectif (4), lapproche simple milieu (standard en hydrog eologie) a et e compar ee aux r esultats obtenus par lapproche globale. Lespace de lensemble des param` etres plausibles a et e explor e par une approche de type Monte Carlo. Si la distribution des param` etres (perm eabilit e, emmagasinement) varie localement, la distribution statistique exprim ee sous forme de variogrammes demeure inchang ee. Pour la seconde partie, lobjectif etait de mettre au point, en liaison avec l equipe Tropics de lINRIA, le code adjoint du logiciel TRACES d evelopp e par lIMFS et lANDRA. Cet outil informatique permettra didentier les param` etres dans un mod` ele de diusion-convection a ` partir de mesures exp erimentales, notamment la porosit e et la diusion. Laspect identication de param` etres a ` zones x ees a et e etudi e dans un premier temps. Pour r esoudre le probl` eme inverse, des m ethodes d eterministes (ou variationnelles) bas ees sur la minimisation dun crit` ere (ou fonction co ut) quadratique ont et e utilis ees, lobjectif etant de trouver lensemble des param` etres qui minimisent le crit` ere. Le milieu a et e d ecompos e en zones homog` enes dans lesquelles les coecients ont et e identi es (technique de zonation). Pour cela, le code TRACES a et e di erenti e avec le logiciel de di erentiation automatique TAPENADE. Dans un second temps, ce travail a et e utilis e pour r esoudre le probl` eme didentication de zones. On a cherch e, partant dune conguration g eologique modi ee, a ` retrouver la conguration g eologique r eelle en identiant les param` etres qui ont pour support ces zones. La conguration recherch ee a et e obtenue en regroupant ensuite par isovaleurs les coecients identi es. 2. Propagation et quantication des incertitudes par polyn omes de chaos (LIMSI, UPMC, Univ Nantes, ENPC Champs), resp. O. Le Ma tre articles parus ou accept es [54, 55, 56], article soumis [87], th` ese [110] Le principal objectif etait de d emontrer la possibilit e dutiliser les projections sur une base de polyn omes de chaos pour calculer la propagation des eets des incertitudes sur les caract eristiques des milieux poreux. Les etudes se sont principalement concentr ees sur les probl` emes de Darcy et de transport-dispersion. Le projet se structure selon trois axes : M ethodes spectrales non intrusives et m ethodes de sparse grids ; voir gure 4. La premi` ere etape, r ealis ee au CEA, a et e de d evelopper un code permettant de manipuler des algorithmes de type sparse grid pour des probl` emes de grandes dimensions. Celui-ci est bas e sur la m ethode de tensorisation de Smolyak qui a et e etendue. Une r eduction suppl ementaire du nombre de simulations a ` r ealiser a et e obtenue gr ace a ` lemploi dune technique adaptative dans laquelle de nouvelles tensorisations sont progressivement introduites selon un crit` ere appropri e. Cette approche a et e valid ee par une application au cas test Couplex-1 dans lequel on a pu prendre en compte jusqu` a 15 param` etres incertains. M ethodes de Galerkin intrusives. Dans cette approche, on utilise directement les equations stochastiques pour ecrire un syst` eme d equations aux d eriv ees partielles pour chaque mode stochastique de la solution. La premi` ere etape a et e de d evelopper un code de r esolution pour l equation de Darcy. Il utilise une discr etisation en el ements nis P1 et une d ecomposition sur la base des polyn omes de chaos. Pour les equations de convection-dispersion, lapplication de la m ethode pose un certain nombre de dicult es, en particulier conduisant a ` des probabilit es

non nulles de valeurs n egatives de concentration. Pour r esoudre ce probl` eme, le ux convectif stochastique a et e discr etis e en utilisant un sch ema de Roe. Le temps CPU a et e r eduit gr ace au d eveloppement dun solveur permettant d eviter la n ecessit e dune d ecomposition spectrale des ux. Cette m ethode nest toutefois pas susante pour assurer la positivit e et a d u etre compl et ee par une r esolution multi- echelle type ondelettes. Repr esentation sur bases r eduites. Cette m ethode consiste a ` construire un mod` ele dordre r eduit en approchant la base stochastique optimale plut ot que de choisir une base a priori comme dans les points 1 et 2 ci-dessus. La m ethode de d ecomposition spectrale g en eralis ee a et e appliqu ee a ` l equation de Darcy et di erents algorithmes de construction de lapproximation r eduite ont et e test es (puissances it er ees et Arnoldi). Ces exp erimentations ont montr e quon pouvait obtenir une r eduction de moiti e du temps CPU par rapport a ` la m ethode de Galerkin classique pour une pr ecision comparable. La m ethode a egalement et e appliqu ee a ` un probl` eme elliptique non-lin eaire. On a pu observer quune application directe des m ethodes employ ees dans les cas lin eaires, m eme si elle ne repose pas sur une base th eorique etablie, conduit a ` la m eme ecacit e pour la r eduction du temps CPU. Enn, lapplication de la m ethode a ` des probl` emes de convection-dispersion r ealistes se heurte a ` des dicult es, a ` la fois par manque de m ethodes de stabilisation ecaces et par la n ecessit e de stocker les modes r eduits pour les temps interm ediaires. Ces dicult es ont orient e le travail vers dautres types de m ethodes bas ees sur des repr esentations alternatives et sur la s eparation des variables stochastiques, de temps et despace. Une premi` ere application a ` des probl` emes stochastiques multidimensionnels a et e r ealis ee.

Fig. 4 D eveloppement en polyn omes de chaos du ux a ` linterface argile-calcaire apr` es un million dann ees, construit avec la m ethode sparse grid adaptative ; a ` gauche eets relatifs (index de sensibilit e totale) de di erent param` etres incertains, a ` droite densit e de probabilit e du ux 3. Estimations derreur a posteriori pour le contr ole derreur et ladaptation de maillage (UPMC, ENPC Champs, Univ Paris 13), resp. M. Vohral k articles parus ou accept es [57, 58, 59, 60, 61, 62, 63], articles soumis [88, 89, 90], th` ese [103] Les travaux ont et e d evelopp es dans trois directions. Consolidation de la th eorie des estimations a posteriori pour les probl` emes stationnaires lin eaires du second ordre. Pour les equations de convection-diusion-r eaction et plusieurs m ethodes non conformes (Galerkin discontinu, el ements nis mixtes, volumes nis centr es par maille), des

estimations bas ees sur la reconstruction des ux sont maintenant disponibles ; de plus, ces estimations sont robustes dans les cas de convection ou r eaction dominantes. Le cas de maillage non raccord es a egalement et e inclus dans lanalyse. De plus, les r esultats ont et e etendus aux m ethodes conformes en reconstruisant le ux sur un maillage dual. L` a encore, les estimations sont robustes. Des estimations robustes pour le probl` eme de Brinkman ont aussi et e obtenues. Enn, une analyse a posteriori a et e r ealis ee pour les m ethodes de volumes nis de type DDFV appliqu ees aux equations de diusion. Lanalyse sapplique a ` nimporte quel maillage, y compris les maillages qui ne se raccordent pas. La correspondance entre la m ethode DDFV et les sch emas de type el ements nis a et e exploit ee dans le cas du Laplacien. Des estimateurs ont et e impl ement es et test es dans un code de calcul d ecoulement en milieux poreux du CEA dans des cas purement diusifs. Arr et des solveurs lin eaires et non lin eaires. Une nouvelle etude a et e entreprise dans le but dune part de prendre en compte lerreur sur la solution dun syst` eme lin eaire ou non lin eaire issu dune discr etisation num erique et dautre part de d enir un crit` ere darr et ecace pour les m ethodes de r esolution it eratives. En particulier, les contributions des di erentes sources derreur ont et e evalu ees s epar ement pour le cas dun probl` eme de Laplace non-lin eaire. Extension aux probl` emes instationnaires. Un cadre uni e pour lestimation derreur a posteriori dans le cas de l equation de la chaleur discr etis ee par di erentes m ethodes a et e pr esent e. Des estimateurs calculables ont egalement et e construits pour les equations de convection-diusion instationnaires. Par ailleurs, une m ethode de d enition du pas de temps pour un syst` eme coupl e de transport non-lin eaire et dune equation di erentielle ordinaire d enissant une barri` ere de connement a et e etablie.

5
5.1

Actions sp eciques
Le colloque du GNR au CIRM

Les journ ees scientiques du GNR se sont tenues au CIRM a ` Luminy du 23 au 25 novembre 2009. Pour le programme complet, voir http ://www.gdrmomas.org/prgm09.html Ces journ ees ont suscit e une forte mobilisation de la communaut e avec 75 inscrits. Le dialogue avec les partenaires a et e un el ement important, avec 5 expos es par les partenaires et 24 participants (5 de lANDRA, 2 du BRGM, 8 du CEA, 7 dEDF et 2 de lIRSN). Tous les projets nanc es dans le cadre du programme scientique 2008-2009 ont pr esent e leurs travaux, et des discussions ont egalement permis de consolider lappel a ` projets lanc e pour la p eriode 2010-2011. Sept conf erenciers invit es sont intervenus : H. Matthies (University of Braunschweig) Sparse representations in uncertainty quantications T. Russell (NSF) NSF-supported projects related to MoMaS science R. Scheichl (University of Bath) Multilevel iterative solvers : Robustness and links to upscaling B. Schweizer (University of Dortmund) Porous media and plasticity : Homogenization for equations with hysteresis R. Shaw (BGS) The FORGE (Fate of Repository Gases) pan European project R. Stenberg (University of Helsinki) Finite element methods for the Brinkman and Biot models B. Wohlmuth (University of Stuttgart) A new coupling concept for multiphase multicomponent porous media and free ows On notera enn la pr esence dune equipe du GNR PARIS (P. Turq et coll` egues du laboratoire PECSA) an de pr eparer le d ep ot dun projet commun entre les GNR MoMaS et PARIS.

5.2

Autres actions sp eciques

L ecole th ematique Avanc ees r ecentes en calcul scientique , coordonn ee par F. Boyer et F. Hubert, sest tenue au CIRM a ` Luminy du 9 au 13 f evrier 2009. Les th ematiques abord ees etaient vari ees aussi bien du point de vue des sch emas num eriques (El ements nis, Volumes nis, Discontinuous Galerkin, ALE) que de celui des solveurs (m ethodes multiniveaux, d ecomposition de domaines). Le programme scientique se composait de 5 mini-cours de 3h environ et de 8 expos es de revue de 1 heure environ. Plus de d etails sur http ://www.latp.univ-mrs.fr/cirm09/semaine2.html Le workshop Discretization methods for viscous ows, coordonn e par R. Herbin, F. Hubert et J.-C. Latch e, sest tenu a ` Porquerolles du 22 au 26 juin 2009. Ce workshop comprenait deux parties, lune sur les ecoulements en milieu poreux h et erog` ene et lautre sur les ecoulements compressibles et incompressibles. Ces journ ees ont notamment permis davancer dans la d enition des futurs benchmarks propos es en 2010 par le projet MoMaS coordonn e par F. Hubert. Plus de d etails sur http ://www.cmi.univ-mrs.fr/ herbin/WP09/ Une session sp ecique au stockage des d echets radioactifs, coordonn ee par B. Amaziane et a ` laquelle ont particip e plusieurs partenaires du GNR, a et e organis ee dans le cadre de la troisi` eme conf erence internationale Approximation Methods and numerical Modeling in Environment and Natural Resources (MAMERN) qui sest tenue a ` Pau du 8 au 11 juin 2009. Cette conf erence a egalement et e loccasion pour plusieurs equipes du GNR dy pr esenter leurs travaux. Plus de d etails sur http ://lma.univ-pau.fr/meet/mamern09/

Publications

R ef erences
Articles parus ou accept es
[1] A. Abadpour and M. Panlov. Method of Negative Saturations for two-phase Compositional Flow with Oversaturated Zones. Transport in Porous Media , v. 79 ; p. 197-214, 2009. [2] A. Abadpour and M. Panlov. Asymptotic Decomposed Model of Two-Phase Compositional Flow in Porous Media : Analytical Front Tracking Method for Riemann Problem. Transport in Porous Media, 2009, published online, DOI : 10.1007/s11242-009-9428-8. [3] M. Panlov and M. Rassoulzadeh. Interfaces of phase transition and disappearance and method of negative saturations for compositional ow with diusion and capillarity in porous media. Transport in Porous Media, accepted 2009. [4] A. Bourgeat and M. Jurak. A two level scaling-up method for multiphase ow in porous media, numerical validation and comparison with other methods. Computational Geosciences. doi.org/10.1007/s10596-009-9128; 2009. [5] A. Bourgeat, M. Jurak et F. Sma . Two partially miscible ow and transport modeling in porous media ; application to gas migration in a nuclear waste repository. Computational Geosciences. 13(1) : 29-42 ; 2009. [6] F. Sma . A model of multiphase ow and transport in porous media applied to gas migration in underground nuclear waste repository. C. R. Acad. Sci. Paris. Ser. I, 347 ; 2009. [7] B. Amaziane, A. Bergam, M. El Ossmani, Z. Mghazli. A posteriori estimators for vertex centred nite volume discretization of a convection-diusion-reaction equation arising in ow in porous media. Int. J. Numer. Meth. Fluids 59 :259284 ; 2009.

[8] B. Amaziane, M. Jurak, A. Zgalji-Keko, Modeling and Numerical Simulations of Immiscible Compressible Two-Phase Flow in Porous Media by the Concept of Global Pressure , Transport in Porous Media, DOI 10.1007/s11242-009-9489-8; 2009. [9] B. Amaziane, L. Pankratov, V. Rybalko, On the homogenization of some double porosity models with periodic thin structures, Applicable Analysis, Vol. 88, Nos. 10-11, 1469-1492 ; 2009. [10] B. Amaziane, L. Pankratov, A. Piatnitski, Nonlinear ow through double porosity media in variable exponent Sobolev spaces, Nonlinear Analysis : Real World Applications, Volume 10, Issue 4, Pages 2521-2530 ; 2009. [11] L. Ag elas, R. Eymard, and R. Herbin, A nine-point scheme for the simulation of diusion in heterogeneous media, C. R. Acad. Sci. Paris, 347(11-12) :673-676, 2009. [12] O. Angelini, C. Chavant, E. Ch enier, R. Eymard, A Finite Volume Scheme For Diusion Problems on General Meshes Applying Monotony Constraints, SIAM Journal on Numerical Analysis, to appear. [13] N. Bouillard, R. Eymard, M. Henry, R. Herbin, and D. Hilhorst, A fast precipitation and dissolution reaction for a reaction-diusion system arising in a porous medium, Nonlinear Analysis : Real World Applications, 2009, 10 629638. [14] C. Canc` es, T. Gallou et, A. Porretta, Two-phase ows involving capillary barriers in heterogeneous porous media, Interfaces Free Bound., 2009, 11, 239258. [15] C. Canc` es, Finite volume scheme for two-phase ow in heterogeneous porous media involving capillary pressure discontinuities, M2AN Math. Model. Numer. Anal., 2009, 43, 9731001. [16] C. Canc` es, On the eects of discontinuous capillarities for immiscible two-phase ows in porous media made of several rock-types, Special issue of Networks and Heterogeneous Media, a ` paraitre, 2009. [17] R. Eymard, D. Hilhorst, and M. Vohral k, A combined nite volume-nite element scheme for the discretization of strongly nonlinear convection-diusion-reaction problems on nonmatching grids, Numerical Methods for Partial Dierential Equations, , to appear, already online. [18] F. Marpeau and M. Saad, Three dimensional simulation of the ground pollution by radionucleide Int. J. Numer. Meth. in Fluids, Online in Wiley interscience ; www.interscience.wiley.com ; 2009. [19] C. Galusinski and M. Saad, Weak solutions for immiscible compressible multiuid ows in porous media. Partial Dierential Equations, C. R. Acad. Sci. Paris, Ser. I 347 ; 249-254 ; 2009. [20] Z. Khalil and M. Saad, Mathematical analysis for compressible immiscible two phase ow in porous media. ijpma, accepted, 2009. [21] H. Amor, J.-J. Marigo, and C. Maurini, Variational approach to brittle approach with unilateral contact : numerical experiments. J. Mech. Phys. Solids, 57, p. 1209-1229 (2009). [22] K. Pham and J.-J. Marigo. Stability of non localized responses for damaging materials. Vietnam Journal of Mechanics, 30(4), p. 1-11 (2009). [23] G. Allaire, M. Briane, R. Brizzi, Y. Capdeboscq, Two Asymptotic Models for Arrays of Underground Waste Containers, Applicable Analysis, 88, p.1445-1467 (2009). [24] A. Agouzal, N. Debit, O. Gipouloux, A numerical method for waste repository problems with non-standard interface condition. Applicable Analysis, 88, issue : 10-11, p. 1431-1443 (2009). [25] G. Allaire, R. Brizzi, A. Mikeli c, A. Piatnitski, Two-scale expansion with drift approach to the taylor dispersion for reactive transport through porous media, Chemical Engineering Science, 2009, doi :10.1016/j.ces.2009.09.010 . [26] G. Allaire, A. Mikeli c, A. Piatnitski, Homogenization approach to the dispersion theory for reactive transport through porous media, accept e pour publication dans SIAM J. Math. Anal., 2009.

[27] S. Ara ujo de Lima, M. A. Murad, Ch. Moyne, D. Stemmelen. Electro-osmosis in kaolinite with pH-dependent surface charge modelling by homogenization. Anais da Academia Brasileira de Ci encias, accepted, 2009. [28] S. Ara ujo de Lima, M. A. Murad, Ch. Moyne, D. Stemmelen, and C. Boutin. Three-scale model of Ph-dependent ows and ion transport with equilibrium adsorption in kaolinite clays : II. Eectivemedium behavior. Transport in Porous Media, accepted, 2009. [29] M. Balho, A. Mikeli c, and M.F. Wheeler, Polynomial ltration laws for low Reynolds number ows through porous media, Transport in Porous Media, 2009. DOI : s11242-009-9388-z, accepted. [30] C. Choquet and A. Mikeli c, Rigorous upscaling of the reactive ow with nite kinetics and under dominant Peclet number, Continuum Mechanics and Thermodynamics, 21, p. 125-140 (2009). [31] W. J ager and A. Mikeli c, Modeling eective interface laws for transport phenomena between an unconned uid and a porous medium using homogenization, Transport in Porous Media, 78 (3), p. 489-508 (2009). [32] A. Mikeli c, An existence result for the equations describing a gas-liquid two-phase ow, Comptes rendus M ecanique, 337, Issue 4, p. 226-232 (2009). [33] A. Mikeli c, A global existence result for the equations describing unsaturated ow in porous media with dynamic capillary pressure, Journal of Dierential Equations, 2009. doi : 10.1016/j.jde.2009.11.022, accepted. [34] B. Maryshev, M. Joelson, D. Lyubimov, T. Lyubimova and M.C. N eel, Non Fickian ux for advection-dispersion with immobile periods, J. Phys. A : Math. And Theor., 42 (11), 115001 (2009). [35] M.C. N eel, A. Zoia and M. Joelson, Mass transport subject to time-dependent ow with nonuniform sorption in porous media, Phys. Rev. E., 80, 056301 (2009). [36] L. Ag elas, R. Eymard, and R. Herbin. A nine-point nite volume scheme for the simulation of diusion in heterogeneous media. C. R. Acad. Sci. Paris, 347(1112) :673676, 2009. [37] F. Boyer and F. Hubert. Finite volume method for 2d linear and nonlinear elliptic problems with discontinuities. SIAM Journal on Numerical Analysis, 46(6), 2008. [38] J. Droniou, R. Eymard, T. Gallou et, and R. Herbin. A unied approach to mimetic nite dierence, hybrid nite volume and mixed nite volume methods. M3AS, 20(2) :131, 2009. [39] R. Eymard, T. Gallou et, and R. Herbin. Cell centred discretization of fully non linear elliptic problems on general multidimensional polyhedral grids. J. Numer. Math., 17(3) :173193, 2009. [40] F. Hermeline. A nite volume method for approximating 3D diusion operators on general meshes. page = 57635786, J. Comput. Phys, 228 :57635786, 2009. [41] Ch. Le Potier. A non linear scheme satisfying maximum and minimum principles for diusion operators, Int. Jour. Finite Volume, 2009. [42] S. Huberson, E. Rivoalen and A. Beaudoin. Une m ethode particulaire pour r esoudre l equation de richards. CRAS Mecanique. [43] M. Deaconu et A. Lejay. Simulation of diusions by means of importance sampling paradigm (to appears). Annals of Applied Probability, 2009. [44] A. Sboui, J. Jar e, and J. E. Roberts. A composite mixed nite element for hexahedral grids. SIAM J. Sci. Comput., 31 (2009), pp. 2623-2641. [45] A. Sboui and J. Jar e. Henry law and gas phase disappearance. INRIA report 6891, to appear in Transport in Porous Media (2009). [46] J. Carrayrou. Looking for some reference solutions for the reactive transport benchmark of MoMaS with SPECY. Computational Geosciences, 2009.

[47] J. Carrayrou, J. Homan, P. Knabner, S. Kr atle, C. de Dieuleveult, J. Erhel, J. van der Lee, V. Lagneau, K. U. Mayer, and K. T. B. McQuarrie. A synthesis of the MoMaS reactive transport benchmark results. To appear in Computational Geosciences. [48] J er ome Carrayrou, Michel Kern, and Peter Knabner. Reactive transport benchmark of momas. Computational Geosciences, 2009. [49] C. de Dieuleveult and J. Erhel. A global approach to reactive transport : application to the MoMas benchmark. Computational Geosciences, 2009. [50] C. de Dieuleveult, J. Erhel, and M. Kern. A global strategy for solving reactive transport equations. Journal of Computational Physics, 228 (6395-6410), 2009. [51] Ch. P. El Soueidy, A. Younes, and Ph. Ackerer. Solving the advection-diusion equation on unstructured meshes with discontinuous/mixed nite elements and a local time stepping procedure. International Journal for Numerical Methods in Engineering, 79 :10681093, 2009. [52] M. Fahs, A. Younes, and F. Delay. On the use of large time steps with Eulerian-Lagrangian methods on heterogeneous domains. AIChE Journal, 55(5) :11211126, 2009. [53] S. Majdalani, M. Fahs, J. Carrayrou, and Ph. Ackerer. Reactive transport parameter estimation : Genetic algorithm vs. Monte Carlo approach. AIChE Journal, 55(8) :19591968, 2009. [54] A. Nouy. Recent developments in spectral stochastic methods for the numerical solution of stochastic partial dierential equations. Archives of Computational Methods in Engineering, 16(3) :251 285, 2009. [55] A. Nouy. Proper generalized decompositions and separated representations for the numerical solution of high dimensional stochastic problems. Archives of Computational Methods in Engineering, Accepted. [56] A. Nouy and O.P. Le Ma tre. Generalized spectral decomposition method for stochastic non linear problems. Journal of Computational Physics, 228(1) :202235, 2009. [57] B. Achchab, M. El Fatini, A. Ern, and A. Souissi. A posteriori error estimates for subgrid viscosity stabilized approximations of convection-diusion equations. Appl. Math. Letters 22 (2009), 1418 1424. [58] I. Cheddadi, R. Fu c k, M. I. Prieto, and M. Vohral k. Guaranteed and robust a posteriori error estimates for singularly perturbed reactiondiusion problems. M2AN Math. Model. Numer. Anal. 43, 5 (2009), 867888. [59] A. Ern and S. Meunier. A posteriori error analysis of EulerGalerkin approximations to coupled ellipticparabolic problems. M2AN Math. Model. Numer. Anal. 43 (2009), 353375. [60] A. Ern, S. Stephansen, and M. Vohral k. Guaranteed and robust discontinuous Galerkin a posteriori error estimates for convectiondiusionreaction problems. J. Comp. Appl. Math., accepted. [61] A. Ern and M. Vohral k. Flux reconstruction and a posteriori error estimation for discontinuous Galerkin methods on general nonmatching grids. C. R. Math. Acad. Sci. Paris 347 (2009), 441 444. [62] P. Omnes, Y. Penel, and Y. Rosenbaum. A posteriori error estimation for the discrete duality nite volume discretization of the Laplace equation. SIAM J. Numer. Anal. 47 (2009), 27822807. [63] M. Vohral k. Unied primal formulation-based a priori and a posteriori error analysis of mixed nite element methods. Math. Comp. (2009).

Articles soumis
[64] B. Amaziane, L. Pankratov, A. Piatnitski. Homogenization of a compressible immiscible twophase ow in porous media : application to gas migration in a nuclear waste repository, SIAM J. Multiscale Modeling and Simulation.

[65] M. Af and B. Amaziane, On convergence of a 1D nite volume scheme and numerical simulations for water-gas ows in heterogeneous porous media, Applied Numerical Mathematics. [66] O. Angelini, K. Brenner, and D. Hilhorst, A nite volume method on general meshes for a degenerate parabolic convection-reaction-diusion equation. [67] O. Angelini, C. Chavant, E. Ch enier, R. Eymard, and S. Granet, Finite volume approximation of a diusion-dissolution model and application to nuclear waste storage. [68] C. Canc` es, Asymptotic behavior of two-phase ows in heterogeneous porous media for capillarity depending only of the space. I. Convergence to an entropy solution. [69] C. Canc` es, Asymptotic behavior of two-phase ows in heterogeneous porous media for capillarity depending only of the space. II. Occurrence of non-classical shocks to model oil-trapping. [70] R. Eymard, M. Henry, and D. Hilhorst, Singular limit of a two-phase ow problem in porous medium as the air viscosity tends to zero, http ://arxiv.org/abs/0910.4003, Journal DCDS S, in revision. [71] F. Caro, A. Genty E. Laucoin, B. Saad, Numerical simulation of two phase ow in porous media in a context ofhigh perfermance computing. J. Mathematics and computers in simulation. [72] Z. Khalil, M. Saad, Degenerate two-phase compressible immiscible ow in porous media : The case where the density of each phase depends on its own pressure J. Mathematics and computers in simulation. [73] K. Pham and J.-J. Marigo. Construction and analysis of localized responses for gradient damage models in a 1d setting. Vietnam Journal of Mechanics. [74] S. Ara ujo de Lima, M. A. Murad, Ch. Moyne and D. Stemmelen. Three-scale model of Phdependent ows and ion transport with equilibrium adsorption in kaolinite clays : I. Homogenization analysis. Transport in Porous Media, en r evision. [75] A. Mikeli c and C.J. van Duijn, Rigorous derivation of a hyperbolic model for Taylor dispersion. [76] J. Golder, M. Joelson and M.C. N eel, Mass Transport with sorption in porous media, Mathematical Computing and Simulation. [77] E. Burman, A. Ern and M. Fern andez. Explicit RungeKutta schemes and nite elements with symmetric stabilization for rst-order linear PDE systems. [78] J. Droniou and C. Le Potier, Construction and convergence study of local-maximum-principle preserving schemes for elliptic equations. [79] F. Hermeline, Approximation of convection-diusion operators on general meshes in two-space dimensions. [80] A. Lejay et S. Maire. Simulating diusions with piecewise constant coecients using a kinetic approximation. [81] I. Ben Gharbia and J. Ch. Gilbert Nonconvergence of the plain Newton-min algorithm for linear complementarity problems with a P-matrix. soumis. [82] D. Moreau, H. Borouchaki and P. Laug Adaptive hexahedral mesh renement soumis au CRAS Math ematiques. [83] J.-B. Apoung, P. Hav e, J. Houot, M. Kern, and A. Semin. Reactive transport in porous media. submitted to ESIAM : Proc.. [84] A. Younes. An ecient implementation of the method of lines for multicomponent reactive transport equations. Submitted to AIChE Journal. [85] Ph. Ackerer and F. Delay, Inversion of a set of well-test interferences in a fractured limestone aquifer by using an automatic multi-scale parameterization technique, Soumis a ` Journal of Hydrology.

[86] H. Fahs, M. Hayek, M. Fahs, and Ph. Ackerer. A complete inverse approach for identifying hydraulic parameters in 2D dual-porosity media. Soumis a ` Advances in Water Resources. [87] J. Tryoen, O. Le Ma tre, M. Ndjinga, and A. Ern. Intrusive projection methods with upwinding of uncertain nonlinear hyperbolic systems. Journal of Computational Physics, en r evision. [88] L. El Alaoui, A. Ern, and M. Vohral k. Guaranteed and robust a posteriori error estimates and balancing discretization and linearization errors for monotone nonlinear problems. HAL Preprint 00410471. [89] A. Ern and M. Vohral k. A posteriori error estimation based on potential and ux reconstruction for the heat equation. HAL Preprint 00383692. [90] D. Hilhorst and M. Vohral k. A posteriori error estimates for combined nite volumenite element discretizations of reactive transport equations on nonmatching grids.

Articles dans des ouvrages collectifs

[91] H. Amor, J.-J. Marigo, C. Maurini, and K. Pham. A regularized variational formulation of fracture mechanics with unilateral contact at crack lips. In ESMC 2009, 7th Euromech Solid Mechanics Conference, Lisbon, September 2009. Euromech. [92] M.C. N eel, M. Joelson and A. Zoia, Comp etition entre transport et r etention de mati` ere en milieu poreux, M ecanique et Industrie, num ero sp ecial 19e Congr` es fran cais de m ecanique (CFM 2009), 10 (3-4), pp 217-221 (2009). [93] M.J. Gander and C. Japhet. An algorithm for non-matching grid projections with linear complexity. Proceedings of the 18th international conference of Domain Decomposition methods, M. Bercovier, M. J. Gander, D. Keyes and O. Widlund eds., Springer LNCSE, 2009. [94] L. Halpern, C. Japhet and J. Szeftel. Discontinuous Galerkin and nonconforming in time optimized Schwarz waveform relaxation. Proceedings of the 18th international conference of Domain Decomposition methods, M. Bercovier, M. J. Gander, D. Keyes and O. Widlund eds., Springer LNCSE, 2009. [95] L. Mathelin, A. Nouy, and O. Le Ma tre. Generalized stochastic decomposition for large evolution problems. In 8th European Conference on Numerical Mathematics and Advanced Applications (ENUMATH 2009), 29 Jun.-3 Jul. 2009, Uppsala, Sweden, 2009. [96] A. Nouy. A priori model reduction technique for solving stochastic partial dierential equations. In 8th European Conference on Numerical Mathematics and Advanced Applications (ENUMATH 2009), 29 Jun.-3 Jul. 2009, Uppsala, Sweden, 2009.

Autres
[97] B. Kienzler, J. L utzenkirchen, E. Bozau (FZK-INE), R. Cervinka, D. Lukin, A. Vok al (NRI), A. Bourgeat, O. Gipouloux (UCBL), A. Genty (CEA) and G. Mathieu (IRSN), Editor : G. Mathieu ; Date of issue 05/11/09, Delivrable European project PAMINA.

Th` eses en cours

[98] A. Abadpour (Encadrant M. Panlov), Analyse asymptotique du probleme de Riemann pour les ecoulements compositionnels polyphasiques en milieux poreux et applications aux r eservoirs souterrains, LEMTA Nancy, depuis oct. 2007. [99] Th. Abballe (Encadrants G. Allaire et Ph. Montarnal) Simulation multi- echelle et homog en eisation des mat eriaux cimentaires, CMAP, Ecole Polytechnique, bourse CEA, depuis oct 2007.

[100] O. Angelini (Encadrants R. Eymard et C. Chavant), Etude de sch emas num eriques pour les ecoulements biphasiques en milieu poreux d eformables pour des maillages quelconques, Universit e de Marne La Vall ee, bourse CIFRE-EdF. [101] J. Bodin (Encadrants A. Mikeli c et Th. Clopeau) Mod elisation, analyse et simulation d ecoulements et transferts diphasiques multicomposants en milieux poreux, Th` ese de luniversit e Claude Bernard Lyon 1, depuis oct. 2007, bourse ANDRA. [102] K. Brenner (Encadrant Danielle Hilhorst), La m ethode des volumes nis sur maillages quelconques pour des probl` emes d ecoulement et de transport en milieu poreux, Th` ese de lUniversit e de ParisSud 11, depuis oct. 2008, bourse de th` ese de lUniversit e de Paris-Sud 11, moniteur. [103] N. Chalhoub (Encadrants A. Ern et M. Vohral k), Analyse derreur a posteriori et m ethodes adaptatives pour des probl` emes instationnaires discr etis es en volumes nis, Ecole Nationale des Ponts et Chauss ees (co-nancement ENPC et CNRS Liban) ; depuis octobre 2008. [104] R. Joubaud (Encadrants A. Ern et T. Leli` evre), Mod elisation multi- echelles des argiles, Ecole Nationale des Ponts et Chauss ees (nancement ANDRA) ; depuis octobre 2009. [105] Z. Khalil (Encadrant M. Saad), Mod elisation et simulation num erique du stockage du CO2 par dissolution dans des gisements p etroliers , Th` ese de l ecole centrale de Nantes, depuis oct. 2007, allocation MR (Minist` ere de la Recherche). [106] S. Krell (Encadrants F. Boyer et F. Hubert), Sch ema volumes nis en m ecanique des uides complexes, Th` ese de luniversit e de Provence d emarr ee en octobre 2007. [107] Th. Migliore, Estimation des param` etres de transport pour un milieu hydro-g eologique et analyse dincertitudes, Th` ese de luniversit e de Nice soutenue le 7 d ecembre 2009, nancement ANDRA. [108] B. Saad (Encadrants : Florian Caro (CEA) et Mazen Saad (ECN)) Mod elisation et simulation num erique d ecoulements multi-composants en milieux poreux, Th` ese de l ecole centrale de Nantes, depuis oct. 2008, (Bourse CEA). [109] F. Sma (Encadrants A. Bourgeat et O. Gipouloux), Simulation et analyse des ecoulements multiphasiques en milieu poreux ; application a ` la migration de gaz dans un stockage de d echets nucl eaires, Universit e Claude Bernard Lyon 1, Institut Camille Jordan (nancement EC, FP6, Pamina) ; soutenue le 8 d ecembre 2009. [110] J. Tryoen (Encadrants A. Ern et O. P. Le Maitre), M ethodes spectrales stochastiques pour la propagation dincertitudes dans les probl` emes hyperboliques, Ecole Nationale des Ponts et Chauss ees (nancement ENPC) ; depuis octobre 2008.