RAPPORT D`ACTIVITÉ 2 0 0 0 - Le Cermics
Contents
1. 26 stagiaires Combustion responsable A Em Simulations Mol culaires responsable E Canc s Optimisation et Syst mes responsable G Cohen Probabilit s et Applications responsable J F Delmas et le projet commun INRIA ENPC Caiman Sophia Antipolis responsable S Piperno Informatique Cet axe regroupe trois quipes Contraintes Sophia Antipolis responsable B Neveu Vision Champs sur Marne responsable R Keriven Langages et S curit Champs sur Marne responsable R Lalement Notons que en cette ann e 2000 l quipe Base de donn es Sophia Antipolis responsable F Lebastard a quitt le CERMICS pour fonder la soci t InfObjects D autre part une nouvelle quipe Optimisation et Syst mes vient d tre cr e au CERMICS elle regroupe G Cohen qui a rejoint l ENPC fin 1999 2 chercheurs du CEREVE J P Chancelier et M Cohen de Lara et 2 chercheurs du CERMICS J F Pommaret et T Salset La production scientifique du CERMICS est rest e soutenue une cinquantaine d articles accept s ou publi s AXES DE RECHERCHE CALCUL SCIENTIFIQUE CAIMAN E Bongiovanni E Briand N Canouet O Chanrion L Fezoui G Fourestey N Glinsky Olivier T Goudon S Lant ri M M riaux Poret S Piperno F Poupaud M Remaki R Rivi re G Sylvand CAIMAN est un projet commun avec le CERMICS laboratoire de recherche commun l INRIA et l cole National2. l ENPC ou l ENTPE parall lisme multim dia internet m thodes math matiques pour la finance th orie du trafic recherche op rationnelle g nie logiciel base de donn es intelligence artificielle programmation fonctionnelle l ments finis pollution atmosph rique java traitement d image initiation la simulation num rique processus al atoires Notons enfin que certains chercheurs du centre enseignent dans Nous tudions aussi plus particuli rement le caract re dynamique des op rateurs g n tiques sp cialis s pour la r solution de probl mes de satisfaction de contraintes Dans le domaine des contraintes num riques sur des variables r elles nous avons d velopp une m thode de rigidification r cursive pour r soudre des probl mes de contraintes g om triques en 2D trangers invit s et en liaison avec des applications donnant lieu des contrats stabilit de syst mes m caniques notamment de syst mes d formables en orbite dans un champ de gravitation m canique du roulement mod lisation du contact rail roue ou de pneumatique Les travaux men s au CERMICS par J P Lebacque sur la mod lisation du trafic et des transports ont concern en plus des th mes des ann es pr c dentes mod les macroscopiques du ler ordre sur les r seaux affectation dynamique les th mes suivants discr tisation des mod les du second ordre en vue d applications r gulation de vitesse
3. le premier concerne l tude de mod les microscopiques issus de la m canique quantique le second l tude de mod les multi chelles La plupart des sujets abord s font l objet de collaborations internationales sont en rapport avec des partenaires industriels ou entrent dans le cadre de financements institutionnels ACI OPTIMISATION ET SYSTEMES K Barty J P Chancelier G Cohen M Cohen de Lara J F Pommaret T Salset L quipe Optimisation et Syst mes est une quipe r cemment cr e au CERMICS Champs sur Marne Elle regroupe des chercheurs exp riment s ayant rejoint le CERMICS en provenance de l ext rieur G Cohen pr c demment au Centre Automatique et Syst mes de l cole des Mines de Paris Fontainebleau d un autre centre de l ENPC J P Chancelier et M Cohen de Lara en provenance du CEREVE ou d j pr sents au CERMICS J F Pommaret et T Salset Cette quipe est compl t e par un doctorant K Barty Comme le nom de l quipe l indique les th mes g n raux de recherche concernent le champ de l optimisation plut t continue que combinatoire mais aussi bien statique que dynamique et donc en particulier la commande optimale d terministe ainsi que stochastique etc et celui des syst mes dynamiques et de leur commande ou contr le L quipe est aussi engag e dans des d veloppements logiciels utilisant Scilab pour mettre au point une bo te outils permettant le traitement
4. nie Civil ENPC Champs sur Marne 16 mars S PIPERNO S minaire Interactions fluide structure au laboratoire Dieudonn l UNSA Nice S PIPERNO S minaire M thodes de volumes finis pour l lectromagn tisme au laboratoire Dieudonn l UNSA Nice S PIPERNO S minaire Interactions fluide structure l IMFT Toulouse J F POMMARET Second nonlinear control network workshop NCN 2000 controlability of non linear multidimensional control systems CNRS de Paris du 5 au 9 juin 2000 J F POMMARET A QUADRAT Mathematical theory of networks and systems NTNS 2000 equivalences of linear control systems Perpignan du 19 au 23 juin 2000 J F POMMARET A QUADRAT Second international workshop on multidimentional ND systems NDS 2000 a functional approach to the behaviour of multidimentional control systems zocha Acstle Pologne su 27 au 30 juin 2000 J FPOMMARET S minaire Analyse alg brique et th orie du contr le D partement d automatique SUPELEC France le 18 jannvier 2000 J F POMMARET Cours intensif Formal theory of partial differential equationns new perspectives for applications D partement d automatique Universit de Linz en Autriche du 7 au 18 f vrier 2000 G SYLVAND Semaines de travail avec le laboratoire de calcul scientifique de l A rospatiale de Toulouse juin et novembre 2000 E TEMAM International conference on Monte Carlo and Probabilistic
5. Methods for PDES Pricing d optionns asiatiques 3 5 juillet 2000 SEMINAIRES ET CONFERENCES INVITEES S minaire m canique et mod lisation Le s minaire M canique et mod lisation commun au CERMICS et au laboratoire de mod lisation m canique de l Universit Pierre et Marie Curie dont le th me est la m canique des syst mes de solides rigides a donn lieu aux conf rences suivantes P BAINUM Howard University Washington USA The implementation of maintening constant distance between satellites in elliptic orbits B BERNAY LMM et a rospatiale Matra R ponse dynamique d un avion avec turbogan par suite d une perte d aube V VILKE Universit de Moscou Lomonosov Groupe de travail mod lisation du trafic Le fonctionnement de ce groupe de travail commun l INRETS organisateurs M Aron F Boilot IRETS et au CERMICS J P Lebacque CERMICS s est poursuivi en 2000 L objet de ce groupe de travail est l tude des mod les de trafic ce qui inclut aussi bien les mod les math matiques et comportementaux que les applications Sa p riodicit est mensuelle les expos s ayant lieu l INRETS Les actes de ce groupe de travail donnent lieu une publication annuelle H HAJ SALEM INRETS GRETIA Reconstitution des donn es manquantes du trafic probl mes m thodes et solutions M PAPAGEORGIOU Universit technique de Cr te TUC une strat gie adaptative de r gulation l che
6. la physique ONERA Office National f Etudes et de Recherches A rospatiales PFE Projet fin d Etudes SESO Soci t Europ enne de Syst mes Optiques SINTEF The foundation for Scientific and Industrial Research at the Norwegian Institute of Technology UMLYV Universit Marne la Vall e UNSA Universit de Nice Sophia Antipolis UTAC Union Technique Automobile du Motocycle et du Cycle UTC Universit de Technologie de Compi gne SCTPMVN Service Central Technique des Ports Maritimes et des Voies Navigables
7. paraissent aussi prometteuses M Jaume qui avait un poste d ATER l universit d Evry a continu ses recherches au sein du CERMICS en 2000 Il a t recrut en septembre comme assistant par l Institut d Informatique des facult s Universitaires Notre Dame de la Paix Namur l exploitation de la topologie du graphe de contraintes les contraintes fonctionnelles et les hi rarchies de contraintes Dans ce cadre de la r solution de probl mes de satisfaction de contraintes CSP les recherches suivantes ont t men es en 2000 Pour les CSP en domaines finis nous avons d velopp une nouvelle m thode de recherche nomm e recherche focalisation progressive qui alterne une recherche dans plusieurs sous arbres avant de se focaliser sur le plus prometteur Une biblioth que d algorithmes volutionnistes a t d velopp e Cette biblioth que permet de programmer des algorithmes volutionnistes parall les o plusieurs sous populations voluent en lots et changent r guli rement des individus GEOMETRIE ET MECANIQUE D Chevallier J Gloukhikh J P Lebacque J Lerbet Les travaux concernant les m thodes math matiques de la m canique s appuient principalement au niveau math matique sur la g om trie diff rentielle les groupoides et les groupes et alg bres de Lie et sur les techniques d informatique symbolique Nos th mes de recherche concernent les applications de la g om trie des groupes
8. 0 F POUPAUD J SOLER Parabolic Limit and Stability of the Vlasov Poisson Fokker Planck System Mathematical Models and Methods in Applied Sciences vol 10 n 7 p 1027 1045 2000 M REMAKI A New Finite Volume Scheme for Solving Maxwell s System COMPEL The International Journal for Computation and Mathematics in Electric and Electronic Engineering vol 19 n 3 p 913 931 2000 J P LEBACQUE M ARON F BOILLOT J B LESORT diteurs Mod lisation du trafic actes du groupe de travail 1998 actes Inrets para tre A ERN Analyse A ERN Calcul scientifique N GLINSKY OLIVIER S PIPERNO Initiation la simulation num rique d coulements compressibles semaine europ enne ParisTech 107 pages 2000 R LALEMENT Objets Algorithmes Patterns ENPC octobre 2000 226 pages A particle method for the solution of a 1D viscous scalar conservation law in a bounded interval Proceedings of the Int Conf on Monte Carlo and Probabilistic Methods for Partial Differential Equations Monaco 3 5 juillet 2000 para tre dans Monte Carlo Methods and Applications E CANCES et C LE BRIS A new efficient algorithm for electronic structure calculations ECCOMAS Barcelone septembre 2000 E CANCES et C LE BRIS Convergence of algorithms for electronic structure calculations IMACS Lausanne Aout 2000 I CATTO C LE BRIS P L LIONS Recent mathematical results on the quantum modelling of crystals d
9. Hautes Etudes en Sciences Sociales EIVP Ecole d Ing nieurs de la Ville de Paris ENS Ecole Normale Sup rieure ENSMP Ecole Nationale Sup rieure des Mines de Paris EPFL Ecole Polytechnique et F d rale de Lausanne ESSI Ecole Sup rieure en Sciences Informatiques ESSTIN Ecole Sup rieure des Sciences et Techniques de l Ing nieur de Nancy GDR Groupement de recherche GRETIA G nie des R seaux de Transport et Informatique Avanc e HDI Horizontal Drilling International IFP Institut Fran ais du P trole INRA Institut National de Recherche Agronomique INP Institut National Polytechnique IRIT Institu de Recherche en Informatique de Toulouse ISSS Informatique Signaux et Syst mes de Sophia Antipolis INRETS Institut National de Recherche sur les transports et leur s curit INRIA Institut National de Recherche en Informatique et Automatique IRETS Institut R gional d Enseignement Technique Sup rieur ISIA Institut Sup rieur d Informatique et d Automatique LCPC Laboratoire Central des Ponts et Chauss es LICIT Laboratoire d Ing ni rie du Trafic commun l ENTPE et l INRETS LIM Laboratoire d Informatique de Marseille LIMSI Laboratoire d Informatique pour la M canique et Is Sciences de l Ing nieur LIRMM Laboratoire d Informatique de Robotique et de Micro lectronique de Montpellier LTPCM Laboratoire de Thermodynamique et de Physico Chimie M tallurgiques MMSAP Math matiques de la mod lisation simulation et application de
10. J F DELMAS B LAPEYRE Introduction aux probabilit s et aux statistiques ENSTA J F DELMAS Cours de Probabilit s Ecole Polytechnique Petites Classes J F DELMAS B LAPEYRE Calcul scientifique ENPC cours Trimestriel A ERN professeur responsable E CANCES El ments finis ENPC cours trimestriel A ERN enseignant responsable Mod lisation et simulation num rique des m langes gazeux r actifs Paris VI DEA analyse num rique et Versailles DEA M2SAP Cours mont en collaboration avec V Giovangligli CMAP A ERN enseignant co responsable Pollution atmosph rique ENPC Cours trimestriel A ERN intervenant Mod lisation des environnements et m thodes inverses DEA M2SAP Versailles cours mont en collaboration avec C Duquennoi CEMAGREF F Hourdin LMD A ERN intervenant et B SPORTISSE ENPC Optimisation et analyse num rique Ecole Polytechnique A ERN maitre de conf rences Java Universit de Bretagne Sud Deug MIAS H GRALL M thodes math matiques pour la finance ENPC B JOURDAIN enseignant Analyse 1 ENPC B JOURDAIN E CANCES A ERN R MONNEAU Analyse 2 ENPC B JOURDAIN E CANCES M thodes de Monte Carlo en finances Cours de formation continue de l Ecole Polytechnique B JOURDAIN B LAPEYRE E TEMAM Visualisation 3D ENPC R KERIVEN enseignant responsable Informatique 2 ENPC R KERIVEN enseignant responsable Traitement d Images
11. L2 stability of the upwind first order finite volume scheme for the Maxwell equation in two and three dimensions on arbitrary unstructured meshes RAIRO Mod lisation Math matique et Analyse Num rique vol 34 n 1 p 139 158 2000 J F POMMARET A QUADRAT Mathematics of control signals and systems 13 2000 193 215 formal elimination for multidimensional systems and application to control theory Livres Y DELMAS RIGOUTSOS R LALEMENT La Logique ou l Art de Raisonner Quatre Quatre ditions Le Pommier 2000 A ERN J L GUERMOND El ments finis 359 p soumis pour publication Springer SMAI 2000 Polycopi s G COHEN Convexit et Optimisation M COHEN DE LARA A TOUBOL Calcul des probabilit s simulation et application J F DELMAS B LAPEYRE Cours de Processus Al atoire A ERN J L GUERMOND El ments finis Communications crites A BEN HAJ YEDDER E CANCES et C LE BRIS Optimal laser control of chemical reactions using automatic differentiation Proceedings of Automatic Differentiation 2000 From Simulation to Optimization X BLANC R MONNEAU Derivation of the macroscopic electric conductivity from a microscopic solid state model ECCOMAS 2000 Proceedings CD ROM Barcelone Espagne M BOSSY B JOURDAIN F POUPAUD M REMAKI Existence et unicit des solutions du syst me de Maxwell pour des milieux h t rog nes non r guliers Note aux C R A S t 330 S rie I p 99 103 200
12. M thodes num riques pour les coulements de gaz parfaits non polytropiques Application l pitaxie ENPC N CANOUET Sch mas multi chelles pour la r solution num rique des quations de Maxwell ENPC CDD France T l com R amp D O CHANRION Mod lisation des effets de la propulsion lectrique sur la charge lectrostatique d un satellite ENPC bourse CIFRE Alcatel Space Industries F DIDIERJEAN Gestion dynamique des param tres d un algorithme volutionniste pour la r solution de probl mes de satisfaction de contraintes ENPC G FOURESTEY Simulations num riques de couplages a ro lastiques coulement incompressible structure souple application aux ouvrages d art ENPC THESES SOUTENUES J M DEPINAY Automatisation de m thodes de r duction de variance pour des quations de transport ENPC mai 2000 O JAUTZY Exploitation unifi e de bases de donn es ind pendantes et exprim es dans des mod les de donn es diff rents ENPC mars 2000 Y GATI Mod lisation math matiquue et simulation num rique de fluides non newtoniens ENPC J GLOUKHIKH Structures math matiques des quations dynamiques nouvelle m thode de traitement Th se en co tutelle ENPC Universit de Moscou H GRALL V rification de propri t s concernant la s curit lors de l ex cution de codes mobiles ENPC A KENOUFI Analyse num rique des simulations ab initio en science des mat riaux ENPC B
13. MADELINE Aspects auto adaptatifs des algorithmes volutionistes pour la r solution de probl mes de satisfaction de contraintes UNSA M MERIAUD PORET M thodes en maillages mobiles auto adaptatifs pour des syst mes hyperboliques en une et deux dimensions d espace Application aux interactions fluide structure ENPC L NGUYEN Prise en compte de certaines des imperfections du mod le de Black Sholes M NOUBIR Etude d algorithmes de calculs de certaines options exotiques ENPC G SYLVAND M thodes num riques rapides pour la r solution des quations int grales en lectromagn tisme ENPC E TEMAM Sch mas d approximation de diffusions Application la finance Pricing des options et couvertures Paris VI F KSAS M thodes de Monte Carlo et suites discr pances faibles appliqu es au calcul d options en finance Universit d Evry juillet 2000 CONTRATS Simulation ab initio des mat riaux E CANCES C LE BRIS et A KENOUFI EDF Projet ALAPADES Commission europ enne TU Delft G COHEN Calculs sum riques pour le proc d de sublimation CNRS INPG A ERN Calculs des incertitudes dans le domaine d un gisement d hydrocarbures ELF EP J F DELMAS Etude sur les mod les financiers B LAPEYRE M NOUBIR Cr dit Lyonnais Etudes sur les mod les de cuves lectrolyse d aluminium C LE BRIS P chiney Contrat INRIA Participation un consortium PREMIA Equipe prob
14. On the thermodynamic limit for Hartree Fock type models preprint CEREMADE 0010 para tre Annales de l Institut Henri Poincarr analyse non lin aire J LERBET On some explicit relations in kinematics of mechanisms Mechanics Research Communications accept pour publication juillet 2000 J F POMMARET Acta mechanica group interpretation of coupling phenomena accepted for publication Convergence of Meissner minimisers of the Ginzburg Landau energy as kappa tends to infinity SIAM Journal of Mathematical Analysis Vol 31 No 6 1374 1395 2000 notes aux comtes rendus de l Acad mie des Sciences de Paris t331 s rie I p 1 5 2000 A BONNET R MONNEAU Existence of a smooth free boundary in a superconductor with a Nash Moser inverse function theorem argument Interfaces and Free Boundaries 2 181 200 2000 M BOSTAN F POUPAUD Time periodic solution for the Vlasov Maxwell system in 1D Mathematical Models and Methods in Applied Sciences n 23 p 1195 1221 2000 M BOSTAN F POUPAUD Periodic solutions of the Vlasov Poisson system with boundary conditions Mathematical Models and Methods in Applied Sciences vol 10 n 5 p 651 672 2000 J P BOURNET S PIPERNO Numerical simulations of wind effects on flexible civil engineering structures Revue Europ enne des El ments Finis vol 8 n 5 6 p 659 687 1999 E CANCES SCF algorithms for Hartree Fock electronic calculations Lecture N
15. RAPPORT D ACTIVIT 2000 CERMICS Centre d Enseignement et de Recherche en Math matiques Informatique et Calcul Scientifique ECOLE NATIONALE DES PONTS ET CHAUSS ES INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN MATHEMATIQUES INFORMATIQUE ET CALCUL SCIENTIFIQUE CERMICS Laboratoire commun l ENPC et l INRIA Institut national de recherche en informatique et en automatique Ecole nationale des ponts et chauss es 6 et 8 avenue Blaise Pascal Cit Descartes Champs sur Marne 77455 Marne la Vall e Cedex 2 T l 01 64 15 35 72 Fax 01 64 15 35 86 Directeur INRIA 2004 route des Lucioles B P 93 06902 Sophia Antipolis Cedex T l 04 92 38 79 00 Fax 04 92 38 77 40 Bernard LAPEYRE Directeurs adjoints Claude LE BRIS 23 chercheurs dont 2 Inria 3 chercheurs associ s 2 ing nieurs 22 doctorants Le CERMICS est un laboratoire commun l ENPC et l INRIA Son effectif est r parti entre le site de l INRIA Sophia Antipolis dans les Alpes Maritimes et les locaux de l ENPC Champs sur Marne L activit scientifique du CERMICS est regroup e en deux grands axes de recherches Calcul scientifique et Probabilit s Appliqu es Cette activit regroupe 4 quipes de Champs sur Marne et une quipe Sophia Antipolis Serge PIPERNO 3 personnels administratifs 2 Post doctorants 6 chercheurs invit s
16. abilit s Contrat de recherche entre I3S et la soci t Amadeus sur l utilisation de m thodes de contraintes et de recherches RAPPORTS ET MEMOIRES R ABRAHAM J F DELMAS Some properties of the exit measure for super brownian motion Rapport CERMICS 2000 189 X BLANC C LE BRIS Periodicity of the infinite volume ground state of a one dimentional quantum model Rapport CERMICS 2000 191 P E BOURNET Validation du code NS3IFS et comparaison avec des donn es exp rimentales pour des coulements autour de tabliers de ponts Rapport CERMICS 2000 202 M BOSSY B JOURDAIN Rate of convergence of a particle method for the solution of a 1D viscous scalar conservation law in a bounded interval Rapport CERMICS 2000 197 D BOUVIER R KERIVEN M thodes int grales pour le probl me de la magn to lectro enc phalographie tridimensionelle Rapport CERMICS 2000 195 E BRIAND Manuel d Utilisation de COSI 0 1 INRIA 2000 Etude num rique et exp rimentale du contr le des r actions chimiques par laser ACI Blanche MENRT Responsable C LE BRIS Am lioration des outils de calibrage de Metacor et de r gulation Oasis Inrets J P LEBACQUE R solution it rative rapide des quations int grales en lectromagn tisme et acoustique G SYLVAND S PIPERNO AEROSPATIALE MATRA CCR R alisation d un traducteur de mod les physiques d crits en Modelica vers un formalisme propre la simulation num rique en c
17. an REMAKI Malika post doctorant ENPC et ATER Universit Nice Sophia Antipolis mi temps POUPAUD Fr d ric DANIEL Jacques GATI Yousra GLOUKHIKH Julie GRALL Herv JAUTZY Olivier KENOUFI Abdel MADELINE Blaise MERIAUX PORET Maud NGUYEN Laurent NOUBIR Monaoya PILOT Mathieu SYLVAND Guillaume TEMAM Emmanuel Chercheurs invit s CARAMELINO Lucia Rome HETMANIUK Ulrich Universit de Boulder MOUBACHIR Marwan LCPC TKHAI Valentin Centre de calcul de l Acad mie des Sciences de Russie WILKE Vladimir Univ Lomonosov ZANETTE Antonino Universit de Trieste Italie Stagiaires BARRES Tristan ENPC stage scientifique CAMILLERI Delphine ENSTA stage de 2 ann e DARGNIES Etienne ENPC stage scientifique DEBORGGRAEVE Sophie Institut Galil e stage PFE DEGBO Toussaint Paris VII DEA DOUXAMI Martin ENPC stage scientifique FERRIERE Julien ENS Lyon stage 1 ann e GATI Yousra Paris IX Dauphine DEA HUGUENY J r me ENPC stage scientifique ITRIB Youssef Institut Galil e Stage KENOUKI Abdel Universit de Versailles St Quentin DEA KERIAKI Majed Universit de Versailles St Quentin DEA LELIEVRE Tony Paris VI DEA LEMAIRE Patrick ENPC stage scientifique LE MASNE Quentin ENSTA stage de 2 ann e LENOIR Nicolas ENSTA stage de 2 ann e MERIAUX PORET Maud Inria DEA MERZOUK Najib MLV DEA MIERMONT Gr gory ENS ULM NODET Ma lle ENS Lyon stage 2
18. ann e DE ZERBI Paul Fran ois ENPC stage scientifique OUDJEDI DAMERDIJI Nazim Paris IX Dauphine DEA RICCIOTTI Romain Paris Sud XI Stage de maitrise PAOLI Pierre ENPC stage scientifique PINGET ENTPE stage PFE WOLFF Julien ENPC stage scientifique Personnels administratifs BARRERE Sabine BERTE Sylvie ENSEIGNEMENTS HAMADE Imane Chimie quantique num rique DEA ANLA et MAL Universit Paris IX Dauphine E CANCES Mod lisation pour l ing nieur ENPC E CANCES A ERN C et calcul scientifique ENPC J P CHANCELIER Parall lisme J P CHANCELIER T SALSET et R KERIVEN Expertise contre expertise participation au Cours ENPC J P CHANCELIER Syst mes dynamiques et contr le ENPC JP CHANCELIER M COHEN DE LARA intervenants Scilab ENPC l re ann e pendant la semaine de bureautique J P CHANCELIER M COHEN DE LARA JF DELMAS B JOURDAIN T SALSET TP Scilab pour les math financi res 1 ESSI Sophia Antipolis DESS IMAFA J P CHANCELIER Convexit et Optimisation ENPC G COHEN Optimisation de grands syst mes Universit de Paris I DEA MMME G COHEN Probabilit s et application ENPC M COHEN DE LARA professeur responsable J F DELMAS B JOURDAIN Introduction 4 Scilab ENPC M COHEN DE LARA Pratique de l analyse conomique ENA M COHEN DE LARA Mod les al toires pour l ing nieur ENPC J F DELMAS B JOURDAIN Processus al atoire ENPC
19. ans Mathematical models and methods for ab initio quantum chemistry lecture notes in chemistry 74 pages 95 119 D P CHEVALLIER J D GLOUKHIKH Polyakov Readings Ellipsoid absoliotno cheroxoatoi ploskosti Stabilit d un ellipsoide sans glissement sur un plan Du 2 au 4 f vrier 2000 Saint P tersbourg D P CHEVALLIER J D GLOUKHIKH 4th EUROMECH Solid Mechanics Conf rence 2000 Resonant explosive Instability of the Ellipsoid Rotations on a rough plane Metz France du 26 au 30 juin 2000 M CLERC S MALLAT Shape from Texture through Deformations proceedings of the 7th International Conference on Computer Vision vol 1 pp 405 410 September 1999 G COHEN S GAUBERT J P QUADRAT Hahn Banach separation theorem for max plus semi modules pp 325 334 in J L Menaldi E Rofman A Sulem Eds Optimal Control and Partial Differential Equations Actes de la Conf rence en l honneur du Professeur Alain Bensoussan l occasion de son 60 me anniversaire 4 5 d c 2000 Paris Publi s par IOS Press Amsterdam 2000 E DUCEAU L FEZOUI M REMAKI S PIPERNO A Centered Finite Volume Scheme for Solving Maxwell s Equations in Heterogeneous Media Fifth International Conference on Mathematical and Numerical Aspects of Wave Propagation Santiago de Compostella Espagne 10 14 juillet 2000 C FARHAT S PIPERNO Energy based analysis of partitioned procedures for transient non linear aeroelastic problems V Cong
20. avril 2000 A ERN ISFMA Symposium on Environmental Science and Engineering with related Mathematical Problems Hangzhou P R C 20 26 ao t 2000 co organisateur du Symposium avec D Zimmer CEMAGREF A ERN Eigth International Conference on Numerical Combustion Amelia Island USA 5 8 mars 2000 organisation d un minisymposium sur Adaptive numerical methods for reactive flows A ERN Mod lisation des flammes de type bunsen ULP Strasbourg octobre 2000 A ERN Mod lisation num rique d coulements en milieu poreux journ e de travail commune avec le CEMAGREF novembre 2000 A ERN El ments finis adaptatifs et EDPs coupl es en transport r action journ e de travail avec l IMF Strasbourg d cembre 2000 I GLOUKHIKH 26 ieme s minaire international La stabilit et les oscillations des syst mes du contr le la stabilit des oscillations et rotations d un satellite sur un plan d une orbite elliptique sous les forces a rodynamiques et l effet de la gravitation 6 8 juin Moscou M JAUME Logic programming and Co inductive definitions Workshop on Fixed Points in Computer Science Satellite Workshop to LC 2000 july 2000 Paris France B JOURDAIN Universit d Evry 6 janvier 2000 Fonction minimale du semi groupe de Black Scholes et arr t optimal B JOURDAIN CANUM 5 9 juin 2000 Approximation du put am ricain par des prix europ ens B JOURDAIN First World Congress of the Bach
21. chnique Sur le plan des applications industrielles on peut signaler un premier contrat avec le Gaz de France pour l optimisation des mouvements de gaz et de la gestion des r servoirs de stockage en collaboration avec l ENSTA et l INRIA Un autre contrat avec le CIRED se met en place il comporte une part importante d laboration et de r solution de probl mes d optimisation d terministes ou stochastiques Enfin un int r t pour les applications en transport se fait jour en relation avec une activit en cours de d veloppement l INRIA L aspect Syst mes de l quipe se traduit notamment par les travaux de J F Pommaret sur la th orie du contr le et ses g n ralisations sur les fondements de la m canique et de la thermodynamique le calcul formel pour les EDP le couplage champs mati re le calcul des variations avec contraintes etc Quatre livres ont d j t publi s sur ces travaux et un cinqui me intitul Partial differential control theory est para tre tr s prochainement Ces travaux ont une composante alg brique marqu e et cette caract ristique est partag e par ceux de G Cohen en relation avec le groupe de travail Max Plus de l INRIA qui d veloppe depuis vingt ans une approche de certaines classes de syst mes les syst mes v nements discrets en utilisant des outils relevant de l alg bre et l analyse idempotentes Les derniers d veloppements en cette mati re portent sur la mise en vide
22. contr le d acc s reprise des recherches sur les mod les du premier ordre acc l ration born e mod lisation d interactions chargeurs transporteurs La collaboration avec l INRETS le LICIT mais surtout le GRETIA s est poursuivie concr tis e par le S minaire Mod lisation du trafic et par un Contrat de recherche de rapports de recherche CERMICS ou INRIA ont t diffus s Notons enfin que deux nouvelles habilitations diriger des recherches ont t soutenues M Cohen de Lara S Piperno ce qui porte 9 sur 23 chercheurs permanents le nombre d habilit s au CERMICS d autres coles d ing nieurs comme l EIVP l Ecole Polytechnique l ESSI l ENSTA ENSMP ENA L implication des chercheurs dans les DEA t moigne de leurs qualit s scientifiques et assure un recrutement r gulier de th sards Le CERMICS participe ainsi l offre de cours des DEA cr s autour de la Cit Descartes M thodes de Monte Carlo pour les quations d volution pour le DEA Analyse et syst mes al atoires Preuve et Calcul pour le DEA Informatique fondamentale et applications Les interventions dans d autres DEA Paris VI g om trie diff rentielle et m canique programmation logique m thodes num riques pour les calculs d options quation de Schrodinger coulements r actifs Paris I DEA Mod les et M thodes Math matiques et Economie mais galement l Universit de Nice Sophia Anti
23. cs method for a 1D scalar conservation law Rapport CERMICS 2000 193 I CATTO C LE BRIS P L LIONS On some periodic Hartree type models for crystals para tre Annales de l Institut Henri Poincarr analyse non lin aire preprint CEREMADE 9948 R MONNEAU On the number of singularities for the obstacle problem in two dimensions Rapport CERMICS 2000 194 CONGRES COLLOQUES MISSIONS Organisation A ERN Organisation du Symposium ISFMA rencontre avec l Universit Fudan et Tongji Shanghai HKUST et Vivendi Water 4 Hongkong janvier 2000 B LAPEYRE Organisation d un mini symposium num riques en finances Canum juin 2000 m thode Participation des congr s ou des s minaires X BLANC P riodicit d un mod le quanntique de dimension 1 colloque interactions coulombiennes quations cin tiques et analyse symptotique CIRM Luminy du 21 au 25 f vrier 2000 X BLANC Utilisation d un mod le quantique microscopique pour obtenir un mod le de conductivit lectrique mcroscopique congr s d analyse num rique Vieux Boucau du 5 au 9 juin 2000 X BLANC Derivation for the macroscopique electric conductivity from a microscopic quantum model European congress on computational methods in Applied Sciences an Engineering Barcelonne Espagne du 11 au 14 septembre 2000 E CANCES Communication au CECAM Infrared multiphoton processes in small molecules Lyon Juin 2000 E CANCES S mi
24. de ces probl mes presque sans programmation pour les utilisateurs Cette bo te outils a d j t utilis e par des stagiaires de l ENPC pour des stages l IFREMER de Nantes ou au CIRED CNRS EHESS Centre International de Recherche sur l Environnement et le D veloppement qui tudie l aspect conomique des politiques de protection du climat et est par l m me confront des probl mes de d cision optimale en avenir incertain PROBABILITES APPLIQUEES M Ben Alaya S Cohen P Cohort J F Delmas B Jourdain B Lapeyre J Marin L Nguyen L quipe se compose de trois chercheurs C Le Bris E Canc s et R Monneau et cinq tudiants en th se A Ben Haj Yedder est en deuxi me ann e de th se et travaille sur le contr le des r actions chimiques par laser X Blanc examine dans sa th se des questions th oriques relatives la phase cristalline A Kenoufi et M Pilot s int ressent respectivement aux m thodes num riques rapides pour les calculs de chimie quantique et l analyse th orique de mod les quantiques d pendant du temps enfin Y Gati commence une th se sur l tude math matique et num rique de divers mod les micro macro d crivant des fluides complexes Cette quipe accueille chaque ann e plusieurs stagiaires stages scientifiques de l ENPC stages de ma trise et de DEA et participe activement l enseignement aussi bien l ENPC qu l universit et l Ecole Polyte
25. derstanding of computational chemistry ECCOMAS 2000 Barcelonne C LE BRIS Applied mathematics and quantum chemistry IX escuela de Otofio Hispano Francesca Laredo Espagne 2000 C LE BRIS A mathematical approach to the control of the evolution of molecular systems PACIFICHEM 2000 d cembre 2000 Honolulu USA C LE BRIS S minaire de l IRMA Universit de Strasbourg 2000 C LE BRIS S minaire du laboratoire d analyse num rique Paris VI 2000 C LE BRIS S minaire du CMAP de l cole Polytechnique 2000 C LE BRIS S minaire du groupe contr le du grand Est Besan on 2000 C LE BRIS Erwin Schr dinger Intitute of Physics Vienne Autriche novembre 2000 C LE BRIS Invit a l Universit de Mntr al au CRM Montr al Canada d cembre 2000 J LERBET Une solution intrins que des m canismes 4 quatre liaisons CITV septembre 2000 B NEVEU JNPC 2000 journ es nationales sur la r solution pratique de probl mes NP complets Marseille du 28 au 30 juin B NEVEU CP 2000 constraint programming Singapour du 18 au 22 septembre 2000 B NEVEU ADG 2000 Third International Workshop Zurich 25 septembre 2000 R MONNEAU Non linear analysis 2000 New York City juin 2000 R MONNEAU Third Europeen Congress of mathematics Barcelone juillet 2000 S PIPERNO 5 Congresso Nationale della SIMAI Ischia Porto Italie du 5 au 9 juin 2000 S PIPERNO Colloque Le risque et le G
26. domaine des m thodes probabilistes pour les quations aux d riv es partielles B Jourdain s int resse l tude de certains processus de diffusions non lin aires Il participe de plus l activit en Math matique Financi re en encadrant la th se de L Nguyen et des stages autour du logiciel PREMIA Il collabore galement avec C Martini sur l approximation de prix d options am ricaines J F Delmas tudie certaines quations aux d riv es partielles non lin aires l aide de g n ralisation de processus de branchement L quipe accueille en outre des collaborateurs ext rieurs M Ben Alaya S Cohen sur les th mes d j cit s men es quipes Robotvis Ondes Estime Gamma en collaboration avec la Piti Salp tri re l h pital de La Timone l UTC et le CEA En 2000 D Bouvier a pousuivi sa th se sur la Magneto Electro Enc phalographie 3D et M Clerc a termin son post doc l Universit de Stanford Californie sous la direction de M Donoho et a rejoint l quipe en tant que chercheur permanent l information ou les flots d information d une part une analyse des fuites d information de l environnement vers le code mobile d autre part Ces analyses s appuient sur des syst mes de types annot s pour un langage fonctionnel avec des r f rences comme ML Une extension un calcul d objets a t aussi tudi e Des m thodes bas es sur des types g n ralis s explor es par G Caplain
27. dvances in the mathematical understanding of computational chemistry ECCOMAS 2000 CD ROM Proceedings Barcelonne Espagne R MONNEAU A Brief Overview on the Obstacle Problem soumis aux Proceedings of the Third European Congress of Mathematics Barcelona 2000 B NEVEU N PRCOVIC Recherche focalisation progressive VI Journ es Nationales sur les Probl mes NP Complets JNPC 2000 pages 191 204 Marseille juin 2000 S PIPERNO Effets du vent sur les constructions souples du G nie Civil Colloque Le risque et le G nie Civil ENPC Champs sur Marne France 16 mars 2000 HABILITATION A DIRIGER LES RECHERCHES M COHEN DE LARA Structures g om triques Riemanniennes mod lisation de processus al atoires de diffusion application au filtrage non lin aire Mod les de d cantation Universit Paris Sud le 23 f vrier 2000 S PIPERNO Contribution l tude math matique et la simulation num rique de ph nom nes d interaction fluide structure Universit Pierre et Marie Curie Paris VI mai 2000 THESES EN COURS V AGUILERA Exploitation de sites Web la mani re de bases de donn es objets ENPC K BARTY Commande optimale stochastique utilisant les arbres de sc narios ENPC A BEN HAJ YEDDER Optimisation num rique et Contr le optimal application en chimie mol culaire ENPC X BLANC Simulation de la phase solide aspect th orique et num rique ENPC E BONGIOVANNI
28. e de Monte Carlo B JOURDAIN Optimal stopping of Markov Processes d apr s Tsitsiklis et Van Roy J F DELMAS R gression methods for pricing complex American style options d apr s Tsitsiklis et Van Roy B LAPEYRE A stochastic mesh method for pricing high dimensional American options d apr s Broadie et Glasserman G PAGES Pricing d options am ricaines par quantification I J PRINTEMPS Pricing d options am ricaines par quantification II Groupe de travail contraintes Le s minaire Contraintes organis par l quipe Contraintes du laboratoire I3S UNSA CNRS rassemble les quipes Contraintes d I3S du CERMICS et d ILOG O LHOMME ILOG L algorithme Path repair U JUNKER ILOG Preference based Search PBS for Scheduling N PRCOVIC UNSA Recherche a focalisation progressive R WEIGEL Universit technique de St Gall Suisse On Reformulation of Constraint Satisfaction Problems J F CONDOTTA IRIT Toulouse Probl mes de satisfaction de contraintes spatiales algorithmes et complexit Z MANNA Stanford University Groupe de travail calcul scientifique J GINIBRE Universit d Orsay Asymptotique en temps et th orie pour scattering pour l quaiton de Hartree J C SAUT Universit Paris Sud V BALLY Esp rance conditionnelle et calcul de Malliavin L NGUYEN Calcul de Grecques utilisant le calcul de Malliavin d apr s Fournie Lasry Lebuchoux Lions
29. e des Ponts et Chauss es Dans un tr s proche avenir le projet devrait tre commun avec le Laboratoire Jean Alexandre Dieudonn unit mixte de recherche du CNRS et de l universit de Nice Sophia Antipolis Le projet vise proposer des am liorations pour la simulation num rique d coulements complexes en interaction interaction fluide structure pitaxie et de ph nom nes li s l lectromagn tisme Les th mes scientifiques abord s s tendent de la mod lisation de ph nom nes physiques la mise au point et l analyse de m thodes num riques On s int resse galement leur validation sur des configurations r alistes et leur impl mentation algorithmique notamment sur des machines parall les En lectromagn tisme nous travaillons dans le domaine fr quentiel sur divers aspects relatifs aux quations COMBUSTION A Ern E Bongiovanni Les th mes scientifiques abord s au sein de l quipe Combustion portent sur la mod lisation physique et num rique d coulements complexes avec transferts thermiques et ou r actifs E Bongiovanni a entam sa deuxi me ann e de th se en collaboration avec l quipe Caiman Sophia sur les m thodes de relaxation pour les quations d Euler et Navier Stokes Une collaboration a d marr cette ann e avec J de Charentenay en th se l ONERA sur la combustion turbulente Une autre collaboration sur la mod lisation de la croissance du dans des re
30. e structure nous cherchons des crit res pour construire des algorithmes de couplage faible d cal pr cis et efficaces Nous nous int ressons de nouveaux domaines d application faisant intervenir des fluides incompressibles vent en g nie civil coulements sanguins et a riens en g nie biom dical carbure de silicium par sublimation a galement d marr cette ann e sur une base contractuelle avec le LIMSI Paris XD et le LTPCM INP Grenoble Par ailleurs A Ern et E Burman actuellement en post doc l EPFL ont poursuivi leurs travaux sur les l ments finis adaptatifs pour la mod lisation d coulements r actifs Enfin A Ern a t le co organisateur d un Symposium sur les Math matiques et l Environnement en Chine Le Symposium comprenait une Ecole d t et une conf rence et a regroup une cinquantaine de participants universitaires et industriels fran ais et chinois SIMULATION MOLECULAIRE A Ben Haj Yedder X Blanc E Cances Y Gati A Kenoufi C Le Bris R Monneau M Pilot L quipe de simulation mol culaire et m soscopique s int resse une grande vari t de sujets li s la mod lisation de ph nom nes physiques et leur simulation num rique Elle aborde autant des aspects th oriques relatifs aux propri t s math matiques des mod les que des aspects pratiques de mise en oeuvre des r solutions num riques Ses activit s se concentrent autour de deux th mes privil gi s
31. elier Finance Society 28 juin ler juillet 2000 Yet Another Approximation of the American Put B JOURDAIN International Conference on Monte Carlo and Probabilistic Methods for Partial Differential Equations 3 5 juillet 2000 Rate of Convergence of a Particle Method for the Solution of a 1D Viscous Conservation Law in a Bounded Interval R KERIVEN S minaire de l quipe EDP juin 2000 Institut Elie Cartan Nancy R KERIVEN S minaire du MIM octobre 2000 ENS Lyon R KERIVEN S minaire du D partement Equipe de Math matiques Appliqu es novembre 2000 Universit de Technologie de Compi gne B LAPEYRE Finance et m thodes num riques expos aux journ es ASCI mars 2000 B LAPEYRE Suites discr pance faible expos au CCF de Paris mai 2000 B LAPEYRE Calcul de Malliavin en finance d apr s Fourni et al et introduction aux M thodes de Monte Carlo pour les options am ricaines Universit de Rome III septembre 2000 B LAPEYRE Colloque math et industrie Premia un logiciel de pricing d options exotiques Ecole Polytechnique novembre 2000 C LE BRIS Probl matiques num riques pour la simulation mol culaire congr s national d analyse num rique CANUM 2000 Port d Albret juin 2000 C LE BRIS Time dependent problem in quantum chemistry 4 european meeting on PDEs and applicationns to quantum mechanics Paris 2000 C LE BRIS Recent advances in the mathematical un
32. et Touzi H REGNIER Calcul d options am ricaines utilisant le calcul de Malliavin G MIERMONT Vitesse de convergence faible du temps de sortie d un domaine pour le sch ma d Euler P COHORT Comparaison num rique d algorithmes de type Monte Carlo pour le pricing des options am ricaines Verification Diagrams Graph Logic Automata A GOLDSZTEIN Institut Sup rieur d Electronique du Nord LIFL Lille et Thomson CSF Detexis St Quentin en Yvelines Introduction la th orie des intervalles modaux C JERMANN UNSA R solution par contraintes de syst mes g om triques rigides R WEIGEL Universit technique de St Gall Suisse Compiling constraint satisfaction problems U JUNKER ILOG la g n ration de colonnes J P MERLET INRIA Conception optimale de syst mes T PETIT ILOG et LIRMM Montpellier Une approche contrainte pour r soudre les probl mes sur contraints A GILLETTA LIM Marseille Placement des pentaminos par r solution de contraintes Quelques probl mes math matiques li s des mod les de fluides viscoelastiques P DOYLE Institut Curie Single molecule dynamics in flow W KUTZELNIGG Universit de Bochum Allemagne Unresolved problems with relativistic many electron Hamiltonians P COUSSOT LCPC Rheophysique des pates N BERIS University of Delaware Direct numerical simulation of viscoelastic turbulent channel flow L DI MENZA Universi
33. et Vision ENPC R KERIVEN enseignant responsable Vision DEA IFA Universit Marne la Vall e R KERIVEN enseignant responsable Le Web et bases de donn es ENPC R LALEMENT Java objets interface et internet ENPC R LALEMENT professeur et T SALSET et H GRALL ma tres de conf rence Outils logiques de l informatique Universit Marne la Vall e DEA IFA R LALEMENT Pi calcul et bisimulations Universit Marne la Vall e DEA IFA R LALEMENT Objets et Patterns ENPC R LALEMENT professeur G GRALL J P CHANCELIER et T SALSET ma tres de conf rence Algorithmes ENPC R LALEMENT professeur H GRALL J P CHANCELIER et T SALSET ma tres de conf rence M thodes co inductives Universit Paris VI DEA IARFA R LALEMENT M thodes num riques pour les calculs d options DEA de probabilit option finances Paris VI B LAPEYRE enseignant avec A SULEM D TALAY M thodes de Monte Carlo et quations d volution DEA Analyse et syst me al atoire Universit Marne la Vall e B LAPEYRE enseignant Cours de processus et estimation M thodes de Monte Carlo Ecole Polytechnique majeure de math matiques appliqu es 2 ann e B LAPEYRE Ma tre de conf rence Mod les de diffusion et finance majeure de math matiques appliqu es Ecole Polytechnique 2 ann e Petites Classes B LAPEYRE Ma tre de conf rence Enseignement d approfondissement Mod les en fi
34. et alg bres de Lie l tude des syst mes de corps D Chevallier A Burov la cin matique des m canismes structure boucl e ses relations avec la th orie des singularit s J Lerbet les applications de calcul formel l la g n ration automatique de mod les et l tude effective de la stabilit dynamique J Gloukhikh la stabilit de syst mes de corps rigides et souples et les applications 4 la dynamique des v hicules routiers et ferroviaires A Burov D Chevallier V Wilke Notons que de nouveaux sujets de recherche ont continu tre d velopp s l occasion de s jours de chercheurs PUBLICATIONS ET DISTINCTIONS L activit scientifique du centre est rest e soutenue une trentaine d articles sign s par les chercheurs du CERMICS ont t accept s ou publi s dans des revues avec comit de lecture une vingtaine de communications crites des colloques et une vingtaine ENSEIGNEMENT L ann e 2000 a t marqu e par la mise en place de la r forme de l ENPC pour la premi re ann e Les chercheurs du CERMICS ont t particuli rement impliqu s la fois dans les r flexions pr paratoires et dans la cr ation de nouveau cours A Ern pour les cours de Calcul Scientifique et d Analyse de l ENPC R Lalement pour les cours d Informatique et M Cohen de Lara pour le cours de Probabilit s Des membres du CERMICS organisent ou participent des formations d ing nieurs
35. ion of kinetic equations Communication Partial Differential Equations 2000 a paraitre Articles publi s H BERESTYCKI F HAMEL R MONNEAU One dimensional symmetry for some bounded entire solutions of some elliptic equations Duke Mathematical Journal 103 3 375 396 2000 X BLANC M DEFRANCESCHI C LE BRIS A mathematical insight into ab initio simulations of the solid phase dans mathematical models and methods for ab initio quantum chemistry lectures notes in chemistry vol 74 springer 2000 X BLANC C LE BRIS Thomas Fermi type models for polymers and thin films Advances in Differential Equations 5 7 9 pp 977 1032 2000 A BONNET S J CHAPMAN R MONNEAU B JOURDAIN Probabilistic gradient approximation for a multimensional viscous scalar conservation law a paraitre dans Stochastics and Stochastics Reports B JOURDAIN C MARTINI American prices embedded in European prices para tre aux Annales de l T H P Analyse non Lin aire B JOURDAIN L NGUYEN Minimisation de l entropie relative par m thode de Monte Carlo para tre aux Comptes Rendus de l Acad mie des Sciences B LAPEYRE E TEMAM Competitive Monte Carlo Methods for the pricing of Asian Options para tre dans journal of computational Finance J P LEBACQUE M M KHOSHY ARAN Modelling the shipper carrier interaction the case of the waterway system accept pour publication TRB 2001 C LE BRIS I CATTO P L LIONS
36. lle des r seaux urbains F BOILLOT INRETS GRETIA Les strat gies adaptatives de commande de feux et les r sultats exp rimentaux S MIDENET INRETS GRETIA Reconstitution des flux dans un carrefour feux application l valuation des co t en consommation pollution Sur un mod le de train V N TKHAI Computing center of RAS Reversible mechanical of systems K REAUD LMM et LMA Universit de Poitiers et ENSMA M thode de le Verrier Sauriau et vibrations lin aires J LERBET Universit Fran ois Rabelais de Tour Approche intrins que des chaines cin matiques singuli res H S MAHMASSANI Universit d Austin Texas Dynamic network traffic simulation and assigment models algorithms and application to Real time system operation L FLUTEAUX SETRA Contribution l valuation des conditions de circulation sur les routes bidirectionnelles en rase campagne J P LEBACQUE ENPC CERMICS Les intersections dans les mod les macroscopiques de trafic F LEURENT INRET DEST Mod le d sagr g des temps de trajet applications aux fonctions de temps de parcours F LEURENT INRET DEST La distribution des allures dans un flot de trafic mod le probabiliste cons quences pour l observation et la sp cification des temps de parcours J P LEBACQUE ENPC CERMICS D veloppement r cents des mod les du second ordre Groupe de travail Pricing d options am ricaines par la m thod
37. mon Frazer de Vancouver Canada L quipe de Probabilit s Appliqu es a accueilli des chercheurs post doctorants venant du Polytechnico de Milano et de l Universit d Udine sur des th mes de Math matiques Financi res que la part des contrats g r e par l ENPC a augment de fa on importante en cette ann e 2000 passant de 500KF 900KF Enfin l ann e 2000 a t marqu e par la cr ation d une startup soci t InfObjects sur le th me des bases de donn es h t rog nes par l Equipe Base de Donn es du CERMICS Personnels scientifiques Chercheurs CANCES Eric CAPLAIN Gilbert CHANCELIER Jean Philippe CHEVALLIER Dominique CLERC Maureen COHEN Guy COHEN DE LARA Michel DELMAS Jean Fran ois ERN Alexandre FEZOUI Loula GLINSKY OLIVIER Nathalie JOURDAIN Benjamin KERIVEN Renaud LANTERI St phane LALEMENT Ren LAPEYRE Bernard LEBACQUE Jean Patrick LE BRIS Claude MONNEAU R gis NEVEU Bertrand PIPERNO Serge POMMARET Jean Fran ois Post doctorants et Chercheurs temps partiel BEN ALAYA Mohamed BRIAND Emmanuel post doctorant INRIA COHEN Serge DEMPHLOUS St phane Ing nieur expert Conseillers scientifiques GOUDON Thierry Ing nieurs syst mes RIVIERE Robert Chercheurs en formation AGUILERA Vincent BARTY Kengy BEN HAJ YEDDER Adel BLANC Xavier BONGIOVANNI Emmanuel BOUVIER David CANOUET Nicolas CHANRION Olivier DIDIERJEAN Fabrice FOURESTEY Gilles SALSET Thierry LERBET Je
38. naire de l Universit de Pise juin 2000 E CANCES M MERIAUX PORET et S PIPERNO M thodes de volumes finis en maillages variables pour des quations hyperboliques en une dimension Rapport CERMICS 2000 201 E TEMAM Rate of convergence of the discrete time hedging strategy in a complete multidimentional model Rapport CERMICS 2000 190 S PIPERNO NTM3 3 Journ es Math matiques Nice Toulon Marseille Electromagn tisme Sophia Antipolis les 6 et 7 octobre dans le cadre d une COLOR de l INRIA de Sophia Antipolis Communication a IMACS 2000 Lausanne Ao t 2000 E CANCES Communication a ECCOMAS 2000 Barcelone Septembre 2000 E CANCES S minaire de l Universit de Strasbourg O CHANRION Mesures exp rimentales sur le plasma mis par un propulseur au Laboratoire de Physique des Milieux Ionis s de l Ecole Polytechnique juin juillet 2000 J P CHANCELIER Participation Cours et TD au Workshop Scilab a l Institute of Physics de Bhubaneswar Inde d cembre 2000 D P CHEVALLIER Congr s International de Th ories Variationnelles Sur l intervention des nombres duaux en cin matique Givet du 28 au 31 ao t 2000 D CHEVALLIER I GLOUKHIKH Stabilite des rotations permanentes d un ellipsoide sur un plan absolument rugueux Conference de mecanique 2 4 fevrier St Petersbourg Russie D CHEVALLIER I GLOUKHIKH 3 4 th European Solid Mechanics Conference EUROMECH June 26 30 Metz Resona
39. nance majeure de math matiques appliqu es Ecole Polytechnique 2 ann e PUBLICATIONS Articles para tre R ABRAHAM J F DELMAS Some properties of the exit measure for super Brownian motion Probability Theory and Related Fileds B LAPEYRE Maitre de conf rence Th orie du trafic mod le et simulation ENTPE cours semestriel J P LEBACQUE professeur Calcul scientifique ENTPE cours semestriel J P LEBACQUE professeur Recherche op rationnelle EIVP cours trimestriel ENPC cours trimestriel J P LEBACQUE Th orie et mod le de trafic ENTPE cours du mast re IED J P LEBACQUE Professeur Math matiques appliqu es Ecole Polytechnique C LE BRIS enseignant R solution num rique de l quation de Schr dinger DEA Paris VI C LE BRIS avec Y MADAY Programmation par contraintes Cours IA ENTPE 3 DEA informatique UNSA B NEVEU Initiation la simulation num rique d coulements compressibles Semaine europ enne ENPC S PIPERNO N GLINSKY OLIVIER Equations int grales Mast re de M canique Num rique cole Nationale Sup rieure des Mines de Paris S PIPERNO Interactions fluide structure Mast re de M canique Num rique cole Nationale Sup rieure des Mines de Paris S PIPERNO Electromagn tisme Mast re de M canique Num rique cole Nationale Sup rieure des Mines de Paris S PIPERNO Parall lisme ENPC T SALSET responsable R KERIVEN maitre de c
40. nce d espaces en dualit et de th or mes de s paration 4 la Hahn Banach dans ces structures On renvoie au rapport d activit de l INRIA pour plus de d tails M Noubir E Temam L objectif de l quipe de probabilit s est l tude d algorithmes de calcul et des liens entre quations aux d riv es partielles et processus al atoires Ces th mes permettent d aborder des applications dans les sciences de l ing nieur en particulier en math matiques financi res et en fiabilit Ces applications d bouchent sur des collaborations avec des entreprises Cr dit Lyonnais CCBP CAI CDC EDF Elf UECIC Les math matiques financi res restent un domaine d application privil gi pour l quipe En collaboration avec le projet MathFi de l INRIA C Martini et A Sulem la r alisation d un logiciel de pricing PREMIA se poursuit avec notamment la participation de P Cohort voir http cermics enpc fr bl projet finance projet html Ce projet est soutenu financi rement par un consortium de banques La th se d E Temam sur les techniques INFORMATIQUE ET APPLICATIONS LA VISION PAR ORDINATEUR D Bouvier M Clerc R Keriven L Equipe Vision s int resse aux probl mes classiques de la Vision par Ordinateur notamment la reconstruction tridimensionnelle partir d images st r oscopie dense multicam ra shape from texture base d ondelettes etc Travaillant avec l INRIA elle participe aux recherches
41. nt explosive instability of the ellipsoid rotations on a rough horisontal plane M CLERC Wavelet ideal data representation workshop Florham park New Jersey octobre M CLERC International conference on computer vision Corfou Gr ce septembre M CLERC Berkeley Vision group avril 2000 M CLERC Stanford VisLunch mars 2000 M CLERC Stanford Applied Math Seminar f vrier 2000 G COHEN Workshop on Discrete Event Systems WODES 2000 Table ronde finale sur le pass et les perspectives dans les syst mes v nements discrets Du 21 au 23 ao t 2000 Gand Belgique G COHEN Discrete event systems analysis and control from timed Petri nets to algebra cours intensif l Universit de Rosario en Argentine en avril 2000 G COHEN S GAUBERT JP QUADRAT Orthogonal projections in complete idempotent semimodules and the Hahn Banach theorem Convention annuelle du r seau europ en ALAPEDES Hamburg 6 7 juillet 2000 G COHEN S GAUBERT P LOTITO E MANCINELLI V MALYSSHEYV J P QUADRAT Explicit computation of a max Lyapunov exponent giving the average speed on a circular traffic line without overtaking Convention annuelle du r seau europ en ALAPEDES Hamburg 6 7 juillet 2000 J F DELMAS Journ es MAS mesure de sortie du super mouvemennt brownien Rennes 6 septembre 2000 J F DELMAS Ecole Cimpa participation aux cours de Kuznetsov sur les super processus Maroc 10 au 21
42. nt levels of modeling for diffusion phenomena in neutral and ionized gas mixtures J Thermophysics Heat Transfer AIAA 14 1 119 120 2000 C FARHAT S PIPERNO Design of efficient partitioned procedures for the transient solution of aeroelastic problems Revue Europ enne des El ments Finis vol 9 n 6 7 p 655 680 2000 J F GERBEAU C LE BRIS Comparaison between two Numerical Methods for a magnetostatic problem Calcolo 37 pp1 20 2000 J F GERBEAU C LE BRIS A basic remark on some Navier Stokes equations with body forces Applied Mathematics Letter 13 pp 107 112 2000 F HAMEL R MONNEAU Solutions of semilinear elliptic equations in RAN with conical shaped level sets Communications in Partial Differential Equations 25 5 amp 6 769 819 2000 C JERMANN B NEVEU G TROMBETTONI M RUEHER A Constraint Programming Approach for Solving Rigid Geometric Systems CP2000 Singapour Springer LNCS 1894 pages 233 248 B JOURDAIN Probabilistic approximation for a porous medium equation Stochastic Processes and their Applications 2000 89 1 pp 81 99 B JOURDAIN Diffusion Processes Associated with Nonlinear Evolution Equations for Signed Measures Methodology and Computing in Applied Probability 2000 2 1 pp 69 91 R KERIVEN L M LORIGO OD FAUGERAS W E L GRIMSON R KIKINIS A NABAVI C F WESTIN CURVES Curve Evolution for Vessel Segmentation Medical Image Analysis S PIPERNO
43. ollaboration avec J P CHANCELIER pour le compte de la DRAST T SALSET Impact de l incertitude et de l inertie sur les profils temporels des signaux prix Institut fran ais de l nergie responsables M COHEN DE LARA et J C HOURCADE Cired dans les graphes pour trouver des vols disponibles au meilleur tarif lors des demandes de voyage en avion B NEVEU Contrat sur la gestion optimale de r servoirs de stockage de gaz avec GDF INRIA ENPC ENSTA G COHEN E CANCES Scf algorithms for Kohn Sham models with fractional occupation numbers Rapport CERMICS 2000 199 O CHANRION Caract risation exp rimentale d un jet de plasma d un propulseur effet Hall de type SPT 50 rapport interne Alcatel Space Industries 2000 D CHEVALLIER Dynamique du point de vue Eul rien et Lagrangien Rapport CERMICS 2000 200 M CLERC S MALLAT Estimating deformation of stationary precesses Rapport CERMICS 2000 192 M CLERC S MALLAT The texture gradient equation for recovering shape from texture Rapport CERMICS 2000 196 L FEZOUI S PIPERNO F POUPAUD Rapport sur le programme JET rapport de contrat INRIA Alcatel Space Industries 2000 F HAMEL R MONNEAU Existence and uniqueness for a free boundary problem arising in combustion theory Rapport CERMICS 2000 198 B JOURDAIN C MARTINI Yet Another Approximation of the American Put Rapport INRIA 3851 et CERMICS 2000 188 B JOURDAIN Probabilistic characteristi
44. onf rence M BEN ALAYA T HUILLET A PORZIO On the physical relevance of max and log max selfsimilar distributions Journal Eur Phys J B 17 147 158 2000 X BLANC C LE BRIS Periodicity of the infinite volume ground state of a one dimentional quantum model para tre Nonlinear Analysis Theory Methods and Applications P DEGOND T GOUDON F POUPAUD Diffusion Limit for Non Homogeneous and Non Micro Reversible Processes Indiana University Mathematical Journal para tre J F DELMAS J S DHERSIN Kolmogorov test for the Brownian snake The Annals of Probability J F DELMAS K FLEISCHMANN On the hot spots of a catalytic super Brownian motion Probability Theory and Related Fileds A ERN Multicomponent transport and mixed convection flows in CVD reactors accept pour publication dans CVD XV Papers Electrochem Soc 2000 A ERN V GIOVANGLIGLI Modeling of multicomponent diffusion in high temperature flows Int J Heat Mass Transfer 2000 C FARHAT S PIPERNO Partitioned Procedures for the Transient Solution of Coupled Aeroelastic Problems Part II Energy Transfer Analysis and Three Dimensional Applications Computer Methods in Applied Mechanics and Engineering 2000 a paraitre E GOBET E TEMAM Discrete time hedging errors for options with irregulat payoffs para tre dans Finances et Stochastics T GOUDON F POUPAUD Approximation by homogeneization and diffus
45. otes in Chemistry 74 2000 17 43 E CANCES C LE BRIS et M PILOT Optimal bilinear control for a Schrodinger equation Note aux Comptes Rendus de l Acad mie des Sciences S rie I 330 2000 567 571 E CANCES C LE BRIS On the convergence of scf algorithms for the Hartree Fock equations Mod lisation Math matique et Analyse Num rique M2AN vol 34 4 pp 749 774 2000 E CANCES C LE BRIS Can we outperform the DIIS approach for electronic structure calculations International Journal of Quantum Chemistry volume 79 issue2 2000 pp 82 90 G CAPLAIN Is consciousness not a computational property Reply to Bojadziev Informatica vol 24 n 1 p 79 81 mars 2000 G CAPLAIN Checking Sequential Correctness in Shared Memory Parallel Programs Int Journal of Differential Equations and Applications vol 1A n 4 2000 p 379 388 Invited lecture at the 8th NACSA Aug 1999 O CHANRION L FEZOUI F POUPAUD M REMAKI Couplage de mod les et de m thodes num riques pour l lectromagn tisme en domaine temporel Revue Europ enne des El ments Finis vol 8 n 5 6 p 639 658 1999 D P CHEVALLIER Un module euclidien Structure math matique de la cin matique Topics in Algebra Analysis and Geometry Editors G Karan H Sachs F Schipp BPR KIADO Budapest 2000 pp 59 147 D P CHEVALLIER J D GLOUKHIKH V N TKHAI Stabilit du mouvement d un ellipside homog ne pesant roulant sur un plan rugueux Reche
46. polis base de donn es avanc es programmation par contraintes ne sont pas pour autant n pglig es Ces activit s d enseignement conduisent l encadrement de stagiaires et de th sards 26 stagiaires et 17 th ses en cours en COOPERATIONS INTERNATIONALES L quipe Contraintes maintient des changes r guliers avec le groupe de Geir Hasle de SINTEF Oslo L quipe Caiman collabore troitement avec la Colorado University at Boulder USA notamment sur l interaction fluide structure et l acoustique sous marine haute fr quence Dans l quipe de Calcul Scientifique A Ern poursuit sa collaboration avec le d partement de Mechanical Engineering de l Universit de Yale USA et C Le Bris et E Canc s ont des relations r guli res VALORISATION INDUSTRIELLE Les activit s de valorisation se concr tisent pour l essentiel par des contrats de recherche tant avec des organismes publics souvent du domaine de l Equipement INRETS DRET qu avec les entreprises Dassault IFP IFE P chiney EDF Alcatel Cr dit Lyonnais L activit contractuelle du centre rep sente un chiffre d affaires global INRIA et ENPC proche de 1 2MF pour une douzaine de contrats Notons 2000 avec l universit de Pise Italie sur des th mes de Chimie quantique Dominique Chevallier maintient ses relations avec le Centre de Calcul de l Acad mie des Sciences de Moscou th se en co tutelle ainsi qu avec l Universit Si
47. rches sur les probl mes de stabilit et de stabilisation du mouvement Ac Sc de Russie Centre de Calcul Moscou Vol I 2000 pp 87 104 D P CHEVALLIER Dynamique du point de vue eulerien et lagrangien en Russe Recherches sur les probl mes de stabilit et de stabilisation du mouvement Ac Sc de Russie Centre de Calcul Moscou Vol II 2000 M CLERC S MALLAT Shape from Texture and Shading with Wavelets in Dynamical Systems Control Coding Computer Vision Progress in Systems and Control Theory vol 25 pp 393 417 BirkhAuser 1999 A DE LA BOURDONNA YE High Order Scheme for a Non Linear Maxwell System Modelling Kerr Effect Journal of Computational Physics vol 160 n 2 p 500 521 2000 A de LA BOURDONNAYE C FARHAT A MACEDO M LESOINNE F X ROUX F MAGOULES Two level Domain Decomposition Methods with Lagrange Multipliers for the Fast Iterative Solution of Acoustic Scattering Problems Computer Methods in Applied Mechanics and Engineering vol 184 p 213 240 2000 J F DELMAS Path properties of superprocesses with a general branchinmechanism The Annals of Probability 1999 Vol 27 pp 1099 1134 J DOLBEAULT R MONNEAU Estimations de convexit pour des quations elliptiques non lin aires et application 4 des probl mes de fronti re libre Note aux Comptes Rendus de l Acad mie des Sciences de Paris t 331 S rie I p 771 776 2000 A ERN V GIOVANGLIGLI Comment on Differe
48. resso Nationale della SIMAI Ischia Porto Italie 5 9 juin 2000 C FARHAT S PIPERNO Energy Based Design and Analysis of Staggered Solvers for Nonlinear Transient Aeroelastic Problems 41st AIAA ASME ASCE AHS ASC SDM Atlanta Georgie 3 6 avril 2000 AIAA paper 2000 1447 J F GERBEAU C LE BRIS Mathematical study of a coupled system arising in magnetohydrodynamics 6 international conference on evolution equations and their applications in physical and life sciences Eds Lumer amp Weiss pp 355 367 2000 Marcel Dekker M JAUME Logic programming and co inductive definitions Proceedings of Computer Science Logic Conference CSL 2000 Fischbachau Germany August 2000 vol 1862 of Lecture Notes in Computer Science pp 343 355 Springer Verlag M JAUME Preuves infinies en programmation logique Actes des Neuvi mes Journ es Francophones de Programmation Logique et Programmation par Contraintes JFPLC 2000 Marseille Juin 2000 Herm s pp 33 47 C JERMANN B NEVEU G TROMBETTONI M RUEHER R solution par contraintes de syst mes g om triques rigides VI Journ es Nationales sur les Probl mes NP Complets JNPC 2000 pages 119 133 Marseille juin 2000 C LE BRIS Control theory applied to quantum chemistry some tracks conf rence internationale sur le contr le des syst mes gouvern s par des quations aux d riv es partielles ESAIM proceedings vol 8 pp 77 94 2000 C LE BRIS Recent a
49. sur la compr hension du cerveau qui y sont LANGAGE ET SECURITE G Caplain H Grall M Jaume R Lalement L activit de l quipe a port sur la s curit d ex cution du code mobile Comment prot ger les ressources du syst me contre une attaque d un code mobile qui se d place sur un r seau et s ex cute d s l arriv e sur la machine h te On vise par exemple viter toute criture ou lecture sur des r f rences de l h te prot g es respectivement en criture int grit ou en lecture confidentialit La th se d H Grall montre qu il suffit de contr ler l environnement d ex cution d fini comme l ensemble des fonctions du syst me h te que peut appeler le code mobile Le contr le est double une analyse de l environnement visant contr ler l acc s CONTRAINTES F Didierjean B Madeline B Neveu L quipe Contraintes du Cermics m ne des recherches sur les algorithmes de r solution de probl mes d crits l aide de contraintes Ces recherches s effectuent en collaboration avec l quipe Contraintes du laboratoire 13S Universit de Nice Sophia Antipolis CNRS dirig e par M Rueher Nous avons les ann es pr c dentes tudi plus particuli rement les niveaux de coh rence partielle d approximation de prix et de couvertures d options se poursuit La th se de L Nguyen en collaboration avec le CIC a d but sur l tude de la calibration par des m thodes de Monte Carlo Dans le
50. t de Paris Sud Orsay Simulation num rique de solutions d quations de Schr dinger stochastiques X CHATEAU UMR LCPC CNRS LOGICIEL G COHEN S GAUBERT J P QUADRAT Max plus Toolbox contribution Scilab LISTE DES ABREVIATIONS ACI Action Concert e Incitative ATER Attach temporaire d enseignement et de recherche CAS Centre automatique et syst mes CCASR Centre de calculs de l acad mie des sciences de Russie CCF Cr dit Commercial de France CEA Centre Etude Atomique Approche par homog n isation du crit re de rupture F CHEVOIR UMR LCPC CNRS Dynamique des contacts Application aux coulements denses J N ROUX LCPC Dynamique mol culaire trajectoires quasistatiques d empilements granulaires F CASTELLA Universit de Rennes I R sultats de convergence et de non convergence de l quation de Sch dinger p riodique vers l quation de Boltzmann CERAM Centre d Enseignement et de recherche appliqu au management CNRS Centre National Recherche Scientifique CIRED Centre International de Recherche sur l Environnement et le D veloppement CNAM Conservatoire National des Arts et M tiers DCN Direction de la Construction Navale DEA Dipl me d Etudes Approfondies DRET Direction des Recherches Etuds et Techniques ENA Ecole Nationale d Administration ENTPE Ecole Nationale des Travaux Publics de l Etat ENSTA Ecole Nationale Sup rieure de Techniques Avanc es EHESS Ecole des
51. vues ou des congr s scientifiques L activit contractuelle est en redressement apr s une ann e difficile en 1999 Dassault P chiney EDF Consortium de banques PREMIA La participation l enseignement la fois l ENPC et dans divers DEA de la r gion parisienne reste consid rable Le r le des chercheurs du CERMICS dans l enseignement l ENPC est aujourd hui tr s important au del m me de l organisation de cours par l encadrement de stages et de projets divers tout au long de la scolarit des l ves int grales analyse microlocale m thode multip le Les principales applications sont le calcul de SER surfaces quivalentes radar et de diagrammes d antennes Dans le domaine temporel nous d veloppons des m thodes de volumes finis issues de la m canique des fluides adapt es l lectromagn tisme Nous nous int ressons aux couplages de sch mas et l utilisation de grilles non structur es de tailles diff rentes avec des pas de temps diff rents Enfin nous examinons certains probl mes de couplage avec des gaz rar fi s charg s plasmas dont l application essentielle est l environnement spatial des satellites Dans le domaine de la simulation num rique d coulements complexes nous cherchons pour l pitaxie prendre en compte des lois d tat complexes gaz non polytropiques et examiner en volumes finis non structur s des probl mes de combustion et de d p t En interactions fluid
Download Pdf Manuals
Related Search