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 2008

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 eorts ont surtout port e sur la parall elisation de divers codes de calcul, en simple phase et en double phase, de mani` ere ` a am eliorer le temps de restitution. Les premiers codes concern es sont des codes bas es sur un algorithme de Boltzmann sur r eseau FCHC ` a quatre dimensions. Dans ce cas, lutilisation de MPI a donn e des r esultats tout ` a fait insatisfaisants ; par exemple, le taux dacc el eration obtenu avec huit processeurs est seulement de 1.6 pour la partie ecoulement. Il a donc fallu ensuite changer de logiciel pour utiliser OpenMP qui est adapt e aux processeurs multi-curs qui sortent actuellement avec une architecture de m emoire partag ee. Les taux de restitution se sont alors av er es tout ` a fait satisfaisants (6.12 pour 8 processeurs). Le second logiciel qui a et e parall elis e calcule la convection-dispersion-d eposition dun solut e qui se partitionne entre deux phases par une m ethode de marche al eatoire. Dans ce cas, dans le m eme contexte, les taux dacc el eration obtenus sont de lordre de 6. Ce m eme projet commence de plus ` a prendre en compte la min eralogie n ecessairement complexe des mat eriaux r eels en anant et en particularisant la description de linterface solide-pores. Ont et e attribu es par exemple des coecients cin etiques particuliers aux di erents el ements pr esents ` a la paroi. En fait est d enie une paroi qui peut avoir une r eactivit e et une mouillabilit e variant dans lespace selon l el ement de surface consid er e ; de plus, les el ements de surface des cubes el ementaires colmat es peuvent avoir une r eactivit e et une mouillabilit e particuli` ere. 2. Mod elisation et simulation num erique de la migration de gaz (Univ Pau, UCB Lyon et LEMTA Nancy), resp. B. Amaziane Ce projet est compos e de 3 sous-projets collaborant etroitement entre eux, un ` a Pau autour de B. Amaziane, plus particuli` erement centr e sur laspect num erique, un second ` a Lyon autour de A. Bourgeat, plus particuli` erement consacr e` a laspect mod elisation math ematique et le troisi` eme a Nancy autour de M. Panlov, plus particuli` ` erement consacr e` a laspect mod elisation physique. Chacun de ces trois sous-projets prend cependant en compte, de fa con compl ementaire avec les autres sous-projets, les deux aspects Mod elisation et Simulation Num erique. L equipe de Pau sest int eress ee essentiellement ` a la r ealisation du Benchmark Couplex-Gaz et ` a lam elioration de la mod elisation de la migration de gaz dans le champ proche dun stockage de d echets radioactifs en formation g eologique profonde. Dans un premier temps, un etat de lart sur les di erentes formulations existantes dans la litt erature a et e r ealis e ainsi quune comparaison entre ces di erentes formulations en pr ecisant les avantages et les inconv enients de chaque formulation. Une nouvelle formulation a et e obtenue ` a laide du concept de pression globale [1]. Cette formulation m` ene ` a un syst` eme coupl e d equations aux d eriv ees partielles compos e dune equation de pression globale parabolique et dune equation de saturation parabolique non lin eaire d eg en er ee de type diusion-convection. Cette approche a lavantage daaiblir le couplage entre les equations du mod` ele diphasique et se pr ete ` a une etude rigoureuse de point de vue math ematique et de

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

lanalyse num erique. Ensuite, un sch ema num erique totalement implicite bas e sur une m ethode volume nis de type vertex-centered a et e d evelopp e en utilisant un sch ema de Godunov pour les termes convectifs et une approximation el ement ni P1 pour les termes de diusion. La mise en uvre de ce sch ema num erique est en cours. Lanalyse num erique (stabilit e, principe du maximum discret, et convergence) a et e faite parall` element au travail de programmation. Le sous-projet de lUCB-Lyon a propos e, face aux dicult es constat ees lors de lexercice CouplexGaz, un mod` ele d ecoulement compressible multiphasique en milieu poreux pouvant sappliquer a la migration de gaz dans un stockage souterrain de d ` echets nucl eaires. Le principal int er et de cette nouvelle formulation est dintroduire, en sappuyant sur les principes fondamentaux de la m ecanique des uides et de la thermodynamique, un cadre uni e pour traiter des ecoulements totalement et partiellement satur es en eau ; rendant ainsi possible un traitement num erique uni e de ces situations. Une des dicult es essentielles concernant les mod` eles usuels etait leur inaptitude a prendre en compte simultan ` ement les situations totalement et partiellement satur ees en eau, ce qui amenait ` a des probl` emes num eriques ou ` a lintroduction de contraintes num eriques non physiques. Par exemple, les simulations utilisaient deux artices : soit un changement de variable dans la maille o` u la phase dispara t/appara t au cours dune it eration de Newton, soit le maintien articiel dune saturation en gaz > 0. Les inconnues utilis ees dans le nouveau mod` ele sont la densit e totale dhydrog` ene et la pression de la phase liquide [4]. Il a et e` a la fois d emontr e lexistence dune solution de ce nouveau mod` ele, pour certaines donn ees, et v eri e par simulation num erique [64] sa capacit e` a prendre en compte la disparition/apparition de phase, voir la gure 1 (` a gauche).
1.5

gas saturation (%)

t=1.00E+04 t=2.50E+04 t=5.00E+04 t=1.10E+05 t=2.50E+05 t=5.00E+05

0.5

20

40

60

80

100

120

140

160

180

abcissa (m)

Fig. 1 Injection continue dhydrog` ene appliqu ee en x = 0m. Evolution de la saturation en gaz dans le milieu poreux a ` di erents instants : les deux types d ecoulements, totalement et partiellement satur es, cohabitent. A gauche : probl` eme avec capillarit e trait ea ` Lyon, a ` droite : probl` eme de Riemann trait ea ` Nancy. Le sous-projet de Nancy a etabli un r esultat th eorique, appel e principe d equivalence, qui stipule quun uide monophasique sur-satur e peut etre remplac e par un uide imaginaire diphasique dont la composition des phases satisfait les lois d equilibre et des conditions de consistance dans le cas dun ecoulement diphasique compositionnel avec dissolution partielle des composants et transitions de phase. Une de ces conditions stipule que la saturation dune des phases imaginaires est n egative. Ce r esultat permet dintroduire le concept etendu de saturation et dutiliser dans tout le domaine les equations diphasiques dans ce formalisme etendu, ind ependamment du nombre de phases pr esentes dans les diverses zones, celles-ci etant d etect ees automatiquement par la m ethode. Ce r esultat a et e test e pour la r esolution du probl` eme de Riemann correspondant au d eplacement deau par hydrog` ene dans un milieu poreux avec dissolution partielle. Le gaz inject e est sur-

satur e, lhydrog` ene n etant pas en equilibre avec leau), ce qui d etermine lexistence dune zone monophasique gazeuse ` a proximit e du point dinjection, une zone monophasique aqueuse subsistant a lautre bout du domaine, voir la gure 1 (` ` a droite). Enn, la m ethode a et e etendue au cas dun ecoulement avec diusion, gravit e et capillarit e. 3. M ethodes math ematiques et num eriques pour les ecoulements diphasiques avec dissolution (Paris-Sud, Univ Aix Marseille, UMLV), resp. D. Hilhorst Ce projet articule 4 sous-projets. Le premier (Angelini, Brenner, Eymard, Hilhorst et Vohral k) sest attach e ` a comprendre et a analyser la m ` ethode des volumes nis sur maillages quelconques, le but essentiel etant den pr eparer limpl ementation pour des probl` emes d ecoulements diphasiques. Pour cela a et e consid er ee une equation lin eaire de convection-diusion, avec terme de diusion in-homog` ene et anisotrope, impossible ` a discr etiser par la m ethode des volumes nis standard. Le terme de diusion est discr etis e ` a laide dune m ethode d el ements nis non conformes sur le maillage donn e et les autres termes ` a laide de la m ethode des volumes nis standard sur un maillage de volumes de contr ole construits autour des faces du maillage initial. La discr etisation temporelle est compl` etement implicite. La convergence de lalgorithme et les tests num eriques correspondants ont et e eectu es dans le cadre du stage de Master 2 de K. Brenner. Dans le second sous-projet (Eymard, Henry et Hilhorst), on etudie la limite singuli` ere du probl` eme ` a deux phases quand la mobilit e de lair tend vers z ero. Le probl` eme limite est un probl` eme ` a fronti` ere libre qui a la forme dun probl` eme de Richards g en eralis e. Cependant, il reste encore ` a caract eriser compl` etement la limite de la solution. Un premier jeu dessais num eriques en une dimension despace, comparant la solution donn ee par la simulation num erique du probl` eme limite avec celle du probl` eme diphasique complet, a permis de v erier que les deux solutions obtenues sont tr` es voisines. Le troisi` eme sous-projet (Canc` es et Gallou et) sint eresse ` a des mod` eles d ecoulements diphasiques avec une fonction pression capillaire discontinue ` a linterface entre deux milieux. Ont et e etudi es l elaboration du mod` ele, lexistence et unicit e de la solution, la convergence de sch emas num eriques et lapparition de chocs non entropiques quand la fonction pression capillaire converge vers une fonction constante par milieu. Le dernier sous-projet (Angelini, Chavant, Granier, Ch enier et Eymard) sint eresse ` a d evelopper un sch ema de volumes nis hybrides pour des simulations tri-dimensionnelles dans des g eom etries relativement complexes avec de grandes variations spatiales des propri et es du milieu lorsquil nest pas possible dutiliser les m ethodes standard de volumes nis qui n ecessiteraient une trop grande r egularit e du maillage. A partir de sch emas de volumes nis propos es, dans le cas d equations de diusion lin eaires et stationnaires par R. Eymard, T. Gallou et et R. Herbin, sappuyant sur des maillages g en eraux et adapt es ` a des propri et es danisotropie avec des contrastes importants, on propose, dans le cas des probl` emes d evolution non lin eaires, une m ethode qui r eduit la courbure locale de la solution discr` ete aux endroits o` u lon observe une perte de monotonie. Un travail montrant quune m ethode num erique, bas ee sur lalgorithme dUzawa, permet dobtenir des solutions pr ecises et monotones pour des probl` emes fortement anisotropes, a et e soumis pour publication [38]. Egalement a et e impl ement e dans le Code Aster le sch ema Sushi de volumes nis sur maillage quelconque et son adaptation ` a des probl` emes d ecoulements diphasiques g en eraux comportant des changements de phase et des ph enom` enes el ements de dissolution. Le Code Aster sappuyant essentiellement sur des formulations de type nis, il a et e n ecessaire deectuer des adaptations informatiques pour pouvoir int egrer une classe susamment importante de sch emas de volumes nis. La programmation de ce sch ema d evolution non lin eaire est termin ee et les premiers tests sont en cours. 4. Simulation num erique de transfert dhydrog` ene (EC Nantes, Univ Toulon et Univ Nantes), resp. M. Saad

Lanalyse math ematique des ecoulements diphasiques immiscibles compressibles en milieu poreux, notamment les ecoulements eaugaz, a fait lobjet des publications [10, 11]. Sous lhypoth` ese que les densit es d ependent de la densit e globale, lexistence de solutions pour le probl` eme d eg en er e est prouv ee. R ecemment, dans [42], cette condition a et e relax ee en consid erant que la densit e de chaque phase d epend de sa propre pression et en g en eralisant lanalyse aux ecoulements multiphasiques. Un article est en cours de r edaction sur ce th` eme en lien avec la th` ese de Z. Khalil [81]. Parall` element ` a cette approche th eorique, ` a partir du mod` ele consid er e dans le Benchmark Couplex-Gaz 2 propos e par lANDRA, un algorithme a et e impl ement e et est en cours de validation pour la simulation num erique des ecoulements diphasiques compressibles en tenant compte de la dissolution. Finalement, dans le cadre de la th` ese de B. Saad [83], et en collaboration avec le CEA-Saclay, ce projet sint eresse ` a la simulation num erique d ecoulements multi-composants et plus particuli` erement aux algorithmes tenant compte du caract` ere d eg en er e des equations. Les journ ees scientiques du th` eme Ecoulements multiphasiques ont et e organis ees ` a Lyon les 4 et 5 Septembre 2008 par O. Gipouloux et A. Bourgeat. Elles ont r euni une quarantaine de participants, dont des membres de chacun des quatre projets ci-dessus. Dix-huit expos es ont balay e tout le spectre de la th ematique et ont permis de faire le point sur les avanc ees et les attentes de chacun. Quatre partenaires (ANDRA, CEA, EdF, IRSN) etaient repr esent es et ont pu faire part de leurs probl ematiques. M. Cathelineau, Directeur du GNR Forpro, a et e invit e` a exposer les probl ematiques de son groupement en vue dinteractions possibles avec Momas. Enn, une table ronde a et e organis ee an de proposer des cas tests (benchmarks) synth etiques et repr esentatifs, chacun, dune dicult e particuli` ere de la simulation num erique des ecoulements multiphasiques. Ces cas tests ont pour but de pouvoir faire le point sur les approches num eriques vari ees au sein de la th ematique, sur la fa con dont chacun prend en compte ces dicult es num eriques et enn sur les r esultats des di erentes approches. Ces cas tests (` a ce jour deux : un propos e par lUCB-Lyon et lautre par EDF ; lAndra devrait en proposer un prochainement), sont disponibles ` a ladresse http ://sources.univ-lyon1.fr/cas test.html

Th` eme B : Mod` eles et couplages

Cette th ematique (resp. A. Mikeli c) regroupe 5 projets. 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 La simulation de lEDZ est un enjeu scientique et technique majeur dans les etudes de stockage. Le projet pr ec edent ( mod elisation des couplages thermiques et hydrauliques en liaison avec lendommagement m ecanique ) ayant montr e lecacit e du mod` ele ` a micro-dilatation dans le cadre e a et e donn ee en 2008 ` a la consolidation des acquis du benchmark HYDRO MECA, la priorit du pr ec edent projet. Les acteurs scientiques ont d evelopp e 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, en lien avec le point 5 de lexpression de besoins EDF. Le travail sur la Tache T1 (Interpr etation des calculs r egularis es HYDRO MECA Momas en terme dextension dEDZ) a et e achev e et les participants ont pr esent e leur r esultats dans plusieurs conf erences. Notons aussi larticle [12] et la publication [65] (` a para tre dans un ouvrage collectif). Enn, le travail sur la Tache T2 (Am elioration du mod` ele pour limiter lextension de la zone totalement endommag ee) est bien avanc e. 2. Homog en eisation du terme source : d enition et validation de cas test (Univ Lyon 1), resp. O. Gipouloux Le projet sinscrit dans la continuation du projet pr ec edent 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). Lobjectif est de mettre au point des cas tests an d evaluer linuence 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. En 2008, le premier cas test a et e mis en place (10 alv eoles dans une galerie ferm ee) et les simulations pr esent ees aux conf erences indiquent que les concentrations calcul ees ` a partir du mod` ele complet et ` a partir du mod` ele homog en eis e sont assez proches pour des temps t 1000 ans. Notons les 2 articles ` a para tre [13] et [14]. 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. Ce projet se concentre 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. Au cours de lann ee 2008, les eorts se sont concentr es sur les ph enom` enes de dissolution et dissolution/pr ecipitation de constituants de la phase solide des g eomat eriaux, en particulier dans le contexte de lanalyse et la compr ehension de la d egradation des mat eriaux cimentaires. Les r ealisations principales en 2008 incluent a) la d enition des morphologies micro-structurales aux di erentes echelles, avec prise en compte notamment de la phase Portlandite, et b) lidentication de la structure des lois dinterface coupl ees, estimations potentielles des termes de couplages chemo-porom ecaniques. 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 Les travaux ont et e d evelopp es dans cinq 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 [43]. Le mod` ele contient une equation de convection-diusion dans les pores et une equation di erentielle ordinaire lin eaire pour ladsorption sur 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 et 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. Ecoulement r eactif ` a travers un tube capillaire [66]. Le solut e est transport e et dius e par ` la fronti` le uide. A ere lat erale de tube, les particules subissent une r eaction dadsorptiond esorption. Les param` etres de transport et de r eaction conduisent au r egime des grands nombres de P eclet et de Damkohler. Utilisant la technique de la perturbation singuli` ere anisotrope, les equations ecaces sont d eriv ees. En labsence de r eactions chimiques, elles co ncident avec celles de Taylor. Le r esultat est compar e` a la fermeture en mod elisation de la turbulence et ` a lapproche par la vari et e centrale. En outre, une justication num erique du mod` ele ecace par une simulation directe est pr esent ee. D erivation rigoureuse du mod` ele ecace pour un r eactif traversant un pore bidimensionnel etroit et long [16]. Les particules transport ees et dius ees du solut e subissent les r eactions innies de taux dadsorption ` a la fronti` ere lat erale de tube. Les param` etres de transport et de r eaction conduisent au r egime des grands nombres de P eclet et de Damkohler. La transformation de Laplace en temps a et e employ ee an dobtenir de meilleures estimations que dans les travaux pr ec edents de Mikeli c et Rosier sur le m eme probl` eme. Processus de sorption dans le charbon [17]. Ceux-ci ont et e mod elis es par une equation pseudoparabolique d eg en er ee non lin eaire pour la diusion du CO2 dans le charbon, augment ee par

la contrainte provenant de la paroi amovible. Dans ce travail, 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. Mise au point des mesures de transport en milieu poreux par IRM. Les proc edures dacquisition et de traitement dimages IRM de milieux poreux mod` eles (colonnes de billes de verre) sont actuellement au point. Des mesures de vitesse obtenues par IRM (gradients puls es avec encodage de phase) ont et e r ealis ees pour un ecoulement de Poiseuille (tube) an d etalonner la technique puis dans des milieux poreux mod` eles. Voir egalement [19]. 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). En 2008, les eorts ont port e sur une reformulation en probl` eme auto-adjoint du probl` eme de Graetz [15, 45]. 5. Mod` eles fractionnaires pour le transport de mati` ere en milieu poreux (Univ Avignon), resp. M.C. N eel Le but est dexpliquer les comportements diusifs anormaux (non-Fick eens) en ajoutant un terme c avec ]0, 1[ si bien que la d eriv ee est fractionnaire. Lajout de ce de viscosit e de la forme t terme fournit un param` etre suppl ementaire et lid ee est dexpliquer les donn ees exp erimentales, pour le dispersion du solut e dans un ecoulement non-satur 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 formellement de mod` eles non-browniens avec terme de r etention [46]. La mod elisation a egalement et e 1 1 enrichie en rempla cant lop erateur (I + t ) par un produit de convolution temporel g en eral. Les journ ees scientiques du th` eme Mod` eles et couplages ont et e organis ees par A. Mikeli c ` a lUniversit e Lyon 1, Lyon, du 4 au 5 novembre 2008. Il y avait 28 inscrits (8 li es aux partenaires CEA, EdF et IRSN et 19 li es aux 5 projets de la th ematique) et 14 expos es ont eu lieu. Tous les projets relevant de la th ematique ont pr esent e leurs travaux ce qui a permis une interaction constructive avec les partenaires pr esents.

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. R. Herbin Le Benchmark Anis dont le d eroulement est d ecrit ci-dessous constitue lun des points forts du projet. Par ailleurs, plusieurs r esultats importants ont et e acquis. Lanalyse des sch emas de volumes nis SUSHI a et e compl et ee par une estimation derreur. Un article incluant une annexe sur lanalyse fonctionnelle discr` ete qui peut etre utile pour lanalyse de convergence dautres m ethodes de discr etisation non-conformes a et e soumis [91]. La convergence du sch ema SUSHI a egalement et e d emontr ee pour des probl` emes non-lin eaires incluant lop erateur de Leray-Lions. Les propri et es g en eriques des m ethodes de volumes nis permettant les couplages de di erentes zones ont et e etudi ees pour lop erateur de convection-diusion [70, 40]. Les m ethodes de Galerkin discontinues pour lapproximation des equations de convection-diusionr eaction ont et e formul ees et analys ees dans le cas dun tenseur de diusion sym etrique mais uniquement semi-d eni positif [21]. Lutilisation dune moyenne de pond eration d ependant de

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

la diusion et de coecients de p enalisation proportionnels ` a la moyenne harmonique de la diusivit e normale ` a linterface des el ements sont des el ements cl es de la m ethode. La m ethode DDFV bi-dimensionnelle a et e utilis ee pour construire un sch ema pr ecis au second ordre pour le probl` eme de convection-diusion. La convergence a et e d emontr ee pour le cas diffusif. Des tests num eriques ont egalement conrm e la pr ecision au second ordre de ces sch emas [49]. Les m ethodes DDFV ont et e etendues aux traitement de cas anisotropes, h et erog` enes et non-lin eaires. Di erentes strat egies ont et e propos ees pour etendre la m ethode aux cas tridimensionnels [69, 48]. La comparaison entre ces di erentes m ethodes est en cours. Enn, lapplication de lalgorithme de Schwarz aux m ethodes DDFV pour les cas plans est en cours d etude [47, 68]. 2. M ethodes particulaires pour les milieux poreux (Univ Poitiers, Univ Bordeaux, LIMSI, Inria Nancy), resp. S. Huberson Ce projet a deux objectifs : adapter la m ethode particulaire pour traiter les probl` emes de champ lointain et prendre en compte les incertitudes sur les caract eristiques du terrain r eel. En cons equence, les trois points suivants ont et e abord es. Un solveur particulaire de l equation de convection-diusion incluant lutilisation de fonctions de r egularisation ` a support compact et de maillages de cha nage ainsi quun haut degr e de parall elisation a et e construit pour le cas dun transport tridimensionnel. Un champ de vitesse et des caract eristiques de terrain r eel ont et e fournis par lANDRA pour tester la m ethode. La m ethode de communication particule-maillage mise au point dans le cadre du pr ec edent projet a et e etendue au cas tridimensionnel pour des grilles type volumes-nis non structur ees. Les deux techniques habituelles de prise en compte de la dispersion (PSE et vitesse de dispersion) sont en cours de tests comparatifs sur ces donn ees. Une premi` ere strat egie de prise en compte des incertitudes a et e impl ement ee. Dans cette approche, les particules sont transport ees avec les propri et es moyennes du milieu (vitesse et dispersion moyennes) alors que lincertitude est trait ee gr ace ` a la technique PSE etendue ` a des repr esentations en polyn omes de chaos. 3. Solveurs pour l ecoulement et le transport en champ lointain (Inria Rocquencourt, UPMC, Univ Paris 13, Univ Troyes), resp. J. Jar e Les activit es de ce projet sont distribu ees sur quatre sous-th` emes. D ecomposition de domaine en temps (LAGA et Projet Estime). Le m emoire de Master de A. Keller a montr e comment impl ementer une formulation bas ee sur la m ethode du compl ement de Schur associ ee ` a un probl` eme dinterface discr` ete. Par ailleurs, la m ethode de relaxation de Schwarz optimis ee coupl ee avec des el ements nis discontinus en temps a et e etudi ee sur une version simpli ee du Benchmark Couplex 2D. G en eration de maillage (Projet Estime et LASMIS). Une m ethode adaptative pour la construction de maillages h exa edriques a et e elabor ee. Les maillages ont vocation ` a etre test es sur des calculs de l ecoulement de Darcy 3D en champ lointain. Ladaptativit e sera obtenue par un ranement du maillage h exa edrique grossier suivant certains crit` eres. Alg` ebre lin eaire num erique (Laboratoire J.L. Lions). Des conditions de transmission ecaces et la construction de bons maillages grossiers ont et e etudi es pour la d ecomposition de domaine alg ebrique ainsi quune version am elior ee de la m ethode de factorisation embo t ee, tr` es populaire en ing enierie p etroli` ere, pour les pr econditionneurs de type ILU. Probl` emes de compl ementarit e non-lin eaire (Projet Estime). La possible disparition de lune des phases dans un ecoulement diphasique ` a deux composants a et e formul ee comme un probl` eme de compl ementarit e. La th` ese de I. Ben Gharbia a pour sujet la construction dun solveur pour ce type de probl` eme. Ce solveur devrait egalement pouvoir etre appliqu e` a dautres probl` emes, par exemple de dissolution-pr ecipitation. 4. Mod elisation et simulation du transport r eactif (Inria Rocquencourt, IMFS, Inria Rennes), resp. J. Ehrel et M. Kern

Les points suivants ont et e abord es. D ecomposition de domaine pour le transport r eactif (IMFS). Des el ements nis discontinus sont utilis es pour le transport par convection et des volumes nis pour le transport par dispersion. Une estimation derreur a posteriori a et e d evelopp ee pour d eterminer le ranement du maillage. Lint egration en temps etant explicite, le CFL est x e` a 1 et il est n ecessaire dadapter le pas de temps aux variations du maillage ce qui conduit ` a lutilisation dun pas de temps local. L evolution du maillage est contr ol ee par lestimation derreur et des crit` eres sp eciques entra nant une eventuelle adaptation compl ementaire. Diusion active en milieux poreux (IMFS). La premi` ere partie de ce travail est exp erimentale et aujourdhui achev ee. Les exp eriences de transport r eactif incluant une r eaction redox entre du fer et du chrome ont et e r ealis ees dans une cellule bidimensionnelle de 33cm. Le mod` ele r eactif d ecrivant la chimie de linteraction chrome-fer est en cours de construction et des exp eriences sur une cellule plus grande (150cm), toujours en conguration plane, sont en pr eparation. M ethode ELLAM pour les ecoulements r eactifs en milieu h et erog` ene (IMFS). La m ethode ELLAM a et e utilis ee pour r esoudre des probl` emes de transport convectif dominant en milieu poreux. Contrairement aux m ethodes eul eriennes, la m ethode peut utiliser de grands pas de temps car il ny a pas de condition de CFL. Toutefois, des pr ecautions doivent etre prises pour traiter les termes dispersifs et r eactifs dans des milieux h et erog` enes. Une proc edure alternative, bas ee sur la construction dun coecient de dispersion equivalent et un taux de r eaction equivalent quand di erentes zones sont travers ees durant la convection a et e propos ee. Lecacit e de la proc edure a et e d emontr ee par des exp eriences num eriques. Formulation DAE (Rennes). Un code de calcul permettant de traiter les probl` emes 1D/2D/3D est disponible dans le logiciel libre MT3D. Ce code a et e utilis e pour r esoudre les cas tests de transport r eactif 1D et 2D propos es dans Alliances et le volet easy test case du benchmark Transport R eactif d ecrit ci-dessous. D eveloppement dun algorithme unidimensionnel pour r esoudre le probl` eme de transport r eactif coupl e avec application au cas test (1D, easy) du benchmark Transport R eactif (Rocquencourt). Ce travail est bas e sur la m ethode de Newton-Krylov et fait partie de la th` ese de L. Amir (soutenance pr evue en d ecembre 2008). Le stage dA. Perrin a et e lopportunit e pour etudier des sch emas dint egration en temps dordre sup erieur. Ce travail a egalement et e etendu ` a des g eom etries 2D et 3D. La biblioth` eque C++ d el ements nis Life V a et e utilis ee. Dans le cadre dun projet Cemracs, une m ethode de point xe a et e impl ement ee et test ee et une m ethode de Newton-Krylov utilisant la biblioth` eque Sundials/Kinsol est en cours dimpl ementation. Les journ ees scientiques du th` eme M ethodes num eriques ont et e organis ees par S. Huberson le 14 Novembre 2008 ` a lInstitut Henri Poincar e. Cette journ ee a r euni 26 participants du groupement. 11 expos es repr esentant tout les projets de la th ematique ont et e pr esent es et ont permis de faire le point sur lavancement des di erents probl` emes abord es.

Th` eme D : Analyse derreur et incertitudes

Cette th ematique (resp. O. Le Ma tre) regroupe 3 projets. 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 Ce projet concerne lidentication par des m ethodes inverses des propri et es physiques des milieux poreux naturels et articule deux sous-projets. Le premier sous-projet, pilot e Ph. Ackerer de lIMFS de Strasbourg (avec M. Fahs) et men e en collaboration avec le laboratoire HydrASA de Poitiers (F. Delay, G. Porel), concerne lidentication des param` etres hydrodynamiques locaux des sols (conductivit es hydrauliques et porosit es).

Dans un premier temps, un mod` ele classique a et e utilis e pour lidentication ` a partir de mesures eectu ees sur le site de Poitiers et a permis dobtenir un bon accord entre les donn ees simul ees et mesur ees. Dans un second temps, un mod` ele ` a double echelle pour les milieux fractur es a et e consid er e. Le syst` eme adjoint associ e au mod` ele double echelle a et e d eriv e et la proc edure didentication test ee avec succ` es sur des donn ees g en er ees num eriquement. Ces tests num eriques ont montr e la convergence en quelques it erations de la proc edure didentication ainsi que sa robustesse. Le second sous-projet pilot e par J. Blum au Laboratoire Dieudonn e de lUniversit e de Nice (avec Th. Migliore) est men e en collaboration avec lINRIA Sophia-Antipolis (L. Hascouet), lANDRA (L. Loth et D. Coelho) et lInstitut de Math ematiques de Toulouse (D. Auroux). Le projet vise au d eveloppement et ` a lapplication dune m ethode didentication des param` etres physiques non mesurables caract eristiques des couches g eologiques, tels que les porosit es et les coecients de diusion. Lidentication sappuie sur un mod` ele de convection-diusion (probl` eme direct) r esolu par le code TRACE d evelopp e par lIMFS de Strasbourg et lANDRA et une proc edure didentication par moindres carr es. Lann ee 2008 a et e consacr ee ` a la d erivation et ` a la validation du code adjoint pour le mod` ele de convection-diusion. Le code adjoint a et e g en er e par di erentiation automatique du code TRACE ` a laide du logiciel TAPENADE de lINRIA Sophia-Antipolis. La validit e de la proc edure doptimisation a et e d emontr ee pour lidentication de param` etres de porosit e et de diusion dans les di erentes couches. Loutil est ` a pr esent pr et pour lidentication ` a partir de donn ees r eelles fournies par lANDRA. 2. Propagation et quantication des incertitudes par polyn omes de chaos (LIMSI, UPMC, Univ Nantes, ENPC Champs), resp. O. Le Ma tre Ce projet plac e sous la responsabilit e de O. Le Ma tre au LIMSI-CNRS (avec L. Mathelin) est men e en collaboration avec A. Ern (CERMICS, ENPC), D. Lucor (IJLRDA-CNRS, UPMC), J.-M. Martinez (CEA/DM2S, Saclay) et A. Nouy (GeM, Universit e de Nantes). Il concerne le d eveloppement et la mise au point de techniques de propagation dincertitudes param etriques (sur les propri et es physiques des milieux) dans les mod` eles de transport. Les techniques consid er ees se basent sur des d eveloppements en polyn omes de chaos stochastiques. Deux approches alternatives de r esolution sont confront ees sur un ensemble de probl` emes de convection-dispersion (non-r eactifs). Plusieurs approches non-intrusives reposant sur un ensemble de simulations d eterministes effectu ees au sein de la plate-forme Alliances (CEA-EdF-ANDRA) pour calculer les coecients de la projection stochastique ont et e appliqu ees. Une m ethode adaptative a et e mise en uvre pour minimiser le nombre de simulations ` a eectuer et ainsi r eduire signicativement le co ut num erique de la projection. Di erents crit` eres dadaptation ont aussi et e test es. Ces travaux ont permis de caract eriser les incertitudes sur les concentrations et ux des radio- el ements, puis de mener des analyses de sensibilit e globale pour des probl` emes faisant intervenir jusqu` a une quinzaine de param` etres incertains. Les approches intrusives par projection de Galerkin reposent sur la r esolution dun probl` eme de grande dimension pour les coecients de projection. Compte tenu des dicult es de mise en uvre de ces approches (potentiellement plus ecaces et pr ecises que les m ethodes nonintrusives), les travaux se sont limit es en 2008 ` a la partie hydraulique des probl` emes (mod` ele de Darcy). Plusieurs pr econditionneurs et une approche par r eduction de mod` ele (approximation sur base r eduite) ont et e test es. Ces exp eriences num eriques ont d emontr e lint er et de lapproche par r eduction de mod` ele qui permet denvisager son emploi dans des codes de calcul d eterministes industriels, type Alliances, moyennant de l eg` eres adaptations. Lextension de ces m ethodes aux equations de convection-dispersion est en cours d etude. 3. Estimations derreur a posteriori pour le contr ole derreur et ladaptation de maillage (UPMC, ENPC Champs, Univ Paris 13), resp. M. Vohral k Ce projet, plac e sous la responsabilit e de M. Vohral k du Laboratoire J.-L. Lions de lUPMC, est

men e en collaboration avec Paris 13 (L. El Alaoui), lENPC (A. Ern) et le CEA-Saclay (P. Omnes). Le projet porte sur le d eveloppement destimateurs derreur a posteriori pour ladaptation de maillage et concerne une large gamme de techniques de discr etisation : volumes nis (FV), Galerkin Discontinu (DG), el ements nis (FE). En 2008, les travaux ont principalement port e sur la consolidation des th eories destimation derreur a posteriori pour les probl` emes du second ordre lin eaires stationnaires, et sur lextension de ces th eories aux probl` emes non-lin eaires instationnaires (notamment les equations de convection-diusion-r eaction). Les principales avanc ees ont port e sur (a) le d eveloppement destimateurs derreur a posteriori robustes vis-` a-vis des r egimes domin es par les eets convectif, r eactif ou diusif (DG, FE, FV) ; (b) la robustesse des estimateurs vis-` a-vis dinhomog en eit es du coecient de diusion (FV, DG, mixed-FE) ; (c) lextension de certaines th eories aux maillages non-conformes ; (d) le d eveloppement destimateurs a posteriori pour lerreur dint egration en temps (mixed-FE) ; (e) lutilisation des estimateurs derreur a posteriori pour la stabilisation optimale (stabilized-FE) ; (f) lunication des th eories a priori et a posteriori (mixed-FE). Un point important a ` noter est limpl ementation de certains de ces estimateurs dans un code de calcul du CEA pour les equations de Darcy. Deux journ ees scientiques ont et e organis ees en lien avec les travaux ci-dessus. 1. Une journ ee sur lanalyse derreur a posteriori, les maillages adaptatifs et le contr ole derreur a et e organis ee par M. Vohral k, L. El Alaoui et A. Ern le 13 octobre 2008 au Laboratoire J.L. Lions de luniversit e Paris 6. Outre une pr esentation des travaux du projet ci-dessus sur les estimations derreur a posteriori, six conf erenciers invit es ont pr esent e leurs travaux r ecents sur le sujet : M. Ainsworth (Glasgow University), Ch. Bernardi (UPMC), C. Carstensen (Humboldt University of Berlin), A. Veeser (Universit e de Milan), R. Verf urth (Ruhr-Universit at Bochum) et B. Wohlmuth (Universit e de Stuttgart). La journ ee a r euni un grand nombre de participants, dont 8 des partenaires du groupement, 13 scientiques en provenance de l etranger et une trentaine de scientiques travaillant en France. 2. Une journ ee sur le traitement des incertitudes a et e organis ee par O. Le Ma tre le 13 Novembre 2008 ` a lInstitut Henri Poincar e. Cette journ ee a r euni 25 participants du Groupement et ext erieurs, autour de 4 pr esentations invit ees (C. Soize, Universit e de Marne la Vall ee ; F. Nobile, Politecnico Milano ; Ga el Poette, IJLRDA-UPMC ; S. Boyaval, CERMICS-ENPC) et 4 pr esentations par des participants du groupement (C. Crestaux, CEA-Saclay ; A. Nouy, GeM-Universit e de Nantes ; F. Sma , ISTIL-Universit e Lyon 1 ; O. Le Ma tre, LIMSI-CNRS).

5
5.1

Benchmarks
Transport r eactif (TR)

Lobjectif de ce benchmark, pilot e par J. Carrayrou (IMFS, Strasbourg), est de proposer un exercice dinter-comparaison de codes ax e sur les dicult es num eriques et non sur les ph enom` enes. Pour ce faire, lexercice est con cu comme un cas de transport r eactif ctif utilisant les lois fondamentales r eelles : equation dadvection-dispersion-r eaction, loi daction de masse. Lexercice comporte 3 niveaux : easy, medium et hard ; d eclinables en version 1D ou 2D. Durant le International Workshop on Reactive Transport in Porous Media organis e` a Strasbourg du 21 au 24 janvier 2008, une journ ee a et e d edi ee ` a la restitution des travaux r ealis es sur ce benchmark. 10 equipes ont r esolu cet exercice, utilisant 10 m ethodes num eriques di erentes. Cest, ` a notre connaissance, la premi` ere fois quun exercice dinter-comparaison de cette ampleur est men e sur cette th ematique. An de valoriser le travail eectu e, un num ero sp ecial de la revue Computationnal Geosciences, intitul e MoMas Reactive Transport Benchmark, est en cours de nalisation. Les r esultats ont et e ociellement proclam es en novembre 2008. Les prix, pour un montant total de 10000 Euros, ont et e divis es comme suit :

1. K.U. Mayer, K.T.B. McQuarrie (University of New Brunswick et University of British-Columbia) MoMaS benchmark problems : MIN3P implementation (3000 Euros) 2. J. Homann, S. Kr autle, P. Knabner (Universit e dErlangen) : Computation of the MoMaS benchmark problem with a parallel global-implicit 2-D solver based on a reformulation of the PDE-ODE system (3000 Euros) 3. V. Lagneau, J. van der Lee (Mines ParisTech) HYTEC results of the MoMaS reactive transport benchmark (2000 Euros) 4. C. de Dieuleveult, J. Ehrel (INRIA) A global approach for reactive transport : application to the benchmark easy test case of MoMaS (2000 Euros)

5.2

Diusion anisotrope (ANIS)

Un benchmark pour la discr etisation de probl` emes de diusion anisotropes et h et erog` enes sur maillages g en eraux a et e elabor e par R. Herbin et F. Hubert (LATP, universit e Aix Marseille), avec la contribution de I. Aavatsmark, F. Boyer, R. Eymard, T. Gallou et, C. Le Potier, G. Manzini et R. Masson. Il est b ati autour de neuf cas tests bi-dimensionnels portant sur la r esolution du probl` eme g en erique (Ku) = f , avec conditions aux limites. Le tenseur K peut etre anisotrope, h et erog` ene et discontinu. Les maillages consid er es sont triangulaires ou quadrangulaires, et dans certains cas d eform es ou non conformes. Les r esultats ont et e pr esent es dans une session sp eciale du congr` es FVCA5 qui sest tenu en Juin 2008 ` a Aussois, et publi es dans les actes de ce congr` es. 20 participations ont et e re cues, dont neuf de MOMAS [86, 87, 88, 89, 90, 91, 93, 94, 95]. De nombreuses m ethodes ont et e propos ees : el ements nis, Galerkin discontinu, m ethodes de volumes nis centr ees par maille ou par sommet, ou de type dualit e discr` ete,m ethodes mim etiques... Les r esultats donn es pour chaque sch ema incluent le nombre dinconnues, le nombre d el ements non nuls dans la matrice, lordre de convergence, le respect ou non des bornes physiques, les valeurs de l energie. Ces r esultats ont et e synth etis es et compar es dans un article [92] egalement paru dans les actes du congr` es. On peut noter leur relative homog en eit e. On a pu observer que les sch emas dordre sup erieur ( el ements nis, Galerkin discontinu) ont un meilleur ordre de convergence, conform ement ` a la th eorie, et que les m ethodes de type DDFV (dualit e discr` ete) donnent une erreur particuli` erement faible pour le gradient. Les m ethodes FV centr ees et FD mim etiques semblent un peu plus robustes en ce qui concerne le respect des bornes physiques ou le principe du maximum. Des sch emas non lin eaires ont montr e la possibilit e de respecter ces principes. Le benchmark a permis de se rendre compte que les m ethodes de type mim etique, VF hybrides et VF mixtes sont tr` es proches. Un travail de comparaison th eorique est en cours de r edaction. Il est envisag e de poursuivre ce benchmark par des tests sur des equations non lin eaires mod` eles pr esentant des dicult es typiques de celles rencontr es dans les equations en milieux poreux r eactifs, telles que l equation de Stefan ou l equation de Richards, de proposer egalement des cas 3D, et enn de sint eresser ` a des equations de diusion convection coupl ees.

Autres actions sp eciques

1. Le Professeur P. Knabner de lUniversit e dErlangen a tenu le 17 janvier 2008 ` a lInstitut Henri Poincar e une journ ee de cours intitul ee Reactive Transport in Porous Media : Models, Analysis and Simulation ` a laquelle ont assist e une vingtaine de membres du groupement dont des partenaires et des jeunes chercheurs. 2. Dans le cadre du Colloque EUROMECH qui sest tenu ` a Nancy du 9 au 12 juin 2008, plusieurs membres du groupement ont pr esent e leurs travaux, notamment sur les ecoulements multiphasiques. Une s election des contributions ` a ce congr` es sera publi ee dans un num ero sp ecial de la revue Transport in Porous Media.

3. Du 13 au 16 octobre 2008 sest tenue ` a Dubrovnik une conf erence internationale intitul ee Scaling up and modeling for transport and ow in porous media. 26 conf erenciers invit es sont intervenus, dont plusieurs membres des projets du groupement, de son Conseil scientique ainsi que des experts internationaux, notamment des Etats-Unis. Cette conf erence a et e loccasion de nombreux echanges scientiques directement en lien avec les projets du groupement. 4. Une journ ee de s eminaires sur les M ethodes num eriques pour les uides a et e organis ee par J.-P. Croisille (Universit e de Metz, en collaboration avec F. Dubois (CNAM), A. Ern (ENPC), R. Luce (Universit e de Pau) et J.-F. Maitre (Ecole Centrale de Lyon)) le 4 d ecembre 2008 ` a lENPC, Champs sur Marne. Cinq conf erenciers invit es sont intervenus : ShiPeng Mao (ICM, Beijing), C. Chainais-Hillairet (Universit e de Clermont-Ferrand), Ch. Le Potier (CEA), L. Agelas (IFP) et D. Capatina (Universit e de Pau).

Publications

R ef erences
Articles parus ou accept es
[1] B. Amaziane and M. Jurak, A new formulation of immiscible compressible two-phase ow in porous media, C. R. Acad. Sci. Paris, M ecanique, 336, 600605 (2008). [2] B. Amaziane and M. El Ossmani, Convergence analysis of an approximation to miscible uid ows in porous media by combining mixed nite element and nite volume methods, Numer. Methods Partial Dierential Equations, 24, 799832 (2008). [3] B. Amaziane, M. El Ossmani and Ch. Serres, Numerical modeling of the ow and transport of radionuclides in heterogeneous porous media, Computational Geosciences, DOI 10.1007/s10596008-9083-0 (2008). [4] A. Bourgeat, M. Jurak and F. Sma , Two-phase partially miscible ow and transport modeling in porous media ; application to gas migration in a nuclear waste repository, Computational Geosciences, (2008) [5] Abadpour A., Panlov M. Principle of Equivalence and Method of Negative Saturations for twophase Compositional Flow with Oversaturated Zones. Transport in Porous Media. Accepted on November 6 (2008). [6] Ilina T., Panlov M., Bu` es M., and Panlova I. A pseudo two-phase model for colloid facilitated transport in porous media. Transport in Porous Media, 71, no. 3, 311-329 (2008). [7] Panlov M., Stepanyants Y., and Panlova I. Mechanisms of particle transport acceleration in porous media. Transport in Porous Media, 74, no 1, 49-71 (2008). [8] C. Canc` es, Nonlinear parabolic equations with spatial discontinuities, a ` para tre dans Nonlinear Dierential Equations and Applications. [9] C. Canc` es, T. Gallou et, and A. Porretta, Two-phase ows involving capillary barriers in heterogeneous porous media, a ` para tre dans Interfaces and Free Boundaries. [10] C. Galusinski and M. Saad, A nonlinear degenerate system modeling water-gas in reservoir ow, Discrete and continuous dynamical systems series B, Vol. 9, Num. 2,, 281308 (2008). [11] C. Galusinski and M. Saad, Two compressible and immiscible uids in porous media, J. Dierential Equations, 244, 1741-1783 (2008). [12] R. Fernandes, C. Chavant, R. Chambon. A simplied second gradient model for dilatant materials : theory and numerical implementation, International Journal of Solids and Structure, 45, 5289 5307 (2008).

[13] A. Bourgeat, O. Gipouloux, and F. Smai. Scaling up of source terms with random behavior for modeling transport migration of contaminants in aquifers. Nonlinear Analysis, (` a para tre), 2008. [14] O. Gipouloux and F. Smai. Scaling up of an underground waste disposal model with random source terms. International Journal of Multiscale Computing for Engineering, 6(4), 2008 (` a para tre). [15] S. Araujo de Lima, M A. Murad, C. Moyne, D. Stemmelen. A three-scale model for pH-dependent steady ows in 1 :1 clays. Acta Geotechnica, 3, 153174, 2008. [16] C. Choquet, A. Mikeli c, Laplace transform approach to the rigorous upscaling of the innite adsorption rate reactive ow under dominant Peclet number through a pore, accept e pour publication dans Applicable Analysis, 2008. [17] A. Mikeli c and J. Bruining, Analysis of Model Equations for Stress-Enhanced Diusion in Coal Layers. Part I : Existence of a Weak Solution, SIAM J. Math. Anal. 40 (4), 16711691 (2008) [18] O. Iliev, A. Mikeli c, P. Popov, On upscaling certain ows in deformable porous media, Multiscale Model. Simul., 7 (1), 93123 (2008). [19] M. A. Murad and Ch. Moyne. A dual porosity model for ionic solute transport in expansive clays. Computational Geosciences, 12 (1), 4782 (2008). [20] 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. [21] D. A. Di Pietro, A. Ern, and J.-L. Guermond. Discontinuous galerkin methods for anisotropic semidenite diusion with advection. SIAM Journal on Numerical Analysis, 46(2) :805831, 2008. [22] l. V. Dolean, F. Nataf, and G. Rapin. Deriving a new domain decomposition method for the stokes equations using the smith factorization. Math. Comp., ` a para tre 2008. [23] A. Sboui, J. Jar e, and J. E. Roberts. A composite mixed nite element for hexahedral grids. SIAM J. Sci. Comput., accept e 2008. [24] Belfort B., Ramasomanana F., Younes A., and Lehmann F. An ecient lumped mixed hybrid nite element formulation for variably saturated groundwater ow. Accept e dans Vadose Zone Journal, 2008. [25] Younes A. Reply to the comment on direct and split operator approaches with the moving mesh ELLAM for solving chemically reactive transport equations. AIChE Journal, 54(2), 2008. [26] Fahs M., Younes A., and Delay F. On the use of large time steps with ELLAM for transport with kinetic reactions over heterogeneous domains. AIChE Journal, ` a para tre 2008. [27] Fahs M., Carrayrou J., Younes A., and Ackerer P. On the eciency of the direct substitution approach for reactive transport problems in porous media. Water Air Soil Pollution, 193 :299 308, 2008. [28] M. Hayek, F. Lehmann and P. Ackerer, Adaptive multiscale parametrization for one dimensional ow in unsaturated porous media, Advances in Water Resources, 31(1), 2843 (2008). [29] A. Nouy and O. Le Maitre, Generalized spectral decomposition for stochastic non-linear problems, J. Comp. Phys., 228, 220235 (2009). [30] I. Cheddadi, R. Fu c k, M.I. Prieto and M. Vohral k, Computable a posteriori error estimates in the nite element method based on its local conservativity : improvements using local minimization, ESAIM Proc., 24, 7796 (2008). [31] L. El Alaoui, An adaptive nite volume box scheme for solving a class of nonlinear parabolic equations, Applied Mathematics Letters, (2008). [32] A. Ern and A.F. Stephansen, A posteriori energy-norm error estimates for advection-diusion equations approximated by weighted interior penalty methods, J. Comp. Math., 26(4), 488 510 (2008).

[33] M. Vohral k, A posteriori error estimation in the conforming nite element method based on its local conservativity and using local minimization, C. R. Math. Acad. Sci. Paris, 346(11-12), 687690 (2008). [34] M. Vohral k, Residual ux-based a posteriori error estimates for nite volume and related locally conservative methods, Numer. Math., 111, 121158 (2008).

Articles soumis
[35] A. Bourgeat, M. Jurak, A Two Level Scaling-up method for multiphase ow in porous media ; numerical validation and comparison with other methods ; soumis pour publication ` a : Computational Geosciences, (2008). [36] Oladyshkin S., Panlov M. Inuence of the type of relative permeability on the regimes of hydrogen penetration in water in porous media. Advances in Water Ressources, soumis (2008). [37] Oladyshkin S., Panlov M. Open thermodynamic model for compressible multicomponent twophase ow in porous media. Transport in Porous Media, soumis (2008). [38] O. Angelini, C. Chavant, E. Ch enier and R. Eymard, A nite volume scheme for diusion problems on general meshes ensuring monotony constraints, soumis pour publication dans SIAM Journal on Numerical Analysis. [39] C. Canc` es, Finite volume scheme for two-phase ow in heterogeneous porous media involving capillary pressure discontinuities, soumis pour publication dans M2AN. [40] R. Eymard, T. Gallou et, and R. Herbin, Discretization schemes for heterogeneous and anisotropic diusion problems on general nonconforming meshes, soumis pour publication. [41] F. Marpeau and M. Saad, Three dimensional simulation of the ground pollution by radionucleide Int. J. Numer. Meth. in uids (en r evision 2008) [42] C. Galusinski, M. Saad, Weak solutions for immiscible compressible multiuid ows in porous media. CRAS soumis 2008. [43] G. Allaire, A. Mikeli c, A. Piatnitski, Homogenization approach to the dispersion theory for reactive transport through porous media, prepublication presque complet ee, CMAP, Ecole Polytechnique, 2008. [44] W. J ager, A. Mikeli c, Modeling eective interface laws for transport phenomena between an unconned uid and a porous medium using homogenization, en r evision pour Transport in Porous Media, 2008. [45] C. Pierre, F. Plourabou e, A new mixed-formulation for eigenvalue convection-diusion problems, soumis (2008). [46] B. Maryshev, M. Joelson, D. Lyubimov, T. Lyubimova and M.C. N eel, Non Fickian ux for advection-dispersion with immobile periods, soumis au Journal of Physics A 2008, en r evision. [47] F. Boyer, F. Hubert, and S. Krell. Non-overlapping Schwarz algorithm for DDFV schemes on general 2D meshes. Soumis en 2008. [48] Y. Coudi` ere and F. Hubert. A 3d discrete duality nite volume method for nonlinear elliptic equations. soumis en 2008. [49] Y. Coudi` ere and M. Manzini. The discrete duality nite volume method for convection-diusion problems. soumis en 2008. http ://hal.archives-ouvertes.fr/hal-00319254/fr/. [50] M.J. Gander and C. Japhet. A compact algorithm with optimal complexity for non-matching grid projections. soumis en 2008. [51] L. Halpern, C. Japhet, and J. Szeftel. Discontinuous galerkin and nonconforming in time optimized schwarz waveform relaxation. soumis en 2008.

[52] J. Jar e and A. Sboui. Law, phase diagrams and complementary constraints for two-phase ow with gas dissolution. soumis en 2008. [53] C. Japhet, Y. Maday, and F. Nataf. A new cement to glue nonconforming grids with robin interface conditions : The nite element case. soumis en 2008. [54] D. Moreau, H. Borouchaki, and P. Laug. Adaptive hexahedral mesh renement. soumis en 2008. [55] C. de Dieuleveult, J. Erhel, and M. Kern. A global strategy for solving reactive transport equations. J. Comput. Phys., soumis (2008). [56] S. Majdalani, M. Fahs, J. Carrayrou, and Ph. Ackerer. Reactive transport parameter estimation : Genetic algorithm versus monte carlo approach. soumis 2008. [57] 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., soumis (2008). [58] A. Ern, A.F. Stephansen and M. Vohral k, Guaranteed and robust discontinuous Galerkin a posteriori error estimates for convectiondiusionreaction problems, Math. Models Methods Appl. Sci., soumis (2008). [59] P. Jir anek, Z. Strako s and M. Vohral k, A posteriori error estimates including algebraic error : computable upper bounds and stopping criteria for iterative solvers, SIAM J. Sci. Comput., soumis (2008). [60] P. Omnes, Y. Penel and Y. Rosenbaum, A posteriori error estimation for the discrete duality nite volume discretization of the Laplace equation, soumis (2008). [61] M. Vohral k, Unied primal formulation-based a priori and a posteriori error analysis of mixed nite element methods, Math. Comp., soumis (2008). [62] M. Vohral k, Guaranteed and fully robust a posteriori error estimates for conforming discretizations of diusion problems with discontinuous coecients, Math. Comp., soumis (2008).

Articles dans des ouvrages collectifs

[63] Abadpour A., Panlov M. Method of Negative Saturations for Multiphase Compositional Flow with Oversaturated Zones. Procs. EUROMECH-499, 9-12 June 2008, pp. 101119 (2008). [64] F. Sma , A. Bourgeat and M. Jurak, Two phase partially miscible ow and transport modeling in porous media ; application to gas migration in a nuclear wast repository, Procs. EUROMECH-499, 9-12 June 2008, (2008). [65] H. Amor, J.-J. Marigo, C. Maurini, Numerical experiments in a variational formulation of fatigue, in Proceeding of the second edition of the Euro Mediterranean Symposium On Advances in Geomaterial and Structures (AGS08), Hammamet, Tunisie, 2008. [66] C.J. van Duijn, A. Mikeli c, I. S. Pop, C. Rosier, Eective Dispersion Equations For Reactive Flows With Dominant Peclet and Damkohler Numbers, In : G. B. Marin, D. West and G. S. Yablonsky, Eds., Advances in Chemical Engineering, 34, Academic Press, 145, (2008). [67] F. Boyer and F. Hubert. The m-ddfv method for heterogeneous linear and nonlinear elliptic problems. In R. Eymard and J.-M. H erard, editors, Finite Volumes for Complex Applications V, pages 217224. Wiley, 2008. [68] F. Boyer, F. Hubert, and S. Krell. Non-overlapping Schwarz algorithm for DDFV schemes on general 2D meshes. In R. Eymard and J.-M. H erard, editors, Finite Volumes for Complex Applications V, page 225232. Wiley, 2008.

[69] Y. Coudi` ere, C. Pierre, and R. Turpault. A ddfv scheme for anisotropic and heterogeneous elliptic equations, application to a bio-mathematics problem : Electrocardiogramsimulation. In R. Eymard and J.-M. H erard, editors, Finite Volumes for Complex Applications V. Wiley, 2008. [70] J. Droniou. A recipe to couple two nite volume schemes for elliptic problems. In R. Eymard and J.-M. H erard, editors, Finite Volumes for Complex Applications V, page 6986. Wiley, 2008. [71] L. Halpern and C. Japhet. Discontinuous galerkin and nonconforming in time optimized schwarz waveform relaxation for heterogeneous problems. In U. Langer, M. Discacciati, D.E. Keyes, O.B. Widlund, and W. Zulehner, editors, Domain Decomposition Methods in Science and Engineering XVII, series :Lecture Notes in Computational Science and Engineering, volume 60, pages 211219. Springer, 2008. [72] P. Omnes, An a posteriori error bound for the discrete duality nite volume discretization of the Laplace equation and application to the adaptive simulation in a domain with a crack, in Finite Volumes for Complex Applications V, pp. 617624, (John Wiley & Sons, 2008). [73] M. Vohral k, Two types of guaranteed (and robust) a posteriori estimates for nite volume methods, in Finite Volumes for Complex Applications V, pp. 649656, (John Wiley & Sons, 2008).

Th` eses en cours

[74] Th. Abballe (Encadrants G. Allaire et Ph. Montarnal) Simulation multi- echelle et homog en eisation des mat eriaux cimentaires, CMAP, Ecole Polytechniquen, bourse CEA, depuis oct 2007. [75] L. Amir (Encadrant M. Kern) Mod` eles coupl es en milieu poreux : transport r eactif et fractures. Universit e Paris IX, soutenue le 18 d ecembre 2008. [76] 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. [77] 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. [78] C. Canc` es (Encadrant Th. Gallouet), Ecoulements diphasiques en milieux poreux h et erog` ene : mod elisation et analyse, Th` ese de Doctorat, Universit e de Provence 2008. [79] C. de Dieuleveult (Encadrant J. Ehrel), M ethode globale appliqu ee au transport r eactif, Th` ese de luniversit e de Rennes soutenue le 2008, nancement ANDRA. [80] R. Fernandes (Encadrant R. Chambon), Mod elisation num erique objective des probl` emes hydrom ecaniques coupl es dans le cas des g eomat eriaux, Th` ese de luniversit e Joseph Fourier, Grenoble, qui sera soutenue en janvier 2009. [81] 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). [82] Th. Migliore, Estimation des param` etres de transport pour un milieu hydro-g eologique et analyse dincertitudes, Th` ese de luniversit e de Nice d emarr ee en octobre 2006, nancement ANDRA. [83] 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). [84] 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).

[85] S. Tchouanmo (Encadrant : B. Amaziane) Mod elisation et simulation num erique 3D de la migration de gaz issu dun stockage profond de d echets radioactifs, Universit e de Pau et des Pays de lAdour, co-nancement IRSN.

Benchmark ANIS
[86] M. Af and B. Amaziane, Benchmark on Anisotropic Problems, Numerical simulation forr the anisotropic benchmark by a vertex centred nite volume method in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. 683704 (Wiley, 2008). [87] L. Agelas and D. Di Pietro, Benchmark on Anisotropic Problems, A symmetric nite volume scheme for anisotropic heterogeneous second-order elliptic problems in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. 705716 (Wiley, 2008). [88] F. Boyer and F. Hubert, Benchmark on Anisotropic Problems, The DDFV discrete duality nite volumes and m-DDFV schemes, in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. 735-750 (Wiley, 2008). [89] C. Chainais, J. Droniou and R. Eymard, Benchmark on Anisotropic Problems, Use of the mixed nite volume method, in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. 751-760 (Wiley, 2008). [90] D. Di Pietro, A. Ern, Benchmark on Anisotropic Problems, A discontinuous Galerkin ux for anisotropic heterogenous second-order elliptic problems, in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. 777793 (Wiley, 2008). [91] R. Eymard, T. Gallou et and R. Herbin, Benchmark on Anisotropic Problems, SUSHI : a scheme using stabilization and hybrid interfaces for anisotropic heterogeneous diusion problems in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. 801814 (Wiley, 2008). [92] R. Herbin and F. Hubert, Benchmark on Discretization Schemes for Anisotropic Diusion Problems on General Grids in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. 659-692 (Wiley, 2008). [93] F. Hermeline, Benchmark on Anisotropic Problems, Numerical experiments with the DDFV method, in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. 851863 (Wiley, 2008). [94] Ch. Le Potier, Benchmark on Anisotropic Problems, Numerical results with two cell centered nite volume schemes for heterogeneous anisotropic diusion operators, in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. 825842 (Wiley, 2008). [95] P. Omnes, Benchmark on Anisotropic Problems, Tests with the Discrete Duality Finite Volume method, in Finite Volumes for Complex Applications V, Aussois, R. Eymard and J.-M. H erard Eds., pp. (Wiley, 2008).

Benchmark TR
[96] J. Carrayrou, M. Kern, P. Knabner, MoMaS reactive transport benchmark, Computationnal Geosciences, soumis (2008). [97] C. de Dieuleveult, J. Erhel, A global approach for reactive transport :application to the benchmark easy test case of MoMaS, Computationnal Geosciences, soumis (2008). [98] J. Homann, S. Krautle, P. Knabner, Computation of the MoMaS Benchmark Problem with a Parallel Global-Implicit 2-D Solver based on a Reformulation of the PDE-ODE System, Computationnal Geosciences, soumis (2008).

[99] V. Lagneau, J. van der Lee, HYTEC results of the MoMas reactive transport benchmark, Computationnal Geosciences, soumis (2008). [100] L. Amir, M. Kern, Newton-Krylov methods for coupling transport with chemistry in heterogeneous porous media, Computationnal Geosciences, soumis (2008). [101] K. U. Mayer and K. T. B MacQuarrie, MoMaS benchmark problems : MIN3P implementation, Computationnal Geosciences, soumis (2008). [102] J. Carrayrou, Looking for some reference solutions for the Reactive Transport Benchmark of MoMaS with SPECY, Computationnal Geosciences, soumis (2008). [103] J. Carrayrou, J. Homan, P. Knabner, S. Krautle, C. de Dieuleveult, J. Erhel, J. Van der Lee, V. Lagneau, M. Kern, L. Amir, K. U. Mayer, K. T. B. McQuarrie, A synthesis of the MoMaS reactive transport benchmark results, Computationnal Geosciences, soumis (2008).