fichier .pdf - lamsin
fichier .pdf - lamsin
fichier .pdf - lamsin
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Table des matières<br />
I PRESENTATION GENERALE DU PROGRAMME DE RECHERCHE 7<br />
1 Généralités 9<br />
1.1 Composition et organisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
1.1.1 Equipes de recherche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
1.1.2 Liste actualisée des membres de l’équipe de recherche . . . . . . . . . . . . 11<br />
1.1.3 Organisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14<br />
1.2 Considérations générales sur l’activité . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
1.2.1 Structuration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
1.2.2 Quelques indications chiffrées . . . . . . . . . . . . . . . . . . . . . . . . . . 17<br />
2 Programme de recherche 21<br />
2.1 Problématique générale du programme de recherche . . . . . . . . . . . . . . . . . 21<br />
2.1.1 Problèmes Inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21<br />
2.1.2 Propagation d’Ondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21<br />
2.1.3 Images, Modélisation et Géométrie . . . . . . . . . . . . . . . . . . . . . . . 22<br />
2.1.4 Contrôle des EDP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22<br />
2.1.5 Environnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
2.1.6 Procédés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />
2.2 Objectifs globaux du programme de recherche . . . . . . . . . . . . . . . . . . . . . 23<br />
II PRESENTATION DE L’ETAT D’AVANCEMENT DU PROGRAMME<br />
DE RECHERCHE 25<br />
3 Les actions de recherches 27<br />
3.1 Problèmes Inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27<br />
3.2 Propagation d’Ondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27<br />
3.3 Images, Modélisation et Géométrie . . . . . . . . . . . . . . . . . . . . . . . . . . . 27<br />
3.4 Contrôle des EDP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27<br />
3.5 Environnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28<br />
3.6 Procédés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28<br />
4 Objectifs spécifiques 29<br />
4.1 Problèmes Inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29<br />
4.2 Propagation d’Ondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29<br />
4.3 Images, Modélisation et Géométrie . . . . . . . . . . . . . . . . . . . . . . . . . . . 29<br />
4.4 Contrôle des EDP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30<br />
4.5 Environnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30<br />
4.6 Procédés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30<br />
3
4 TABLE DES MATIÈRES<br />
5 Méthodologie adoptée 31<br />
5.1 Problèmes Inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31<br />
5.2 Propagation d’Ondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32<br />
5.3 Images, Modélisation et Géométrie . . . . . . . . . . . . . . . . . . . . . . . . . . . 33<br />
5.4 Contrôle des EDP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33<br />
5.5 Environnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35<br />
5.6 Procédés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37<br />
6 Résultats obtenus 39<br />
6.1 Problèmes Inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39<br />
6.2 Propagation d’Ondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44<br />
6.3 Images, Modélisation et Géométrie . . . . . . . . . . . . . . . . . . . . . . . . . . . 47<br />
6.4 Contrôle des EDP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50<br />
6.5 Environnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55<br />
6.5.1 Modélisation d’écoulement . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55<br />
6.5.2 Equations cinétiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59<br />
6.6 Procédés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60<br />
7 PERSPECTIVES 63<br />
7.1 Problèmes Inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63<br />
7.2 Propagation d’Ondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64<br />
7.3 Images, Modélisation et Géométrie . . . . . . . . . . . . . . . . . . . . . . . . . . . 64<br />
7.4 Contrôle des EDP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65<br />
7.5 Environnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66<br />
7.6 Procédés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66<br />
III PRODUCTION SCIENTIFIQUE 67<br />
8 Production scientifique 69<br />
8.1 Synthèse de la production scientifique . . . . . . . . . . . . . . . . . . . . . . . . . 69<br />
8.2 Publications scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69<br />
8.2.1 Articles parus dans des Revues à Comité de Lecture . . . . . . . . . . . . . 69<br />
8.2.2 Articles acceptés dans des Revues à Comité de Lecture . . . . . . . . . . . 71<br />
8.2.3 Articles soumis à des Revues à Comité de Lecture . . . . . . . . . . . . . . 72<br />
8.2.4 Communications internationales dans des revues indexées à comité de<br />
lecture & Conférences Invitées . . . . . . . . . . . . . . . . . . . . . . . . . 73<br />
8.2.5 Communications nationales . . . . . . . . . . . . . . . . . . . . . . . . . . . 76<br />
8.2.6 Rapports de recherche LAMSIN . . . . . . . . . . . . . . . . . . . . . . . . 76<br />
8.2.7 Autres publications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77<br />
8.2.8 Actes de colloques et de manifestations . . . . . . . . . . . . . . . . . . . . 77<br />
8.2.9 Articles d’intérêt général . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78<br />
IV AUTRES ACTIVITES DU LABORATOIRE 79<br />
9 Formation par la recherche 81<br />
9.1 Mastère de Mathématiques Appliquées . . . . . . . . . . . . . . . . . . . . . . . . . 81<br />
9.2 Production diplômante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82<br />
9.2.1 Synthèse de la production diplômante . . . . . . . . . . . . . . . . . . . . . 82<br />
9.2.2 Diplômes soutenus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
TABLE DES MATIÈRES 5<br />
9.2.3 Diplômes en cours . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84<br />
9.3 Séjours post doctoraux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89<br />
10 Partenariats et échanges 91<br />
10.1 Projets de coopération . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91<br />
10.2 Coopérations structurelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93<br />
10.2.1 Equipe de recherche associée à l’INRIA (France) . . . . . . . . . . . . . . . 93<br />
10.2.2 Equipe de recherche associée à l’IRD (France) . . . . . . . . . . . . . . . . . 94<br />
10.2.3 Chaire UNESCO en Mathématiques et Développement . . . . . . . . . . . 94<br />
10.2.4 Pôle d’Excellence Régional en Matématiques Appliquées - AUF . . . . . . . 96<br />
10.3 Echanges internationaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96<br />
11 Manifestations scientifiques 99<br />
12 Divers 101<br />
12.1 Jurys de thèses, d’habilitations et de recrutement . . . . . . . . . . . . . . . . . . . 101<br />
12.2 Revues scientifiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102<br />
12.3 Recrutements et promotions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102<br />
13 Logistique 103<br />
13.1 Documentations et Revues Scientifiques . . . . . . . . . . . . . . . . . . . . . . . . 103<br />
13.2 Equipements et Logiciels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
6 TABLE DES MATIÈRES
Première partie<br />
PRESENTATION GENERALE DU<br />
PROGRAMME DE RECHERCHE<br />
7
Chapitre 1<br />
Généralités<br />
1.1 Composition et organisation<br />
Le laboratoire se composait au 30 avril 2005 de 65 chercheurs, répartis comme suit :<br />
– 8 chercheurs habilités à diriger des thèses<br />
– 25 chercheurs confirmés (docteurs)<br />
– 32 doctorants<br />
Il faut ajouter à cet effectif 6 stagiaires en cours de mémoire de Mastère. La liste des chercheurs<br />
diffère, comme il est normal, de ce qu’elle était dans le précédent rapport d’activité :<br />
De nouveaux chercheurs ‘sénior’ rejoignent le laboratoire :<br />
– Marouane Ben Miled, après avoir organisé avec le Professeur Roshdi Rashed (CNRS,<br />
France) le semestre thématique sur l’histoire des mathématiques dans le cadre de la Chaire<br />
UNESCO Mathématiques & Développement (voir section 10.2.3). Il rejoint le LAMSIN pour<br />
y développer sur cette lancée une activité scientifique liée à l’histoire des mathématiques,<br />
en relation avec le CNRS et plusieurs équipes méditerranéennes, dont une équipe Libanaise<br />
qui a été fortement présente durant le semestre thématique ;<br />
– Bessam Samet, après une thèse soutenue en 2004 à l’Université Paul Sabatier de Toulouse ;<br />
tandis que d’autres le quittent pour diverse raisons.<br />
Le mouvement ‘d’ascenscion’ a concerné cinq chercheurs, qui en soutenant leurs thèses ont accédé<br />
à la catégorie ‘sénior’ : Ahmed Bchatnia, Fehmi Ben Hassen, Moez Daoulatli, Dorra Drissi et<br />
Maatoug Hassine, quatre autres étant en passe de soutenir leurs thèses avant la fin de l’année 2005,<br />
et deux autres soutiendront leurs habilitations en juin 2005 (Nabil Gmati et Maher Moakher).<br />
L’accueil de nouveaux jeunes chercheurs est lui aussi un processus continu. Dix sept chercheurs ont<br />
ainsi rejoint le laboratoire en qualité de doctorant durant la période 2003-2004, en général après<br />
y avoir effectué leurs mémoires de mastère. Il s’agit de Amine Abdelmoula, Taieb Ahmed, Rabé<br />
Badé (du Niger), Khaled Ben Ali, Riadh Ben Fatma, Imene Ben Saad, Mourad Chamekh, Karim<br />
Foudhaili, Nejla Frih, Hechmi Hattab, Mohamed Larbi Kadri, Amira Kebir, Asma Lakhoua, Faten<br />
Maddouri, Hela Sellami, Mohamed Lassaad Siala, Brahim Trabelsi,<br />
1.1.1 Equipes de recherche<br />
Les listes fournies sont dans leur composition au 30 avril 2005.<br />
Les deux équipes Problèmes Inverses-Traitement d’Images-Propagation d’Ondes et Environnement<br />
& Procédées présentées lors de la soumission du projet de reconduction du LAMSIN ont<br />
été scindées en trois et deux équipes respectivement. Ce découpage s’est fait dans un souci de<br />
9
10 CHAPITRE 1. GÉNÉRALITÉS<br />
cohérence thématique et de meilleure visibilité, mais il a été également motivé par la reconnaissance<br />
de ses compétences.<br />
Les chercheurs se regroupent en six équipes, certains d’entre eux pouvant appartenir à plus<br />
d’une.<br />
E1– Problèmes Inverses (PI)<br />
Amel Ben Abda, Jalel Ben Abdallah, Hend Ben Ameur, Riadh Ben Fatma, Fehmi Ben<br />
Hassen, Slim Chaabane, Henda El Fekih, Chokri Elhechmi, Boubaker Ezzafzaf, Imen Fellah,<br />
Adel Hamdi, Maatoug Hassine, Imen Horchani, Lamia Jaafar Belaïd, Mohamed Jaoua,<br />
Mohamed Larbi Kadri, Moëz Kallel, Moncef Mahjoub, Ridha Mdimegh, Kamel Mezlini,<br />
Faiza Mnif, Bessem Samet<br />
E2– Propagation d’Ondes (PO)<br />
Nabil Gmati, Chokri Ben Amar, Dorra Drissi, Leila Hamouda, Faten Jelassi, Naouel Zrelli<br />
E3– Images, MOdélisation et GEométrie (IMOGE)<br />
Maher Moakher, Amine Abdelmoula, Hend Ben Ameur, Mourad Chamekh, Karim Foudhaili,<br />
Maatoug Hassine, Lamia Jaafar Belaïd, Mohamed Jaoua, Héla Sellami, Mohamed<br />
Lassaad Siala, Ridha Touihri, Brahim Trabelsi<br />
E4– Contrôle des EDP (CEDP)<br />
Belhassen Dehman & Henda El Fekih, Lassaad Aloui, Hassen Arfaoui, Ahmed Bchatnia,<br />
Moëz Daoulatli, Miled El Hajji, Moëz Khenissi, Asma Lakhoua, Faten Maddouri, Hajer<br />
Metoui<br />
E5– ENVironnement (ENV)<br />
Hédia Chaker, Mohamed Abdelwahed, Taieb Ahmed, Rabé Badé, Amel Ben Abda, Hend<br />
Ben Ameur, Sabeur Ben Ayad, Khaled Ben Ali, Slimane Ben Miled, Imen Ben Saad, Amna<br />
Chatti, Nejla Frih, Fethi Gassoumi, Mohamed Khaled Gdoura, Seifeddine Ghnimi, Nejla<br />
Hariga Tlatli, Hachmi Hattab, Maatoug Hassine, Amira Kebir, Jihène Kefi, Nizar Kharrat,<br />
Ridha Touihri, Ali Saada<br />
E6– PROCédés (PROC)<br />
Mohamed Naceur Ammar, Nihel Ben Amar, Mourad Cherif, Arbi Mgaïdi
Composition et organisation 11<br />
1.1.2 Liste actualisée des membres de l’équipe de recherche 1<br />
Habilités<br />
Nom et Prénom Qualité Établissement<br />
1 AMMAR Mohamed Naceur Professeur Sup-Com Tunis<br />
2 BEN ABDA Amel Professeur ENI Tunis<br />
3 CHAABANE Slim Maître Assistant FS Sfax<br />
4 DEHMAN Belhassen Professeur FS Tunis<br />
5 EL FEKIH Henda Maître de Conférences ENI Tunis<br />
6 CHAKER Hedia Maître de Conférences ENI Tunis<br />
7 MGAÏDI Arbi Maître Assistant FS Tunis<br />
8 JAOUA Mohamed Professeur ENI Tunis<br />
Docteurs<br />
Nom et Prénom Qualité Établissement<br />
1 ABDELWAHED Mohamed Maître Assistant ESTI Tunis<br />
2 ALOUI Lassaad Maître Assistant FS Gabes<br />
3 BCHATNIA Ahmed Assistant FS Tunis<br />
4 BEN ABDALLAH Jalel Maître Assistant ISSAT Sousse<br />
5 BEN AMAR Nihel Maître Assistant INSAT Tunis<br />
6 BEN AMEUR Hend Maître Assistant FS Bizerte<br />
7 BEN HASSEN Fahmi Post doctorant ENI Tunis & Univ.<br />
Goettingen, Allemagne<br />
8 BEN MILED Marouane Assistant FS Tunis<br />
9 BEN MILED Slimane Maître Assistant FS Tunis<br />
10 CHATTI Amna Maître Assistant ISSAT Sousse<br />
11 CHERIF Mourad Maître Assistant IPEI El Manar<br />
12 DAOULATLI Moëz Assistant ISIT Com Sousse<br />
13 DRISSI Dorra Maître Assistant ESST Tunis<br />
14 GMATI Nabil Maître Assistant IPEI Nabeul<br />
15 HAMOUDA Leïla Assistant IPEI Manar<br />
16 HARIGA-TLATLI Nejla Maître Assistant INA Tunis<br />
17 HASSINE Maatoug Maître Assistant FS Monastir<br />
18 BELAÏD JAAFAR Lamia Maître Assistant ESST Tunis<br />
19 KALLEL Moëz Maître Assistant IPEI Tunis<br />
20 KEFI Jihène Maître Assistant FS Bizerte<br />
21 KHENISSI Moëz Maître Assistant FS Gabes<br />
22 MOAKHER Maher Maître Assistant ENI Tunis<br />
23 SAADA Ali Maître Assistant IPEI Nabeul<br />
24 SAMET Bessem Assistant ESST Tunis<br />
25 TOUIHRI Ridha Maître Assistant IPEI Monastir<br />
1 au 30 avril 2005
12 CHAPITRE 1. GÉNÉRALITÉS<br />
Doctorants<br />
Nom et Prénom Qualité Établissement<br />
1 ABDELMOULA Amine Etudiant-chercheur ENI Tunis<br />
2 AHMED Taïeb Etudiant-chercheur ENI Tunis<br />
3 ARFAOUI Hassen Assistant ISSAT Mateur<br />
4 BADE Rabé Etudiant-chercheur ENI Tunis<br />
5 BEN ALI Khaled Etudiant-chercheur ENI Tunis<br />
6 BEN AMAR Chokri Assistant contractuel ISI Manar<br />
7 BEN FATMA Riadh Etudiant-chercheur ENI Tunis<br />
8 BEN SAAD Imen Etudiant-chercheur ENI Tunis<br />
9 CHAMEKH Mourad PES détaché EPEI El Manar<br />
10 EL HAJJI Miled Etudiant-chercheur ENI Tunis<br />
11 EL HECHMI Chokri Assistant ISSAT Monastir<br />
12 FELLAH Imen Assistant ISIG Kairouan<br />
13 FOUDHAILI Karim Etudiant-chercheur ENI Tunis<br />
14 FRIH Nejla Etudiant-chercheur ENI Tunis<br />
15 GHNIMI Saifeddine Etudiant-chercheur ENI Tunis<br />
16 HAMDI Adel Étudiant-chercheur ENI Tunis<br />
17 HATTAB Hachmi PES détaché ISSAT Gabes<br />
18 HORCHANI Imen Assistant ESTI Tunis<br />
19 JELASSI Faten Assistant FS Bizerte<br />
20 KADRI Mohamed El arbi Ingénieur Ministère de l’intérieur<br />
21 KEBIR Amira Etudiant-chercheur ENI Tunis<br />
22 KHARRAT Nizar Assistant FS Sfax<br />
23 LAKHOUA Asma Etudiant-chercheur ENI Tunis<br />
24 MADDOURI Faten Assistant contractuel ENI Tunis<br />
25 MAHJOUB Moncef Assistant ISM Gabes<br />
26 MDIMEGH Ridha Professeur agrégé IPEI Nabeul<br />
27 MENIF Faïza Assistant ISSAT Mateur<br />
28 METOUI Hajer Assistant ISI El Manar<br />
29 SELLAMI Hela Etudiant-chercheur ENI Tunis<br />
30 SIALA Mohamed Lassaad Etudiant-chercheur ENI Tunis<br />
31 TRABELSI Brahim Etudiant-chercheur ENI Tunis<br />
32 ZRELLI Naouel Assistant contractuel IPEI Tunis
Composition et organisation 13<br />
Stagiaires en Mastère (année 2004/2005)<br />
Nom et Prénom Qualité Établissement<br />
1 BEN AYAD Sabeur Etudiant ENI Tunis<br />
2 EZZAFZAF Boubaker Etudiant ENI Tunis<br />
3 GASSOUMI Fethi Etudiant ENI Tunis<br />
4 GDOURA Mohamed Khaled Etudiant ENI Tunis<br />
5 HADJ KACEM Aida Etudiant ENI Tunis<br />
6 MEZLINI Kamel Etudiant ENI Tunis<br />
Chercheurs associés<br />
Nom et Prénom Qualité Établissement<br />
1 BEN BELGACEM Faker Maître de Conférences Univ. Paul Sabatier<br />
Habilité<br />
Toulouse<br />
2 PHILIPPE Bernard Directeur de Recherche INRIA/IRISA, Rennes<br />
Personnel administratif<br />
Nom et Prénom Grade Fonction<br />
1 TEBESSI Asma Technicien Supérieur<br />
(contractuel)<br />
2 ZARROUK Chiheb Technicien Supérieur<br />
(contractuel)<br />
Administrateur<br />
système-informatique<br />
Assistant de direction
14 CHAPITRE 1. GÉNÉRALITÉS<br />
1.1.3 Organisation<br />
Le laboratoire est hébergé à l’ENIT 2 . Il est organisé de la manière suivante :<br />
Nom et prénom Tel E-mail<br />
Direction 71 871 022 <strong>lamsin</strong>@enit.rnu.tn<br />
(Tel./Fax)<br />
Directeur JAOUA Mohamed 71 874 700 # 595 mohamed.jaoua@enit.rnu.tn<br />
Dir. Adjointe EL FEKIH Henda 71 874 700 # 598 henda.elfekih@enit.rnu.tn<br />
Assistant ZARROUK Chiheb 71 874 700 # 596 chiheb.zarrouk@<strong>lamsin</strong>.rnu.tn<br />
Administration<br />
Informatique TEBESSI Asma 71 874 700 # 596 asma.tebessi@<strong>lamsin</strong>.rnu.tn<br />
Sites web BEN AMEUR Hend 71 874 700 # 556 hend.benameur@enit.rnu.tn<br />
TEBESSI Asma 71 874 700 # 596 asma.tebessi@<strong>lamsin</strong>.rnu.tn<br />
Bibliothèque SAADA Ali 71 874 700 # 553 ali.saada@ipein.rnu.tn<br />
BEN MILED Marouane 71 874 700 # 555 marouane.benmiled@fss.rnu.tn<br />
ZARROUK Chiheb 71 874 700 # 596 chiheb.zarrouk@<strong>lamsin</strong>.rnu.tn<br />
Equipements CHAKER Hedia 71 874 700 # 560 hedia.chaker@enit.rnu.tn<br />
ZARROUK Chiheb 71 874 700 # 596 chiheb.zarrouk@<strong>lamsin</strong>.rnu.tn<br />
Org. Scientifique<br />
Equipe E1 BEN ABDA Amel 71 874 700 # 560 amel.benabda@enit.rnu.tn<br />
Equipe E2 GMATI Nabil 71 874 700 # 555 nabil.gmati@ipein.rnu.tn<br />
Equipe E3 MOAKHER Maher 71 874 700 # 559 maher.moakher@enit.rnu.tn<br />
Equipe E4 DEHMAN Belhassen 71 872 600 # 472 belhassen.dehman@fst.rnu.tn<br />
EL FEKIH Henda 71 874 700 # 596 henda.elfekih@enit.rnu.tn<br />
Equipe E5 CHAKER Hédia 71 874 700 # 560 hedia.chaker@enit.rnu.tn<br />
Equipe E6 AMMAR Med Naceur 71 856 440 naceur.ammar@supcom.rnu.tn<br />
Séminaire GMATI Nabil 71 874 700 # 555 nabil.gmati@ipeit.rnu.tn<br />
Gr. de travail JELASSI Faten 71 874 700 # 556 faten.jelassi@<strong>lamsin</strong>.rnu.tn<br />
Prépublications CHAKER Hédia 71 874 700 # 560 hedia.chaker@enit.rnu.tn<br />
METOUI Hajer 71 874 700 # 556 hajer.metoui@enit.rnu.tn<br />
Chaire Unesco JAAFAR Lamia 71 874 700 # 559 lamia.belaid@esstt.rnu.tn<br />
ZARROUK Chiheb 71 874 700 # 596 chiheb.zarrouk@<strong>lamsin</strong>.rnu.tn<br />
2 Ecole Nationale d’Ingénieurs de Tunis, Campus Universitaire, 1002 Tunis. http ://www.enit.rnu.tn
Considérations générales sur l’activité 15<br />
1.2 Considérations générales sur l’activité<br />
Le présent rapport porte sur la première moitié du deuxième quadriennat du laboratoire (1er<br />
janvier 2003 - 30 avril 2005). Le travail de mise en place et de structuration du laboratoire s’y<br />
est poursuivi, et a trouvé un certain nombre d’aboutissements.<br />
1.2.1 Structuration<br />
Une partie importante des efforts consentis ces dernières années a porté sur l’organisation du<br />
laboratoire dans l’objectif de pérenniser ses structures. Il convenait de consolider les mécanismes et<br />
les outils de travail et de production scientifiques déjà en place, pour les rendre autant que possible<br />
irréversibles, en installant des automatismes de travail pouvant s’appuyer sur des instruments<br />
fiables et pérennes.<br />
Séminaire et groupes de travail : Le séminaire du laboratoire est parvenu à assurer un<br />
rythme assez régulier (52 exposés ont eu lieu durant la période 2003 - avril 2005 ; le programme du<br />
séminaire durant cette période est disponible sur le site web du laboratoire). Le groupe de travail<br />
du laboratoire poursuit quant à lui ses réunions hebdomadaires, au cours desquelles est assuré<br />
le suivi du travail des chercheurs, notamment des plus jeunes d’entre eux. A ces réunions sont<br />
venues se greffer des réunions des groupes thématiquement plus ciblés, se réunissant de manière<br />
régulière ou non.<br />
Manifestations scientifiques : Deux colloques importants ont été organisés par le laboratoire<br />
durant cette période. Il s’agit du 2ème Colloque Tuniso-Français d’Equations aux Dérivées<br />
Partielles qui s’est tenu en septembre 2003, et de la 2ème édition du Colloque Maghrébin sur les<br />
Tendances dans les Applications Mathématiques en Tunisie, Algérie, Maroc (TAM-TAM’05) qui<br />
s’est tenu quant à lui en avril 2005. D’autres manifestations ont été organisées par les chercheurs<br />
du laboratoire, comme les 6èmes Rencontres Mathématiques Tunisiennes d’Eté (juillet 2003),<br />
le Colloquim Modélisation mathématique et traitement numérique des problèmes d’écoulements<br />
(décembre 2004) et l’Ecole d’Hiver de Biomathématiques (février 2003).<br />
Organisation des équipes de recherche : Les six équipes constituant le laboratoire ont<br />
un fonctionnement effectif, caractérisé par des réunions périodiques au sein de groupes de travail<br />
fixant des objectifs scientifiques à atteindre et des stratégies pour y parvenir.<br />
Partenariats internationaux :<br />
par quatre grandes avancées.<br />
La consolidation des partenariats traditionnels s’est traduite<br />
1. Le laboratoire a été selectionné en juillet 2003 par l’Agence Universitaire de la Francophonie<br />
pour être un Pôle d’Excellence Régional en Matématiques Appliquées (PER-AUF). Le<br />
projet soumis par le LAMSIN a été classé premier parmi les 12 projets retenus sur un<br />
total de 160 projets soumis. L’objectif donné par l’AUF est de créer ou de renforcer de tels<br />
pôles afin de promouvoir et mettre en valeur l’excellence scientifique au Sud. Ainsi, le but<br />
est de constituer des foyers d’excellence, internationalement reconnus et réunissant toutes<br />
les compétences scientifiques d’une même région interagissant autour d’une thématique<br />
commune. Ces centres participent activement à la création, au coeur de dynamiques<br />
régionales, des conditions d’une relance durable de la formation et de la recherche. Ils visent<br />
à offrir aux enseignants et aux chercheurs des conditions d’exercice favorables et stimulantes<br />
de leurs responsabilités scientifiques.<br />
2. Le laboratoire est reconduit en décembre 2004, en tant que laboratoire associé à l’INRIA<br />
(France) nommé e-didon (Equipe D’Inversion et D’Optimisation Numériques), et ce après
16 CHAPITRE 1. GÉNÉRALITÉS<br />
l’évaluation des trois premières années (2002-2004) qui a eu lieu en décembre 2004. Cette<br />
association, avec le projet Estime de l’INRIA, apporte au LAMSIN une collaboration stable<br />
et régulière avec l’une des institutions françaises phares de la rechercheche scientifique en<br />
Mathématiques Appliquées. Cette collaboration apporte aux deux partenaires un financement<br />
récurrent de la part de la Direction des Relations Internationales de l’INRIA, afin de<br />
soutenir leurs échanges.<br />
3. Le laboratoire a obtenu la reconduction de l’appui de AIRE développement pour la période<br />
mai 2004 - mai 2006, et ce après l’évaluation des deux premières années (mai 2002 - mai<br />
2004) qui a eu lieu au début de l’année 2004.<br />
4. Le laboratoire a obtenu en 2003 l’aval de l’UNESCO pour la mise en place d’une Chaire<br />
UNESCO en Mathématiques et Développement, sous l’égide de l’Université Tunis El Manar<br />
et du CIMPA, avec l’appui de l’Académie tunisienne Beït El Hikma et du Centre<br />
Abdus Salam de Physique Théorique (Trieste). La Chaire permet d’animer l’espace universitaire<br />
en Mathématiques Appliquées grâce à l’organistaion de semestres thématiques<br />
drainant chercheurs et auditeurs du Nord et du Sud. Trois semestres thématiques ont<br />
eu lieu pendant la période 2004-avril 2005. Le premier a porté sur le Calcul Numérique<br />
Intensif (7 février - 30 avril 2004), le deuxième sur l’Histoire des Mathématiques (4 octobre<br />
- 17 décembre 2004) et le troisième sur le Traitement du Signal et de l’Image<br />
(7 février - 27 avril 2005). Le quatrième semestre thématique aura lieu pendant la<br />
période septembre-décembre 2005 et portera sur la Modélisation Mathématique en Finance.<br />
(http ://www.tn.refer.org/unesco/accueil-unesco-fr.html )<br />
5. Le LAMSIN est par ailleurs, partie prenante de deux réseaux de recherche mis en place<br />
dans différentes structures :<br />
(a) Le réseau afro-français, structuré autour du projet SARIMA 3 porté par le CIMPA 4<br />
et l’INRIA 5 , et financé par le Ministère français des Affaires étrangères dans le<br />
cadre de son Fonds de Solidarité Prioritaire. A côté de laboratoires d’Afrique subsaharienne,<br />
et de laboratoires français, le LAMSIN occupe une position intermédiaire,<br />
du fait de son relatif développement scientifique, malgré son appartenance à la zone<br />
économique Sud . Ce réseau a pour objet de favoriser la reconstitution d’un potentiel<br />
scientifique dans les pays d’Afrique sub-saharienne concernés, grâce à la mutualisation<br />
des compétences et des formations, notamment doctorales. Les moyens employés sont<br />
les échanges d’enseignants, la mutualisation des enseignements de Mastères, les cotutelles<br />
de thèses, les séjours de chercheurs dans des laboratoires, l’organisation de<br />
diverses manifestations scientifiques à caractère régional (écoles, ateliers, tutoriels, etc<br />
...). Les activités scientifiques autour de ce projet ont démarré au début de l’année<br />
2005.<br />
(b) Un réseau maghrébin informel, déjà constitué depuis de longues années, se structure<br />
autour du colloque TAM-TAM Tendance des Applications Mathématiques, en Tunisie,<br />
Algérie, Maroc, qui se tient tous les deux ans, à tour de rôle dans chacun des trois<br />
pays. La première édition a eu lieu à Rabat en avril 2003 et la deuxième, organisée par<br />
le LAMSIN, a eu lieu à Tunis en avril 2005 (http ://tamtam05.tn.refer.org).<br />
La stratégie du laboratoire privilégie désormais la recherche d’appuis structurels récurrents,<br />
plutôt que les projets de recherche thématiques et les actions intégrées, sans bien entendu<br />
abandonner ces derniers, même si leur gestion et leur suivi sont consommateurs d’une énergie<br />
excessive, qui serait certainement mieux employée au travail de recherche lui-même.<br />
3 Soutien aux Activitśs de Recherche Informatique et Mathématique en Afrique<br />
(http ://www-direction.inria.fr/international/AFRIQUE/Sarima.html)<br />
4 Centre International de Mathématiques Pures et Appliquées<br />
5 Institut National de Recherche en Informatique et en Automatique, France
Considérations générales sur l’activité 17<br />
Tout en consolidant ses partenariats traditionnels situés essentiellement en France, le laboratoire<br />
tisse continuellement de nouveaux liens. Sur le plan régional, des projets de coopération<br />
formelle ou informelle sont initiés avec l’Algérie et le Maroc. le LAMSIN pérennise également<br />
une collaboration avec le Portugal et l’Espagne à travers des actions d’échanges structurées ainsi<br />
qu’avec l’Allemagne et l’Autriche par le biais de séjours post-doctoraux de jeunes docteurs du<br />
laboratoire. Enfin, une collaboration suivie, quoique informelle, est établie avec l’Italie (Universié<br />
de Florence et de Trieste).<br />
1.2.2 Quelques indications chiffrées<br />
Quelques indicateurs permettent d’évaluer les réalisations accomplies. Les effectifs du laboratoire<br />
étant assez mouvants, les statistiques concernant les publications ont été établies sur la base<br />
de l’effectif des 45 chercheurs présents au laboratoire au début de la période 2003- avril 2005.<br />
(a) Pyramide des chercheurs<br />
Tout en continuant à jouer son rôle d’accueil et de formation de nouveaux jeunes doctorants,<br />
le laboratoire a vu son ratio de ‘séniors’ se renforcer légèrement, passant de 50 % au début de 1999<br />
à 57 % à la fin de l’année 2000, et à plus de 60% fin 2002. Actuellement, ce ratio est passé à 50%.<br />
Notons qu’entre les périodes 2001-2002 et 2003-2004, le nombre de docteurs est resté identique et<br />
celui des habilités est passé de 4 à 8 (et passera à 10 en juin 2005).<br />
Ce renforcement ne se fait pas au détriment du nombre de jeunes chercheurs, mais grâce d’une<br />
part à leur évolution, et d’autre part à l’arrivée au laboratoire d’un nombre croissant de recrues<br />
“sénior”. Pour autant qu’on puisse tirer des conclusions, sur de si petits nombres, la présence<br />
en Tunisie d’un laboratoire de recherche visible et respecté semble à cet égard représenter un<br />
argument de plus en plus décisif, aux yeux de jeunes chercheurs formés à l’étranger et soucieux<br />
de ne pas rompre avec l’activité scientifique, en faveur de leur retour au pays.<br />
La production scientifique, et les signatures qui y apparaissent, donnent cependant une plus<br />
claire idée du rôle de plus en plus actif joué par un certain nombre de chercheurs en matière<br />
d’encadrement des jeunes et d’orientation de leur travail.<br />
(b) Contribution à l’encadrement au sein de l’université<br />
Durant la période 2003 - avril 2005, le laboratoire a intensifié sa contribution à l’encadrement<br />
en Mathématiques Appliquées au sein de l’université tunisienne : 7 de ses chercheurs y ont été<br />
recrutés en qualité d’assistants, trois ont été promus au grade de maître-assistant, trois autres<br />
ont été promus au grade de maître de conférences (2) et professeur (1) et plusieurs de ses jeunes<br />
chercheurs doctorants exercent en qualité d’assistants contractuels. Trois habilitations, six thèses<br />
et quinze mémoires de mastère ont été soutenus au laboratoire durant cette même période, et<br />
deux autres habilitations seront soutenues en juin 2005. Les chercheurs du laboratoire ont en<br />
outre continué à prendre en charge - pour la période 2003-2004 - la responsabilité du mastère de<br />
Mathématiques Appliquées.<br />
(c) Formation par la recherche<br />
La formation par la recherche est en même temps un objectif majeur et l’un des moyens de<br />
l’activité scientifique du laboratoire. La sanction académique, si elle est un indicateur pertinent<br />
de cette activité, n’en rend que partiellement compte dans la mesure où certains des diplômes<br />
couronnent un processus de maturation, d’une durée souvent supérieure aux quatre années. Il<br />
s’agit des habilitations bien sûr, mais aussi des thèses qui ne sont que très rarement achevées<br />
durant la période “normale” de trois ans, puisque l’absence de bourses de thèses oblige les<br />
doctorants à exercer une activité salariée pour subvenir à leurs besoins.
18 CHAPITRE 1. GÉNÉRALITÉS<br />
Type 1997-1998 1999-2000 2001-2002 2003-avril 2005<br />
DEAs/Mastères 8 5 12 15<br />
Thèses 0 3 5 6<br />
Habilitations 1 0 0 3<br />
Diplômes obtenus au laboratoire<br />
On observera néanmoins l’évolution qualitative qui se traduit par l’augmentation du nombre<br />
de mastères, la progression du nombre de thèses, et celle du nombre d’habilitations, signifiant que<br />
le travail du laboratoire entre dans un régime stationnaire de “production académique” de 3 ou<br />
4 thèses par an, une ou deux habilitations, et 7 à 8 mémoires de Mastère.<br />
Un des paramètres essentiels de la formation par la recherche, qui est la qualité de la recherche<br />
effectuée, n’est quant à lui pas quantifiable par l’activité diplômante, mais plutôt par la production<br />
scientifique.<br />
(d) Evolution de la production scientifique<br />
Plusieurs indicateurs attestent de l’amélioration de la production scientifique des chercheurs<br />
du laboratoire. Pour en juger, nous proposons de comparer cette production, en la rapportant au<br />
nombre des chercheurs, à celle du LAMSIN de la période 1997-1998, dont le rapport d’activité a<br />
été publié.<br />
Pré-publications : Mise en route en 1998, la publication de la série de rapports de recherche<br />
du laboratoire a continué en 2003 et 2004, période durant laquelle 8 rapports ont été publiés<br />
chaque année.<br />
Type 1997-1998 1999-2000 2001-2002 2003-avril 2005<br />
RR LAMSIN 3 12 16 19<br />
Evolution des prépublications<br />
Le tableau laisse apparaître une amélioration continue, dûe pour l’essentiel à la mise en<br />
place des rapports de recherche du LAMSIN. La place reste néanmoins encore grande pour des<br />
évolutions plus significatives. Celles-ci sont non seulement souhaitables pour améliorer la diffusion<br />
de la production scientifique des chercheurs du LAMSIN, mais également pour installer chez ces<br />
derniers l’habitude de rédiger systématiquement leurs travaux, ce qui n’est pas à terme sans<br />
incidence sur la production, aussi bien sur les plans qualitatif que quantitatif.<br />
Articles et communications : Le nombre d’articles publiés par chercheur (sénior) évolue<br />
lentement, même si le nombre d’articles publiés par tous les chercheurs du laboratoire a<br />
considérablement progressé. Le nombre d’articles par chercheur-sénior reste encore à un niveau<br />
que l’on peut qualifier de peu satisfaisant. Plusieurs facteurs permettent d’expliquer ce<br />
phénomène :<br />
– La politique du laboratoire n’est pas basée sur une recherche de ‘performance’ à tout prix.<br />
Il est beaucoup plus satisfaisant en effet de faire évoluer lentement le ratio des publications,<br />
tout en amenant progressivement un plus grand nombre de chercheurs à produire, que de<br />
réaliser de meilleures performances de publication par l’éviction des chercheurs les moins<br />
productifs.<br />
– La population active du LAMSIN, laboratoire de composition très jeune, est éminemment<br />
évolutive : les nombreux chercheurs en début de carrière, et d’autres en reprise d’activité,<br />
n’aident pas à établir des ‘records’ de production du reste sans intérêt. En revanche,<br />
leur intégration dans une activité scientifique soutenue contribue à créer les bases du<br />
développement.
Considérations générales sur l’activité 19<br />
Au delà des articles publiés ou acceptés, le nombre d’articles en cours de traitement (15)<br />
indiquent que la production scientifique semble atteindre un régime permanent, en rupture avec<br />
le régime saccadé, tributaire d’un petit nombre d’individus, qui était celui du début de la première<br />
période quadriennale du laboratoire. Cette tendance est aussi attestée par le ratio des chercheurs<br />
‘sénior’ visibles, c’est à dire ceux dont les noms apparaissent dans les publications, qui est passé<br />
de 55 % en 1997-1998 à 80 % en 2001-2002 pour se situer à 85 % pour la période 2003-avril 2005.<br />
Les raisons évoquées plus haut, relatives à l’ouverture permanente du laboratoire aux chercheurs<br />
‘sénior’ désireux de reprendre une activité scientifique, auxquels il convient naturellement<br />
de laisser le temps nécessaire pour se réinvestir et redevenir productifs, ne nous permettront pas<br />
d’atteindre le ratio “idéal” de 100%, qui n’est pas du reste pas notre objectif.<br />
Type 1997-1998 1999-2000 2001-2002 2003-avril 2005<br />
Nbre d’articles/sénior/an 0.50 0.50 0.54 0,65<br />
Nbre de publis/chercheur/an 0.65 1.1 1.1 1.13<br />
Ratio des sénior actifs (toutes publis) 55 % 72 % 80 % 85 %<br />
Ratio des chercheurs actifs (toutes publis) 52 % 77 % 83 % 86 %<br />
Evolution des publications<br />
La situation a aussi évolué positivement quant au ratio des chercheurs (y compris les doctorants)<br />
actifs : ceux dont les noms apparaissent dans une publication ou dans une communication<br />
est passé de 52% en 1997-1998 à 86 % en 2003-avril 2005. Cet indicateur n’est cependant pas<br />
le plus pertinent, dans la mesure où il dépend essentiellement de la volonté politique - et de la<br />
capacité financière - que le laboratoire peut avoir à “écumer” les congrès. De ce point de vue là, le<br />
niveau atteint ne pourra être dépassée que grâce à la mise en place de manifestations scientifiques<br />
régionales telles que TAM-TAM, qui permettront aux jeunes chercheurs d’avoir leur première<br />
expérience des congrès internationaux dans un environmment de proximité, aussi accessible pour<br />
eux que pour les finances de leur laboratoire. Lors de la 2ème édition du colloque TAMTAM qui<br />
s’est tenu a tunis en avril 2005, 20 chercheurs du LAMSIN, dont 14 doctorants, ont présenté une<br />
communication. Pour la première édition (Maroc, avril 2003), 7 communications des chercheurs<br />
du LAMSIN, dont 5 de doctorants, ont été présentées.<br />
(e) Ouverture et reconnaissance internationales :<br />
Les échanges internationaux du laboratoire ont connu une évolution sensible durant cette<br />
période. Nous avons choisi quelques indicateurs significatifs de cette évolution, ayant trait aux<br />
projets de recherche en coopération auxquels participent les chercheurs, dont le nombre a<br />
davantage augmenté que les ressources attribuées, aux échanges de chercheurs (mois de séjour<br />
à l’étranger rapporté au nombre de semaines d’invitation de chercheurs au LAMSIN), aux<br />
invitations des chercheurs du LAMSIN pour des conférences à des colloques ou congrès ou pour<br />
participer à des jurys de thèses et d’halilitations. Ces données sont récapitulées dans le tableau<br />
suivant, leur évolution étant rapportée au nombre de chercheurs concernés (pour les jurys par<br />
exemple, il ne peut s’agir que des chercheurs habilités à en faire partie).
20 CHAPITRE 1. GÉNÉRALITÉS<br />
Type 1997-1998 1999-2000 2001-2002 2003-2004<br />
Séjours scientifiques à l’étranger (en mois) 110 121 184 133<br />
Visiteurs étrangers (en semaines) 23 51 73 151<br />
Stagiaires étrangers (en mois) – – – 73<br />
Coopérations structurantes 0 0 2 2<br />
Coopérations réseaux – – – 3<br />
Projets de coopération 9 19 10 11<br />
Communications congrès & 15 34 53 52<br />
Conférences invitées à l’étranger<br />
Jurys de thèses et d’habilitations étranger 3 8 3 5<br />
La principale mutation, depuis la période 1999-2000, concerne la réduction des coopérations<br />
sur projets, aussi lourdes à gérer qu’aléatoires quant aux ressources qu’elles procurent, au<br />
profit des coopérations structurantes de type associations (INRIA, AIRE développement), ou<br />
des réseaux comme SARIMA 6 , Chaire UNESCO Mathématiques et développement et le Pôle<br />
d’Excellence Régional auprès de l’AUF 7 .<br />
Cette évolution, si elle témoigne bien entendu d’une meilleure audience et d’une insertion<br />
croissante du laboratoire au sein de la communauté scientifique internationale, a aussi un impact<br />
positif sur la structure de son activité, que les considérations budgétaires permettent d’évaluer.<br />
Alors que la partie stable et récurrente de son budget se situait à 1/3 en 1999-2000, l’augmentation<br />
des ressources du MRSTDC et l’apport des projets structurants la porte à 66% en 2004, ce qui<br />
est évidemment appréciable pour pouvoir conduire une politique de développement scientifique.<br />
Les échanges internationaux du laboratoire évoluent régulièrement, tout en allant vers un<br />
meilleur équilibre. Les coopérations structurantes, et l’audience du laboratoire, permettent aux<br />
chercheurs sénior d’être davantage sollicités.<br />
Les séjours des chercheurs junior qui ont augmenté entre 1997 et 2002, du fait de la<br />
systématisation des co-tutelles de thèses (qu’on continue a adopter), qui permettent d’une part<br />
de faire face à un accroissement sensible du nombre de doctorants, d’autre part de diversifier les<br />
problématiques traitées, ont diminué lors de la période actuelle 2003-2004, d’une part grâce à<br />
l’évolution significative du nombre d’habilités au laboratoire, et d’autre part à l’intensification<br />
des visites de nos collaborateurs en Tunisie, parmis lesquelles on peut citer Bernard Philippe<br />
(INRIA/IRISA, Rennes) qui a passé une année sabbatique au LAMSIN en tant que professeur<br />
visiteur, et Faker Ben Belgacem (MIP-UPS, Toulouse) qui a effectué un long séjour scientifique<br />
de 4 mois en 2004 dans le cadre du programme d’accueil des compétences Tunisiennes à l’étranger<br />
mis en place par le MRSTDC en 2003.<br />
Parmis ses diverses activités de recherche qu’il entretient via un vaste tissu de relations internationales,<br />
et en dehors de l’accueil des chercheurs pour de courts séjours en vue de travailler avec<br />
les chercheurs du laboratoire au sein des équipes qui le constituent, le LAMSIN a accueilli, dans<br />
le cadre du Pôle d’Excellence Régional auprès de l’AUF, une trentaine de chercheurs (doctorants<br />
et enseignants), en plus des conférenciers invités, de différentes nationalités, essentiellement des<br />
pays du sud (Maghreb, Liban, Afrique sub-saharienne), pour assister aux cours programmés dans<br />
le cadre des trois premiers semestres thématiques de la Chaire UNESCO en Mathématiques et<br />
développement. Par ailleurs, le laboratoire a accueilli un marocain au sein de l’équipe Problèmes<br />
Inverses pour un séjour postoctoral de dix mois, deux élèves ingénieurs de l’ENSTA (France) pour<br />
un stage de deux mois au sein de l’équipe Propagation d’Ondes, et un nigérien pour préparer une<br />
thèse (en cours) au LAMSIN au sein de l’équipe Environnement après y avoir préparé son mémoire<br />
de mastère.<br />
6 Soutien aux Activitśs de Recherche Informatique et Mathématique en Afrique<br />
7 Agence Universitaire de la Francophonie
Chapitre 2<br />
Programme de recherche<br />
2.1 Problématique générale du programme de recherche<br />
Nous présontons ici la problématique générale du programme de recherche par équipe.<br />
2.1.1 Problèmes Inverses<br />
Cette thématique fédère de nombreuses applications : toute problématique directe génère une<br />
famille de problèmes inverses. Les problèmes inverses sont souvent très consommateurs en temps<br />
de calculs ce qui explique leur essor parallèle au développement des moyens de calculs et à leur<br />
démocratisation. Leur champs d’application est immense, néanmoins au sein du LAMSIN, de par<br />
la culture commune de ses membres, il reste lié aux modèles régis par des EDP.<br />
L’équipe, la plus ancienne du LAMSIN, joue également un rôle transverse dans la mesure<br />
où la plupart de ses chercheurs collaborent avec les chercheurs des autres équipes notamment<br />
IMOGE, PO et ENV. L’interaction avec l’équipe IMOGE est particulièrement porteuse puisque<br />
la mise en commun du savoir faire a permis l’exploitation des outils de traitement d’images dans<br />
le traitement des problèmes inverses d’identification de paramètres (i.e. coefficients de Robin) et<br />
inversement l’exploitation des outils des problèmes inverses géométriques dans la détection de<br />
contours en traitement d’images.<br />
L’équipe s’ouvre, par aillleurs, progressivement vers de nouveaux thèmes applicatifs notamment<br />
les applications biologiques (Identification de centres d’épilepsie, identification de tumeurs<br />
cancéreuses).<br />
2.1.2 Propagation d’Ondes<br />
L’une des thématiques abordée par l’équipe Propagation d’Ondes concerne l’analyse mathématique<br />
et numérique de méthodes de résolution de problèmes en domaine non borné. Les résultats<br />
théoriques en homogénéisation de l’équipe du laboratoire de Modélisation en Mécanique de<br />
l’Université Paris 6, s’avèrent utiles pour l’étude de la propagation d’ondes dans les silencieux<br />
d’échappement. Notre équipe mène plusieurs études sur les techniques de décomposition de domaines<br />
appliquées aux problèmes posés en domaine non borné. Plusieurs méthodes similaires ont<br />
été mises en oeuvre ces dernières années. Citons par exemple les travaux du projet Ondes de l’IN-<br />
RIA dirigé par P. Joly, ou encore un article récent de Chen-Jian qui utilise la même technique que<br />
celle mise au point dans la thèse de F. Jelassi au LAMSIN, mais sans en donner une démonstration<br />
rigoureuse de convergence. D’autres travaux similaires ont été effectués dans la thèse de Y. Boubendir.<br />
Par ailleurs, une thématique plus récente est abordée, elle concerne l’étude théorique et<br />
numérique du phénomène de retournement temporel. Plusieurs expériences ont été développées<br />
au laboratoire ondes et acoustique de l’ESPCI grâce à l’utilisation de miroirs à retournement<br />
21
22 CHAPITRE 2. PROGRAMME DE RECHERCHE<br />
temporel (MRT). Cependant, quelques travaux mathématiques ont commencé à traiter différents<br />
aspects du phénomène de retournement temporel : Les travaux de l’ESPCI pour le retournement<br />
temporel en régime transitoire, ceux du SMP (ENSTA) pour le retournement temporel en régime<br />
harmonique et du Laboratoire d’Acoustique de de l’Université d’Aix-Marseille, pour la propagation<br />
en milieu aléatoire. Prada et al. ont montré que dans un milieu formé de plusieurs diffuseurs<br />
bien résolus, l’itération du processus de retournement temporel conduit à la focalisation sélective<br />
sur le diffuseur le plus échogène. Notre objectif est de montrer des résultats analogues dans des<br />
configurations plus générales en régime harmonique et transitoire.<br />
2.1.3 Images, Modélisation et Géométrie<br />
La création de l’équipe IMOGE (Images, MOdélisation et GEométrie) s’est imposée après<br />
l’adhésion au LAMSIN de nouveaux chercheurs dont les thématiques de recherche se distinguent<br />
de celles des équipes du LAMSIN déja en activité. L’équipe IMOGE s’intéresse aux problèmes<br />
des sciences de l’ingénieur, de la biologie et de l’industrie, dont la modélisation mathématique<br />
fait intervenir une combinaison de la géométrie, de l’analyse et des méthodes numériques.<br />
Les thèmes de recherche actuels au sein de l’équipe IMOGE sont : le traitement et l’analyse<br />
de l’image, la modélisation des écoulements, mélange et ségrégation des matériaux granulaires,<br />
la modélisation de l’auto-contact dans les tiges élastiques, le moyennage et lissage des données<br />
contraints à des variétes Riemanniennes. La collaboration avec les autres équipes du LAMSIN est<br />
possible et se manifeste à travers la péresence des membres associés.<br />
2.1.4 Contrôle des EDP<br />
Le problème du contrôle occupe une place importante dans la théorie générale des équations<br />
aux dérivées partielles, en raison notamment de ses nombreuses applications physiques (mécanique<br />
des fluides, thermodynamique, phénomènes de propagation, ingénierie). Génériquement, il s’agit<br />
d’intervenir sur un système d’évolution donné (E) afin de contrôler sa solution, c’est à dire<br />
de l’amener d’un état initial (arbitraire) à un état final prescrit. Le système (E) est, selon<br />
les cas, hyperbolique (phénomènes vibratoires), parabolique (équation de la chaleur), ou de<br />
type plus complexe. On peut aussi demander au vecteur (fonction) contrôle de vérifier une<br />
contrainte, comme par exemple, de minimiser une certaine fonctionnelle. Durant les trente<br />
dernires années, l’étude de ce(s) problème(s) a nécessité la mise en place d’outils théoriques<br />
et numériques assez complexes. La théorie du contrôle a connu un grand essor à la fin des<br />
années 70 avec la méthode H.U.M (Hilbert Uniqueness Method) de J.L. Lions ; essor renforcé<br />
par l’arrivée des techniques microlocales de C.Bardos, G.Lebeau et J.Rauch. Un grand nombre<br />
de problèmes mathématiques connexes sont tout aussi pertinents : stabilisation des solutions,<br />
problème d’unicité et de prolongement unique. L’équipe s’intéresse au contrôle et à la stabilisation<br />
de certaines équations aux dérivées partielles. On a investi depuis quelques années dans l’étude<br />
du comportement de l’énergie locale des solutions de l’équations des ondes sur des domaines<br />
extérieurs c’est à dire en dehors d’obstacles compacts, avec, à la clé, des résultats linéaires et<br />
semi-linéaires et des théorèmes de complétude asymptotique. Cette expérience a permis a l’équipe<br />
d’aborder l’étude de l’énergie locale pour l’équation de Schördinger.<br />
Par ailleurs, on s’intéresse aux problèmes de contrôle optimal frontière gouvernés par des<br />
équations aux dérivées partielles, où la commande est une donnée sur le bord. Les problèmes<br />
qui nous intéressent portent plus particulièrement sur les problèmes de contrôles d’écoulements<br />
et différents modèles sont visés, comme par exemple celui des équations de Saint-Venant en<br />
une dimension, modélisant les écoulements en eau peu profonde, avec prise en compte de lois<br />
de frottement et de viscosité. Dans le but de progresser vers le contrôle actif de systèmes plus<br />
complexes (Navier-Stokes incompressible), on a entrepris une étude sur le contrôle optimal, la<br />
nulle-contrôlabilité et la stabilisation d’un modèle de type Burgers bidimensionnel, intégrant la
Objectifs globaux du programme de recherche 23<br />
difficulté des modèles de convection non linéaires, sans présenter la lourdeur numérique du système<br />
de navier-Stokes. Cette étude concerne aussi le calcul de lois de feedback robustes. L’équipe<br />
s’intéresse également à la stabilisation et à la commande des écoulements extérieurs (en domaine<br />
non borné). Enfin, nous développons des outils numériques afin de résoudre ces problèmes.<br />
2.1.5 Environnement<br />
L’étude des problèmes posés sur la protection de l’environement est une des préoccupations<br />
majeure de l’équipe Environement. Celà nécessite l’élaboration de modèles physiques qui seront<br />
simulés numériquement, ce qui permettra de comprendre et de prévoir certains phénomènes<br />
pour pouvoir prendre les mesures nécessaires en des temps adéquats. Plusieurs applications sont<br />
étudiées telles que l’érosion côtière, l’eutrophisation des lacs, les crues de rivières, l’infiltration<br />
des polluants dans les milieux poreux et la pollution atmosphérique.<br />
2.1.6 Procédés<br />
Les thèmes de recherche abordés couvrent un large éventail de compétences qui vont de<br />
l’expérimentation et développement de bases de données empiriques, au calcul d’opérations<br />
unitaires de transformation physique, chimique ou énergétique de la matière, passant par<br />
l’élaboration de modèles thermodynamiques à même de prédire l’état de la matière dans<br />
différentes conditions opératoires (phases en présence à l’équilibre et caracté risation en termes de<br />
composition et d’autres propriétés physico-chimiques). Ces thèmes sont d’un intérêt fondamental<br />
dans l’élaboration de programmes de simulation numérique des procédés et ils sont en quelque<br />
sorte structurants dans le dé veloppement des connaissances en génie des procédés.<br />
2.2 Objectifs globaux du programme de recherche<br />
Le LAMSIN rassemble des chercheurs dont les thématiques, les centres d’intérêt, et les<br />
outils scientifiques se sont côtoyés et souvent croisés depuis bien avant sa création en tant<br />
que Laboratoire. La complémentarité appelait une convergence, toujours d’actualité, ayant pour<br />
objectif la modélisation mathématique et numérique des problèmes de l’ingénieur : d’une part<br />
les problèmes industriels que pose le développement, tels que la modélisation de l’acoustique des<br />
pots d’échappement, le contrôle non destructif des matériaux, le moulage des pièces en matières<br />
plastiques, le dimensionnement des barrages, etc ... Ces domaines applicatifs sont traditionnels au<br />
LAMSIN. Le second quadriennat en cours a vu le démarrage d’applications médicale telles que les<br />
détections de sources d’épilepsie, le traitement des images médicales, la détection et destruction<br />
sans chirurgie de calculs rénaux et l’étude des distorsions des molécules d’ADN. On citera<br />
également les thématiques environnementales et la maîtrise des ressources naturelles (eau, pétrole,<br />
phosphate, etc.). A côté de ses ressources intellectuelles propres, le LAMSIN pourra de nouveau<br />
compter sur la proximité, notamment à l’ENIT, d’équipes de préoccupations connexes, pratiquant<br />
souvent la modélisation et la simulation numériques pour résoudre les problèmes demécanique,<br />
d’hydraulique, de traitement de signal, ou ceux concernant les matériaux semiconducteurs.
24 CHAPITRE 2. PROGRAMME DE RECHERCHE
Deuxième partie<br />
PRESENTATION DE L’ETAT<br />
D’AVANCEMENT DU<br />
PROGRAMME DE RECHERCHE<br />
25
Chapitre 3<br />
Les actions de recherches<br />
3.1 Problèmes Inverses<br />
L’activité de l’équipe intègre aussi bien les aspects théoriques que numériques des problèmes<br />
inverses géométriques ou de détermination de paramètres définis par des données de bord<br />
surdéterminées.<br />
Mots Clefs : Problèmes inverses, Identification, Identifiabilité, Stabilité, Régularisation, Eléments<br />
finis, Représentation intégrale, Décomposition de domaines, Opérateur de Poincaré-Steklov, Optimisation<br />
topologique, Level sets, Problème de Cauchy, Complétion de données, Erreur à la loi de<br />
comportement, Ecart à la Réciprocité.<br />
3.2 Propagation d’Ondes<br />
L’objectif de l’équipe Ondes est l’étude mathématique et la mise en œuvre numérique de nouvelles<br />
méthodes de résolution de problèmes de propagation d’ondes en domaine confiné ou non borné.<br />
Mots Clefs : Equation de Helmholtz, Equations intégrales, Décomposition de domaines, Homogénéisation,<br />
Diffraction, Acoustique, Eléments finis, Retournement temporel, Magnétostatique.<br />
3.3 Images, Modélisation et Géométrie<br />
Les activités de recherche au sein de l’équipe IMOGe sont axées autour des problèmes de<br />
traitement d’images de la modélisation de l’écoulement, mélange et ségrégation des matériaux<br />
granulaires, des tiges élastiques et leurs applications à la modélisation de la molécule d’ADN et<br />
du moyennage sur les variétes Riemanniennes.<br />
Mots Clefs : Traitement d’images, Lissage, Segmentation, Détection de contours, Matériaux<br />
granulaires, Mélange et ségrégation granulaires, Méthode des éléments distincts, Méthodes ‘level<br />
set’, Tiges élastiques à double brains, Auto-contact des tiges élastiques, Moyennage des données<br />
contraintes, Moindres carrés.<br />
3.4 Contrôle des EDP<br />
Les actions de recherche menées au sein de l’équipe contrôle concernent l’étude théorique et<br />
numérique de la commande et la stabilisation de différents modèles régis par des équations aux<br />
dérivées partielles.<br />
27
28 CHAPITRE 3. LES ACTIONS DE RECHERCHES<br />
Mots Clefs : Commande optimale, Contrôle et stabilisation des EDP (elliptiques, parabolliques<br />
et hyperbolliques), Contrôlabilité, Inégalités de Strichartz, Analyse Micro-locale, Contrôle<br />
géométrique, Schördinger, Equation des ondes, Méthodes numériques en contrôle.<br />
3.5 Environnement<br />
Les activités de recherche au sein de l’équipe Environnement concernent particulièrement les<br />
problèmes posés par l’environnement : pollution des nappes phréatiques, pollution de l’atmosphère,<br />
eutrophisation des lacs et aussi les écoulements du sang.<br />
Mots Clefs : Erosion côtière, Milieux poreux, Equations cinétiques, Ecoulement du sang, Eutrophisation,<br />
Ecoulement surfacique.<br />
3.6 Procédés<br />
L’équipe PROC mènent les actions suivantes :<br />
- Modélisation thermodynamique de systèmes électrolytes complexes à l’équilibre<br />
- Simulation numérique de procédés industriels de transformation de la matière<br />
- Expérimentation sur unité pilote de filtration membranaire (nanofiltration, osmose inverse)<br />
Mots Clefs : Modélisation thermodynamique, Systèmes électrolytes, Procédés industriels, Simulation<br />
numérique, Dessalement d’eau, Traitement des eaux, Nanofiltration.
Chapitre 4<br />
Objectifs spécifiques<br />
4.1 Problèmes Inverses<br />
La maturité atteinte par l’équipe Problèmes Inverses, la plus ancienne du LAMSIN, est sans doute<br />
illustrée par la connexion que ses membres ont pu faire avec les autres équipes du LAMSIN (PO,<br />
IMOGE, ENV) en apportant leur expertise à travers les outils ou les applications.<br />
L’équipe Problèmes Inverses vise :<br />
- Le développement de techniques numériques efficaces pour la complétion des données et à<br />
terme l’élaboration d’un logiciel maison intégrant les diverses méthodes développées au sein du<br />
groupe.<br />
- L’exploitation de l’outil de l’optimisation topologique pour le traitement des problèmes de<br />
détection de fissures et de sources ponctuelles.<br />
- L’ouverture vers les applications issues des sciences du vivant.<br />
4.2 Propagation d’Ondes<br />
Les objectifs visés par l’équipe sont les suivants :<br />
- Propagation d’ondes dans un silencieux d’échappements : Il s’agit du calcul de l’atténuation<br />
du bruit émis par un moteur de voiture par son pot d’échappement.<br />
- Exploitation des méthodes de décomposition de domaines pour l’étude des probèmes posés<br />
en domaines non bornés.<br />
- Etude théorique et numérique de la méthode de retournement temporel visant des applications<br />
médicales.<br />
- Formulation mixtes et hybride en magnétostatique 3D.<br />
4.3 Images, Modélisation et Géométrie<br />
La nouvelle équipe IMOGE prend en charge au sein du laboratoire les activités suivantes :<br />
- Traitement d’images : par les aspects segmentation et restauration. Les outils mathématiques<br />
sous-jascents concernent l’optimisation topologique et les level-sets.<br />
- Modèles de tiges élastiques : cette activité est motivée par la modélisation des déformations<br />
de la molécule d’ADN.<br />
- Ecoulement granulaire : ces matériaux sont omniprésents dans plusieurs domaines tels que<br />
le génie civil, ou les industries agro-alimentaire, minière ou pharmaceutique. Souvent considérés<br />
29
30 CHAPITRE 4. OBJECTIFS SPÉCIFIQUES<br />
comme un quatrième état de la matière, ils exhibent des phénomènes propres tels que ségrégation,<br />
“arching”, etc..., dans les industries agro-alimentaires ou pharmaceutiques<br />
- Moyennage et lissage sur les variétés Riemanniennes : les applications visées touchent le<br />
domaine de l’imagerie médicale par résonnance magnétique.<br />
4.4 Contrôle des EDP<br />
Les objectifs de l’équipe Contrôle concernent :<br />
- la commande optimale et la stabilisation des écoulements en domaines bornés (Saint-Venant<br />
1D, Burgers, etc ....)<br />
- le développement d’outils numériques pour les problèmes de contrôle<br />
- le contrôle et la stabilisation des équations de Schrödinger en domaine borné<br />
- le contrôle et la stabilisation en domaine extérieurs (cas des équations de Laplace et de<br />
Stokes, équation des ondes)<br />
- la stabilisation et le contrôle de l’équation de Schrödinger non linéaire.<br />
- la stabilisation de l’équation des ondes semi-lineaire dans l’espace libre.<br />
4.5 Environnement<br />
L’ équipe Environnement s’intéresse plus particulièrement aux applications suivantes :<br />
- Etude d’un écoulement diphasique eau-bulles d’air résultant du traitement par aération<br />
mécanique du problème de l’eutrophisation qui touche les retenues naturelles et artificielles<br />
d’eau.<br />
- Modélisation des échanges entre les écoulement surfaciques dûs aux pluies et les écoulements<br />
souterrains avec prise en compte de la propagations de polluants dans les nappes<br />
phréatiques.<br />
- Modélisation mathématique de l’érosion côtière.<br />
- Modélisation de l’écoulement du sang dans les vaisseaux sanguins en utilisant une<br />
représentation cinétique.<br />
- Ecoulements en Magnétohydrodynamique qui est l’étude de l’intéraction entre l’écoulement<br />
des fluides électriquement chargés et l’application d’un champ magnétique.<br />
- Etude des erreurs a posteriori pour pouvoir raffiner et déraffiner les maillages.<br />
- Modélisation des semiconducteurs capteurs de gaz.<br />
4.6 Procédés<br />
Au-delà des actions spécifiques de recherche menées, les objectifs visés restent :<br />
– le développement d’un réel savoir-faire dans la modélisation thermodynamique des systèmes<br />
complexes et dans la caractérisation numérique des états d’équilibres physico-chimiques ;<br />
– l’expérimentation à petite échelle sur de nouveaux systèmes et de nouveaux procédés<br />
industriels de traitement de la matière ;<br />
– la simulation et l’optimisation numériques des procédés ;<br />
– la recherche permanente d’applications nouvelles concrètes dans les domaines de l’Eau et<br />
de l’Energie, qui sont d’un enjeu crucial dans la problématique du développement durable.
Chapitre 5<br />
Méthodologie adoptée<br />
5.1 Problèmes Inverses<br />
Deux nouveaux outils ont été exploités en vue de mener à bien les applications visées :<br />
L’optimisation topologique et de level sets :<br />
Ces deux outils ont connu ces dernières années un essor sans précédent au point que plusieurs<br />
congrès et workshops leurs sont entièrement dédiés. Ces outils sont par ailleurs communs aux<br />
équipes PI et IMOGE et ont sous-tendu une application ENV (Il s’agit de l ’outil d’optimisation<br />
topologique).<br />
Rappelons que l’optimisation topologique est une nouvelle approche pour les problèmes<br />
d’optimisation de forme pour lesquels on ne peut pas imposer a priori des restrictions, explicites<br />
ou implicites, sur la topologie de la forme (par exemple nombre de trous). Du point de vue<br />
numérique, les algorithmes d’optimisation topologique tentent de capturer une forme optimale<br />
sur un maillage figé du domaine d’optimisation. Ils ont l’avantage sur les algorithmes classiques<br />
d’optimisation qui suivent exactement la frontière de la forme optimale.<br />
L’idée de base des méthodes de ”level set” est de considérer l’interface (courbe en 2D ou<br />
surface en 3D), comme, à tout instant, le niveau zéro d’une fonction définie sur une partie de<br />
l’espace ambiant. Les caractéristiques géométriques de l’interface telle que la normale, la courbure<br />
moyenne, etc. sont alors fonctions des dérivées spatiales de cette fonction. L’équation d’évolution<br />
de la fonction level set est obtenue par extension de la loi d’évolution de l’interface. Cette équation<br />
est généralement écrite sous forme d’une équation de Hamilton-Jacobi (il existe des méthodes<br />
numériques robustes pour la résolution de ces équations). Le point fort des méthodes level set<br />
est qu’elles permettent de suivre l’interface avant, pendant et après les éventuels changements<br />
topologiques.<br />
Pour un problème inverse géométrique, la régularisation géométrique revient à la pénalisation<br />
de la fonction coût par un terme dépendant du périmètre. La méthode ”level set” est initialement<br />
introduite dans le cadre général de détermination d’interfaces en évolution utilisant des<br />
représentations implicites. On représente la géométrie, inconnue du problème inverse considéré<br />
implicitement, comme la surface de niveau zéro d’une fonction continue, l’évolution de cette surface<br />
est modélisée (comme noté plus haut) par l’équation de Hamilton Jacobi. Afin de déterminer<br />
la géométrie inconnue, on est donc amené à déterminer les paramètres de l’équation d’évolution.<br />
Complétion de données :<br />
Cette activité mobilisent tous les chercheur séniors de l’équipe PI.<br />
Les algorithmes les plus performants de détection de défauts nécessitant le plus souvent des<br />
jeux de mesures complètes (c’ad sur toute la frontière), une phase de complétion desdites mesures<br />
peut constituer un préalable indispensable à leur mise en oeuvre. Les applications visées par cette<br />
31
32 CHAPITRE 5.<br />
MÉTHODOLOGIE ADOPTÉE<br />
thématique concernent aussi bien les algorithmes nécessitant l’acquisition de données complètes<br />
que l’identification de fissures (courbes) par la reconstruction d’une condition aux limites sur<br />
la variété porteuse du défaut ainsi que l’identification des coefficients d’échange (Condition<br />
d’impédence).<br />
Plusieurs approches sont exploitées :<br />
-Complétion de mesures, avec une régularisation évanescente (dite de Tikhonov itérée)<br />
-Cas d’une frontière plane : On ramène, dans ce cas, le problème de complétion de données<br />
au problème de reconstruction d’une fonction à partir de ses moments.<br />
-Approximation harmonique et méromorphe : Dans les situations bidimensionnelles, on ramène<br />
le problème de la complétion de données à l’approximation analytique ou méromorphe d’une fonction<br />
construite à partir des mesures disponibles sur la frontière et qui coïncide avec la somme<br />
d’une intégrale de Cauchy sur le lieu singulier (fissure, sources, impureté) et d’une fonction analytique<br />
dans tout le domaine. L’analyse complexe, avec ses outils d’approximation analytique et<br />
méromorphe dans les espaces de Hardy, fournit un cadre approprié pour mettre au point ces outils<br />
effectifs et robustes de complétion par approximation. La première est utilisée pour compléter des<br />
données harmoniques à l’intérieur, la stabilisation du processus étant assurée par la résolution de<br />
problèmes extrémaux bornés La stabilisation est obtenue en imposant une borne sur les données à<br />
reconstruire, mais celle-ci devient à son tour une inconnue du problème. Ces techniques ont l’avantage<br />
de posséder une efficacité numérique importante et une certaine robustesse, d’une part. De<br />
plus, elles s’étendent au cas de données incomplètes (disponibles sur une partie seulement de la<br />
frontière) dans lequel elles fournissent une méthode d’initialisation d’algorithmes traditionnels<br />
(par résolutions itératives du problème direct associé) qui nécessitent des données complètes (le<br />
cas d’une fissure à reconstruire depuis des données partielles surdéterminées a déjà été abordé mais<br />
aussi la possibilité de détecter/localiser directement les défauts depuis des données en étudiant<br />
le comportement des pôles des approximants obtenus. Ces travaux sont en collaboration avec les<br />
membres du projet APICS (qui remplace le projet MIAOU à l’INRIA Sophia-Antipolis).<br />
- L’erreur à la loi de comportement : Il s’agit de minimiser la fonctionnelle écart à la loi de<br />
comportement pour compléter les données manquantes.<br />
-Algorithmes de directions alternées : Une alternative consiste à utiliser un algorithme itératif<br />
de complétion de données introduit il y a une dizaine d’années par Kozlov. Cette technique permet<br />
de retrouver les données sur la partie du bord inaccessible sans recourir à la régularisation.<br />
L’originalité de ce travail a été d’établir une connexion entre la résolution du problème de<br />
complétion de données et les techniques de décomposition de domaines.<br />
5.2 Propagation d’Ondes<br />
L’outil essentiel qui a permis l’étude de propagation d’ondes dans les silencieux d’échappements<br />
est la technique d’homogénéisation. Les démonstrations de convergence des algorithmes de<br />
décomposition de domaines utilisent essentiellement des techniques variationnelles, et constituent<br />
une adaptation de la technique de Schwarz. Pour l’équation de Helmholtz où l’on ne dispose plus<br />
de résultats généraux de convergence, on se base sur des études analytiques dans des cas simples.<br />
L’étude théorique et numérique de la méthode du retournement temporel se base essentiellement<br />
sur la méthode dite de diagonalisation de l’opérateur de retournement temporel et nécessite donc<br />
la connaissance des propriétés des opérateurs auto-adjoints. Enfin, en ce qui concerne l’étude<br />
de formulations mixtes et hybrides en magnétostatique 3D dans un domaine non borné, l’outil<br />
essentiel est la formulation du problème à l’aide d’intégrales de frontière. La discrétisation est<br />
effectuée ‘̷l’aide d’éléments de Whitney.
Images, Modélisation et Géométrie 33<br />
5.3 Images, Modélisation et Géométrie<br />
L’asymptotique topologique est adoptée pour traiter certains problèmes de traitement<br />
d’images, à savoir le débruitage et la restauration d’images ainsi que la segmentation et la<br />
détection de contours. Les méthodes ‘level set’ sont également utilisées pour la détection des<br />
contours dans des images médicales.<br />
La méthode des éléments distincts est utilisée pour la simulation numérique de l’écoulement,<br />
le mélange et la ségrégation des matériaux granulaires. C’est une approche déterministe qui<br />
permet de suivre l’évolution des grains grâce à des lois classiques de la mécanique Newtonienne.<br />
La méthode des éléments discrets repose sur trois éléments : un algorithme de détection de<br />
contact, un modèle de contact entre les grains et un algorithme d’intégration des équations de<br />
mouvement des grains. C’est dans la détection de contact qu’une grande partie du temps de calcul<br />
est consomée.<br />
La théorie classique des tiges élastiques de Cosserat est modifiée afin de tenir compte des<br />
déformations globales et d’éviter l’auto-pénétration dans les tiges. Dans la formulation variationnelle<br />
de la théorie des tiges élastiques de Cosserat avec trois vecteurs directeurs orthonormés on<br />
ajoute un terme non local qui tient compte de l’impossibilité de pénétration d’une partie de la<br />
tige avec une autre. Dans la mise en œuvre numérique on utilise une approche géométrique pour<br />
la mise à jour des matrices de rotation représentant le trièdre orthonormé des vecteurs directeurs.<br />
Une théorie des tiges élastiques à double brains a été développée et son application à la<br />
modélisation de la molécule d’ADN sera envisagée. Pour le développement de cette théorie de<br />
tiges on a utilisé une approche géométrique basée sur les groupes de Lie et les équations d’Euler-<br />
Poincaré pour dériver les équations de mouvement et lois constitutives sans avoir recour à des<br />
approximations souvent injustifiables.<br />
La géométrie différentielle et la méthode de moindres carrés ont été combinées pour le<br />
débruitage et lissage des données contraintes à être dans une variété Riemannienne tels que<br />
le groupe des matrices de rotation et le cône des matrices symétriques définies positives. On<br />
a utilisé la métrique Riemannienne pour définir une moyenne géodésique sur la variété. Cette<br />
moyenne vérifie plusieurs propriétés que la moyenne géométrique des nombres réels positifs vérifie,<br />
et elle est donc appelée moyenne géométrique. Vue que la multiplication des matrices n’est pas<br />
commutative, la moyenne géométrique des matrices ne peut être donnée explicitement que dans<br />
certains cas spéciaux. Alternativement, on a développé un algorithme basé sur un point fixe d’une<br />
application pour la résolution numérique de la moyenne géométrique. La méthode des moindres<br />
carrés généralisée est explorée pour la détermination de géoïdes.<br />
5.4 Contrôle des EDP<br />
L’équipe s’intéresse aux problèmes de contrôle régis par des équations aux dérivées partielles.<br />
Ces problèmes suscitent, depuis quelques années, un intérêt croissant chez les mathématiciens,<br />
automaticiens et numériciens. Cet intérêt se reflète par un grand nombre de contributions qui<br />
s’étendent des aspects théoriques (existence de solutions, conditions d’optimalité, stabilisation,<br />
etc ...) jusqu’aux aspects numériques (recherche de méthode numériques efficaces, convergence<br />
des algorithmes).<br />
• Le premier volet auquel s’intéresse l’équipe porte sur les problèmes de contrôle frontière<br />
gouvernés par des équations aux dérivées partielles, où la variable contrôle est une donnée de<br />
Dirichlet. L’une des difficultés courantes, lorsqu’on est confronté à ces problèmes, est la prise<br />
en compte efficace de la condition de Dirichlet, lorsqu’elle est peu régulière (et c’est le cas pour<br />
les problèmes que nous traitons) dans un code de calcul. La transformer en une condition de<br />
Robin par l’introduction d’un terme de pénalisation est un recours élégant pour surmonter les
34 CHAPITRE 5.<br />
MÉTHODOLOGIE ADOPTÉE<br />
difficultés numérique et mathématique, en particulier pour des données au bord peu régulières. La<br />
question essentielle qui se pose alors est de savoir comment la pénalisation affecte la précision de la<br />
solution approchée. Nous avons mené des études sur le procédé de pénalisation appliqué à quelques<br />
problèmes de contrôle régis par différents types d’équations aux dérivees partielles : Laplace,<br />
chaleur linéaire et semi-linéaire, convection-diffusion, et Burgers 2D (en cours). La méthode de<br />
pénalisation (introduite par Babuška en 1970) consiste à remplacer la condition de Dirichlet<br />
(commande) par une condition de Robin linéaire dépendant d’un paramètre censé tendre vers<br />
zéro. L’objet est donc de prouver la convergence de la solution optimale pénalisée vers la solution<br />
optimale non pénalisée, lorsque le paramètre de pénalisation tend vers zéro, et d’obtenir les<br />
conditions d’optimalité du problème de contrôle avec une condition de Dirichlet comme limite des<br />
conditions d’optimalité du problème de contrôle pénalisé. Le traitement numérique des problèmes<br />
de contrôle étudiés nécessite une évaluation fine de la vitesse de convergence de la solution de<br />
l’équation d’état pénalisée vers la solution exacte (obtenue avec des conditions de Dirichlet). Cette<br />
estimation repose de manière essentielle sur les propriétés de l’opérateur de Dirichlet-Neumann<br />
(appelé aussi opérateur de Steklov-Poincaré) associé aux équations d’états étudiées.<br />
• Le deuxième volet auquel on s’intéresse, concerne d’autres applications des problèmes de<br />
contrôle. Il s’agit des problèmes de contrôle d’écoulements qui constituent un axe de recherche<br />
en plein essor, représentant un enjeu majeur dans les sciences de l’ingénieur, comme en témoigne<br />
l’abondance de la littérature dévolue à cette thématique. Ses domaines d’application vont de<br />
l’aérodynamique à la gestion de canaux d’irrigation. L’objectif de l’équipe est de développer un<br />
savoir-faire sur le calcul de lois de feedback pour le contrôle d’écoulements. Ce travail est au<br />
cœur de la collaboration que nous avons développée avec Faker Ben Belgacem et Jean-Pierre<br />
Raymond . Différents modèles sont visés. Le premier concerne le contrôle des équations de Saint-<br />
Venant en une dimension, modélisant les écoulements en eau peu profonde, avec prise en compte<br />
de lois de frottement et de viscosité. Ce travail fait l’objet de la thèse (en co-tuelle) de Hassen<br />
Arfaoui. Les premières études ont porté sur le contrôle en boucles ouverte et fermée des équations<br />
de Saint-Venant. Plusieurs méthodes numériques ont été testées. Celle que nous avons retenue<br />
repose essentiellement sur le schéma de Preissmann pour l’approximation de la partie purement<br />
hyperbolique du modèle, et sur une technique de splitting permettant une résolution séparée des<br />
deux phénomèmes de propagation et de diffusion, avec certes un terme de couplage.<br />
Dans le but de progresser vers le contrôle actif de systèmes plus complexes (Navier-Stokes<br />
incompressible), une étude a été entreprise dans le cadre de la thèse (en co-tutelle) de Hajer<br />
Metoui. Elle concerne le contrôle optimal, la nulle-contrôlabilité et la stabilisation d’un modèle<br />
de type Burgers bidimensionnel, intégrant la difficulté des modèles de convection non linéaires,<br />
sans présenter la lourdeur numérique du système de Navier-Stokes. L’étude est poursuivie par le<br />
calcul de lois de feedback robustes. Enfin, nous nous intéressons à développer des outils numériques<br />
afin de stabiliser des écoulements extérieurs régis par des équation aux dérivées partielles posées<br />
sur un domaine non borné (thèse en co-tutelle de Miled El Hajji). L’une des difficultés majeures<br />
consiste à prendre en compte les conditions à l’infini par des conditions de sortie convenables<br />
(aussi précises que possible). L’approche qui est adoptée est de type couplage éléments finis et<br />
représentation intégrale et elle permet d’effectuer des calculs sur des domaines bornés.<br />
• Le troisième volet auquel s’intéresse l’équipe concerne la contrôlabilité et la stabilisation de<br />
certaines équations non linéaires. Un grand nombre de problèmes retiennent alors l’attention :<br />
stabilisation des solutions, problème d’unicité et de prolongement unique ... De plus, un grand<br />
intérêt est porté aujourd’hui sur les versions non linéaires de ces systèmes. Sur ce plan, l’équation<br />
de Schrödinger a été la moins étudiée de toutes, faisant l’objet d’une littérature assez peu fournie<br />
(nous citerons principalement l’article pionnier de G. Lebeau de 1992 ). Dans le même temps, celle<br />
consacrée aux équations des ondes et de la chaleur, dans leurs versions linéaires et non linéaires, a<br />
été particulièrement dense. Cela est du essentiellement à la géométrie spécifique de cette équation,
Environnement 35<br />
notamment la fameuse propagation à vitesse infinie. Or, ce phénomène commence, à présent, à<br />
être assez bien compris, grâce, notamment aux mesures de défaut microlocales et mesures semi<br />
classiques. Ces mêmes mesures associées à des estimations de dispersion bien adaptées (inégalités<br />
de Strichartz) permettent l’étude de l’équation de Schrödinger semi linéaire dans l’espace libre et,<br />
depuis peu, sur les variétés compactes sans bord. Enfin, on a investi depuis quelques années dans<br />
l’étude du comportement de l’énergie locale des solutions de l’équation des ondes sur des domaines<br />
extérieurs c’est à dire en dehors d’obstacles compacts, avec, à la clé, des résultats linéaires et semilinéaires<br />
et des théorèmes de complétude asymptotique. Cette expérience a permis à l’équipe<br />
d’aborder l’étude de l’énergie locale pour l’équation de Schördinger.<br />
• Dans le cadre d’une nouvelle collaboration entre l’équipe contrôle (H. El Fekih) et le groupe<br />
Maxplus de l’INRIA ( S. Gaubert et M. Akian), une thèse en co-tutelle entres les deux équipes<br />
a démarré à la rentrée 2003 et porte sur la résolution numérique des problèmes de contrôle<br />
optimal déterministe et algèbre max-plus. Ce sujet a été proposé à A. Lakhoua (ingénieur Génie<br />
Industriel de l’ENIT). Cette thématique porte sur l’étude d’un problème de contrôle optimal<br />
déterministe (à temps et espaces continus) qui conduit à la résolution d’une équation aux dérivées<br />
partielles du premier ordre, dite équation de Hamilton-Jacobi (HJ), vérifiée par la fonction<br />
valeur v. La méthode classique pour obtenir une discrétisation stable de cette équation est soit<br />
d’ajouter de la viscosité artificielle, soit d’utiliser des schémas aux différences finies décentrés<br />
(schémas à la Kushner). Dans les deux cas, l’équation discrète s’interprète comme l’équation<br />
de la programmation dynamique d’un problème de contrôle optimal stochastique et non pas<br />
déterministe.<br />
On peut alors se poser la question de trouver de nouvelles méthodes de discrétisations<br />
“déterministes”, i.e. pour lesquelles l’équation discrète s’interprète comme l’équation de la<br />
programmation dynamique d’un problème de contrôle optimal déterministe. Par ailleurs, les<br />
équations de (HJ) sont des équations linéaires à condition de travailler dans le semi-anneau<br />
max-plus (structure dans laquelle a ⊕ b = max(a, b) et a ⊗ b = a + b). Plusieurs travaux et<br />
algorithmes ont été développés récemment dans cet esprit, citons notamment les travaux du<br />
groupe Maxplus de l’INRIA (Rocquencourt) sur les processus de Bellman qui fournissent par<br />
exemple des conditions de convergence des solutions approchées d’équations de (HJ), pour des<br />
hamiltoniens quadratiques, les travaux de Flemming et McEneaney sur un analogue max-plus<br />
des éléments finis, et enfin les algorithmes de graphes de type itérations sur les politiques pour la<br />
résolution d’équations linéaires max-plus discrètes.<br />
Le but de la thèse d’A. Lakhoua est de développer, d’étudier, de mettre en œuvre et<br />
d’expérimenter de nouvelles méthodes de résolution numérique des équations de (HJ) à base<br />
d’algèbre max-plus. Elle cherchechera en particulier à obtenir des discrétisations “déterministes”,<br />
ou de façon équivalente max-plus linéaires. On espère ainsi, d’une part obtenir des approximations<br />
plus précises (et aussi moins régularisées), d’autre part permettre une résolution plus rapide par<br />
l’utilisation d’algorithmes de graphes.<br />
5.5 Environnement<br />
En vue des différentes applications auxquelles nous nous intéressons, plusieurs méthodes<br />
numériques ont été exploitées en fonction du problème physique auquel nous sommes confrontés.<br />
Modélisation d’écoulement<br />
• Ecoulement diphasique<br />
- Nous nous intéressons à la modélisation et la simulation d’un écoulement diphasique, qui<br />
provient de la technique de ralentissement d’eutrophisation des lacs ou des retenues d’eau.<br />
Cette technique consiste à injecter des bulles sous pression à partir du fond du lac et de
36 CHAPITRE 5.<br />
MÉTHODOLOGIE ADOPTÉE<br />
créer ainsi une dynamique et pousser l’eau vers le haut afin qu’elle soit aérée par contact<br />
des couches superficielles riches en oxygène. Trois modèles ont été étudiés au sein de notre<br />
laboratoire pour le calcul direct. Les deux premiers consistent à résoudre un problème<br />
monophasique dans lequel les effets des injecteurs de bulles sont pris en compte comme<br />
condition aux limites et par le biais de terme source. Le dernier modèle couple un modèle<br />
macroscopique pour l’eau avec un modèle microscopique pour les bulles.<br />
- La seconde étape consiste à optimiser l’emplacement des injecteurs pour avoir la meilleure<br />
aération possible. L’optimisation de l’emplacement des injecteurs revient à résoudre un<br />
problème d’optimisation topologique. L’outil de base est la méthode de sensibilité topologique.<br />
Elle consiste à étudier la variation d’une fonction de forme par rapport à une petite<br />
perturbation de la topologie du domaine, comme la création d’un trou ou l’insertion d’un<br />
obstacle. Elle permet aussi de calculer la sensibilité topologique d’une fonction coût par<br />
rapport à la présence d’une petite inhomogénéité dans le domaine.<br />
• Couplage entre écoulement surfacique et écoulement souterrain<br />
La modélisation des échanges qui se produisent entre les écoulements surfaciques et les<br />
écoulement souterrains posent beaucoup de problèmes numériques à cause de la différence<br />
d’échelles de temps entre les deux phénomènes. Notre première approche a été de commencer<br />
par étudier la propagation de contaminants dans les milieux poreux. Puis nous nous sommes<br />
intéressés à l’étude des écoulements de surfaces dûs aux pluies avec l’infiltration dans les<br />
milieux poreux en tenant compte des polluants qui vont s’infiltrer en même temps.<br />
• Erosion côtière<br />
Le repli de la côte est dû essentiellement à l ’effet de la houle. Le modèle retenu consiste<br />
à se limiter à un domaine borné dans lequel l’effet de la houle sera pris en compte comme<br />
condition aux limites. Les courants marins sont modélisés par les équations de Navier Stokes<br />
3D avec en plus une équation de transport pour les sédiments. Vue la faible profondeur du<br />
système, nous avons pu moyenner les équations de Navier-Stockes suivant la hauteur et par<br />
rapport au temps en prenant comme intervalle une période de la houle. Nous avons obtenu<br />
alors les équations de Saint-venant.<br />
Ecoulement du sang dans les vaisseaux sanguins<br />
L’écoulement du sang dans les vaisseaux sanguins est modélisé comme un fluide non Newtonien.<br />
Malheureusement, cela ne tient pas compte des intéractions qui existent entre ses composantes<br />
microscopiques surtout au moment de la formation d’un caillot. Pour cela nous avons<br />
opté pour une modélisation plus fine qui nous permet de décomposer les constituants du sang et<br />
d’étudier l’influence de chacun d’eux sur la formation et la fragmentation d’un caillot.<br />
Ecoulement chargé<br />
Pour le premier domaine d’application qui est la croissance cristalline, on s’intéresse à<br />
la solidification dirigée où des instabilités de convection préjudiciables aux phénomènes de<br />
solidification peuvent apparaître au sein de la phase fluide et nécessitent donc d’être comprises<br />
et contrôlées. Du coté mathématique, le travail concerne les méthodes de simulation numérique<br />
avancées pour le calcul des solutions convectives, l’étude de leur stabilité, le calcul des points<br />
de bifurcation, tout cela en vue de l’obtention de diagrammes de bifurcation précis en situation<br />
convective tridimensionnelle complexe. Nos études sont réalisées à l’aide de méthodes numériques<br />
performantes qui ont été développées spécialement pour ces études. Ces méthodes devraient<br />
permettre de traiter de façon précise les équations de Navier-Stokes incompressibles couplées<br />
aux équations de température, de concentration et d’induction du champ magnétique et capables<br />
de bien cerner les problèmes de stabilité et de bifurcation. Nous avons choisi de développer des<br />
méthodes aux éléments spectraux qui allient la précision des méthodes spectrales à la souplesse
Procédés 37<br />
des éléments finis. Ces méthodes ont ensuite été adaptées en méthode de continuation pour le<br />
traitement efficace des problèmes de stabilité, permettant ainsi le suivi des branches de solutions<br />
stables et instables avec franchissement des points de bifurcation et des noeuds-cols ainsi que la<br />
détermination de ces points de bifurcation.<br />
Estimateur a posteriori<br />
Les estimateurs d’erreur a posteriori jouent un rôle important dans le processus d’adaptation<br />
de maillage, qui dépend essentiellement de la méthode d’approximation numérique considérée. Le<br />
calcul des indicateurs d’erreurs dans le cas de notre étude, est basé sur une approche résiduelle<br />
à la Verfűrth construite à partir d’une formulation variationnelle en espace-temps du schéma,<br />
au cours de laquelle on a cherché à estimer l’erreur numérique due seulement à la discrétisation<br />
spatiale associée à un maillage isotrope.<br />
Equations cinétiques<br />
Le semiconducteurs capteurs de gaz sont des semi-conducteurs sur lesquels ont été déposés<br />
une couche mince polycristalline et granulaire qui va permettre de capter un gaz en particulier et<br />
de mesurer sa concentration dans l’air. Cette couche est formée par une collection microscopique<br />
de grains séparés par une région très petite appelée joints de grains. En fonction de la composition<br />
électronique des joints du grains une barrière de potentiel apparaît et modifie la conductivité. En<br />
plus, une modification de cette conductivité peut être dûe à la concentration des gaz adsorbés dans<br />
les joints de grains. Vu que les dimension des joints de grains sont très petites, des phénomènes<br />
quantiques vont apparaître. Cela nous incite à modéliser le trasport dans les grains par une<br />
équation cinétique alors que les effets du joint de grains seront modélisés par un modéle quantique<br />
(équation de Schrödinger couplée avec l’equation de Poisson).<br />
Systèmes dynamiques<br />
Dans le cadre halieutique, la plupart des populations marines de poissons présentent des<br />
caractéristiques spatiales et saisonnières liées à leur cycle de vie annuel. Par exemple les jeunes<br />
poissons mérous migrent des zones de leurs naissance vers d’autre zones, à la recherche d’abri.<br />
Malgré l’importance de l’aspect spatial chez le mérou, la plupart des modèles actuels de gestion<br />
ignorent la migration. Il semble cependant que la résolution du problème de surexploitation<br />
pourrait être améliorée par l’adjonction de mesures de gestion plus fines, qui viseraient à rediriger<br />
l’effort de pêche en tenant compte de la migration. L’objectif des travaux de recherches de Slimène<br />
Ben Miled et Amira Kebir est de modéliser la dynamique d’une population de mérous dans un<br />
territoire de pêche d’une côte marine, en tenant compte à la fois de la croissance naturelle, de la<br />
prédation et des migrations, et d’étudier l’impact du braconnage sur la population de mérous.<br />
5.6 Procédés<br />
Modélisation thermodynamique de systèmes électrolytes complexes à l’équilibre<br />
Ce thème constitue un axe majeur qui a permis de développer un réel savoir-faire de l’quipe.<br />
L’approche adoptée consiste à élaborer des modèles thermodynamiques à même de représenter<br />
les écarts à l’idéalité dans les systèmes électrolytes complexes et à les valider sur un jeu de<br />
données empiriques au moyen d’un ajustement de paramètres par la méthode de maximum de<br />
vraisemblance. Cette démarche a été testée sur des systèmes acides comme l’acide sulfurique,<br />
l’acide phosphorique, etc...<br />
Simulation numérique des procédés industriels de transformation de la matière<br />
Ce thème consiste en l’élaboration de modèles mathématiques pour des opérations unitaires<br />
intervenant dans des procédés complexes de transformation de la matière, d’une part, et au<br />
développement de méthodes numériques appropriées à même de permettre la simulation de ces<br />
procédés.
38 CHAPITRE 5.<br />
MÉTHODOLOGIE ADOPTÉE<br />
Expérimentation à petite échelle<br />
Il s’agit de développer des protocoles expérimentaux pouvant mener à des données d’équilibre<br />
physico-chimique sur des systèmes d’électrolytes. Ces données peuvent être intégrées dans<br />
l’élaboration de modèles thermodynamiques afin d’en déterminer la validité. Par ailleurs, on<br />
s’intéresse également au développement de prototypes à l’échelle du laboratoire pour étudier la<br />
performance et les caractéristiques de fonctionnement de certains procédés comme la nanofiltration<br />
par exemple.
Chapitre 6<br />
Résultats obtenus<br />
6.1 Problèmes Inverses<br />
L’outil de l’Analyse complexe et approximation dans les espaces de Hardy a concerné<br />
plusieurs chercheurs de l’équipe PI et constitue l’axe de collaboration prévilégié avec le projet<br />
APICS de l’INRIA.<br />
Résultats d’identifiablité et de stabilité<br />
– Un résultat de stabilité de type logarithmique est établi dans le problème d’identification<br />
de frontière à partir de données surdéterminées sur le bord. Ce travail est une collaboration<br />
de S. Chaabane, I. Fellah, M. Jaoua avec J. Leblond et fait l’objet d’un article publié et<br />
d’un deuxième, visant un résultat de stabilité globale en cours de préparation.<br />
– L’outil d’approximation harmonique dans une couronne a été exploité en vue d’établir<br />
un des résultats de stabilité de type logarithmique pour l’identification d’un coefficient<br />
d’échange. Ce travail est une collaboration de M. Mahjoub avec J. leblond et J. Partington<br />
de l’Université de Leeds.<br />
Résultats d’identification<br />
– Le problème d’identification de points sources (centre d’épilepsie) ou de petites inhomogénéités<br />
(détection de mines antipersonnelles) a été mis en oeuvre numériquement via<br />
les outils d’approximation méromorphe. Ce travail est une collaboration entre A. Ben Abda<br />
et F. Ben Hassen avec L. Baratchart et J. Leblond et fait l’objet d’un article publié.<br />
– Le problème d’identification de points sources ( centre d’epilepsie) ou de petites inhomogénéités<br />
(detection de mines antipersonnelles) a été mis en oeuvre numériquement via<br />
les outils d’approximation méromorphe. Ce travail est une collaboration<br />
A. Ben Abda et F. Ben Hassen avec L. Baratchart et J. Leblond et fait l’objet d’un article<br />
publié. Complétion de données.<br />
– La complétion de données dans une couronne a été mise ne oeuvre numériquement et<br />
appliquée à l’identification de fissures d’interface (pour des interface courbes, les fissures<br />
étant soumises à des conditions aux limites de type Robin ou Signorini) et à l’identification<br />
de coefficients de Robin. Identification de fissures dans des tubes, ces fissures étant initiées<br />
dans la surface interne du tube, ce cas est particulièrement intéressant dans la pratique et<br />
présente une extension théorique originale : les résultats existant dans la littérature exigent<br />
la simple connexité du domaine. Ce travail est une collaboration de M. Jaoua et M. Mahjoub<br />
avec J. leblond et J. Partington de l’Université de Leeds.<br />
– L’identification de cavités fait l’objet de la thèse de F. Menif, co-dirigée par M. Jaoua et T.<br />
Ha Duong (UTC, Compiègne). Ce travail est en cours de rédaction.<br />
39
40 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
L’outil d’Optimisation topologique est l’axe de collaboration prévilégié avec l’équipe<br />
Optimisation du Laboratoire MIP de Toulouse.<br />
– L’adaptation de l’outil d’optimisation topologique dans le cas d’un problème de Laplacien<br />
avec l’insertion d’une micro-fissure a été concrétisée. Des tests numériques ont été réalisés<br />
avec des données incomplètes sur les bord. Le critère à minimiser est la fonction coût qui<br />
mesure l’écart entre un problème mêlé Dirichlet-Neumann et un problème de Neumann. Les<br />
résultats obtenus montrent que les fissures sont localisées au bout de la première itération .<br />
Cette étude a été menée par I. Horchani en collaboration avec S. Amstutz et M. Masmoudi.<br />
Elle a fait l’objet d’un article accepté pour publication.<br />
0.5<br />
0<br />
−0.5<br />
−1 −0.5 0 0.5 1<br />
Fig. 6.1 –<br />
– L’exploitation de cet outil pour l’identification de points sources dans un problème de Stokes<br />
fait l’objet d’un article en cours de finalisation. C’est un travail de A. Ben Abda, M. Jaoua<br />
et H. Maatoug.<br />
La minimisation des Fonctionnelles d’écart énérgitiques constitue une méthode de<br />
moindres carrés auto-régularisante. Elle est exploitée pour :<br />
– L’identification de coefficients de Robin peu oscillants. Ce travail fait l’objet d’un article<br />
paru. C’est un travail de S. Chaabane, C. El Hechmi et M. Jaoua.<br />
– Plus récemment, S. Chaabane, C. Elhechmi et M. Jaoua, se sont attaché à prouver des<br />
résultats de stabilité et de robustesse qui ont toujours été constatés sur le plan numérique<br />
pour l’algorithme de Kohn et Vogelius (i.e. minimisation de la fonctionnelle écart à la loi<br />
de comportement). Dans le prolongement de ce travail, ils mettent au point un algorithme,<br />
inspiré de méthodes développées pour le traitement d’images et jetant ainsi un pont avec<br />
l’équipe IMOGE, permettant de retrouver la ‘texture’ (c’est à dire les variations rapides)<br />
du coefficient de Robin, qui peut renseigner sur la localisation et les niveaux de la corrosion.<br />
– Cette fonctionnelle moindre carrés énergitique est également exploitée dans le cadre de la<br />
complétion de données. Les résultats numériques pour des problèmes concrets tel que le<br />
problème de la stratification thermique sont fort probants. Ce travail est une collaboration<br />
de A. Ben Abda avec T. Nouri-Baranger (UBCL-Lyon) et S. Andrieux ( LaMSID-EDF-<br />
Clamart). Il fait l’objet d’une note CRAS parue et d’un papier en cours de finalisation.<br />
La méthode d’écart à la loi réciprocité est une méthode ”maison” pour laquelle l’équipe<br />
problème inverse est connue. Elle a été :<br />
– associée aux fonctions de Green, est utilisée pour de l’identification de fissures courbes. Les<br />
fissures courbes sont approximées par des petites fissures droites (cracklets). Ce travail est<br />
une collaboration de J. Ben Abdallah, M. Jaoua avec C. Alves de l’IST-Lisbonne et fait<br />
l’objet d’un article paru.<br />
– exploitée pour l’identification de fissures quasi-planes dans le cas où le phénomène physique<br />
sous-jascent est régis par l’équation de Helmoltz. Ce travail fait l’objet d’un papier en cours
Problèmes Inverses 41<br />
1<br />
0.8<br />
0.6<br />
0.4<br />
0.2<br />
Exact<br />
Anti dumping<br />
F+R<br />
0<br />
0 0.5 1 1.5<br />
Fig. 6.2 –<br />
12<br />
10<br />
8<br />
U e<br />
U 2<br />
100<br />
80<br />
60<br />
∇ U e<br />
.n<br />
∇ U 2<br />
.n<br />
∇ U 1<br />
.n<br />
6<br />
4<br />
U 1<br />
Fig. 6.3 –<br />
40<br />
2<br />
20<br />
0<br />
−2<br />
0 1 2 3 4<br />
0<br />
−20<br />
0 1 2 3 4<br />
de révision. C’est une collaboration de A. Ben Abda avec F. Delbary et H. Haddar du projet<br />
Ondes de l’INRIA.<br />
– exploitée pour établir un résultat de stabilité locale dans le problème d’identification de<br />
sources d’epilepsie. Ce travail est élaboré apr A. Ben Abda, R. Mdimegh et A. Saada<br />
(équipe ENV).<br />
L’algorithme de directions alternées est une approche pour la résolution du problème<br />
de données manquantes et consiste à utiliser un algorithme itératif de complétion de données<br />
expérimenté récemment par Koslov, ..... Cette technique permet de retrouvrer les données sur la<br />
partie du bord inaccessible.<br />
– Une exploration numérique de cet algorithme, dans le contexte de la complétion de données,<br />
a été menée. Elle a été concrétisée par un article accepté pour publication. C’est une<br />
collaboration de A. Ben Abda et J. Ben Abdallah avec M. Azaiez (ENSCPB-Bordeaux).<br />
– L’originalité du projet a été d’établir une connexion entre la résolution de la complétion<br />
de données et les problèmes de décomposition de domaine.La formulation du problème<br />
de complétion en terme d’opérateur frontière, fait apparaître, l’opérateur de Dirichlet-<br />
Neumann, connu aussi, dans la communauté de décomposition de domaine, sous la<br />
dénomination de Steklov-Poincaré. Il s’agit donc de transférer le savoir faire important<br />
de cette dernière communauté dans le cadre de notre problème d’inversion. Les premiers
42 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
travaux sont consignés dans un papier soumis( A. Ben Abda et J. Ben Abdallah avec M.<br />
Azaiez (ENSCPB-Bordeaux)) et d’une note en cours de finalisation (J. Ben Abdallah).<br />
– Dans une collaboration avec le laboratoire MIP (F. Ben Belgacem), H. El Fekih a développé<br />
une analyse du problème de Cauchy de complétion de données modélisé par une EDP<br />
elliptique. Dans le cas où les données sur le bord accessible sont incompatibles (le problème<br />
n’admet donc pas de solution), il est demontré, à l’aide d’une approche variationnelle<br />
adéquate, que le minimum de la fonctionnelle de moindre carré est nul. La condensation du<br />
problème de Cauchy sur le bord incomplet à l’aide de l’opérateur de Dirichlet-Neumann,<br />
débouche sur un problème variationnel réduit symétrique. La fonctionnelle quadratique de<br />
minimisation qui en découle, et qui possède une expression simple (découplée), est etudiée<br />
et le lien avec la fonctionnelle de Kohn-Vogelius, dont l’expression est moins simple car<br />
couplée, est établi.<br />
– L’adaptation de l’algorithme de Neumann-Dirichlet au cadre de l’élasticité linéaire et<br />
son application à un certain nombre de contextes issus de la mécanique des solides :<br />
détermination d’un chargement dans une zone de contact, identification de conditions aux<br />
limites (linéaires et non linéaires) mal connues, identification de fissures, ... La mise en<br />
oeuvre numérique du problème ainsi que sa validation ont été menés à bien dans le cadre de<br />
l’élasticité plane. Ce travail est une collaboration de J. Ben Abdallah et M. Kadri avec T.<br />
Nouri-Baranger (UPBCL-Lyon). Ce travail a fait l’objet d’un article en cours de rédaction.<br />
0.8<br />
1.544<br />
1<br />
0<br />
−0.8<br />
0<br />
−1<br />
−2<br />
−3<br />
−1.6<br />
−2.4<br />
−3.2<br />
−4<br />
−4<br />
−5<br />
−4.8<br />
−6<br />
−6.668<br />
3<br />
2<br />
1<br />
0<br />
−1<br />
−2<br />
−3<br />
3<br />
2<br />
1<br />
0<br />
−3<br />
−2<br />
−1<br />
−5.6<br />
−6.4<br />
Fig. 6.4 –<br />
L’analyse du problème de détection de clusters d’inclusions a été introduite à l’occasion<br />
de la thèse de F. Ben Hassen co-dirigé par A. Ben Abda et E. Bonnetier. Cetta analyse a concerné :<br />
– Le développement d’algorithmes de détection de clusters d’inclusions à partir de mesures<br />
frontières qui pourront être utilisés pour le contrôle de la fabrication de certains matériaux<br />
composites. Les milieux composites visés sont formés de plusieurs phases homogènes dans<br />
le cas particulier où certaines des inclusions interagissent fortement, i.e., dans le cas où elles<br />
sont très proches ou lorsqu’elles se touchent.<br />
Pour des situations modèles (inclusions circulaires en 2D), F. Ben Hassen et E. Bonnetier<br />
ont déterminé rigoureusement un développement asymptotique du potentiel électrostatique<br />
dans le domaine. Ce travail a fait l’objet d’un article accépté pour publication.<br />
– Les problèmes de détection de défauts de périodicité dans un composite périodique (un<br />
cristal Photonique par exemple), lorsque la période est du même ordre ε que la taille du<br />
défaut, ont également été étudiés. Dans le même esprit que ci-dessus, un développement
+<br />
+<br />
+ + +<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
Problèmes Inverses 43<br />
asymptotique de la différence entre les potentiels dans le domaine ”sain” et dans celui avec<br />
défaut, loin de l’inhomogénéité a été ecrit. Ce travail fait l’objet d’un article soumis.<br />
Les méthode des points sources (PSM) et la méthode des sources singulières (SSM)<br />
font l’objet du sejour Postdoctorale de F. Ben Hassen à l’université de Göttingen en Allemagne.<br />
La méthode level sets a été introduite dans l’équipe PI à l’occasion des travaux d’habilitation<br />
(en cours) de H. Ben Ameur.<br />
– Une nouvelle technique pour la résolution numérique de problèmes inverses géometriqu est<br />
basée sur les méthodes “level set” et la régularisation géometrique. Une partie des résultats<br />
obtenus a fait l’objet d’un papier publié. C’est une collaboration de H. ben Ameur avec M.<br />
Burger (UCLA -USA)et B. Hackl (Université de Linz).<br />
– Le développement d’un code dédié à l’approximation d’une image noir et blanc. Ce code<br />
permettera de traiter des problèmes 1D, 2D ou 3D, où l’inconnue est une parametrisation<br />
dont les zones correspondent à une discontinuité de certains paramètres.<br />
Les premiers tests de segmentation d’images en utilisant les indicateurs de raffinement sont<br />
très prometeturs, il s’agit maintenant de combiner cette technique avec la méthode “Level<br />
Set” et la méthode “Total Variation” pour la segmentation des images.<br />
Ce travail est une collaboration de H. Ben Ameur avec F. Clément du proejt ESTIME de<br />
l’INRIA.<br />
– Dans le cadre du stage de de Mastère de K. Mezlini, la “méthode levet set”est exploitée<br />
pour la résolution d’un problème d’identification d’inclusions par des mesures thermiques”.<br />
Cette année universitaire voit également la concrétisation des thèses de :<br />
– F. Mnif qui porte sur l’identification de “scatterers” via l’équation de Helmholtz. Thèse<br />
co-dirigée par M. Jaoua et T. Ha Duong (Compiègne). Ce travail a donné lieu à un aritcle<br />
paru.<br />
4<br />
3<br />
2<br />
+<br />
+<br />
courbe exacte<br />
Cercle initial<br />
cercle exterieur<br />
cercle final<br />
courbe calculee<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
1<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
0<br />
+<br />
+<br />
+ +<br />
+<br />
+++<br />
+<br />
+<br />
+ + + + +++ + +<br />
+<br />
+<br />
+<br />
+<br />
−1<br />
+<br />
+<br />
+<br />
+<br />
+<br />
+<br />
−2<br />
−3<br />
−3 −2 −1 0 1 2 3 4 5<br />
Fig. 6.5 –<br />
– A. Hamdi qui porte sur l’identification des sources de pollution dans les eaux de surface.<br />
Thèse co-dirigée par M. Jaoua et A. EL Badiaa (Compiègne). Ce travail a donné lieu a un<br />
à un aritcle paru.
44 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
6.2 Propagation d’Ondes<br />
Propagation d’ondes dans un silencieux d’échappements<br />
Ce thème concerne le calcul de l’atténuation du bruit émis par un moteur de voiture par son<br />
pot d’échappement. On se place en régime harmonique et en absence d’écoulement.<br />
La difficulté du problème consiste en la compléxité de la géométrie du silencieux, composé de<br />
plaques et de tubes soudés formant des chicanes afin d’atténuer le bruit. Nous utilisons pour cela<br />
des techniques d’homogénéisation permettant de définir une condition de transmission en vue de<br />
prendre en compte la présence des tubes perforés de trous de très petites dimensions par rapport<br />
à celles du pot d’échappement.<br />
Le travail s’inscrit dans le prolongement de la thèse de Dorra Drissi coencadrée par Anne<br />
Sophie Bonnet-Bendhia. Le travail effectué par R. Ben Fatma a permis de généraliser les<br />
équations homogénisées établies en bidimensionnel et d’effectuer la mise en œuvre dans le cas<br />
tridimensionnel.<br />
Fig. 6.6 –<br />
Décomposition de domaine en milieux ouverts<br />
Une partie importante des activités du groupe s’intéresse à la résolution numérique de<br />
problèmes posés en domaine non borné. Nous nous intéressons essentiellement à l’étude de<br />
convergence de méthodes itératives appliquées à des problèmes de Laplace, de Helmholtz et<br />
de calcul de courants de Foucault. La nature non locale des conditions aux limites des méthodes<br />
étudiés, imposent le calcul et la gestion de matrices éléments finis pleines entièrement ou en partie.<br />
Les algorithmes itératifs que nous proposons sont d’une part moins coûteux en temps calcul et<br />
ne nécessitent que la connaissance de matrices creuses dont le stockage est économique. Tout le<br />
reste se ramène à des calculs de seconds membres par des méthodes d’intégration approchées, ce<br />
qui autorise l’utilisation de ces méthodes dans un environnement de codes de calcul industriels<br />
ou académiques où la prise en compte de problèmes en domaine non borné n’était pas prévue a<br />
priori. On utilise une interprétation en termes de méthodes de sous-domaines, afin d’établir des<br />
résultats de convergence dans le cas de géométries simples, pour l’équation de Helmholtz, ou pour<br />
des géométries quelconques pour l’équation de Laplace. En effet, les calculs analytiques ont permis<br />
d’expliquer le rôle de chaque type de mode dans la convergence, et de prévoir le type de conditions<br />
de transmission à choisir, pour une meilleure convergence. L’essentiel des résultats présentés ici est<br />
commun aux travaux de thèse de doctorat de Naouel Zrelli et de Faten Jelassi, coencadrées avec<br />
Faker Ben Belgacem. Certaines parties de ces travaux ont été menées en collaboration avec Michel<br />
Fournié et Rachid Touzani. La mise en œuvre a été réalisée à l’aide du code MELINA dévéloppé<br />
au sein de l’Université de Rennes et à l’école Nationale Supérieure de Techniques avancées.<br />
– Itérations de sous domaines et développement en série<br />
N.Zrelli a étudié une nouvelle mise en oeuvre de la méthode souvent désignée par éléments
Propagation d’Ondes 45<br />
finis localisés. Elle consiste, à tronquer le domaine extérieur, par une frontière fictive, sur<br />
laquelle est imposée une condition aux limites consistant à expliciter l’opérateur Dirichlet-to-<br />
Neuman. Cela est réalisable dès que cette frontière fictive est choisie à géométrie séparable.<br />
Le problème obtenu est alors discrétisé par éléments finis. L’inconvénient de cette méthode<br />
est l’apparition d’un bloc plein dans la matrice éléments finis. La méthode que nous<br />
proposons consiste à résoudre la formulation en domaine borné à l’aide d’une technique<br />
de point fixe. Cela permet de restaurer à chaque itération la structure creuse de la matrice<br />
à inverser. Nous montrons que cette technique s’interprête comme une méthode d’itérations<br />
de sous-domaines sans recouvrement. Notons que le choix d’une frontière séparable nous<br />
permet de faire l’économie de la résolution d’un problème en domaine extérieur à chaque<br />
itération. Cet avantage indéniable pourrait être nuancé, dans le cas de géométries allongées,<br />
par l’obligation de mailler des zones plus grandes. Nous donnons la démonstration de<br />
convergence de l’algorithme Fourier-Fourier. Nous effectuons une analyse de convergence<br />
dans un guide rectangulaire, ce qui permet de faire des calculs analytiques qui mettent<br />
en lumière le rôle des deux types d’ondes (propagatifs et évanescents). Nous mettons<br />
en évidence en particulier, que les modes évanescents ralentissent la convergence. Nous<br />
proposons également un algorithme alternatif permettant de pallier, dans une certaine<br />
mesure, les défauts de la première méthode. Cette seconde méthode repose sur les techniques<br />
d’itérations de sous domaines avec recouvrement, tout en considérant une géométrie<br />
séparable pour le sous-domaine extérieur. N. Zrelli a également utilisé une méthode intoduite<br />
par M.J Gander et Nataf qui consiste à utiliser des conditions aux limites du second ordre.<br />
– Méthode de Schwarz Alternée en domaine extérieur<br />
Des méthodes alternatives utilisant des formules de représentation intégrale, permettent<br />
de choisir la frontière fictive délimitant le domaine de calcul de forme quelconque. Cela<br />
l’autorise donc à être voisine de l’obstacle. C’est le principe de la méthode de couplage entre<br />
éléments finis et représentation intégrale, proposée par Jami et Lenoir. Cette formulation<br />
est résolue par la technique du point fixe de Cauchy, permettant d’expliciter le terme de<br />
couplage. Son analyse de convergence repose sur sa reformulation en termes de méthode de<br />
Schwarz modifiée. Nous montrons que dans le cas de l’équation de Laplace, les résultats de<br />
Pierre-Louis Lions peuvent être étendus au cas de problèmes en domaine non borné, pour<br />
établir une convergence géométrique de notre algorithme de Schwarz modifié. Nous étudions<br />
les problèmes de Laplace-Neumann et Laplace-Dirichlet dans le cas tridimentionnel, et<br />
nous indiquons les modifications liées à la formule de représentation intégrale qui doivent<br />
être apportées dans le cas bidimensionnel. Nous donnons également, quelques résultats de<br />
convergence dans le cas de l’équation de Helmholtz à l’aide de calculs analytiques, pour des<br />
géométries particulières. Ce travail constitue une partie de la thèse de F.Jelassi.<br />
– Courants de Foucault<br />
Nous proposons d’élargir le champ d’application de la méthode de Schwarz modifiée,<br />
décrite ci-dessus à d’autres domaines de la physique. Nous nous intéressons à un modèle<br />
d’électrotechnique, le modèle des courants de Foucault. L’étude théorique présente quelques<br />
difficultés supplémentaires liées au cadre fonctionnel. Il s’agit d’un modèle régi par une<br />
équation à coefficients variables à l’intérieur des conducteurs et constants dans le vide, qui<br />
rend possible l’emploi d’une représentation intégrale. La formulation couplée résultante est<br />
ensuite approchée par l’algorithme de Schwarz modifié. Nous montrons par ailleurs que dans<br />
le cas où l’on considère plusieurs conducteurs, ce qui est souvent les cas dans les problèmes<br />
d’électrotechnique, l’utilisation de la méthode de Schwarz modifiée avec un choix judicieux<br />
de la frontière fictive du domaine de calcul, permet de découpler le problème initial en<br />
autant de sous-problèmes que de conducteurs. Cela permet de l’implémenter de manière<br />
naturelle dans des calculateurs parallèles.
46 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
Etude théorique et numérique du phénomène de retournement temporel<br />
Le retournement temporel trouve de nombreuses applications dans le domaine médical, on<br />
citera par exemple la détection et le traitement sans chirurgie des calculs rénaux. Le principe<br />
général du retournement temporel repose sur le principe qu’un signal acoustique émis par une<br />
source placée dans un milieu propagatif est enregistré par un réseau de transducteurs (émetteursrécepteurs<br />
d’ondes acoustiques). Il est ensuite retourné selon la règle du premier arrivé-dernier<br />
reparti, puis réémis dans le même milieu. Lorsque l’onde initiale provient d’une excitation localisée<br />
dans une région de petite taille, on observera au voisinage de cette région un phènomène de<br />
refocalisation de l’onde réémise, qui se traduira en imagerie médicale par la présence d’une tache<br />
focale. Notre objectif est l’étude et la simulation numérique de ce phénomène. Le processus<br />
de retournement temporel peut aussi être itéré : pour la propagation en présence d’obstacles<br />
diffractants ; ceci conduit à déterminer les lois de commande des transducteurs qui permettent<br />
de focaliser au mieux sur un obstacle donné. Ce travail constitue le sujet de la thèse de Chokri<br />
Ben Amar codirigé avec Christophe Hazard et Karim Ramdani. Durant les deux années passées,<br />
il a réussi à modéliser le processus de retournement temporel en régime harmonique. Il a montré<br />
le caractère auto-adjoint de l’opérateur de retournement temporel. Il a obtenu également des<br />
résultats numériques mettant en évidence le phénomène de retournement temporel sur le modèle<br />
retenu. Son objectif à présent consiste à effectuer la modélisation et la simulation numérique dans<br />
le cas transitoire et faire le lien avec le régime harmonique.<br />
Fig. 6.7 –<br />
Modèle de couches parfaitement adaptées (pml)<br />
Les pml sont souvent utilisées pour résoudre des problèmes de diffraction ou de rayonnement<br />
posés dans un guide d’ondes en régime périodique établi. La technique habituellement mise en<br />
oeuvre à cet effet repose sur le développement modal de la solution à l’extérieur du domaine<br />
de calcul (éléments finis localisés déjà introduite aux chapitres 1,2 et 3). Cette méthode induit<br />
des difficultés numériques et théoriques importantes dans le cas de problèmes vectoriels tels que<br />
l’acoustique en écoulement (équation de Galbrun), l’élastodynamique et l’électromagnétisme. Ceci<br />
les a conduit à se tourner vers la méthode des pml qui est d’une grande simplicité de mise en<br />
oeuvre. Cette méthode consiste à prolonger le domaine de calcul par un domaine fictif dans lequel<br />
l’équation du problème est modifiée ; la modification, qui consiste simplement en un changement<br />
de variable complexe, permet (généralement) de rendre le milieu fictif à la fois absorbant et<br />
parfaitement adapté au milieu physique, au sens où aucune réflexion ne se produit à l’interface.<br />
La première étude menée concerne le problème scalaire de la propagation acoustique dans un<br />
conduit contenant un fluide en écoulement uniforme. Il est bien connu qu’il peut alors exister<br />
des ondes dite inverses dont les vitesses de phase et de groupe sont de signes opposés. Ces
Images, Modélisation et Géométrie 47<br />
ondes deviennent instables (exponentiellement croissantes) dans les couches pml au lieu d’y être<br />
absorbées. Le résultat inattendu qu’ils ont observé numériquement et expliqué théoriquement<br />
est que ce comportement ne nuit aucunement à l’efficacité des pml pour le problème fréquentiel<br />
(contrairement au problème transitoire). En revanche ces modes inverses posent problème dans<br />
le cas d’un guide élastique. Nous proposons dans le cadre d’un projet de coopération INRIA-<br />
Université de Tunis, en collaboration avec Eliane Bécache et Anne-Sophie Bonnet BenDhia,<br />
d’étudier une nouvelle variante de la méthode pml permettant de traiter séparément les ondes<br />
inverses, ainsi que de l’étudier dans le cas de milieux anisotropes.<br />
Formulations mixtes et hybrides en magnétostatique 3D dans un domaine non borné<br />
et modélisation d’antennes en éléctromagnétique à l’aide d’intégrales de frontière :<br />
Ce travail s’inscrit dans le prolongement de la thèse de L. Hamouda. Il repose sur l’étude<br />
mathématique et numérique de formulations mixtes et hybrides en magnétostatique tridimensionnelle,<br />
discrétisées par des éléments finis appropriés. Ce travail est fait dans le cadre de matériaux<br />
isotropes bornés dans l’espace. La réduction du problème à un domaine borné est effectuée par<br />
une représentation intégrale du potentiel réduit sur le bord du domaine magnétique.<br />
Dans la littérature, divers travaux concernant les formulations en champ pour la magnétostatique<br />
ont été présentés. Signalons tout d’abord celle proposée par F. Kikuchi dans le cas où la<br />
perméabilité des matériaux est constante et où des conditions au bord sont imposées. En<br />
général dans les calculs de problèmes de la magnétostatique, on est intéressé par les champs<br />
électromagnétiques. Même s’il possible de les dériver à partir d’un potentiel, on peut s’intéresser<br />
à des méthodes faisant apparaitre explicitement ces champs. Dans ce cadre, les formulations<br />
mixtes sont bien appropriées.<br />
La mise en œuvre d’une méthode d’éléments finis mixtes présente deux difficultés principales.<br />
Premièrement les sous-espaces de discrétisation choisis doivent traduire les propriétés des espaces<br />
variationnels et satisfaire une condition de type inf-sup. Deuxièment, la matrice du sytème<br />
à résoudre n’est pas définie positive. Dans ce cas, on ne peut plus employer les méthodes de<br />
résolution classiques mais l’on doit mettre en œuvre des algorithmes spécifiques.<br />
Le premier volet de ce travail de recherche est consacré aux aspects théoriques d’une première<br />
formulation variationnelle mixte en champ magnétique h et potentiel vecteur a. L’existence et<br />
l’unicité de la solution de cette formulation y sont montrées. Ensuite, pour la discrétisation de<br />
cette formulation, nous utilisons les éléments de Whitney. Le système matriciel obtenu est alors<br />
résolu par la méthode d’Uzawa.<br />
6.3 Images, Modélisation et Géométrie<br />
Traitement d’images<br />
Pour restaurer ou débruiter une image u à partir d’une image bruitée f, l’approche classique<br />
consiste à résoudre l’équation aux dérivées partielles −div(c∇u) + u = f dans un ouvert Ω ⊂ R 2<br />
avec des conditions du type Dirichlet ou Neumann sur le bord Γ = ∂Ω. Ici c est une fonction<br />
scalaire (ou tensorielle dans le cas anisotrope). Si c est une constante, l’image restaurée sera floue.<br />
Dans le cadre de son mémoire de Mastère, M. L. Siala a utilisé la technique de l’asymptotique<br />
topologique pour trouver le scalaire c optimal. Cette technique consiste à minimiser l’énergie<br />
J(u ρ ) = ∫ Ω ρ<br />
‖∇u ρ ‖ 2 + βmes(ω ρ ) où u ρ est solution du problème de restauration avec c(x) = ε<br />
dans ω ρ = x 0 +ρB et c(x) = 1 dans Ω ρ = Ω\¯ω ρ où x 0 ∈ Ω, B est un domaine borné de R 2 contenant<br />
l’origine, ρ est un réel positif et ε > 0 un paramètre petit devant 1. Les méthodes développées<br />
ont montré leur efficacité par rapport aux méthodes classiques de restauration d’images.
48 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
Dans le cadre d’une thèse en co-tutelle entre le LAMSIN et le Laboratoire MIP de l’université<br />
Paul Sabatier à Toulouse, M. L. Siala a entamé, en collaboration avec L. Jaafar-Belaid et M.<br />
Hassine, une étude portant sur l’utilisation de l’asymptotique topologique pour la segmentation<br />
d’images. L’objectif de la première partie de cette édude est d’améliorer et de réduire le temps<br />
de calcul de l’algorithme de résolution de l’équation aux dérivées partielles. La méthode du<br />
gradient conjugué est utilisée pour la résolution des systèmes issus de la discrétisation du problème<br />
de restauration. Il est bien connu que cette méthode ne donne de bon résultats que lorsque<br />
l’on dispose d’un bon préconditionneur. L’avantage de travailler avec un domaine rectangulaire<br />
(image) est de pouvoir utiliser un préconditionneur très efficace basé sur les méthodes spectrales.<br />
Avec ce préconditionneur, l’algorithme de restauration d’images bruitées devient rapide. L’objectif<br />
de la deuxième partie de l’étude est la segmentation d’images qui est une branche du traitement<br />
d’images qui cherche à trouver une représentation simple de l’image originale, comprenant des<br />
régions homogènes séparées par des contours, ce qui revient à délimiter les objets de l’image. La<br />
délimitation des objets dans une image se fait par l’intermédiaire d’un problème d’optimisation qui<br />
minimise une fonction coût. Les résultats obtenus pour la restauration d’image par asymptotique<br />
topologique effectués par M.L. Siala, L. Jaafar-Belaid et M. Jaoua en collaboration avec M.<br />
Masmoudi (MIP-UPS) ont fait l’objet d’une communication au colloque TAM-TAM’05 et seront<br />
soumis pour une note CRAS.<br />
20<br />
40<br />
60<br />
80<br />
100<br />
120<br />
140<br />
160<br />
180<br />
200<br />
220<br />
240<br />
20 40 60 80 100 120 140 160 180 200 220 240<br />
Fig. 6.8 – Détection de contours dans une image médicale (IRM) par l’asymptotique topologique.<br />
Hela Sellami a entammé une thèse portant sur les algorithmes numériques en traitement<br />
d’images encadrée par M. Jaoua et Ph. Destuynder. En particulier, elle a fait une étude<br />
bibliographique sur la méthode du “snakes”, ou contour actifs, pour la détection des contours<br />
dans une image. Le principe du “snakes” est de commencer par une courbe initiale qui sera<br />
déformée selon un critère de minimisation d’une énergie jusqu’a ce qu’elle coïcide au mieux avec le<br />
contour de l’image. H. Sellami s’est, par la suite, intéressée à l’étude d’un problème de restauration<br />
d’images en reconstruisant ses contours considérés comme des fissures. Ce problème consiste à<br />
résoudre une équation aux dérivées partielles sur le domaine fissuré avec des conditions du type<br />
Neumann sur les bords. Cette EDP est équivalente à la minimisation d’une fonctionnelle. Pour<br />
la minimiser H. Sellami utilise la méthode de sensibilité topologique.<br />
Dans le cadre d’une thèse en cotutelle entre le LAMSIN et l’Université Réné Descartes, K.<br />
Foudhaili poursuit ses travaux de recherche effectués en DEA sur la détection de bords dans des<br />
images médicales. Il a commencé par une étude bibliographique des méthodes du “level set” et des<br />
diverses méthodes aux différences finies donnant des schémas numériques stables et consistants<br />
pour résoudre les équations d’Euler-Lagrange qui modélisent les problèmes d’évolution d’interfaces<br />
(les snakes en 2D, surfaces en 3D). Ses travaux de recherche dans le cadre de la thèse concernent
Images, Modélisation et Géométrie 49<br />
la modélisation de problèmes d’évolutions en 3D.<br />
Outres les applications en traitement d’images, les méthodes “level set” sont aussi utilisées<br />
par H. Ben Ameur pour les problèmes inverses géométriques et ont fait l’objet d’un article paru<br />
dans un journal international et d’une communication dans une conférence internationale. A.<br />
Abdelmoula, dans le cadre de son mémoire de Mastère soutenu en juillet 2004, a aussi utilisé ces<br />
méthodes pour le problème de diffusion sur les surfaces.<br />
Modèles de tiges élastiques<br />
M. Chamekh, encadré par S. Mani-Aouadi et M. Moakher, a entamé une thèse portant<br />
sur l’analyse mathématique et numérique du problème d’auto-contact dans une tige élastique<br />
en grandes déformations. En utilisant une approche géomérique, on ramène le problème de la<br />
tige avec la contrainte d’orthonormalité des vecteurs directeurs à un problème dans la variété<br />
différentielle SO(3). En plus, la contrainte de non-autopénétration a été enforcée à l’aide d’une<br />
fonction distance de contact ce qui a permis de définir l’espace des configurations cinématiquement<br />
admissibles en présence de l’auto-contact. L’existence de la solution dans le cas d’une tige sans<br />
cisaillement et allongement des sections transversales a éé démontrer. Pour la mise en œuvre<br />
numérique du problème sans auto-contact on utilise une méthode de Newton suivie d’une formule<br />
de mise à jour multiplicative des rotations. Nous avons entamé l’implémentation numérique, le<br />
problème crucial est la mise en évidence de la contrainte de non-autopénétration. Pour approcher<br />
notre problème par la méthode des éléments finis on a besoin d’écrire l’équation d’Euler-Lagrange<br />
associée au problème d’auto-contact. Ces travaux on fait l’objet de deux communications à des<br />
conférences.<br />
M. Moakher en collaboration avec J.H. Maddocks a développé une théorie des tiges élastiques<br />
à double brains. La principale motivation de cette théorie est la modélisation de la double hélice<br />
de la molécule d’ADN. Dans cette théorie, la tige est modélisée par une courbe moyenne à la<br />
quelle un repère orthonormé et deux vecteurs sont attachés à chacune de ses points. Un des deux<br />
vecteurs represente la différence entre un point de la courbe moyenne et son associé sur l’une des<br />
courbes des brains. L’autre vecteur représente le vecteur rotation entre le repère de la courbe<br />
moyenne et son associé sur l’une des courbes des brains. Les équations de mouvement sont celles<br />
d’une tige élastique simple plus deux autres équations similaires. Des lois constitutives du type<br />
hyper-élastique ont été formulés et quelques examples de problèmes aux limites ont été étudiés.<br />
Cette étude a fait l’objet d’une publication qui a paru dans l’une des plus prestigieuse revue de<br />
mécanique.<br />
Simulation nuérique de l’écoulement granulaire<br />
La méthode des éléments discrets permet le suivi de chaque particule du système granulaire<br />
tout en tenant compte de la présence des autres particules et des facteurs externes tels que la<br />
gravité et les parois. B. Trabelsi a entamé une thèse portant sur l’écoulement granulaire des<br />
particules ellipsoïdales. En première étape il a utilisé le logiciel RGFlow (Rapid Granular Flow),<br />
développer par M. Moakher pour la simulation des particules sphériques par la méthode des<br />
éléments discrets, puis il l’a modifié pour la simulation des grains ellipsoïdaux. Les résultats<br />
numériques préliminaires sont encourageantes, néamois il restent encore à optimiser l’algorithme<br />
de détection de contact entre les particules ellipsoïdales qui est l’étape la plus critique en terme<br />
de temps CPU. On se propose de combiner la méthode de triangulation dynamique, utilisée<br />
par Liebling et son groupe pour les particules sphériques, et l’algorithme des plans séparant des<br />
ellipsoïdes, récemment proposé par Wang et al., pour l’élaboration d’un algorithme efficace de<br />
détection de contact entre particules ellipsoïdales.<br />
Moyennage sur les variétés Riemanniennes<br />
Le moyennage sur les variétés Riemanniennes, telle que le groupe de Lie des matrices de<br />
rotation et le cône des matrices symétriques définies positives, est un sujet assez récent et
50 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
est devenu très important dans l’analyse des donnée contraints. M. Moakher a introduit et<br />
analysé la notion de moyenne géométrique de certains sous ensembles de matrices inversibles.<br />
Ces résultats sont paru dans deux articles d’un revue international et ont fait l’objet de plusieurs<br />
communications dans des conférences internationales. Les applications de ces moyennes pour le<br />
lissage et régularisation des données constrains ont été étudié. Par example, le calcul du tenseur<br />
d’élasticité moyen à partir de plusieurs mesures expérimentales des coefficients de ce tenseur<br />
a fait l’objet d’un manuscrit soumis à un revue international. Le résultant important de cette<br />
étude est que le tenseur moyen est toujour symétrique définie positive, il est invariant si on<br />
travaille avec les coefficients du tenseur ou bien celles de son inverse, et verifie automatiquement<br />
les symétries matérielles. Comme autre application, on a utilisé la moyenne géométrique pour<br />
l’interpolation des données du tenseur de diffusion. On a aussi introduit la notion d’anisotropie<br />
géodésique comme outil pour l’analyse de la connectivité de la matière blanche dans le cervau à<br />
partir des images de la résonnance magnétique nucléaire du tenseur de diffusion. Ces résultats<br />
ont fait l’objet d’une publication dans un revue international, d’un chapitre dans un ouvrage, et<br />
de quelques communications orales.<br />
A. Abdelmoula on entamé une thèse pourtant sur les algorithmes de moindres carrés<br />
généralisées et leur application en géodésie. Il a commencé par une étude bibliographique sur<br />
les moindres carrés et sur la géodésie physique.<br />
Fig. 6.9 – Anisotropie fractionnelle (FA) et anisotropie géodésique (GA) d’une section d’un cervau<br />
6.4 Contrôle des EDP<br />
• H. Arfaoui, dans le cadre de sa thèse en cotutelle (LAMSIN & MIP-UPS, Toulouse),<br />
dirigée par H. El Fekih, F. Ben Belgacem et J.P. Raymond (MIP), s’est intéressé d’une part<br />
à la stabilisation de l’équation de burgers unidimensionnelle et d’autre part à la commande<br />
optimale (frontière) et à la stabilisation des équations de Saint-Venant (1D) qui modélisent un<br />
écoulement en eau peu profonde (shallow water). Cette thématique rentre dans le cadre du contrôle<br />
d’écoulements. La première étude a été effectué en étudiant le problème de contrôle frontière<br />
en boucle fermée (feedback) de l’équation de Burgers(1D). Le feedback consiste à trouver une<br />
loi reliant la commande optimale et l’état optimal du système. Cette relation est générée par<br />
un opérateur symétrique semi-défini positif qui est solution de l’équation algébrique de Riccati.<br />
Cette équation découle du système d’optimalité du problème de contrôle. Un code de calcul a été<br />
développé pour ce travail.<br />
Par ailleurs, H. Arfaoui s’est intéressé à la résolution numérique des équations de Saint-Venant<br />
(1D), avec un terme de diffusion, et à l’étude du problème de contrôle en boucle ouverte et<br />
en boucle fermée qui lui sont associés. Pour l’approximation numérique des équations de Saint-<br />
Venant, la méthode de time-splitting a été utilisée. Le schéma de Preissmann a été selectionné
Contrôle des EDP 51<br />
pour la discrétisation du terme de transport, et le schéma d’Euler implicite pour la discrétisation<br />
du terme de diffusion. L’avantage du schéma de Preissman, est qu’il est inconditionnellement<br />
stable (pour θ ∈ [0.5, 1], θ étant un paramètre intervenant dans le schéma de Presissmann). La<br />
méthode de double sweep a été par la suite utilisée Pour la résolution du système discret.<br />
(1)<br />
(2)<br />
1.0575<br />
1.051<br />
B.O, t= 7.5<br />
B.O, t= 6<br />
B.F, t= 6<br />
B.F, t= 7.5<br />
S.C, t= 6<br />
S.C, t= 7.5<br />
0.02<br />
0.01<br />
q0<br />
q1<br />
Hauteur<br />
1.0445<br />
1.038<br />
0<br />
−0.01<br />
1.0315<br />
1.025<br />
0 20 40 60 80 100<br />
−0.02<br />
0 200 400 600 800<br />
Fig. 6.10 – (1)- hauteur de l’eau, (2)- commande optimale<br />
Différentes études, concernant le problème de contrôle optimal associé, ont été menées :<br />
– Le problème de contrôle en boucle ouverte consistant à écrire les conditions nécessaires<br />
d’optimalité du premier ordre, grâce auxquelles on détermine l’état adjoint associé. La<br />
commande optimale est obtenue en minimisant la fonction objectif considéree. Pour le<br />
problème étudié ici, cette méthode présente une difficulté importante pour le calcul de<br />
l’état adjoint, qui est inhérente à la méthode de time-splitting et au schéma de Preissmann.<br />
– Le problème de contrôle en boucle fermée (feedback) qui s’appuie sur la détermination d’une<br />
loi de Feedback pour le système linéarisé.<br />
Pour le problème de contrôle en boucle fermée, une loi de feedback reliant le contrôle à l’état<br />
a été déterminée. Cette relation est obtenue à l’aide d’un opérateur Q solution de l’équation de<br />
Riccati. Dans ce cadre, deux codes de calcul ont été développé pour la résolution du problème de<br />
contrôle en boucle ouverte et en boucle fermée des équations de Saint-Venant. Un des résultats<br />
numériques obtenu, concernant la stabilisation par contrôle frontière en boucle ouverte et en<br />
boucle fermée, est illustré par la figure 6.10.<br />
Enfin, H. Arfaoui a montré que le système linéarisé de Saint-Venant est exponentiellement stable.<br />
Ces travaux ont fait l’objet de trois communications internationales et d’un article en cours de<br />
préparation.<br />
• Dans le cadre d’une deuxième thèse en co-tutelle entre les deux equipes contrôle du LAMSIN<br />
et du laboratoire MIP (Toulouse) et dirigée par H. El Fekih, F. Ben Belgacem et J.P. Raymond,<br />
H. Metoui a étudié quelques problèmes de contrôle optimal frontière régis par des équations<br />
paraboliques linéaires et non linéaires (en 2D). Ce travail a nécessité dans un premier temps<br />
une étude bibliographique générale des équations paraboliques de type chaleur définies avec une<br />
condition de type Dirichlet peu régulière. Une fois l’équation de la chaleur étudiée, l’intérêt s’est<br />
dirigé vers l’analyse du problème de contrôle optimal associé. Celui-ci a été étudié à travers<br />
un problème d’optimisation qui minimise une fonctionnelle objectif dépendant de la solution de<br />
l’équation de la chaleur et de la variable contrôle. A ce propos, l’existence et l’unicité d’un unique<br />
point critique dans L 2 de la frontière du domaine a été démontré en se basant sur des techniques<br />
standard d’optimisation. Ensuite, la technique de l’état adjoint a été utilisée afin d’écrire les<br />
conditions nécéssaires et suffisantes d’optimalité associées au problème de contrôle considéré. Les
52 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
Fig. 6.11 – Etat optimal (hauteur)<br />
difficultés rencontrées, sur l’analyse mathématique et le traitement numérique, proviennent du<br />
peu de régularité sur la condition de Dirichlet. Afin de contourner ces difficultés, H. Metoui a eu<br />
recours à la technique de pénalisation consistant à transformer cette condition en une condition de<br />
Robin par l’introduction d’un terme de pénalisation (ε flux + solution = donnée, sur le bord). Dans<br />
le cas d’une observation globale, des résultats de convergence de la solution optimale pénalisée<br />
vers la solution optimale du problème initial (Dirichlet) ont été établis en exhibant un taux de<br />
convergence en fonction du paramètre de pénalisation. H. Metoui s’est aussi intéressée à contrôler<br />
l’équation de la chaleur (linéaire), toujours par une commande frontière, mais en proposant une<br />
deuxième fonctionnelle objectif faisant intervenir une observation terminale sur l’état. L’ajout<br />
de l’observation terminale introduit des difficultés techniques : la variable de contrôle étant<br />
une donnée de Dirichlet (sur le bord) peu régulière, elle génère un manque de régularité sur la<br />
solution et plus précisemment sur l’observation terminale. Ce problème a été étudié par Lasiecka<br />
et Triggiani en utilisant la théorie des semi-groupes et les opérateurs de Ricatti. L’apport de H.<br />
Metoui, pour étudier ce problème, réside essentiellement sur une une analyse claire et simple en se<br />
basant sur une approche variationnelle standard. Un résulat d’existence et d’unicité du contrôle<br />
a été prouvé en utilisant des outils classiques d’analyse fonctionnelle. Une étude exhausitive des<br />
conditions d’optimalités a aussi été menée. L’étape suivante a consisté a étudier la pénalisation<br />
de la condition de Dirichlet pour le problème de contrôle. le problème de contrôle pénalisé a été<br />
donc analysé et un résultat partiel de convergence de la solution optimale pénalisée vers celle de<br />
Dirichlet a été démontré.<br />
Par ailleurs, et dans le cadre des équations d’advection-diffusion, H. Metoui a analysé le<br />
problème de contrôle frontière associé, toujours avec une commande peu régulière. Elle a d’abord<br />
étudié l’équation d’état et les questions relatives à la régularité de la solution. Ensuite, pour des<br />
difficultés mathématiques et numériques évoquées ci-dessus, la condition de Dirichlet est pénalisée<br />
par la condition de Robin, et des résultats sur la convergence de la pénalisation sont démontrés.<br />
Ces résultats, sont basés sur une extension de quelques résultats sur l’équation de la Chaleur et<br />
sur la technique du point fixe. Les résultats obtenus sur le problème de contrôle de l’équation de<br />
la chaleur, ont été généralisé et étendu au problème de contrôle associé à l’équation d’advectiondiffusion.<br />
Dans le cas des équations non linéaires, H. Metoui a considéré le cas de l’équation de Burgers<br />
bidimensionnelle afin de la contrôler par une commande frontière (Dirichlet). La démarche suivie,<br />
pour l’étude de l’équation d’état, est basée sur la séparation de la solution en deux : une provenant<br />
de l’équation de Burgers avec une condition de Dirichlet homogène, et l’autre de l’équation<br />
de la chaleur faisant intervenir la condition de Dirichlet. La méthode de Faeodo-Galerkin est
Contrôle des EDP 53<br />
alors utilisée pour établir un résultat d’existence pour l’équation de Burgers homogène. La<br />
suite de ce travail sera consacrée à l’étude du problème de contrôle associé à l’équation de<br />
Burgers. L’objectif étant d’étendre l’approche variationnelle, utilisée dans le cas de l’équation de<br />
la Chaleur. L’ensemble de ces travaux a fait l’objet d’un article accpeté, de deux communications<br />
internationales, et d’un papier en cours de rédaction.<br />
• Dans le cas du contrôle actif d’écoulement en domaine extérieur, M. El Hajji s’intéresse<br />
au développement d’outils numériques performants pour commander ou stabiliser, par le bord,<br />
des écoulements autour d’un obstacle. L’objectif à court terme concerne les équations de Stokes,<br />
et celui à long terme protera sur les équations de Navier-Stokes. Ce travail fait l’objet de la<br />
thèse de M. El Hajji, dans le cadre d’une cotutelle entre léquipe contrôle du LAMSIN (H. El<br />
Fekih) et celle du laboratoire MIP (F. Ben Belgacem). Après une étude bibliographique sur les<br />
problèmes posés en domaines non bornés, M. El Hajji a mené une étude sur le problème de<br />
contrôle régis par l’équation de Poisson concernant l’existence de la commande optimale ainsi<br />
que son calcul approchée. Pour la résolution numérique du problème de contrôle, il a utilisé<br />
la technique de pénalisation de la condition de Dirichlet et a exhibé le taux de convergence<br />
en fonction du paramètre de pénalisation. Un code de calcul a été développé pour mener une<br />
investigation numérique.<br />
La deuxième partie de la thèse de M. El Hajji, est dédiée à la résolution du problème de contrôle<br />
de Stokes dans un domaine extérieur, en utilisant le couplage entre la méthode des éléments finis<br />
et la méthode des équations intégrales. Un code de calcul pour la résolution numérique est en<br />
cours de réalisation.<br />
• A. Lakhoua, en collaboration avec M. Akian et S. Gaubert (INRIA) et dans le cadre<br />
de sa thèse en co-tutelle, a élaboré une nouvelle méthode de discrétisation que l’on peut voir<br />
comme l’analogue max-plus de la méthode des éléments finis de Petrov-Galerkin dans le cas de<br />
l’équation d’évolution d’Hamilton-Jacobi (HJ). Cette méthode exploite la linéarité max-plus du<br />
semi-groupe d’évolution associé à l équation (HJ). Ainsi, on peut remplacer l’équation d’Hamilton-<br />
Jacobi par une formulation variationnelle définie récursivement, et faisant intervenir le produit<br />
scalaire max-plus et les espaces discrets utilisés sont respectivement des semi-modules max-plus<br />
finiment engendrés d’éléments finis et de fonctions test. On obtient ainsi une équation de récurence<br />
max-plus linéaire mais implicite, dont on sélectionne la sous-solution maximale : le système<br />
dynamique ainsi obtenu s’interprète comme l’équation de la programmation dynamique d’un<br />
problème de jeux à somme nulle déterministe. Contrairement à la méthode proposée par Fleming<br />
et McEneaney, l’application du semi-groupe d’évolution aux éléments finis n’est pas supposée<br />
connue mais approchée, et le système dynamique discret obtenu n’est pas forcément max-plus<br />
linéaire. La méthode a été testée sur plusieurs problèmes types, en utilisant la bibliothèque maxplus<br />
de Scilab. Sous des hypothèses standard de régularité, A. Lakhoua a obtenu des estimations<br />
d’erreur similaires au cas de la méthode des éléments finis classique : les projecteurs pour la<br />
norme d’nergie sont remplacés par des projecteurs sur des semi-modules max-plus, et l’erreur de<br />
projection est mesurée dans la norme du sup. Une obstruction à ces méthodes est le caractère non<br />
creux des matrices obtenues. Le développement de méthodes creuses est à l’étude. La méthode a<br />
été comparée numériquement avec la méthode de Flemming et McEneaney.<br />
• Dans le cadre de son mémoire de mastère, soutenu en octobre 2004, F. Maddouri à<br />
mené une investigation numérique poussée pour la résolution de quelques problèmes de contrôle<br />
de l’équation de Schrödinger en une dimension d’espace. Ce modèle joue un rôle essentiel en<br />
mécanique quantique, et tester des outils de calcul pour ce problème de contrôle est une question<br />
d’actualité. Pour y parvenir, F. Maddouri a du d’abord mener une étude bibliographique sur<br />
l’équation de Schrödinger concernant son analyse théorique (résultats d’existence et d’uncité de<br />
la solution) ainsi que l’étude de ses propriétés qualitatives. Elle s’est intéressé par la suite à
54 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
sa résolution numérique en ayant étudié les propriétés de quelques schémas numériques, afin de<br />
cerner les avantages et les faiblesses de chacun d’eux pour. Par la suite, F. Maddouri s’est penchée<br />
sur le problème de contrôle pour établir un résultat d’existence et de stabilité. Elle a été amenée<br />
à en écrire les conditions d’optimalité faisant intervenir l’état adjoint. Elle a aussi réalisé quelques<br />
expériences numériques en ayant recours aux outils d’optimisation. Les résultats obtenus ont mis<br />
en évidence la pertinence de l’approche adoptée.<br />
• L’activité de B. Dehman durant la période 2003 - avril 2005 s’est répartie dans plusieurs<br />
directions. Tout d’abord, il a mené une étude sur l’équation de Schrödinger non linéaire (SNL)<br />
dans l’espace libre et sur les variétés compactes sans bord. Ce travail a abouti à l’élaboration<br />
d’un article en collaboration sur la stabilisation et le contrôle de SNL sur les surfaces compactes.<br />
Quelques précisions : A l’aide d’un terme de dissipation pseudo-différentiel, on fait décroitre<br />
l’énergie des solutions de SNL vers zéro, selon un taux exponentiel. Cela permet alors, grâce<br />
à une méthode de point fixe, de prouver un théorème de controllabilité exacte, dans l’espace<br />
d’énergie. La preuve repose sur un (nouveau) théorème de prolongement unique et utilise des<br />
méthodes microlocales (mesures de défaut et propagation des singularités). Ce travail sera soumis<br />
à publication dans les semaines à venir. En parallèle, il mène une recherche commune avec A.<br />
Omrane de l’université des Antilles-Guyane sur un théorème de contrôle sous contraintes pour le<br />
système des ondes, avec application au problème des sentinelles.<br />
• Pour leur part, M. Khénissi et L. Aloui ont établi la décroissance uniforme (polynômiale)<br />
de l’énergie locale pour l’équation de Schrödinger sur un domaine extérieur, sous l’hypothèse du<br />
”contrôle géométrique” affaiblie, car pour cette équation , les informations se propagent à une<br />
vitesse infinie, contrairement au cas des ondes. La preuve est basée sur des estimations de la<br />
résolvante en hautes et basses fréquences et utilise les propriétés des mesures semi-classiques.<br />
• M. Khénissi a aussi étudié, en collaboration avec K. Ammari (FSMonastir), l’équation des<br />
plaques. C’est une équation de type Schrödinger, où les informations se propagent à une vitesse<br />
infinie. Ils ont établi la décroissance de l’énergie de la solution lorsque l’équation comporte un<br />
terme de dissipation au bord d’un domaine borné. Si la décroissance uniforme n’est pas établie<br />
alors ils montrent la décroissance logarithmique dans des espaces de données plus régulieres. L’idée<br />
de ce travail est de passer par l’équation de Kirchhoff où la vitesse de propagation est finie.<br />
Enfin, dans un travail avec K. Ammari et M. Jellouli (FSMonastir), Khénissi a étudié la<br />
décroissance de l’énergie pour l’équation élastique vibrante sur un réseau d’arbres avec une<br />
stabilisation agissant sur l’extrêmité de la racine de l’arbre. Ils ont démontré qu’il n’ y a pas<br />
de décroissance exponentielle dans l’espace d’énergie, mais qu’il y a une décroissance polynômiale<br />
dans un espace de données plus régulières.<br />
• En collaboration avec B. Dehman, L. Aloui s’est intéressé au calcul du meilleur taux de<br />
décroissance pour l’équation de Schrödinger stabilisée. Ils sont parvenus à établir une minoration<br />
de ce taux par le minimum entre la moyenne du stabilisateur suivant les géodésiques et l’abscisse<br />
spectrale. Actuellement, avec B. Dehman et A. Bchatnia, il essaie d’établir la décroissance<br />
exponentielle de l’énergie locale pour l’équation des ondes semi-lineaire dans l’espace libre.<br />
• A. Bchatnia et M. Daoulatli ont soutenu leur thèse de doctorat en décembre 2004. Dans le<br />
cadre du premier travail de cette thèse, en collaboration, ils ont étudié la décroissance de l’énergie<br />
locale pour l’équation des ondes semi linéaires en dehors d’un obstacle convexe avec une semi<br />
linéarité sous critique localisée près de l’obstacle. A l’aide d’une estimation de Morawetz précisée<br />
et des inégalités de Strichartz hors des obstacles convexes dues à Smith et Sogge, ils ont montré<br />
un théorème de Scattering. Plus précisément, ils établissent que le groupe des ondes linéaires<br />
est asymptotiquement complet par rapport au groupe des ondes linéaires sur le même domaine.
Environnement 55<br />
Ensuite, ils ont mis en place un semi groupe de Lax-Phillips non linéaire Z(T ) qui caractérise<br />
l’énergie locale. Enfin, à l’aide des mesures de défaut microlocales introduites par P.Gérard, ils<br />
montrent que Z(T ) est compact pour T assez grand, puis qu’il est strictement contractant et on<br />
déduit ainsi la décroissance exponentielle de l’énergie locale. Ce travail a été publié au journal<br />
Math. Zeistchrift en 2004.<br />
• Dans son deuxième travail, Bchatnia a considéré le même problème mais, cette fois ci, avec<br />
une non linéarité critique. Le début de la preuve marche sans surprise, modulo une modification<br />
mineure du multiplicateur de Morawetz et fournit un théorème de Scattering. Par la suite le<br />
caractère critique de l’équation rend les propriétés des mesures de défaut microlocales totalement<br />
inopérantes. Il est alors amené à mettre en place une stratégie assez complexe. Il adapte d’abord<br />
le théorème de décomposition en profils de Gallagher-Gérard, puis il établit un bilan d’énergies<br />
analogue à celui de Dehman-Gérard dans le cas de l’espace libre. Le scattering permet alors de<br />
montrer que le semi groupe de Lax-Phillips Z(T ) est ”compact à l’infini” puis qu’il est strictement<br />
contractant pour T assez grand. Ce travail a été soumis pour publication et a été en outre exposé<br />
au dernier colloque de la Société des Mathématiques de Tunisie (Mars 2004).<br />
• Enfin, dans son deuxième travail de thèse, M. Daoulatli a étudié l’équation des ondes en<br />
présence d’une géométrie captive, d’un stabilisateur interne non linéaire et sous la condition du<br />
contrôle géométrique extérieur. Il a alors établi la décroissance polynomiale de l’énergie locale.<br />
Ce travail a fait l’objet d’un article soumis à publication.<br />
6.5 Environnement<br />
6.5.1 Modélisation d’écoulement<br />
Ecoulement diphasique<br />
• Mohamed Abdelwahed a proposé un modèle simplifié approchant le plus possible un<br />
écoulement diphasique eau-bulles d’air. Cette approche simplifiée est basée sur les équations de<br />
Navier-Stokes semi-compressibles et tient compte de l’effet des bulles par le biais de terme source<br />
comportant l’effet des bulles d’air. Ce travail a fait l’objet de deux articles l’un publié dans<br />
Monografías del Seminario Matemático García de Galdeano et l’autre accepté dans International<br />
Journal of Computational Fluid Dynamics. Cette étude effectué en 2D est entrain d’être<br />
généralisée en 3D dans le but de faire des simulations sur des cas d’applications réels.Dans la<br />
partie théorique de ce travail, il a étudié l’existence et l’unicité de solution du modèle diphasique<br />
simplifié présenté ainsi que l’estimation d’erreur a priori du problème en temps. Ce travail fait<br />
l’objet d’un article en préparation.<br />
• Dans un travail préliminaire effectué durant le stage de mastère de Rabé Badé ; nous avions<br />
élaboré un modèle 2D couplant un problème macroscopique pour l’eau avec un modèle microscopique<br />
pour les bulles. Ce modèle consiste à coupler l’équation de Vlasov qui décrit le mouvement<br />
d’un ensemble de bulles, et les équations de Navier-Stokes pour modéliser l’écoulement de l’eau induit<br />
par celui des bulles. La prise en compte de cet effet se fait par l’intermédiaire de termes force<br />
qui apparaissent dans les équations de Navier-Stokes. Pour la résolution du modèle couplé, nous<br />
avions utilisé la méthode de splitting qui consiste à résoudre d’abord la partie cinétique en suivant<br />
l’évolution des bulles au cours du temps en calculant les courbes caractéristiques et en considérant<br />
la vitesse de l’eau comme donnée. Pour la résolution des caractéristiques nous nous somme limité<br />
dans ce premier travail à prendre en compte que la force de trainée et la force de flottabilitée.<br />
On obtient ainsi les quantités macroscopiques par le biais de la solution de l’équation de Vlasov.<br />
Ces dernières sont ensuite utilisées pour résoudre les équations de Navier-Stokes (voir figure 6.12).
0<br />
0<br />
0.1172<br />
0.1172<br />
0.2344<br />
0.2344<br />
0.352<br />
0.352<br />
0.469<br />
0.469<br />
0<br />
0<br />
0.1172<br />
0.1172<br />
0.2344<br />
0.2344<br />
0.352<br />
0.352<br />
0.469<br />
0.469<br />
56 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
INRIA-MODULEF<br />
INRIA-MODULEF<br />
INRIA-MODULEF<br />
INRIA-MODULEF<br />
INRIA-MODULEF<br />
INRIA-MODULEF<br />
INRIA-MODULEF<br />
INRIA-MODULEF<br />
Fig. 6.12 – Isovaleurs du module de la vitesse, Re=1000(t=1 ;2 ;5 ;15 mn)<br />
• L’optimisation topologique consiste à étudier la variation d’une fonction de forme par<br />
rapport à une petite perturbation de la topologie du domaine, comme la création d’un trou<br />
ou l’insertion d’un obstacle. Elle permet aussi de calculer la sensibilité topologique d’une fonction<br />
coût par rapport à la présence d’une petite inhomogénéité dans le domaine. En collaboration avec<br />
M. Mamoudi (MIP, UPS, Toulouse), Hassine Maatoug a appliqué cette approche aux équations<br />
de Quasi-Stokes (dite aussi Stokes généralisé). En utilisant la méthode de l’état adjoint et la<br />
technique de troncature de domaine, ils ont donné un développement asymptotique valable pour<br />
une grande classe de fonction coût et des trous de forme quelconque. Comme applications des<br />
résultats théoriques, ils ont élaboré un algorithme numérique pour la détection des positions<br />
optimales des injecteurs dans un lac eutrophe. Ce travail a fait l’objet d’un article publié au<br />
J. Control and Calcul of variations. Dans le but d’améliorer l’approche numérique, un nouvel<br />
algorithme numérique a été développé par Hassine Maatoug en collaboration avec Ph. Guillaume<br />
(MIP, UPS, Toulouse). La nouvelle approche fait intervenir l’ancien développement asymptotique<br />
qui donne la variation de la fonction coût par rapport à la création d’un trou et un nouveau<br />
développement permettant de calculer la variation de la fonction coût par rapport à la suppression<br />
d’un trou existant. Ce travail a fait l’objet d’un article soumis à J. Control and Calcul of variations.<br />
Les résultats obtenus par Lassaad Siala, dans le cadre de son projet de Mastère, montrent que<br />
dans la plupart des cas, les surfaces d’isovaleurs du gradient topologique donnent une très bonne<br />
idée de la distribution optimale dès la première étape de calcul.<br />
Couplage entre écoulement surfacique et écoulement souterrains<br />
• La première partie de ce travail a consisté à étudier la propagation de contamimants dans les<br />
milieux poreux. Le premier sujet qui a fait l’objet du DEA de Nejla Frih a consisté à étudier des<br />
schémas numériques pour la discrétisation du terme de dispersion dans l’équation de propagation<br />
(voir figure 6.13)<br />
alors que le deuxième sujet qui a fait l’objet du DEA de Khaled Ben Ali a consisté à l’étude de<br />
la simulation de la propagation par convection d’un soluté ( voir figure 6.14). Ce travail est fait<br />
en collabaration avec J. Jaffré, J. Robert de l INRIA Rocquencourt.
Environnement 57<br />
concentration<br />
100<br />
99.5<br />
99<br />
0<br />
1<br />
0.5<br />
cas1 nx 16 ny= 16<br />
0.5<br />
1 0<br />
x<br />
y<br />
1<br />
100<br />
99<br />
98<br />
0<br />
0.5<br />
cas1 nx 16 ny= 16<br />
0.5<br />
1 0<br />
y<br />
1<br />
0.5<br />
0<br />
0 0.2 0.4 0.6 0.8 1<br />
Fig. 6.13 –<br />
SOLUTION APPROCHEE AVEC LIMITEUR DE PENTE "AL=1", "nx = 16", "CFL= 0.2"<br />
SOLUTION APPROCHEE AVEC LIMITEUR DE PENTE AL=0 nx=32 CFL=0.17582<br />
1<br />
0.8<br />
CONCENTRATION<br />
2<br />
0<br />
−2<br />
0<br />
0.1<br />
0.2<br />
0.3<br />
0.4<br />
0.5<br />
0.6<br />
0.7<br />
0.8<br />
0.9<br />
x<br />
1 0<br />
1<br />
0.9<br />
0.8<br />
0.7<br />
0.6<br />
0.5<br />
0.4<br />
0.3<br />
0.2<br />
0.1<br />
y<br />
CONCENTRATION<br />
0.6<br />
0.4<br />
0.2<br />
0<br />
0<br />
0.2<br />
0.4<br />
0.6<br />
0.8<br />
x 1<br />
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1<br />
y<br />
Fig. 6.14 –<br />
• Ali Saada s’intéresse à la modélisation des écoulements dans les milieux poreux fracturés.<br />
Différents modèles ayant pour but de mieux représenter l’échange entre la fracture et son<br />
environnment sont considérés. Ainsi un premier modèle considérant les équations de Forchheimer<br />
a donné des résultats satisfaisant et fait l’objet d’une communication. Son étude théorique est<br />
en cours. Le second modèle considère l’écoulement de Stokes dans la fracture. Son élaboration<br />
est en cours. Ce travail fait l’objet de la thèse de Nejla Frih en collabaration avec J. Jaffré, Jean<br />
Roberts (INRIA Rocquencourt) et R. Bouhlila du laboratoire de Modélisation en Hydraulique et<br />
Environement (ENIT-LMHE).<br />
• La modélisation d’un écoulement d’eau surfacique dûe à la pluie couplé avec l’infiltration<br />
d’eau dans un milieu poreux non saturé repose sur les équations de Saint-Venant ce qui permet<br />
d’avoir en même temps l’évolution du fluide et la variation du domaine. La modélisation de<br />
l’infiltration de l’eau dans un milieu poreux repose sur les équations de Richards ce qui permet<br />
de traiter le cas de transports de fluide non saturant. Un code de calcul sera élaboré pour les<br />
équations de Saint-Venant en utilisant une méthode de volumes finies alors que les équations
58 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
de Richards seront traitées par une méthode d’éléments finis mixtes. La seconde partie sera<br />
consacrée au traitement du couplage. Ce travail fait l’objet de la thèse de Khaled Ben Ali en<br />
collabaration avec J. Jaffré (INRIA Rocquencourt) et R. Bouhlila du laboratoire de Modélisation<br />
en Hydraulique et Environement (ENIT-LMHE).<br />
Erosion côtière<br />
Pour la résolution numérique, nous nous proposons d’utiliser une méthode de volumes finis.<br />
Nous avons séparé les termes de convection, de propagation de diffusion et le second membre. Le<br />
flux numérique des termes de convection et de propagation seront calculés en utilisant le schéma<br />
de Godunov, alors que pour les termes de diffusion nous utiliserons un schéma centré. Ce travail<br />
fait l’objet de a thèse de H. Taieb et une partie de l’habilitation de N. Harrigua Tlatli. Ce travail<br />
est fait en collaboration de B. Philippe de l’INRIA de Rennes.<br />
Ecoulement du sang dans les vaisseaux sanguins<br />
Le modèle que nous proposons pour la modélisation de l’écoulement du sang, repose sur la<br />
composition hétérogène du sang. Le plasma est considéré comme un fluide Newtonien incompressible<br />
et sera modélisé par les équations de Navier Stokes. Les globules rouges et blancs sont<br />
modélisées par des dumbbells (deux billes reliées par un ressort élastique) ce qui leur permet<br />
de se déformer et d’être flexible. L’avantage de cette représentation est de pouvoir permettre<br />
aux globules blancs d’intéragir avec la paroi artérielle au moment d’une inflammation soit en y<br />
adhérant, soit en se déplaçant à travers la paroi. Les plaquettes sont représentées comme des particules<br />
se mouvant dans un liquide. Elles sont modélisées par une équation cinétique en fonction<br />
de la probabilité de présence auquel nous rajoutons au second membre un opérateur de collision<br />
qui nous permet de modéliser les interactions des particules entre elles pour pouvoir modéliser<br />
la création d’un caillot ou sa fragmentation. Cet opérateur se décompose en quatre opérateurs<br />
qui tiennent compte des différentes réactions qui vont avoir lieu. Le premier opérateur permet à<br />
deux particules de se coller pour ne former qu’une seule plus grande alors que le second va leur<br />
permettre de se diviser de nouveau. Le troisième permet la formation d’un caillot par coagulation<br />
en collant un grand nombre de particules alors que le dernier va fragmenter ce caillot.<br />
Estimateur a posteriori<br />
Nizar Kharrat s’est intéressé sous la direction du professeur Zoubida MGHAZLI (laboratoire<br />
SIANO, Université Ibn Tofail, Kénitra, Maroc) à l’élaboration d’estimateurs d’erreurs a posteriori<br />
issues de la discrétisation par éléments finis conformes des équations de Stokes incompressible<br />
et visqueux en régime instationnaire via le schéma de projection de Chorin-Temam dans le<br />
cadre de sa thèse. A cet effet, il a développé deux types de résidus, un premier qui dérive de<br />
l’équation de diffusion à l’étape de prédiction, et le second à partir de l’équation de continuité où<br />
d’incompressibilité à l’étape de projection. Notons de plus que, ces indicateurs sont locaux par<br />
rapport aux pas de temps et d’espace, ce qui permet d’avoir un outil efficace pour l’adaptation<br />
de maillage à chaque pas de temps lors de la simulation numérique. Par ailleurs, leur somme<br />
Hilbertienne donne un indicateur globale sur tout le domaine de calcul majorant ainsi l’erreur à<br />
une constante près qui dépend généralement de la régularité du maillage. Moyennant une certaine<br />
norme de l’erreur, cette majoration montre en effet la fiabilité de l’indicateur. Ce travail a fait<br />
l’objet d’un article accepté dans les Comptes Rendus de Mathématiques.<br />
Ecoulement chargé<br />
Pour le premier domaine d’application qui est la croissance cristalline, nous travaillons, en<br />
collaboration avec une équipe française spécialiste de la mécanique des fluides, de la solidification
Environnement 59<br />
et des phénomènes d’instabilités, au sein du LMFA à l’ECL ( Laboratoire de Mécanique des<br />
Fluides et d’Acoustique à l’école Centrale de Lyon). Nous nous sommes intéressés à l’étude de<br />
l’influence que peut avoir sur la convection et les instabilités, l’introduction d’une condition aux<br />
limites de type surface libre à la surface supérieure de notre cylindre. Cette étude doit être réalisée<br />
par une méthode de continuation. Nous avons donc adapté notre méthode de continuation à cette<br />
situation, mais nous souhaitons aussi améliorer ses performances et ses capacités. Nous avons<br />
donc testé de nouveaux solveurs pour la résolution des systèmes linéaires. Une partie de ce travail<br />
sur l’optimisation des méthodes numériques a été réalisé au LAMSIN par Seifeddine Ghnimi,<br />
dans le cadre de son stage de Mastère de Mathématiques appliquées (voir figure 6.15).<br />
1<br />
BICGSTAB<br />
GMRES<br />
0.1<br />
semilog(residu)<br />
0.01<br />
0.001<br />
0 5 10 15 20 25 30 35<br />
iterations<br />
Fig. 6.15 –<br />
6.5.2 Equations cinétiques<br />
La première partie de ce travail a consisté à déduire du modéle microscopique un modèle<br />
macroscopique qui sera plus facile à implémenter numériquement. Cette limite asymptotique<br />
permet d’obtenir une équation de diffusion du modèle homogénéisé dans lequel la matrice est<br />
obtenue en fonction des coefficients de transmission du problème microscopique. Dans un article<br />
de N. Ben Abdallah, H. Chaker publié dans Communications in Mathematical Sciences (CMS), la<br />
relation entre la conductivité électronique surfacique et la structure électronique du joints de grain<br />
a été obtenue grâce à une limite de diffusion de l’équation de Vlasov. Alors que dans le deuxième<br />
article de H. Chaker soumis à TTSP, la relation entre la conductivité électronique surfacique<br />
et la structure électronique du joints de grain a été obtenue grâce à une limite de diffusion de<br />
l’équation de Boltzmann. La suite de ce travail consiste à calculer les coefficients de réflection<br />
et de transmission. Ces coefficients sont obtenus en résolvant l’équation de Schrödinger écrite au<br />
voisinage d’un joint de grain. La première partie de ce travail a été faite par Wissem Hassine<br />
dans le cadre de son DEA. Cela a consisté à résoudre l’équation de Poisson par une méthode<br />
d’optimisation et d’étudier l’influence de la densité des électrons et le gaz adsorbé sur la barrière<br />
de potentiel (voir figure 6.16). La suite consiste à résoudre l’équation de Poisson et l’équation<br />
de Schrödinger par une méthode d’élélents finis. Une méthode de point fixe nous permettera<br />
par la suite de converger vers la solution du problème couplé ce qui nous permettera de déduire<br />
directement les coefficients de réflexions et de transmissions. Ces travaux feront l’objet de la thèse<br />
Hechmi Hattab et l’habilitation de Jihéne Kéfi. Ce travail est fait en collaboration avec N. Ben<br />
Abdallh du laboratoire MIP de Toulouse et M. Abaab du laboratoire photovoltaque et matériaux<br />
semiconducteurs de l’ENIT.
60 CHAPITRE 6.<br />
RÉSULTATS OBTENUS<br />
Variation en fonction de Q<br />
Variation en fonction de N<br />
Fig. 6.16 – Solution de l’équation de Poisson<br />
6.6 Procédés<br />
Dans le cadre des travaux entamés depuis 1999, nous avons pu élaborer un nouveau modèle<br />
thermodynamique rendant compte des écarts à l’idéalité en phase liquide des solutions à base<br />
d’acide sulfurique et d’acide phosphorique. Ce modèle, pouvant être intégré dans la simulation<br />
numérique du réacteur d’attaque des phosphates par l’acide sulfurique, a fait l’objet de plusieurs<br />
publications scientifiques et a constitué l’essentiel des travaux de thèse de doctorat de Mourad<br />
CHERIF.<br />
En marge de ces travaux, nous avons pu développer des outils de calcul performants pour<br />
caractériser les états d’équilibre entre phases des systèmes complexes en présence de réactions<br />
chimiques. La formulation adoptée est la minimisation de la fonction « énergie libre de Gibbs ».<br />
Plusieurs algorithmes d’optimisation non linéaire sous des contraintes inégalités ont été mis en<br />
œuvre et testés et ont servi au développement de nouvelles méthodes numériques à la fois rapides<br />
et robustes.<br />
L’extension de notre approche de modélisation thermodynamique aux mélanges d’acides<br />
(Phosphorique- Sulfurique- Nitrique et Fluorhydrique) a donné des résultats encourageants qui<br />
feront l’objet d’une prochaine publication.<br />
Toutefois, faute de disposer de données d’équilibre liquide-solide fiables, il ne nous a pas été<br />
possible d’étendre le modèle de Pitzer élaboré au système complet CaSO 4 .2H 2 O-H 3 PO 4 -H 2 SO 4 .<br />
C’est pour cela que nous avons entamé des mesures de solubilité de CaSO 4 .2H 2 O dans H 3 PO 4 -<br />
H 2 O à 25 ◦ C. Ces mesures expérimentales ont été réalisées et leur modélisation a été achevée.<br />
Une publication rassemblant ces résultats est en cours de rédaction.<br />
En vue de compléter les travaux précédents et suite à la thèse d’état de Arbi MGAIDI,<br />
nous avons exploré la modélisation cinétique des réactions entre un solide poreux et un fluide.<br />
L’approche adoptée pour décrire la diffusion interne dans les pores comme étape limitante de<br />
certaines réactions solide-fluide s’avère très intéressante pour le dimensionnement des réacteurs<br />
multiphasiques tels que le réacteur d’attaque des phosphates naturels. Actuellement, nous somme<br />
entrain de généraliser cette approche pour différents solides poreux placés dans un environnement<br />
fluide de caractéristiques connues.<br />
Avec les travaux initiés par Nihel BEN AMAR, nous intervenons également dans deux<br />
opérations portant sur :<br />
– l’utilisation de la nanofiltration en tant que procédés d’adoucissement d’eaux saumâtres ou
Procédés 61<br />
d’eaux de mer (OP1.2),<br />
– l’adoucissement des eaux dures par des procédés électrochimiques ou magnétiques pour<br />
améliorer l’efficacité des procédés de dessalement comme la distillation à effet multiple<br />
MED (OP1.3).<br />
La nanofiltration peut s’avérer un procédé d’adoucissement intéressant pour le traitement des<br />
eaux saumâtres du sud tunisien, chaudes, de très grande dureté et de salinité 2 à 6 g/L. Par<br />
ailleurs devant l’émergence des systèmes de dessalement hybrides, la nanofiltration couplée au<br />
procédé de dessalement des eaux par la distillation à effet multiple (MED) constitue une voie à<br />
scruter. Dans ces deux optiques, l’effet de la température est étudié d’une part pour caractériser<br />
les performances de la nanofiltration en fonction de la température et d’autre part pour lever la<br />
limitation sur la température de fonctionnement du MED qui est due à l’entartrage.<br />
Fig. 6.17 – unité pilote de nanofiltration tangentielle<br />
Les performances des membranes commerciales sont généralement données par les constructeurs<br />
pour des températures de référence entre 20 et 25 ◦ C. Or suivant la saison (été ou hivers) la<br />
température change et par conséquent les performances de la filtration aussi, ce qui nous a incité<br />
à conduire un travail expérimental. Et pour les besoins spécifiques de cette étude, nous avons<br />
conçu et montée une unité pilote de nanofiltration tangentielle (voir figure 6.17).<br />
Le travail en cours porte sur l’étude de l’effet de la température sur les performances (flux et<br />
rétention) de la nanofiltration de solutions aqueuses salines (eaux de mer et eaux saumâtres).<br />
Les données existantes dans la littérature sont peu nombreuses et ont abouti à des interprétations<br />
peu convaincantes et souvent contradictoires.<br />
Les expériences ont été réalisées avec l’eau pure et les solutés neutres (glycérol et glucose).<br />
Elles ont permis de mettre en évidence non seulement les effets sur le flux liés à l’évolution de<br />
paramètres physiques tels que la viscosité mais également des effets reliés à des changements<br />
structuraux au niveau de la membrane (diamètre des pores, épaisseur efficace). Ces travaux sont<br />
à compléter avec les solutés chargés et des eaux de mer et saumâtres reconstituées.
62 CHAPITRE 6. RÉSULTATS OBTENUS
Chapitre 7<br />
PERSPECTIVES<br />
7.1 Problèmes Inverses<br />
Le thème de la complétion de données par les divers outils évoqués plus haut restera le thème<br />
phare de l’équipe Problèmes Inverses. Rappelons que la complétion de données via l’opérateur de<br />
Steklov-Poincaré constitue l’épine dorsale du projet d’habilitation de J. Ben Abdallah.<br />
l’apport du projet a été d’établir une connexion entre la résolution de la complétion de<br />
données et les problèmes de décomposition de domaine. La condensation du problème —de<br />
complétion— sur la frontière support des données incomplètes fait apparaître, l’opérateur de<br />
Dirichlet-Neumann, connu aussi, dans la communauté de décomposition de domaine, sous la<br />
dénomination de Steklov-Poincaré.<br />
J. Ben Abdallah projette d’appporter son expertise en matière de méthodes de régularisation<br />
pour la complétion de données via l’opérateur Cauchy-Poincaré-Steklov. Il y a, en gros, deux<br />
familles de méthodes de régularisation celles qui consistent à ajouter un terme de régularisation<br />
de type Tikhonov ( terme de pénalisation). La deuxième famille remédie itérativement au caractère<br />
mal posé par la selection de critères d’arrêt ad hoc. Cette méthode fait l’objet d’un première Note<br />
en cours de finalisation.<br />
Suite au travail théorique accompli par H. El Fekih en collaboration avec F. Ben Belgacem du<br />
laboratoire MIP sur la formulation du problème de Cauchy à l’aide de l’approche de Dirichlet-<br />
Neumann (DN) ”primale”, H. El Fekih et M. Azaiez de l’ ENSCPB, envisagent de considérer la<br />
formulation ”duale” qui est basée sur l’opérateur dual de (DN), à savoir l’opérateur de Neumann-<br />
Dirichlet (ND). Il s’agit d’une approche qui s’apparente à celle adoptée en décomposition de<br />
domaine par la techique FETI de C. Farhat et F. Xavier-Rous. Il s’agit de mettre au point des<br />
alogrithmes de calcul perfomants pour la résolution du problème de Cauchy via la version duale<br />
(ND). Une analyse théorique sera menée ainsi qu’une investigation numérique aussi profonde que<br />
possible sur les solveurs itératifs de type BiCGSTAB et/ou GMRES couplés avec la régularisation<br />
de Tikhonov.<br />
L’équipe PI consolide sa collaboration avec les équipes IMOGE, PO et ENV à travers trois<br />
thèses : Celle de H. Sellami (IMOGE-PI) qui porte sur la reconstruction de contours, celle de R.<br />
Ben Fatma (PI-PO) qui porte sur la complétion de données et donc la première partie est dédiée<br />
à la résolution de systèmes linéaires quasi-singuliers et celle de I. Ben Saad (PI-ENV), cette thèse<br />
demarre à la prochaine rentrée et porte sur la détection de polluants.<br />
L’interaction PI-IMOGE est dans doute illustrée au mieux par les perspectives des travaux de<br />
M. Jaoua. Dans le courant des deux années à venir, M. Jaoua se propose d’exploiter la synergie<br />
qui apparaît entre les techniques utilisées pour la résolution des problèmes inverses, et celles intervenant<br />
en traitement d’images. Son travail avec C. Elhechmi et S. Chaabane consiste à ramener<br />
des techniques d’images vers le traitement des problèmes inverses de corrosion. Parallèlement, il<br />
effectue un mouvement inverse dans le travail avec H. Sellami et P. Destuynder. M. Jaoua et P.<br />
63
64 CHAPITRE 7. PERSPECTIVES<br />
Destuyender ont développé un algorithme simple de la segmentation d’images basèe sur la dualisation<br />
du problème avec une fonction coût de type TVD régularisée.En dimension 1, ils peuvent<br />
aller jusqu’au bout de l’algorithme de manière quasi explicite, et le mémoire de Mastère de H.<br />
Sellami a mis en évidence l’excellent comportement numérique de ce dernier. Un article est en<br />
cours de préparation sur ce travail, tandis que la thèse de Héla Sellami portera sur le problème<br />
2D, qui présente des aspects autrement plus complexes.<br />
L’équipe PI s’apprête à accueillir B. Samet, docteur issu de l’équipe ”optimisation topologique”<br />
du MIP-Toulouse. Ce recrutement, permettra d’impulser les applications utilisant ces outils.<br />
7.2 Propagation d’Ondes<br />
Les perspectives de l’activité méthodes de décomposition de domaines se situent essentiellement<br />
au niveau de la mise en øeuvre et de la simulation numérique de problèmes avec de grands<br />
nombres de degrés de liberté afin de tester la robustesse de nos algorithmes dans des situations<br />
moins académiques. Pour le retournement temporel, il s’agit surtout du passage en régime transitoire.<br />
Deux nouvelles études attirent notre attention. Il s’agit d’un travail qui sera effectué en<br />
collaboration avec le groupe POEMS (INRIA-ENSTA) et qui concerne les modèles de couches<br />
parfaitement adaptées. Ces modèles sont souvent utilisées pour résoudre des problèmes de diffraction<br />
ou de rayonnement posés dans un guide d’ondes en régime périodique établi. Ils sont<br />
d’une grande simplicité de mise en oeuvre et consistent à prolonger le domaine de calcul par<br />
un domaine fictif dans lequel à la fois absorbant et parfaitement adapté au milieu physique au<br />
sens où aucune réflexion ne se produit à l’interface. Nous proposons dans le cadre d’un projet<br />
de coopération INRIA-Université de Tunis, en collaboration avec Eliane Bécache et Anne-Sophie<br />
Bonnet Ben Dhia, d’étudier une nouvelle variante de la méthode dans le cas de milieux anisotropes.<br />
On s’intéressera enfin, en collaboration avec léquipe problèmes inverses du LAMSIN à<br />
l’algorithme de Koslov pour l’équation de Helmholtz. Riadh Ben Fatma a débuté une thèse sur ce<br />
sujet co-dirigée par Amel Ben Abda et Mejdi Azaiez de l’ENSCPB (Bordeaux). Il s’agit d’étudier<br />
l’algorithme des directions alternées proposé par Koslov et mis en oeuvre par divers auteurs<br />
dans le cadre elliptique. Nous nous proposons d’étendre ces méthodes au cadre de l’équation de<br />
Helmholtz. Ce sujet vise à explorer divers algorithmes, après leurs implémentations dans le code<br />
éléments finis Melina.<br />
7.3 Images, Modélisation et Géométrie<br />
L’élaboration d’un code (sous matlab) pour les diverses tâches de traitement d’images tels<br />
que restauration, lissage, classification et segmentation, par les méthodes du gradient topologique<br />
est projetée dans le cadre de la thèse de M. L. Siala et des habilitations de L. Jaafar-Belaid et M.<br />
Hassine. On abordera les problèmes de temps de calcul et de l’efficacité du code. On s’interesse<br />
à l’utilisation du code en traitement d’images médicales et des applications météorologiques.<br />
Le logiciel RGFlow pour la simulation par éléments discrets de l’écoulement et mélange des<br />
matériaux granulaires –idéalisés par des particules sphériques– sera modifié, par I. Trabelsi, pour<br />
la simulation des particules non-sphériques. Les problèmes de ségrégation de forme seront donc<br />
abordés.<br />
Nous comptons collaborer avec l’Office de Topographie et de Cartographie pour l’obtention<br />
des données qui seront utiliées pour la détermination du géoïde tunisien par les méthodes des<br />
moindres carrés généralisés. Cette étude sera éffectuée par A. Abdelmoula dans le cadre de sa<br />
thèse et en collaboration avec B. Philippe de l’INRIA (Rennes).<br />
Après la phase de la modélisation, on s’interessera à l’analyse et la mise en œuvre d’une
Contrôle des EDP 65<br />
méthode d’éléments finis pour le problème des tiges élastiques avec des points ou régions d’autocontact.<br />
Cette étude entre dans le cadre de la thèse de M. Chamekh.<br />
Enfin, nous projetons, en collaboration avec le groupe LCVM de l’Ecole Polytechnique<br />
Fédérale de Lausanne, l’extraction des characteristiques macroscopiques de la double hélice de<br />
l’ADN à partir des simulations par la dynamique moléculaire. Les characteristiques macroscopiques<br />
obtenues seront utilisées par des modéles de tiges élastiques.<br />
7.4 Contrôle des EDP<br />
• L’un des objectifs de l’équipe est d’étudier le contrôle et la stabilisation de l’équation de<br />
Schrödinger linéaire et semi linéaire. Dans le cadre de la thèse en co-tutelle (LAMSIN & MIP-<br />
UPS TOLOUSE) de Faten Maddouri (co-encadrée par F. Ben Belgacem (MIP-UPS), B. Dehman<br />
et H. El Fekih) on s’intéressera notamment au temps de contrôle qui peut être, pour certaines<br />
géométries et contrairement à ce qui est connu pour l’équation des ondes, arbitrairement petit.<br />
On pourra aussi étudier la dépendance de la constante d’observation en fonction du domaine et<br />
du temps de contrôle. Le pendant numérique de cette activité est la mise en place d’outils de<br />
calcul et de leur validation pour le traitement numérique du problème de contrôle ; nous pensons<br />
surtout à recourir à des techniques de réduction de modèle, telle que l’approche POD, pour mener<br />
à bien des simulations numériques de ce genre de problème en des temps raisonablement long.<br />
• L’équipe CEDP continuera à s’intéresser au contrôle actif d’écoulements en domaines borné<br />
et extérieur, tout en menant une analyse mathématique et en développant des outils numériques<br />
et codes de calculs performants. Nous projetons de développer des outils numériques afin de<br />
stabiliser des écoulements extérieurs régis par des équation aux dérivées partielles posées. Le<br />
travail prévu se décline en trois phases :<br />
- Implémenter une méthode numérique pour la simulation des écoulements extérieurs. La<br />
difficulté majeure consiste à prendre en compte les conditions à la limite à l’infini par des<br />
conditions de sortie convenables (aussi précises que possible). L’approche qui sera adoptée est<br />
de type couplage éléments finis et représentation intégrale, qui permettra d’effectuer des calculs<br />
sur un domaine borné.<br />
- Le deuxième volet consiste à écrire les conditions d’optimalité des problèmes de contrôle des<br />
systèmes de Stokes et de Navier-Stokes posés sur des domaines tronqués. Elles serviront à mettre<br />
au point un algorithme de contrôle frontière en boucle ouverte. Cette partie s’achèvera par une<br />
validation des outils de calculs mis en place sur un problème de type stabilisation.<br />
- Le troisième volet consiste développer des lois de feedback sur les modèles linéarisés (écriture,<br />
étude et approximation numérique des équations de Riccati). Des correcteurs utilisant la structure<br />
quadratique de la non linéarité du modèle seront étudiés.<br />
• Concernant les perspectives sur les travaux de recherche de la thèse d’A. Lakhoua, codirigée<br />
par M. Akian et S. Gaubert (INRIA, Maxplus), il faudra du point de vue théorique,<br />
étudier la convergence des schémas numériques utilisés sous des hypothèses de régularité plus<br />
faibles, en s’appuyant par exemple soit sur la notion de convergence faible max-plus, soit sur<br />
la notion de solution de viscosité. Il faudra aussi comparer numériquement cette méthode avec<br />
les méthodes classiques. On pourra aussi proposer d’autres méthodes max-plus linéaires, et/ou<br />
étudier les discrétisations d’équations de (HJ) stationaires, auquelles on pourra appliquer les<br />
algorithmes d’itérations sur les politiques. Du point de vue pratique, il faudra développer un<br />
solveur numérique (par exemple en C interfacé avec Scilab). Ceci permettra en particulier de<br />
tester la ou les méthode(s) sur des exemples concrets issus de la biologie (chronothérapeutique)<br />
ou de l’industrie.
66 CHAPITRE 7. PERSPECTIVES<br />
7.5 Environnement<br />
Vu que la modélisation des écoulements en mécaniques des fluides repose essentiellement sur<br />
les équations de Navier Stokes 2D ou 3D ou celles de Saint Venant, nous projetons d’élaborer un<br />
logiciel utilisant les méthodes de volumes finis pour résoudre ces équations puis en fonction de<br />
chaque application nous n’aurons plus après qu’ à rajouter des subroutines qui tiendont compte<br />
de la différence de la physique de chaque problème. Ce logiciel va être élaboré par K. Ben Ali,<br />
R. Badé et T. Ahmed dans le cadre de leur thèse et une partie de l’habilitation de N. Harrigua<br />
Tlatli et M. Abdelwahed. Ce travail comportera aussi un estimateur d’erreurs a posteriori<br />
pour les méthodes de volumes finis qui par l’introduction d’indicateurs d’erreurs permet de nous<br />
indiquer les endroits où le maillage doit être raffiné et par suite éviter d’avoir un maillage fin<br />
partout. Ceci permettra de minimiser le temps de calculs, d’avoir des solution plus précises et<br />
traiter des cas de calculs importants sur des domaines réels. Alors que N. Kharrat s’intéresse à la<br />
détermination d’un tel indicateur pour les méthodes délements finis et qui est basée sur l’étude<br />
de l’erreur entre la solution exacte du problème de Stokes et celle du schéma semi-discrétisé en<br />
temps. M. Abdellawed s’intéresse aussi aux Algorithmes parallèles et calculs intensifs qui permet<br />
de réduire considérable le temps de calcul. Ce travail sera fait en collaboration avec J. Jaffré et J.<br />
Robert de l ’INRIA Rocquencourt, et R. Bouhlila du laboratoire de Modélisation en Hydraulique<br />
et Environement (ENIT-LMHE). Une partie cinétique va être incorporer dans ce logiciel ce qui<br />
permettra la résolution des équations de transfert des bulles dans le cas des lacs eutrouphes mais<br />
aussi dans le cas de l’écouelemnt du sang dans les vaisseaux. Ce travail sera proposé comme sujet<br />
de mastère au mois d avril et sera fait en collaboration avec Adélia Séquéira de IST de Lisbonne.<br />
Comme perspective du travail des écoulements chargés, nous comptons résoudre le problème<br />
dynamique où nous aurons à résoudre le système couplé des équations de Navier-Stokes avec<br />
l’équation d’induction. Ensuite nous comptons passer à un domaine sphérique, pour des applications<br />
géophysiques.<br />
La résolution numérique du modèle des semiconduteurs capteurs de gaz couplant les équations<br />
cinétiques et la mécanique quantique fait l’objet de la thèse Hechmi Hattab et l’habilitation de<br />
J. Kéfi. Ce travail est fait en collaboration avec N. Ben Abdallh du laboratoire MIP de Toulouse<br />
et M. Abaab du laboratoire photovoltaque et matériaux semiconducteurs de l’ENIT.<br />
7.6 Procédés<br />
L’équipe compte étoffer ses ressources humaines à partir du Mastère de Chimie industrielle<br />
de l’INSAT. Ceci permettrait de lancer les thématiques suivantes :<br />
– Développement et perfectionnement de l’outil de modélisation et de calcul numérique des<br />
équilibres physico-chimiques dans les systèmes complexes ;<br />
– Etude du procédé de récupération d’argent à partir des solutions radiographiques par<br />
déplacement métallique ;<br />
– Traitement des eaux usées (eaux grises) pour la réutilisation ;<br />
– Conception de nouveaux matériaux pour les membranes à base de produits locaux ;<br />
– Etc.
Troisième partie<br />
PRODUCTION SCIENTIFIQUE<br />
67
Chapitre 8<br />
Production scientifique<br />
8.1 Synthèse de la production scientifique 1<br />
Nature<br />
Publications nationales parues dans des revues<br />
à comités de lecture<br />
Nombre total réalisé<br />
durant la période<br />
2003-Avril 2005<br />
Nombre en cours de<br />
réalisation (soumis)<br />
Publications internationales parues et acceptés<br />
dans des revues indéxées à comités de<br />
lecture<br />
38 15<br />
Communications nationales 4<br />
Communications internationales réalisées<br />
(avec actes)<br />
52<br />
Ouvrages (livres) parus 1<br />
Brevets nationaux déposés/parus<br />
Brevets internationaux déposés/parus<br />
8.2 Publications scientifiques<br />
8.2.1 Articles parus dans des Revues à Comité de Lecture<br />
1. M. Abdelwahed, M. Amara, F. El Dabaghi – A P 1 bubble/P 1 finite element velocitypressure<br />
solution of a pseudo homogeneous flow model simulating a two phase flow :<br />
Application to a lake eutrophication remedial by air injection. Monografías del Seminario<br />
Matemático García de Galdeano, Vol. 27, pp.1-8, 2003.<br />
2. C.J.S. Alves, J. Ben Abdallah, M. Jaoua – Recovery of cracks using a reciprocity gap<br />
function. Inverse Problems in Engineering, 12(5), pp 519-534, 2004.<br />
1 Liste complète des références (voir section 8.2)<br />
69
70 CHAPITRE 8. PRODUCTION SCIENTIFIQUE<br />
3. K. Ammari, M. Jellouli, M. Khenissi – Stabilization of generic tress of strings. Journal of<br />
Dynamical and Control Systems, 11(2), avril 2005.<br />
4. S. Andrieux, A. Ben Abda, T. Nouri Baranger – Data completion via an energy like error<br />
functional. Comptes Rendus Mécanique, 333(2), pp. 171-177, 2005.<br />
5. L. Baratchart, A. Ben Abda, F. Ben Hassen, J. Leblond – Recovery of pointwise sources<br />
and small size conductivity defaults by rational approximation.Inverse Problems, 21(1), pp.<br />
51-74, 2005.<br />
6. A. Bchatnia, M. Daoulatli – Scattering and exponential decay of the local energy<br />
for the solutions of semilinear and subcritical wave equation outside convex obstacle.<br />
Mathematische Zeitschrift, 247, pp. 619-642, 2004.<br />
7. A. Ben Abda, F. Delbary, H. Haddar – On the use of the Reciprocity-Gap functional in<br />
inverse scattering from planar crack. M3AS, 10(15), pp. 619-642, 2005.<br />
8. N. Ben Abdallah, H. Chaker – The high field asymptotics for degenerate semiconductors :<br />
Initial and boundary layer analysis. Asymptotic Analysis, 37(2), pp. 143-174, 2004.<br />
9. N. Ben Abdallah, H. Chaker – Diffusion induced by grain boundaries : a SHE model.<br />
Comm. Math. Sci., 2(1), pp. 95-120, 2004.<br />
10. H. Ben Ameur, M. Burger, B. Hackl – Level set methods for geometric inverse problems<br />
in linear elasticity. Inverse Problems, 20, pp. 673-696, 2004.<br />
11. F. Ben Belgacem, H. El Fekih, H. Metoui – Singular perturbation for Dirichlet boundary<br />
control problems of elliptic equations. Math. Model. Numer. Anal.(M2AN),37, pp. 833–850,<br />
2003.<br />
12. F. Ben Belgacem, H. El Fekih , J.P. Raymond – A penalized Robin approach for solving<br />
a parabolic equation with nonsmooth Dirichlet boundary conditions. Asymptotic Analysis,<br />
34(2), pp 121–136, 2003.<br />
13. F. Ben Belgacem, M. Fournié, N. Gmati, F. Jelassi – Sur le traitement des conditions aux<br />
limites à l’infini pour quelques problèmes extérieurs par la méthode de Schwartz alternée.<br />
C. R. Acad. Sci. Paris, Ser. I 336, pp. 277-282, 2003.<br />
14. A.S. Bonnet-Ben Dhia, D. Drissi, N. Gmati – Simulation of muffler’s transmission loss<br />
by a homoginized finite element method. Journal of Computational Acoustics, 12(3),pp.<br />
447-474, 2004.<br />
15. S. Chaabane, C. Elhechmi, M. Jaoua – A stable recovery algorithm for the Robin<br />
inverse problem.Mathematics and Computers in Simulation, 66, pp. 367-383, 2004.<br />
16. S. Chaabane, J. Ferchichi, K. Kunisch – Differentiability properties of the L 1 -tracking<br />
functional and application to the Robin inverse Problem. Inverse Problems, 20, pp 1083-<br />
1097, 2004.<br />
17. S. Chaabane, M. Jaoua, J. Leblond – Parameter identification for Laplace equation and<br />
approximation in analytic classes. J. Inv. Ill-posed problems, 11(1), pp.1-25, 2003.<br />
18. S. Chaabane, I. Fellah, M. Jaoua, J. Leblond – Logarithmic stability estimates for a<br />
Robin coefficient in 2D Laplace inverse problems. Inverse Problems 20, pp. 47-59, 2004.<br />
19. B. Dehman, G. Lebeau, E. Zuazua – Stabilization and control for the subcritical semilinear<br />
wave equation. Annales Scientifiques de l’Ecole Normale Supérieure, 4eme série, 36, pp. 525-<br />
551, 2003.<br />
20. T. Ha-Duong, M. Jaoua, F. Menif – A modified frozen Newton method to identify a<br />
cavity by means of boundary measurements. Mathematics and Computers in Simulation,<br />
66, pp. 355-366, 2004.
Publications scientifiques 71<br />
21. M. Hassine, M. Masmoudi – The topological asymptotic expansion for the quasi-Stokes<br />
problem. ESAIM COCV, 10, pp. 478-504, 2004.<br />
22. M. Jaoua, S. Nicaise, L. Paquet – Identification of cracks with non linear impedances.<br />
Mod. Num. et Anal. Num., 37, pp. 241–257, 2003.<br />
23. M. Khenissi – Equation des ondes amorties dans un domaine extérieur. Bulletin de la<br />
SMF, 131(2), pp. 211–228, 2003.<br />
24. A. Mgaidi, F. Ben Brahim, D.Oulahna, A. Nizihou, M. EL Maaoui – Chemical and<br />
Structural changes of raw phosphate during heat treatment. High Temperature Materials<br />
Processes, 23(3),pp. 115, 2004.<br />
25. A. Mgaidi, F. Jendoubi, D. Oulahna, M. EL Maaoui, J.Dodds – Kinetics of dissolution of<br />
sand into alkaline solutions : Application of a modified shrinking core model. Hydrometallurgy,<br />
71, pp. 435-446, 2004.<br />
26. A. Mgaidi, F. Ben Brahim, D. Oulahna, M.EL Maaoui, J.Dodds – Change in the surface<br />
area and dissolution rate during acid leaching of phosphate particles at 25 ◦ C. Ind. Eng.<br />
Chem. Res., 42, pp. 2067-2073, 2003.<br />
8.2.2 Articles acceptés dans des Revues à Comité de Lecture<br />
1. M. Abdelwahed, F. El Dabaghi, D. Ouazar – An alternative two phase flow correction<br />
for aeration process in lakes. Accepté pour publication dans International Journal of<br />
Computational Fluid Dynamics.<br />
2. S. Amstutz, I. Horchani, M. Masmoudi – Crack detection by the topological gradient<br />
method. Accepté pour publication dans The special issue of the journal Control and<br />
Cybernetics on ”Recent Advances in Shape and Topology Optimization”.<br />
3. M. Azaiez, A. Ben Abda, J. Ben Abdallah – Revisiting the Dirichlet-to-Neumann solver<br />
for data completion and application to some inverse problems. Accepté pour publication<br />
dans International Journal of Applied Mathematics and Mechanics.<br />
4. P.G. Batchelor, M. Moakher, D. Atkinson, F. Calamante, A. Connelly – A rigourous<br />
framework for diffusion tensor calculus. Accepté pour publication dans Magnetic Resonance<br />
in Medicine.<br />
5. F. Ben Belgacem, M. Fournié, N. Gmati, F. Jelassi – On The Schwarz Algorithms for<br />
the Elliptic Exterior BoundaryValue Problems. Accepté pour publication dans Mod. Math.<br />
et Ana. Num. (M2AN).<br />
6. M. Ben Haj, H. Chaker, Z. Hafsia, K. Maalel – Two-dimensional free surface modelling<br />
for a non-dimensional Dam-Break problem. Accepté pour publication dans PHOENICS<br />
Journal, Computational Fluid Dynamics and its Applications.<br />
7. F. Ben Hassen, E. Bonnetier – Asymptotic formulas for the voltage potential in a<br />
composite medium containing close or touching disks of small diameter. Accepté pour<br />
publication dans SIAM J. Multiscale Methods and Simulation.<br />
8. A.S. Bonnet-Ben Dhia, D. Drissi, N. Gmati – Mathematical analysis of the acoustic<br />
diffraction by a muffler containing perforated duct. Accepté pour publication dans Mathematical<br />
Models and Methods in Applied Sciences (M3AS).<br />
9. N. Kharrat, Z. Mghazli – Residual error estimates for the time-dependent Stokes equations.<br />
Accepté pour publication dans les Comptes Rendus à l’Académie des Sciences, Série<br />
I.<br />
10. M. Moakher – A differential geometric approach to the geometric mean of symmetric<br />
positive-definite matrices. Accepté pour publication dans SIAM J. Matrix Anal. Appli..
72 CHAPITRE 8. PRODUCTION SCIENTIFIQUE<br />
11. M. Moakher, P.G. Batchelor – Symmetric positive-definite matrices : From geometry<br />
to applications and visualization. Accepté pour publication dans Visualization and Image<br />
Processing of Tensor Fields, J. Weikerrt and H. Hagen, Eds., Springer, Berlin.<br />
12. M. Moakher, J. H. Maddocks – A double-strand elastic rod theory. Accepté pour<br />
publication dans Archives for Rational Mechanics and Analysis (ARMA).<br />
8.2.3 Articles soumis à des Revues à Comité de Lecture<br />
1. L. Aloui, M. Khenissi – Stabilization of Schrödinger equation in exterior domains. Soumis<br />
pour publication ‘a ESAIM-COCV.<br />
2. K. Ammari, M. Khenissi – Decay rates of the plate equations. Soumis pour publication<br />
‘a Math. Nach.<br />
3. M. Azaiez, X. Barthlemy, A. Ben Abda, J. Ben Abdallah – Steklov-Poincaré operator<br />
for the Cauchy problem. Soumis pour publication à Journal of Scientific Computing.<br />
4. A. Bchatnia – Scattering and decay of the local energy for the solutions of the critical<br />
wave equation Soumis pour publication à Comm. in Parial Diff. Eq..<br />
5. H. Ben Ameur, M. Burger, B. Hackl – On some geometric inverse problems in linear<br />
elasticity. soumis pour publication à Journal of Applied Mathematics and Mechanics<br />
(ZAMM).<br />
6. F. Ben Belgacem, H. El Fekih – On Cauchy’s problem. I- A variational Steklov-Poincaré’s<br />
theory. Soumis pour publication à Inverse Problems.<br />
7. F. Ben Belgacem, N. Gmati, F. Jelassi, R. Touzani – Calculation of time harmonic<br />
planar Eddy currents by an alternating Schwarz method. Soumis pour publication à IEEE<br />
Transactions on Magnetics.<br />
8. F. Ben Hassen, E. Bonnetier – An asymptotic formula for the voltage potential in a perturbed<br />
ε–periodic composite medium containing misplaced inclusions of size ε. soumis pour<br />
publication aux Proceedings of the Royal Society of Edinburgh. Section A. Mathematics.<br />
9. H. Chaker – Diffusion induced by grain boundaries and volume collisions in semiconductor<br />
superlattices. Soumis pour publication à TTSP.<br />
10. M. Daoulatli – Local energy decay for the nonlinear dissipative wave equation in an<br />
exterior domain. Soumis pour publication à Portugalae Mathematica.<br />
11. N. Gmati, N. Zrelli – Numerical study of some iterative solvers for acoustics in unbounded<br />
domains. Soumis pour publication à la Revue Africaine de la Recherche en Informatique et<br />
Mathématiques Appliquées (ARIMA).<br />
12. P. Guillaume, M. Hassine – Removing holes in topological shape optimization. Soumis<br />
pour publication à ESAIM-COCV.<br />
13. L. Hamouda – Numerical resolution techniques of mixed hybrid formulations for 3D-<br />
Magnetostatics. Soumis pour publication à The Inter. J. for Comp. and Math. in Electrical<br />
and Electronic Eng. (COMPEL).<br />
14. M. Moakher – On the averaging of symmetric positive-definite tensors. Soumis pour<br />
publication à Journal of Elasticity.<br />
15. R. Touihri, A. Soulaimani, F. Plunian – A Finite element formulation applied to the<br />
kinematic MHD dynamo problem on a benchmark test in cylindrical geometry. Soumis<br />
pour publication à Journal of Computational Physics (JCP).
Publications scientifiques 73<br />
8.2.4 Communications internationales dans des revues indexées à comité de<br />
lecture & Conférences Invitées<br />
1. M. Abdelwahed – Implémentation parallèle d’un code E.F. Navier-Stokes 2D pour la<br />
simulation d’ecoulements diphasiques. Workshop sur l’apport des technologies de l’information<br />
et du calcul intensif distribué dans la gestion et la modélisation des ressources en eau :<br />
Problématique de l’eutrophisation, Alger, décembre 2004.<br />
2. M. Abdelwahed, R. Bade, H. Chaker – Eutrophisation des lacs : Modélisation<br />
d’injection de bulles dans un lac par une méthode cinétique. Colloque TAM-TAM’05, pp.<br />
211-217, Tunis, avril 2005.<br />
3. M. Abdelwahed, F. El Dabaghi – Two Proposed models for the numerical study of the<br />
treatment of lake eutrophication through mechanical aeration. Proceeding of the IASTED<br />
International Conference on Applied Simulation and Modelling (ASM 2004), pp. 148-153,<br />
Rhodes-Greece, Juin 2004.<br />
4. M. Abdelwahed, F. El Dabaghi, M. Hassine – A Parallel Algorithm Implementation of<br />
Navier-Stokes Type Model Simulating a Two Phase Flow. Proceedings of the 22nd IASTED<br />
International Conference on Modelling, Identification, and Control (MIC 2003), pp. 453-458,<br />
Innsbruck, Austria, 2003.<br />
5. M. Akian, S. Gaubert, A. Lakhoua – A max-plus finite element method for solving finite<br />
horizon deterministic optimal control problems. Proceedings of the International Symposium<br />
on Mathematical Theory of Networks and Systems (MTNS’04), Leuven, Belgique, 5-9<br />
Juillet 2004.<br />
(http ://www.mtns2004.be)<br />
6. M. Akian, S. Gaubert et A. Lakhoua – Une méthode d’éléments finis max-plus pour<br />
la résolution d’équations d’Hamilton-Jacobi. Congrés d’Analyse Numérique (CANUM),<br />
France, Juin 2004.<br />
7. M. Akian, S. Gaubert, A. Lakhoua – A max-plus finite element method for solving<br />
Hamilton-Jacobi equations. Colloque TAM-TAM’05, pp. 69-74, Tunis, avril 2005.<br />
8. H. Arfaoui – Commande optimale des équations de Saint-Venant 1D. Colloque International<br />
sur les Mathématiques Appliquées à l’Industrie et la Physique (CIMAIP), El Jadida,<br />
Maroc, avril 2004.<br />
(http ://mip.ups-tlse.fr/seminaire/colloque2004/cimaip.html)<br />
9. H. Arfaoui – Stabilisation et commande des équations de Saint-Venant 1D. Colloque<br />
TAM-TAM’05, pp. 57-62, Tunis, avril 2005.<br />
10. H. Arfaoui, F. Ben Belgacem, H. El Fekih , J.-P. Raymond – Simulation Numérique<br />
d’un problème de contrôle frontière pour les équations de Saint-Venant 1D. Colloque TAM-<br />
TAM’03, Rabat, Maroc, avril 2003.<br />
11. M. Azaiez, A. Ben Abda, J. Ben Abdallah, F. Ben Belgacem – On the Dirichlet-<br />
Neumann algorithm for data completion : Application to some inverse problems. Actes du<br />
sixième Colloque National en Calcul des Structures, pp. 20-23, Giens, France, mai 2003.<br />
12. A. Ben Abda, Lamia Jaafar-Belaid, A. Sakat – On solving the Cauchy proplem for<br />
Laplace’s equation and applications. Colloque TAM-TAM’05, pp. 468-473, Tunis, avril 2005.<br />
13. C. Ben Amar, N. Gmati, C. Hazard, K. Ramdani – Modélisation mathématique d’un<br />
miroir à retournement tomporel. Colloque TAM-TAM’05, pp. 490-495, Tunis, avril 2005.<br />
14. F. Ben Belgacem, M. Fournié, N. Gmati, F. Jelassi – Convergence de l’Algorithme de<br />
Schwarz pour le traitement des conditions aux limites à l’infini pour un problème elliptique.<br />
Colloque TAM-TAM’03, Rabat, Maroc, avril 2003.
74 CHAPITRE 8. PRODUCTION SCIENTIFIQUE<br />
15. F. Ben Belgacem, M. Fournié, N. Gmati et F. Jelassi – Handling the Boundary<br />
conditions at infinity for some exterior problems by the alternating Schwarz method. The<br />
6th International Conference on Mathematical and Numerical Aspects of Wave Propagation<br />
”Waves 2003”, Finland, Juillet, 2003.<br />
16. F. Ben Hassen, L. Baratchart, A. Ben Abda, J. Leblond Recovery of pointwise and<br />
small size conductivity defauts by boundary measurements. Colloque TAM-TAM’03, Rabat,<br />
Maroc, avril 2003.<br />
17. S. Ben Miled – A discrete model with density dependence fishing efforts. The Computational<br />
and Mathematical Population Dynamics Conference (CMPD), Trento, Italy, Juin<br />
2004.<br />
18. S. Ben Miled, A. Kebir – Modélisation d’une population de mérous, effets du braconnage<br />
et de la migration. Colloque TAM-TAM’05, pp. 533-539, Tunis, avril 2005.<br />
19. S. Ben Miled, A. Kebir – A density dependent model describing grouper population<br />
dynamics in a grouper territory. Effects of fishing. The Computational and Mathematical<br />
Population Dynamics Conference (CMPD), Trento, Italy, Juin 2004.<br />
20. S. Chaabane, C. Elhechmi,M. Jaoua – Une méthode stable pour l’identification du<br />
coefficient de Robin. Colloque TAM-TAM’03, Rabat, Maroc, avril 2003.<br />
21. S. Chaabane, C. Elhechmi, M. Jaoua – Etude de la robustesse du problème de Kohn<br />
et Vogelius. Colloque TAM-TAM’05, pp. 432-437, Tunis, avril 2005.<br />
22. S. Chaabane, I. Fellah, M. Jaoua, J. Leblond – Complétion de données dans les espaces<br />
de Hardy et problèmes inverses pour le Laplacien en 2D. Colloque TAM-TAM’03, Rabat,<br />
Maroc, avril 2003.<br />
23. S. Chaabane, I. Fellah, M. Jaoua, J. Leblond – Problème inverse géométrique :<br />
Identification d’une partie inconnue de la frontière. Colloque TAM-TAM’05, pp. 444-449,<br />
Tunis, avril 2005.<br />
24. S. Chaabane, J. Ferchichi, K. Kunisch – Differentiability of the L 1 -tracking functional<br />
linked to the Robin inverse problem. 7 ème IFIP, Sophia-Antipolis, 2003.<br />
25. H. Chaker, N. Ben Abdallah – La limite asymptotique de l’équation de Boltzmann à<br />
champ fort dans un semi-conducteur dégénéré : Problème de couche initiale et couche<br />
limite.Colloque TAM-TAM’03, Rabat, Maroc, avril 2003.<br />
26. M. Chamekh, S. Mani-Aouadi, M. Moakher – Modélisation d’Autocontact dans une<br />
tige élastique. Journées Méditerranéennes de Mathématiques Appliquées, Tozeur-Tunisie,<br />
Mars 2005.<br />
27. M. Chamekh, S. Mani-Aouadi, M. Moakher – Analyse mathématique et numérique des<br />
tiges élastiques avec autocontact. Colloque TAM-TAM’05, pp. 556-561, Tunis, avril 2005.<br />
28. H. El Fekih – Problèmes de contrôle optimal paraboliques avec une commande Dirichlet :<br />
Approche variationnelle et pénalisation. Colloque International sur les Mathématiques<br />
Appliquées à l’Industrie et la Physique (CIMAIP), El Jadida, Maroc, avril 2004.<br />
(http ://mip.ups-tlse.fr/seminaire/colloque2004/cimaip.html)<br />
29. N. Frih, J. Roberts, A. Saada – Ecoulement Darcy-Forchheimer dans un milieu poreux<br />
fracturé. Colloque TAM-TAM’05, pp. 235-242, Tunis, avril 2005.<br />
30. S. Ghnimi, R. Touihri – Méthode de continuation pour des instabilités hydrodynamiques<br />
3D en géométrie cylindrique. Colloque TAM-TAM’05, pp. 287-292, Tunis, avril 2005.<br />
31. N. Gmati, N. Zrelli – Une méthode d’itérations de sous domaines pour l’équation de<br />
helmoltz dans un guide infini. Colloque TAM-TAM’03, Rabat, Maroc, avril 2003.
Publications scientifiques 75<br />
32. L. Hamouda – Numerical resolution techniques of mixed hybrid formulations for 3D-<br />
Magnetostatics. 11th International IGTE Symposium, Seggauberg (Graz), Autriche, 13-15<br />
septembre 2004.<br />
(http ://www.igte.tugraz.at/symp04)<br />
33. M. Hassine – Topological sensitivity for the Quasi-Stokes equations. Workshop on shape<br />
optimization in life sciences and environment, Toulouse, 25-26 mars 2004.<br />
34. M. Hassine – Identifying air injectors locations using a topological asymptotic expansion.<br />
Colloque TAM-TAM’03, Rabat, Maroc, avril 2003.<br />
35. M. Hassine – Shape optimization for the stokes equations using topological gradient.<br />
Colloque TAM-TAM’05, pp. 404-410, Tunis, avril 2005.<br />
36. M. Hassine, S. Jan, M. Masmoudi – From differential calculus to 0−1 optimization. European<br />
Congres on Computational Methods in Applied Sciences and Engineering (ECOMAS),<br />
Jyväskylä, Juillet, 2004.<br />
37. I. Horchani – Application de la méthode de Gauss-Newton à l’identification de fissures.<br />
Colloque TAM-TAM’05, pp. 450-454, Tunis, avril 2005.<br />
38. M. Jaoua – Algorithmes numériques pour la résolution du problème inverse de Robin.<br />
Workshop on Shape Optimization in Life Sciences and Environment, Toulouse, France,<br />
mars 2004.<br />
39. M. Jaoua – Résolution numérique d’un problème inverse de corrosion. Colloque International<br />
sur les Mathématiques Appliquées à l’Industrie et la Physique (CIMAIP), El Jadida,<br />
Maroc, avril 2004.<br />
(http ://mip.ups-tlse.fr/seminaire/colloque2004/cimaip.html)<br />
40. L. Jaafar Belaid, M. Jaoua, M. Masmoudi, M. L. Siala – Image restoration and edge<br />
detection by topological asymptotic expansion. Colloque TAM-TAM’05, pp. 45-53, Tunis,<br />
avril 2005.<br />
41. M. Jaoua – Numerical recovery of cracks from incomplete boundary measurements.<br />
Workshop on New challenges in Applied Mathematics, Castro Urdiales, Espagne, septembre<br />
2003.<br />
42. M. Jaoua – Two algorithms for the identification of a corrosion coefficient. Satellite<br />
conference on Control and Optimization of AMAM, Applied Mathematics and Applications<br />
of Mathematics, Nice, France, février 2003.<br />
43. M. Jaoua – A self regularizing least squares method. Meeting on Inverse problems in wave<br />
scattering and impedance tomography, Oberwolfach, RFA, avril 2003.<br />
44. M. Jaoua, J. Leblond, M. Mahjoub, J. Partington – Analytic extensions on an annulus :<br />
applications for some inverse problems. Colloque TAM-TAM’05, pp. 461-467, Tunis, avril<br />
2005.<br />
45. F. Jellassi – Simulation des courants de Foucault harmoniques dans des domaines non<br />
bornés par la méthode de Schwarz alternée. Colloque TAM-TAM’05, pp. 335-340, Tunis,<br />
avril 2005.<br />
46. J. Kefi – The two-band schrödinger model. Colloque TAM-TAM’05, Tunis, avril 2005.<br />
47. N. Kharrat, Z. Mghazli – Residual error estimators for the time dependent stokes<br />
equations. Colloque TAM-TAM’05, pp. 202-207, Tunis, avril 2005.<br />
48. H. Metoui – Contrôle optimal de l’équation d’advection-diffusion. Colloque International<br />
sur les Mathématiques Appliquées à l’Industrie et la Physique (CIMAIP), El Jadida, Maroc,<br />
avril 2004.<br />
(http ://mip.ups-tlse.fr/seminaire/colloque2004/cimaip.html)
76 CHAPITRE 8. PRODUCTION SCIENTIFIQUE<br />
49. H. Metoui – Sur les problèmes de contrôle optimal frontière pour l’équation de la chaleur.<br />
Colloque TAM-TAM’05, pp. 82-88, Tunis, avril 2005.<br />
50. F.Mezali, F. El Dabaghi, M. Abdelwahed, B.Nakhle – Performance parallèle d’un code<br />
E.F.Navier-Stokes 2D en vitesse pression pour la simulation d’écoulements diphasiques.<br />
Colloque TAM-TAM’05, pp. 279-285, Tunis, avril 2005.<br />
51. M. Moakher – Rods with microstructure as a model for double-stranded rods. Workshop<br />
on Calculus of Variations : Geometric Problems, Superconductivity, and Material Microstructures,<br />
The Fields Institute for Research in Mathematical Sciences, Toronto, Canada,<br />
août 2003.<br />
52. T. Nouri-Baranger, J. Ben Abdallah, M. L. Kadri – Application de l’algorithme de<br />
Neumann-Dirichlet pour la complétion de données en élasticité plane. Colloque TAM-<br />
TAM’05, pp. 455-460, Tunis, avril 2005.<br />
8.2.5 Communications nationales<br />
1. A. Bchatnia – Scattering and decay of the local energy for the solutions of the critical<br />
wave equation. Colloque de la Société de Mathématiques Tunisienne, Mahdia, Mars 2004.<br />
2. A. Bchatnia – Décroissance exponentielle de l’énergie locale pour les ondes critiques à<br />
l’extérieur d’un obstacle convexe. Journées d’EDP, Monastir, Mai 2004.<br />
3. A. Bchatnia – Scattering et décroissance exponentielle de l’énergie locale pour les ondes<br />
semi linéaires à l’extérieur d’un obstacle convexe. Colloque de la Société de Mathématiques<br />
Tunisienne, Hammamet, Mars 2003.<br />
4. O. Chérif, A. Mgaidi, M. El Maaoui – Temperature and concentration dependence of<br />
viscosity of aqueous phosphoric acid solutions from 5 to 80C. Journées de la société<br />
Chimique de Tunisie, Hammamet, 20-23 décembre 2004<br />
8.2.6 Rapports de recherche LAMSIN<br />
Au cours des deux dernières années, le laboratoire a poursuivi la publication et la diffusion -<br />
initiées en 1998 - de sa série de rapports de recherche, permettant ainsi la diffusion des travaux<br />
en cours de publication de ses chercheurs. Les rapports sont disponibles sur demande auprès de<br />
leurs auteurs, ou du secrétariat du LAMSIN (la liste complètes, depuis 1998, est disponible sur<br />
le site web du laboratoire : http ://www.<strong>lamsin</strong>.rnu.tn). Jusqu’au 30 avril 2005, les rapports<br />
de recherches parus depuis 2003 sont listés ci-dessous.<br />
RR 03-01 T. Ha Duong, M. Jaoua, F. Menif – A modified frozen Newton Method to identify<br />
a cavity by means of boundary measurements.<br />
RR 03-02 S. Chaabane, C. Elhechmi, M. Jaoua – A stable Recovery method for the<br />
Robin inverse problem.<br />
RR 03-03 L. Baratchart, A. Ben Abda, F. Ben Hassen, J. Leblond – Recovery of pointwise<br />
sourdes and small size conductivity defaulrs by rational approximation.<br />
RR 03-04 S. Chaabane, I. Fellah, J. Leblond – Logarithmic stability estimates for a Robin<br />
coefficient in 2D Laplace inverse problems.<br />
RR 03-05 M. Abdelwahed, M. Amara, F. El Dabaghi – Approximation par éléments finis<br />
d’un écoulement diphasique résultant du processus d’aération des lacs.<br />
RR 03-06 M. Abdelwahed, M. Amara, M. Hassine – Analyse algorithmique parallèle de<br />
performance pour un solveur simulant un modéle d’écoulement diphasique simplifié.<br />
RR 03-07 M. Abdelwahed, F. El Dabaghi, D. Ouazar – A corrected one phase modeling of<br />
a water-air bubbles two-phase flow for the simulation of aeration process in lakes.
Publications scientifiques 77<br />
RR 03-08 F. Ben Hassen, E. Bonnentier – Asymptotic formulas for the voltage potential<br />
in a composite medium containing close or touching disks of small diameter.<br />
RR 04-01 M. Azaiez, A. Ben Abda, J. Ben abdallah, F. Ben Belgacem – Revisiting the<br />
Dirichlet-to-Neumann solver for data completion and application to some inverse problems.<br />
RR 04-02 M. Daoulatli – Local energy decay for the nonlinear dissipative wave equation in<br />
an exterior domain.<br />
RR 04-03 A. Bchatnia – Scattering and decay of the local energy for the solutions of the<br />
critical wave equation.<br />
RR 04-04 F. Ben Belgacem, M. Fournié, N. Gmati, F. Jelassi – On the Schwarz algorithms<br />
for the Elliptic Exterior Boundary Value problem.<br />
RR 04-05 H. Chaker – Diffusion induced by grain boundaries and volume collisions in<br />
semiconductor superlattices.<br />
RR 04-06 A.S. Bonnet-Ben Dhia, D. Drissi, N. Gmati – Mathematical analysis of the<br />
acoustic diffraction by a muffler containing perforated duct.<br />
RR 04-07 F. Belgacem, N. Gmati, F. Jelassi, R. Touzani – Calculation of time harmonic<br />
eddy currents by an alternating Schwarz method.<br />
RR 04-08 N. Gmati, N. Zrelli – Numerical study of some iterating solvers for acoustics in<br />
unbounded domains.<br />
RR 05-01 Ph. Guillaume, M. Hassine – Removing holes in topological shape optimisation.<br />
RR 05-02 F. Ben Belgacem, H. El Fekih – On Cauchy’s Problem. I. A Variational Steklov-<br />
Poincaré’s Theory.<br />
RR 05-03 M. Azaïez, X. Barthélemy, A. Ben Abda, J. Ben Abdallah – Steklov-Poincaré<br />
Operator for the Cauchy Problem.<br />
8.2.7 Autres publications<br />
1. W. Abid-Masmoudi, A. Bchatnia, R. Manoubi, R. Youssfi-Chammam – Recueil d’exercices<br />
d’analyses (avec rappel de cours). Editions du Centre de Publication Universitaire, Tunisie,<br />
2005.<br />
2. M. Abdelwahed, F. El Dabaghi, M. Hassine – Analyse algorithmique parallèle et<br />
résultats de performance pour un solveur Navier-Stokes (psi-omega) simulant un modèle<br />
d’écoulement diphasique simplifié. Rapport de Recherche INRIA N 4743, février 2003.<br />
(http ://www.inria.fr/rrrt/rr-4743.html)<br />
3. M. Akian, S. Gaubert et A. Lakhoua – A max-plus finite element method for solving finite<br />
horizon deterministic optimal control problems. Rapport de Recherche INRIA N 5163, avril<br />
2004. (http ://www.inria.fr/rrrt/rr-5163.html)<br />
4. H. Benameur, M. Burger and B. Hackl - On some geometric Inverse problems in linear<br />
elasticity. Rapport de Recherche Univ. de Californie (UCLA), USA, novembre 2003.<br />
8.2.8 Actes de colloques et de manifestations<br />
TAM-TAM’05 – Actes du 2ème Colloque sur les Tendances des Applications Mathématiques<br />
en Tunisie, Algérie, Maroc. Edités par N. Gmati, M. Moakher et M. Jaoua. Tunis, 26-28<br />
avril 2005.<br />
CTF-EDP’03 – 2ème Colloque Tuniso-Français d’Equations aux Dérivées Partielles.<br />
Edités par B. Dehman, G. Lebeau et C. Zuily, dans un numéro spécial de la SMF (à<br />
paraître en 2006). Hammamet, Tunisie, 17-20 spetembre 2003.
78 CHAPITRE 8. PRODUCTION SCIENTIFIQUE<br />
8.2.9 Articles d’intérêt général<br />
1. M. Jaoua – La coopération a fait son temps, place au co-développement scientifique !.<br />
Conférence AUF sur le développement durable, Ouagadougou, Burkina, juin 2004.
Quatrième partie<br />
AUTRES ACTIVITES DU<br />
LABORATOIRE<br />
79
Chapitre 9<br />
Formation par la recherche<br />
9.1 Mastère de Mathématiques Appliquées<br />
Le LAMSIN continue à porter la formation doctorale en Mathématiques Appliquées. Cette<br />
formation s’oriente fortement vers la modélisation. Pour son fonctionnement, elle s’appuie sur les<br />
ressources qui lui sont accordées par l’Ecole Doctorale de l’ENIT depuis sa création en 2003 mais<br />
également sur les ressources du LAMSIN notamment à travers les projets de coopérations (STIC,<br />
CNRS, CMCU) mais aussi par le biais des projets structurants du LAMSIN (Pôle d’Excellence<br />
Régional-AUF, e-didon (INRIA), AIRE développement (IRD)).<br />
La formation de Mastère s’étale sur trois semestres, le premier étant consacré à des cours, le<br />
deuxième et le troisième au mémoire d’initiation à la recherche, aux séminaires et à la formation<br />
pédagogique. Les cours du premier semestre sont divisés en un tronc commun composé de modules<br />
obligatoires, regroupant les outils essentiels de modélisation numérique, et en modules optionnels.<br />
Les cours optionnels s’appuient souvent sur des expertises étrangères fortement relayées par<br />
des séniors du LAMSIN. Cette stratégie permet d’assurer un encadrement pédagogique continu<br />
et un transfert des compétences. La formation de mastère a par ailleurs profité des trois<br />
premiers semestres thématiques de la Chaire UNESCO : Deux options ont été “empruntées”,<br />
respectivement, au premier et troisième semestre. Certains cours du deuxième semestre (Histoire<br />
des Mathématiques) ont été validés dans le cadre de la formation pédagogique.<br />
Les chercheurs du laboratoire s’impliquent fortement dans la mise en oeuvre de ce processus.<br />
Au cours de l’année universitaire 2004/2005 les enseignements se sont organisés comme suit :<br />
Tronc commun – Le tronc commun comporte les modules obligatoires suivants :<br />
• Analyse fonctionnelle appliquée (30h) – F. Ben Belgacem (UPS, Toulouse) et H. El Fekih<br />
• Analyse numérique (15h) – N. Hariga-Tlatli, R. Touihri<br />
• Introduction à l’optimisation (15h) – A. Ben Abda et M. Jaoua<br />
• Méthodes d’ éléments finis (30h) – M. Moakher<br />
Modules optionnels – Les étudiants doivent valider 4 modules optionnels parmi la liste qui leur<br />
est proposée.<br />
• Décomposition de Domaines (30h) – M. Azaiez (ENSCPB, Bordeaux) et N. Gmati<br />
• Equations Cinétique (30h) – N. Ben Abdallah (UPS-Toulouse) et H. Chaker<br />
• Volumes finis centrés sur les mailles et éléments finis mixtes (30h) – J. Jaffré (INRIA), J.<br />
Roberts (INRIA) et A. Saada<br />
• Deux options, sont offertes dans le cadre du semestre thématique de la Chaire UNESCO<br />
sur le Traitement d’Images et du Signal.<br />
81
82 CHAPITRE 9. FORMATION PAR LA RECHERCHE<br />
9.2 Production diplômante<br />
9.2.1 Synthèse de la production diplômante<br />
Au cours de la période 2003 - avril 2005, la formation doctorale a vu la soutenance de 15<br />
mémoires de mastères et de 6 thèses de doctorat, contre 17 et 5 respectivement durant la période<br />
2001-2002. Deux autres thèses de doctorat ont été déposées et seront vraisemblablement soutenues<br />
avant la rentrée universitaire 2005/2006, il s’agit de celles de N. Zrelli et A. Hamdi, et deux autres<br />
thèses seront soutenues avant la fin de l’année 2005.<br />
Par ailleurs, une thèse d’état et 3 habilitations universitaires ont été soutenues et deux autres,<br />
ayant déjà reçu l’aval de la commission de thèses et d’habilitation de l’ENIT, seront soutenues en<br />
juin 2005.<br />
Nature<br />
Nombre de diplômes soutenus<br />
durant la période 2003-Avril<br />
2005<br />
Thèses 6 32<br />
DEA / Master 15 6<br />
Habilitations 4 25<br />
Nombre de diplômes en cours<br />
de préparation<br />
9.2.2 Diplômes soutenus<br />
Thèses d’Etat<br />
1. Arbi Mgaidi – Modélisation cinétique des transformations chimiques de solides poreux et<br />
non poreux avec un réactif liquide : Cas du sable dans NaOH et du phosphate naturel dans<br />
H 3 P O 4 . 2ème sujet – La sonochimie : Principe et applications.(soutenue le 30 avril 2004).<br />
Habilitations<br />
Trois habilitations universitaires sont arrivées à terme durant la période qui nous occupe, il<br />
s’agit de celles de Henda El Fekih, Hedia Chaker et Slim Chaabane.<br />
1. Henda EL Fekih – Sur l’Analyse asymptotique de quelques problèmes de contrôle optimal<br />
frontière. (soutenue le 26 mai 2003).<br />
2. Hédia Chaker – Etude asymptotique des équations cinétiques dans les semi-conducteurs.<br />
(soutenue le 1er mars 2004).<br />
3. Slim Chaabane – Etude de quelques problèmes inverses d’identification de paramètres et<br />
de frontières regulières. (soutenue le 29 avril 2005).<br />
Thèses<br />
Six thèses de doctorat ont été soutenues par des chercheurs du laboratoire durant la période<br />
2003-Avril 2005, et une autre, celle de N. Zrelli, a été déposée.<br />
1. Dorra Drissi – Résolution d’un problème de propagation d’ondes dans un silencieux<br />
d’échappement par une technique couplant les éléments finis et l’homogénísation.(soutenue<br />
en mars 2003).<br />
2. Jamel Ferchichi – Sensibilité par rapport à la forme dans les variétés singulières, frontières<br />
et interfaces libres dans les écoulements viscoplastiques. (soutenue en février 2003).
Production diplômante 83<br />
3. Maatoug Hassine - Contrôle des processus d’aération des lacs eutrophes.(soutenue en<br />
février 2003).<br />
4. Ahmed Bchatnia – Scattering et décroissance exponentielle de l’énergie locale pour les<br />
ondes semi linéaires sur un domaine extérieur. (soutenue le 2 décembre 2004).<br />
5. Fehmi Ben Hassen – Recovery and identification of pointwise sources and small size<br />
inclusions. (soutenue le 11 décembre 2004).<br />
6. Moez Daoulatli – Etude de l’énergie locale pour l’équation des ondes non linéaires sur un<br />
domaine extérieur. (soutenue le 2 décembre 2004).<br />
Mastères<br />
Quinze mastères ont été soutenus au laboratoire pendant cette période.<br />
1. Khaled Ben Ali – Développement d’un outil numérique pour l’estimation de la propagation<br />
par convection d’un soluté. (soutenu le 17 décembre 2003).<br />
2. Nejla Frih – Développement d’un outil numérique pour l’estimation de la propagation par<br />
dispersion d’un soluté. (soutenu le 19 décembre 2003).<br />
3. Mohamed Larbi Kadri – Identification de source pour une poutre élastique en vibration<br />
forcée. (soutenu le 31 octobre 2003).<br />
4. Wissem Hassine – Etude du transport diffusif pour les capteurs de gaz. (soutenu le 25<br />
décembre 2003).<br />
5. Hela Sellami – Algorithmes pour le lissage et la reconnaissance des contours en traitement<br />
d’images. (soutenu le 11 octobre 2003).<br />
6. Meriem Tlili – Approximation numérique de la solution du problème de Cauchy pour<br />
l’quation de Laplace. (soutenu le 31 octobre 2003).<br />
7. Amine Abdelmoula – Méthodes “Level-Set” pour le problème de diffusion de surface.<br />
(soutenu le 26 juillet 04).<br />
8. Rabe Bade – Modélisation d’injection des bulles dans un lac. (soutenu le 5 juillet 2004).<br />
9. Riadh Ben Fatma – Simulation bidimensionnelle et tridimensionnelle de silencieux<br />
d’automobile par homogénéisation et calcul d’élélements finis. (soutenu le 24 juillet 2004).<br />
10. Imen Ben Saad – Moyennage sur les variétés Riemanniennes et applications. (soutenu le<br />
26 juillet 2004).<br />
11. Sayfeddine Ghnimi – Méthode de continuation pour des instabilités hydrodynamiques.<br />
(soutenu le 18 novembre 2004).<br />
12. Amira Kebir – La modélisation d’une population de merous dans un territoire de pêche<br />
avec effet du braconnage et migration. (soutenu le 24 juillet 2004).<br />
13. Faten Maddouri – Contrôle optimal de l’équation de Schrödinger. (soutenu le 29 septembre<br />
2004).<br />
14. Haykel Ouerghi – Méthodes de Schwartz pour le calcul de valeurs propres. (soutenu le 5<br />
juillet 2004).<br />
15. Mohamed Lassaad Siala – Restauration d’images par asymptotique topologique. (soutenu<br />
le 1er juillet 2004).
84 CHAPITRE 9. FORMATION PAR LA RECHERCHE<br />
9.2.3 Diplômes en cours<br />
Habilitations<br />
Tous les docteurs au laboratoire préparent une Habilitation. Deux soutenances d’habilitations<br />
seront soutenues au mois de juin 2005, il s’agit de celles de :<br />
1. Nabil Gmati – Homogénéisation et décomposition de domaine en propagation d’ondes.<br />
2. Maher Moakher – On some Mathematical Problems from Continuum Models and<br />
Discrete Systems.<br />
Thèses<br />
Trente deux chercheurs du laboratoire sont actuellement inscrits en thèse (dont deux ont été<br />
déposées et deux autres le seront avant la fin d’année 2005). Pour la majorité des thèses, le<br />
laboratoire fait recours à la co-tutelle avec ses partenaires essentiellement de France. Vingt trois<br />
thèses en co-tutelle sont en cours, dont douze formailsées et dix en co-direction. Grâce à l’appui<br />
apporté par l’association de partenariat avec AIRE développement, neuf bourses de co-tutelle<br />
sont en cours.<br />
En dehors des chercheurs habilités, plusieurs chercheurs ‘sénior’ participent en outre à<br />
l’encadrement de ces thèses, bien que leurs noms n’apparaissent pas dans les documents officiels.<br />
Ce rapport est une occasion de reconnaître leur travail, sans lequel le nombre de doctorants serait<br />
réduit, et de lui rendre hommage.<br />
Thèses sans co-tutelle
Production diplômante 85<br />
doctorant Sujet Directeur(s) de thèse<br />
1 AHMED Taieb Modélisation mathématique H. Chaker &<br />
de l’érosion côtière<br />
N. Harigua Tlatli<br />
2 BADE Rabé Modélisation d’injection de bulles dans H. Chaker &<br />
un lac par une méthode cinétique<br />
M. Abdelwahed<br />
3 CHAMEKH Mourad Analyse mathématique et numérique M. Moakher &<br />
des tiges élastiques avec auto-contact S. Mani-Aouadi (FSMonastir)<br />
4 EL HECHMI Chokri Etude d’un problème inverse S. Chaabane &<br />
d’identification de paramètres<br />
M. Jaoua<br />
5 KEBIR Amira Dynamique spatiale d’une population A. Ben Abda &<br />
de poissons avec prise en compte de l’effort S. Ben Miled<br />
de pêche : Impact des réserves naturelles<br />
6 SELLAMI Hela Algorithmes numériques pour A. Ben Abda &<br />
le traitement d’images<br />
M. Jaoua<br />
7 TRABELSI Brahim Simulation numérique de l’écoulement et A. Ben Abda &<br />
mélange granulaires par des<br />
M. Moakher<br />
des éléments discrets ellipsoïdaux<br />
8 ZRELLI Naouel Etude numérique de quelques M. Jaoua &<br />
solveurs itératifs en propagation d’ondes N. Gmati<br />
acoustiques dans un domaine non borné
86 CHAPITRE 9. FORMATION PAR LA RECHERCHE<br />
Thèses avec co-tutelles formalisées<br />
doctorant Sujet Directeur(s) de thèse<br />
1 ABDELMOULA Amine Problèmes aux moindres carrés M. Moakher &<br />
généralisés : Applications à la B. Philippe (INRIA/IRISA 1 , Rennes)<br />
détermination du géoïde Tunisien<br />
2 ARFAOUI Hassen Commande optimale des H. El Fekih,<br />
équations de Saint-Venant<br />
F. Ben Belgacem & J.P. Raymond<br />
(MIP 2 , Toulouse)<br />
3 BEN AMAR Chokri Etude théorique et simulation N. Gmati &<br />
numérique de processus de C. Hazard (ENSTA 3 )<br />
retournement temporel<br />
4 EL HAJJI Miled Problème de contrôle en H. El Fekih &<br />
domaine extérieur<br />
F. Ben Belgacem (MIP, Toulouse)<br />
5 FOUDHAILI Karim Détection de bord dans une séquence M. Moakher,<br />
dímages médicales par la méthode C. Craffigne & G. Koepfler<br />
des courbes de niveaux (Univ. Paris V)<br />
6 HORCHANI Imen Identification de fissure par A. Ben Abda, M. Jaoua &<br />
analyse asymptotique topologique M. Masmoudi (MIP, Toulouse)<br />
7 JELASSI Faten Conditions aux limites à l’infini par N. Gmati &<br />
la méthode de Schwartz alternée pour F. Ben Belgacem (MIP, Toulouse)<br />
quelques problèmes extérieurs<br />
8 LAKHOUA Asma Résolution numérique de problèmes H. El Fekih,<br />
de contrôle optilmal déterministe M. Akian & S. Gaubert<br />
et alg`bre max-plus<br />
(INRIA, Rocquencourt)<br />
9 MADDOURI Faten Contrôle pour certaines classes B. Dehman, H. El Fekih &<br />
d’équations de Schrödinger<br />
F. Ben Belgacem (MIP, Toulouse)<br />
10 MENIF Faïza Problèmes de scattering M. Jaoua &<br />
inverse en géophysique T. Ha Duong (UTC 4 )<br />
11 METOUI Hajer Contrôle actif d’écoulements H. El Fekih,<br />
F. Ben Belgacem & J.P. Raymond<br />
(MIP, Toulouse)<br />
12 SIALA Med Lassaad Application de l’analyse asymptotique M. Jaoua &<br />
topologique au traitement d’images M. Masmoudi (MIP, Toulouse)
Production diplômante 87<br />
Thèses avec co-tutelles informelles<br />
1 Institut National de Recherche en Informatique et Automatique<br />
2 Laboratoire de Mathématiques pour l’Industrie et la Physique, Université Paul Sabatier<br />
3 Ecole Nationale Supérieur des taechniques Avancées, Paris<br />
4 Université de Technologie de Compiègne
88 CHAPITRE 9. FORMATION PAR LA RECHERCHE<br />
doctorant Sujet Directeur(s) de thèse<br />
1 BEN ALI Khaled Echanges entre les écoulements H. Chaker,<br />
surfaciques et les écoulements souterrains H. Ben Ameur &<br />
J. Jaffré (INRIA, Rocquencourt)<br />
2 BEN FATMA Riadh Complétion de données pour l’équation A. Ben Abda,<br />
d’Helmoltz : Application à quelques N. Gmati &<br />
problèmes inverses<br />
M. Azaiez (TREFLE 5 , Bordeaux)<br />
3 BEN SAAD Imen Modélisation et simulation numérique A. Ben Abda, N. Harigua &<br />
du transport des polluants<br />
J. Erhel (INRIA/IRISA, Rennes)<br />
4 FELLAH Imen Complétion de données dans les espaces S. Chaabane,<br />
de Hardy et problèmes inverses pour M. Jaoua &<br />
le Laplacion en 2D<br />
J. Leblond (INRIA, Sophia)<br />
5 FRIH Nejla Ecoulement dans les milieux A. Saada,<br />
poreux fractués<br />
J. Jaffré & J. Roberts<br />
(INRIA, Rocquencourt)<br />
6 GHNIMI Saifeddine Simulation des instabilités hydro- R. Touihri &<br />
dynamiques dans un fluide multicouches H. Ben Hadid (UCBL 6 , Lyon)<br />
7 HAMDI Adel Identification de polluants dans M. Jaoua &<br />
des eaux de surface<br />
A. El Badia (UTC, Compiègne)<br />
8 HATTAB Hechmi Etude du transport diffusif H. Chaker &<br />
pour les capteurs de gaz<br />
N. Ben Abdallah (MIP, Toulouse)<br />
9 KADRI Med El Arbi Complétion de données en élastcité : J. Ben Abdallah &<br />
Application au contrôle non destructif A. Zghal (ESSTT, Tunis)<br />
des structures<br />
10 KHARRAT Nizar Estimation a posteriori d’erreur pour M. Jaoua &<br />
des problèmes dégénérés de type<br />
Z. Mghazli<br />
paraboliques hyperboliques<br />
(Univ. Ibn Tofail, Kénitra)<br />
11 MAHJOUB Moncef Approximation méromorphe dans une A. Ben Abda, M. Jaoua &<br />
couronne : Application à quelques J. Leblond (INRIA, Sophia)<br />
problèmes inverses<br />
12 MDIMAGH Ridha Identification de point sources et A. Ben Abda &<br />
problèmes de stabilité<br />
H. Haddar (INRIA, Rocquencourt)<br />
5 Laboratoire TRansferts Ecoulements FLuides Energétique, ENSCPB<br />
6 Université Claude Bernard de Lyon
Séjours post doctoraux 89<br />
Mastères<br />
Six jeunes chercheurs sont actuellement entrain d’effectuer leur mémoire de Mastère de<br />
Mathématiques Appliquées sous la direction de chercheurs du laboratoire. Il s’agit de :<br />
– BEN AYAD Sabeur : problème de Darcy appliqué aux bassins sédimentaire (encadré par<br />
A. Saada et R. Bouhlila (LMHE-ENIT))<br />
– EZZAFZAF Boubaker : estimation de tailles de défauts par des mesures de frontière<br />
(encadré par M. Jaoua )<br />
– GASSOUMI Fethi : Utilisation de la méthode de décomposition de domaine pour la<br />
résolution de l’équation d’induction dans un fluide à conductivité inhomogène (encadré par<br />
R. Touihri)<br />
– GDOURA Med Khaled : Élaboration d’un code spectral périodique en z pour la<br />
résolution de l’équation d’induction en géometrie cylindrique 3D (encadré par R. Touihri)<br />
– HADJ KACEM Aida : Stabilité des Tiges Hyperélastiques Hélicoïdales et Anisotropes<br />
(encadré par M. Moakher & N. Chouaieb (IPEImanar))<br />
– MEZLINI Kamel : Méthodes Level-Set pour la détection d’inclusions (encadré par H.<br />
Ben Ameur)<br />
9.3 Séjours post doctoraux<br />
La formation par la recherche doit se compléter au delà de la thèse, les séjours post-doctoraux<br />
permettant en particulier aux jeunes docteurs de découvrir d’autres écoles de pensée que celle<br />
au sein de laquelle ils ont évolué durant leur formation, de confronter leurs points de vue avec<br />
d’autres, de nouer de nouvelles collaborations et d’attaquer de nouveaux problèmes.<br />
Au cours de la dernière période, plusieurs docteurs du LAMSIN ont été invités à effectuer des<br />
séjours post doctoraux dans des laboratoires étrangers :<br />
– Fehmi Ben Hassen à l’Université Goettingen (Allemagne), sous la direction du Professeur<br />
Rainer Kress.<br />
– Mohamed Abdelwahed a effectué un séjour post-doctoral, financé par ERCIM, pour<br />
moitié à l’INRIA (avant-projet Cosivie, dirigé par Fadi Dabaghi), et pour la seconde moitié<br />
à l’institut FORTH à Heraklion (Grèce), sous la direction de Poulicos Prastacos.<br />
– Slim Chaabane à l’Université de Graz (Autriche), sous la direction du Professeur Karl<br />
Kunisch.<br />
Par ailleurs, le LAMSIN a accueilli Abdeljalil Sakat (Maroc), docteur en Mathématiques<br />
Appliquée, en séjour post-doctoral (financé par l’AUF, dans le cadre du Pôle d’Excellence<br />
Régional) de février 2004 à décembre 2004 au sein de l’équipe Problèmes Inverses.
90 CHAPITRE 9. FORMATION PAR LA RECHERCHE
Chapitre 10<br />
Partenariats et échanges<br />
Le laboratoire continu à consolider ses liens scientifiques avec ses partenaires français traditionnels,<br />
au premier rang desquels figurent l’INRIA (UR de Rocquencourt, Sophia Antipolis et<br />
Rennes), le laboratoire MIP de l’Université Paul Sabatier de Toulouse, l’Université de Paris Sud,<br />
l’Université de Nice Sophia Antipolis, l’Université de Technologie de Compiègne, l’Université de<br />
Pau, l’ENSTA, l’UCBL à Lyon, l’ENSCP de Bordeaux, l’UTC, etc...<br />
Ces partenariats multiformes, concernant aussi bien la recherche que la formation, sont appuyés<br />
par des projets de coopérations de type actions intégrées telles que les projets STIC (INRIA-<br />
Universités Tunisiennes), CNRS-DGRSRT et CMCU et aussi par des projets de coopérations<br />
structurels apportant des appuis plus significatifs par leurs montants, et plus larges au niveau<br />
de leurs perspectives, aussi bien thématiques que stratégiques. Les associations, obtenues par le<br />
laboratoire, apportant un partenariat et des appuis structurels concernent l’équipe de recherche<br />
associée e-didon (INRIA), l’équipe référence AIRE développement (IRD), le pôle d’excellence<br />
régional (AUF), la Chaire UNESCO en Mathématiques et Développement et enfin le réseau afrofrançais<br />
SARIMA (CIMPA & INRIA).<br />
Dans le même temps, les projets ont été utilisés comme un moyen privilégié pour étendre le<br />
champ de notre coopération à d’autres pays que la France : le Portugal à travers notre projet avec<br />
l’IST de Lisbonne, le Maroc à travers deux projets avec l’EMI-Rabat et l’Université de Kénitra,<br />
et enfin l’Espagne à travers un projet avec l’Université de Madrid.<br />
10.1 Projets de coopération<br />
Coopération tuniso-française<br />
Les chercheurs du laboratoire ont continué à tirer parti des multiples cadres de coopération<br />
qui leur étaient offerts : CMCU, STIC (INRIA-Universités Tunisiennes) et CNRS-DGRSRT. Le<br />
tableau suivant récapitule les différents projets en cours auxquels les chercheurs du laboratoire<br />
sont associés.<br />
91
92 CHAPITRE 10. PARTENARIATS ET ÉCHANGES<br />
Responsables<br />
Code Intitulé LAMSIN Autre<br />
Projets CMCU<br />
01F102 Modélisation des équilibres<br />
liquide-liquide des solutions<br />
salines<br />
N. Ammar & M.<br />
Abdrabba(IPEST)<br />
W. Furst (ENSTA)<br />
02F1503 Contrôle actif d’écoulements H. El Fekih J.P. Raymond (MIP-UPS)<br />
04PRE01<br />
Gestion des ressources en eaux<br />
non conventionnelles. Procédeés<br />
de traitement pour potabilisation<br />
et réutilisation<br />
S. Rondesli (FSM),<br />
N. Ben Amar<br />
A. Deratani (Univ. Montpellier<br />
II)<br />
05S1502<br />
Méthodes numériques en hydrologie<br />
A. Saada J. Jaffré (INRIA-ESTIME,<br />
Rocquencourt)<br />
Projets CNRS-DGRSRT<br />
04/R1107 Etude par simulation numérique<br />
des instabilités convectives en rapport<br />
avec des problèmes de croissances<br />
cristallines<br />
03/R1103 Algorithmes numériques pour<br />
le contrôle non destructif<br />
des matériaux issus de la<br />
décomposition de domaine<br />
05/R1505 Commande et stabilisation de<br />
l’équation de Schrödinger linéaire<br />
et semi-linéaire<br />
05/R1117 Modélisation d’antennes par<br />
équations intégrales et éléments<br />
finis frontières<br />
R. Touihri D. Henry (LMFA/ECLyon)<br />
A. Ben Abda M. Azaiez (ENSCPB, Bordeaux)<br />
B. Dehman F. Ben Belgacem (MIP-UPS,<br />
Toulouse)<br />
L. Hamouda B. Bandelier (Univ. Paris XI,<br />
Orsay)<br />
Projets STIC (INRIA/Universités Tunisiennes)<br />
03/I07 Méthodes numériques pour l’optimisation<br />
dans l’incertain<br />
H. El Fekih F. Bonnans (INRIA-<br />
SYDOCO, Rocquencourt)<br />
04/I06 Méthodes numériques pour le<br />
contrôle optimal et applications<br />
en finance<br />
04/I04 Problèmes inverses du Laplacien<br />
et approximation constructive des<br />
fonctions<br />
05/I13 Problèmes directs et inverses en<br />
propagation d’ondes<br />
05/I16 Problèmes aux moindres carrés<br />
généralisés : application à la<br />
détermination du géoïde tunisien<br />
H. El Fekih S. Gaubert (INRIA-<br />
MAXPLUS, Rocquencourt)<br />
A. Ben Abda J. Leblond (INRIA-APICS,<br />
Sophia)<br />
N. Gmati E. Becache (INRIA-ONDES,<br />
Rocquencourt)<br />
M. Moakher B. Philippe (INRIA/IRISA-<br />
SAGE, Rennes)
Coopérations structurelles 93<br />
Autres coopérations<br />
Le laboratoire a également fait son profit des instruments mis en place par le MRSTDC et<br />
la DGRSRT du Ministère de l’Enseignement Supérieur pour développer des partenariats avec<br />
le Maroc, le Portugal et l’Espagne. Par ailleurs, dans le cadre du programme de coopération<br />
avec les chercheurs Tunisiens résidents à l’étranger, mis en place par le MRSTDC, le LAMSIN a<br />
accueilli pour quatre mois, au cours des deux années universitaires 2003/2004 et 2004/2005, F.<br />
Ben Belgacem du laboratoire MIP de l’Université Paul Sabatier à Toulouse.<br />
Enfin, plusieurs partenariats internationaux restent informels, faute de cadre pour les structurer.<br />
C’est par exemple le cas des séjours post-doctoraux des chercheurs du LAMSIN, qui contribuent<br />
à l’évidence à nouer de nouveaux liens, insérant davantage les chercheurs du laboratoire<br />
dans leur communauté internationale.<br />
Code Intitulé Responsables<br />
LAMSIN<br />
Autre<br />
Tunisie-Portugal<br />
9/04/TP<br />
Modélisation de l’écoulement du sang<br />
dans les vaisseaux sanguins<br />
H. Chaker A. Séqueira (IST,<br />
Lisbone)<br />
Tunisie-Maroc<br />
04/TM/32 Développement des techniques auto<br />
adaptatives dans la modélisation<br />
mathématique et numérique : applications<br />
industrielles et environnementales<br />
A. Saada Z. Mghazli (FS Ibn<br />
Toufeil, Kénitra)<br />
04/TM/19<br />
Reconstruction d’une fonction à partir<br />
de ses moments : applications<br />
aux problèmes inverses et traitement<br />
d’images<br />
A. Ben Abda R. Aboulaïch (EMI,<br />
Rabat)<br />
Tunisie-Espagne<br />
2003 Contrôle des équations d’évolution B. Dehman E. Zuazua (Univ.<br />
Autonoma, Madrid)<br />
MRSTDC-Coopération avec les chercheurs Tunisiens<br />
2004-2005 Sur les méthodes numériques pour le H. El Fekih F. Ben Belgacem<br />
(MIP-UPS,<br />
contrôle actif d’écoulements<br />
Toulouse)<br />
10.2 Coopérations structurelles<br />
Le laboratoire a obtenu plusieurs associations qui lui apportent un partenariat et des appuis<br />
structurels :<br />
10.2.1 Equipe de recherche associée à l’INRIA (France)<br />
A la suite d’un appel d’offres lancé en 2001, le LAMSIN a soumissionné et obtenu en 2002<br />
son association à l’ INRIA, sous la forme d’une équipe de recherche associée nommée e-didon<br />
(Equipe d’Inversion et d’Optimisation Numériques), en partenariat avec le projet Estime (UR de<br />
Rocquencourt). L’équipe e-didon associe également d’autres projet de l’INRIA : Sage (Rennes),
94 CHAPITRE 10. PARTENARIATS ET ÉCHANGES<br />
Apics (Sophia Antipolis), et Ondes (Rocquencourt). L’évaluation des trois premières années (2002-<br />
2004) a eu lieu en décembre 2004 et l’équipe e-didon est reconduite pour l’année 2005. Pendant<br />
la période 2003-2004, cette association a apporté au LAMSIN l’équivalent de 13 000 euros (soit<br />
20 000 DT) par an, principalement dévolus aux échanges du laboratoire avec l’INRIA (accueil<br />
de chercheurs dans les deux sens, participation des chercheurs du LAMSIN aux écoles et autres<br />
manifestations organisées par l’INRIA, etc.). Ces crédits abondent le budget du projet partenaire<br />
Estime, et sont gérés par lui en accord avec le LAMSIN.<br />
10.2.2 Equipe de recherche associée à l’IRD (France)<br />
A la suite d’un appel d’offres lancé en 2001, le LAMSIN a obtenu en 2002 son association<br />
à l’ IRD (Institut pour la Recherche et le Développement), à travers le Groupement d’Intérêt<br />
Scientifique AIRE développement (A&D). Celui-ci a pour vocation d’apporter un appui structurel<br />
pour l’émergence et la consolidation d’équipes de recherche dans les pays en développement.<br />
La candidature du LAMSIN était articulée autour de la mise en place d’instruments destinés<br />
àsoutenir les thèses effectuées en co-tutelle. Les bourses de co-tutelle permettentt aux thésards<br />
d’effectuer 2 mois de séjour par an auprès de leurs co-tuteurs, et à ces derniers de séjourner en<br />
moyenne deux semaines par an en Tunisie. L’appui d’A&D est acquis pour une période maximale<br />
de six ans, une évaluation ayant lieu tous les deux ans pour décider de sa poursuite ou non. La<br />
première a eu lieu en juillet 2004, et l’appui A&D se poursuit pour la période de deux années<br />
commençant le 1er Mai 2004 et se monte à 80 000 euros, soit environ 128 000 DT. Les crédits<br />
sont gérés pour partie, à savoir les sommes destinées au paiement des bourses de co-tutelle et<br />
les titres de transport des co-tuteurs (65 000 euros pour les deux années), par l’IRD-Paris (via<br />
Egide), la partie restante (15 000 euros), destinée à payer les dépenses effectuées en Dinars (titres<br />
de transport au départ de Tunis, missions et bibliothèque), étant gérés par l’IRD-Tunis en accord<br />
avec le LAMSIN. Pendant cette année universitaire (2004/2005), neuf bourses de co-tutelles sont<br />
en cours.<br />
10.2.3 Chaire UNESCO en Mathématiques et Développement<br />
En 2003, le LAMSIN a obtenu l’installation sous l’égide de l’UNESCO, de la chaire UNESCO<br />
Mathématiques et développement dont il avait proposé la création en partenariat avec le CIMPA<br />
et l’ICTP, ainsi que l’Académie Tunisienne Beït El Hikma. Le titulaire de la Chaire est Mohamed<br />
Jaoua. La Chaire permet d’animer l’espace universitaire en Mathématiques Appliquées grâce<br />
à l’organistaion de semestres thématiques drainant chercheurs et auditeurs du Nord et du Sud.<br />
Trois semestres thématiques, accueillant des mathématiciens du Nord et du Sud, ont été organisés<br />
pendant la période 2003 - avril 2005.<br />
Sur le budget de la Chaire, des bourses sont attribuées, aux auditeurs étrangers, après sélection<br />
sur dossier scientifique. Elles permettent de couvrir les frais de séjours et presque toujours le<br />
voyage. Deux catégories de bourses sont attribuées : des bourses de trois mois pour les jeunes<br />
chercheurs du sud et des bourses de une à quatre semaines pour les enseignants-chercheurs du<br />
sud.<br />
• 1er semestre - Calcul Numérique Intensif (7 février - 30 avril 2004)<br />
Le premier semestre de l’activité de la Chaire portant sur le Calcul Numérique Intensif, a<br />
eu lieu du 7 février au 30 avril 2004. Le cycle de cours (au nombre de douze, de 15H chacun)<br />
programmé dans le cadre de ce semestre, décrit l’état-de-l’art dans la programmation des<br />
méthodes d’algèbre linéaire pour les grands problèmes. Une partie des cours est consacrée à<br />
la définition des méthodes actuelles. En particulier, on y décrit la course à l’efficacité engagée<br />
entre les méthodes itératives et les méthodes directes pour la résolution de très grands<br />
systèmes linéaires. D’autres cours traitent de la parallélisation des méthodes et de leur mise
Coopérations structurelles 95<br />
en oeuvre sur des réseaux de stations mono- ou multi-processeurs. Enfin, en analysant toutes<br />
les étapes de la construction de la simulation numérique, depuis la modélisation jusqu’à sa<br />
mise en oeuvre, on montre à travers une application - l’hydrogéologie souterraine - comment<br />
construire un logiciel performant qui puisse utiliser les ressources de calcul, locales ou non.<br />
Douze conférenciers (de France, USA, Liban et Tunisie) ont assuré les enseignements de<br />
ce semestre. Les auditeurs qui ont particpié à un ou plusieurs cours ont été au nombre de<br />
93 venus de différents pays (Cameroun, Ghana, Algérie, Maroc, Tunisie, Arabie Saoudite,<br />
Liban, Espagne), non comptés les étudiants du mastère de Mathématiques Appliquées.<br />
La conception et l’organisation de ce semestre étaient de la responsabilité de Bernard<br />
Philippe (INRIA/IRISA, Rennes) qui était en année sabbatique au LAMSIN pendant<br />
l’année universitaire 2003/2004, en tant que professeur visiteur. Plusieurs personnes du<br />
laboratoire ont activement participé à l’organisation et en particulier L. Jaafar-Belaid qui<br />
a la responsabilité de l’organisation locale de toutes les activités de la Chaire.<br />
• 2ème semestre - Histoire des Mathématiques (4 octobre - 17 décembre 2004)<br />
L’objectif de ce semestre était d’offrir un cours, global et de très haut niveau, d’histoire<br />
des mathématiques, aux mathématiciens en exercice et aux étudiants de 3ème cycle<br />
en mathématiques (mastère et doctorat). Le but était non seulement d’informer les<br />
mathématiciens de quelques aspects de l’histoire de leur discipline, mais aussi d’aider à<br />
introduire l’histoire des mathématiques comme discipline de recherche et comme partie de<br />
l’enseignement. Ce semestre se voulait donc être une initiation à une activité de recherche,<br />
mais également le moyen d’établir un lien autour de l’histoire, entre chercheurs provenant<br />
d’horizons mathématiques différents. Le choix des conférenciers a été motivé par la seule<br />
qualité et la capacité de mêler histoire et épistémologie, car nous croyons que l’histoire sans<br />
épistémologie est aveugle et que l’épistémologie sans histoire est vide. Au total 13 modules<br />
de 15 heures (soit au total 195 heures) ont été assurés par 13 conférenciers venus de France,<br />
Russie, Italie, Allemagne et Tunisie. Trente sept auditeurs, en provenance de huit pays<br />
(Algérie, France, Grèce, Italie, Liban, Maroc, Nigéria, Tunisie) ont régulièrement assisté aux<br />
cours. A ces 37 auditeurs, s’ajoutent une dizaine d’étudiants du mastère de Mathématiques<br />
Appliquées qui ont suivie deux modules d’histoire des mathématiques dispensés durant ce<br />
semestre pour les valider dans la partie pédagogique de leur diplôme.<br />
Ce semestre a été aussi l’occasion pour les chercheurs tunisiens en histoire des mathématiques<br />
– et plus généralement des sciences – jusqu’ici dispersés, de se connaître et de former un<br />
groupe de travail ayant l’objectif de fédérer leurs recherches. Le groupe de travail ainsi formé<br />
pourra coopérer directement avec l’équipe CNRS libanaise déjà active, avec les collègues<br />
marocains et bien entendu avec les équipes européennes dont sont issus ces chercheurs.<br />
Enfin, le projet d’élargir la coopération à l’échelle régionale avec des collègues algériens et<br />
egyptiens est à l’étude.<br />
Ce semestre a été coordonnée par M. Ben Miled et Roshdi Rached (CNRS, France).<br />
L’orgasisation locale a été assurée par M. Ben Miled et L. Jaafar-Belaid.<br />
• 3ème semestre - Traitement du Signal et de l’Image (7 février - 27 avril 2005)<br />
Ce semestre thématique avait pour ambition de proposer les bases scientifiques pour aborder<br />
les différentes approches en traitement du signal et de l’image. Treize conférenciers venus<br />
essentiellement de France et de la Tunisie ont participé aux 13 modules (de 12H chacun),<br />
proposés aux 47 auditeurs de différents pays (Algérie, Maroc, Côte d’Ivoire, Tunisie)<br />
auxquels il faut ajouter les étudiants du mastère de Mathématiques Appliquées qui ont<br />
suivi deux de ces cours pour les valider comme modules optionnels du mastère.
96 CHAPITRE 10. PARTENARIATS ET ÉCHANGES<br />
La première partie des cours proposés lors de ce semestre, a été consacrée au traitement<br />
de signal et à l’état-de-l’art dans les Sciences et Techniques Informatiques de la Communication.<br />
Ceci a pour but, de familiariser les auditeurs avec les différents aspects techniques<br />
existants. La réalisation d’un projet de contrôle optimal de systèmes mécaniques et d’un<br />
traitement du son d’un enregistrement, a permis aux auditeurs de faire la synthèse des<br />
cours proposés. Deux cours reflétant les tendances modernes du signal à base d’ondelettes<br />
ont complété les premières approches classiques qui ont été présentées et étudiées, pendant<br />
les premières semaines de ce semestre. Le but étant de proposer aux auditeurs une ouverture<br />
sur les outils actuels. Dans la seconde partie, consacrée au traitement d’images, le passage<br />
à la dimension deux, voire trois, a donné l’occasion aux auditeurs, de se familiariser avec les<br />
opérateurs aux dérivées partielles, ce qui modifie considérablement les startégies d’analyse<br />
et de traitement par rapport au cas monodimensionnel. Particulièrement, les deux derniers<br />
cours, ont traité les tendances actuelles en traitement d’images et les projets accompagnant<br />
ces cours, ont traités des techniques nouvelles de détection de contours.<br />
La coordination de ce semestre était de la responsabilité de Philippe Destuynder du CNAM<br />
(Paris). Quant à la coordination et organisation locales, elle a été confiée à M. Moakher et<br />
L. Jaafar Belaid.<br />
10.2.4 Pôle d’Excellence Régional en Matématiques Appliquées - AUF<br />
Le laboratoire a été selectionné en juillet 2003 par l’Agence Universitaire de la Francophonie<br />
pour être un Pôle d’Excellence Régional en Matématiques Appliquées (PER-AUF). L’objectif<br />
de l’AUF est de renforcer de tels pôles afin de promouvoir et de mettre en valeur l’excellence<br />
scientifique au Sud. Le Pôle d’Excellence Régional en Matématiques Appliquées a pour objectif<br />
de participer activement à la création, au coeur de dynamiques régionales, des conditions d’une<br />
relance durable de la formation et de la recherche, et a visé à offrir aux enseignants et aux<br />
chercheurs des conditions d’exercice favorables et stimulantes de leurs responsabilités scientifiques.<br />
Au cours de cette période d’activité, le pôle d’excellence constitué à l’ENIT autour du<br />
LAMSIN, a consacré l’essentiel des ressources qui lui étaient allouées à l’animation d’une activité<br />
scientifique intensive, de haut niveau, et ouverte à des auditeurs de la région. Cette activité s’est<br />
traduite par l’organisation de cours avancés, dans le cadre de la Chaire UNESCO Mathématiques<br />
et Développement ou du Mastère de Mathématiques Appliquées, par l’animation de séminaires, et<br />
par des échanges de chercheurs, tant confirmés que doctorants ou post-doctorants. Pour l’essentiel,<br />
ces ressources utilisées ont donc servi à financer la mobilité des uns et des autres. Les ressources<br />
du PER-AUF ont aussi permis au LAMSIN d’assurer une partie des abonnements à quelques<br />
revues scientifiques internationales, et d’enrichir sa bibliothèque par l’achat de quelques ouvrages<br />
scientifiques, notamment en relation avec les thématiques de l’activité scientifique. Enfin, une<br />
petite partie des fonds a été dévolue au fonctionnement du laboratoire, qui a fait face à des<br />
charges accrues du fait de ses diverses activités.<br />
10.3 Echanges internationaux<br />
Le but principal des projets est évidemment d’instaurer des échanges continus entre les partenaires,<br />
tant il est vrai que la seule échelle du travail scientifique est internationale. Cependant,<br />
les projets ne constituent pas le seul mode d’échange que connaissent les scientifiques. D’autres<br />
possibilités sont offertes aux chercheurs du LAMSIN pour collaborer avec leurs partenaires, au<br />
nombre desquelles les invitations en qualité de professeur invité ou associé dans les universités ou<br />
les centres de recherche.
Echanges internationaux 97<br />
Type France Autres pays Total<br />
Séjours scientifiques junior (en mois) 72 6 78<br />
Séjours scientifiques sénior (en mois) 17 38 55<br />
Total (en mois) 89 44 133<br />
Visiteurs étrangers (en semaines) 139 12 151<br />
Stagiaires étrangers (en mois) 4 69 73<br />
Total (en mois) 38 72 110<br />
Au cours des deux années 2003 et 2004, le rythme des échanges s’est accéléré, dénotant<br />
aussi bien une plus grande activité de préparation de projets, qu’un intérêt plus marqué de nos<br />
partenaires pour la collaboration avec les chercheurs du LAMSIN. La même période a vu une<br />
diversification de ces échanges, doublée d’une consolidation des partenariats traditionnels, ce que<br />
les deux paragraphes précédents illustrent clairement.
98 CHAPITRE 10. PARTENARIATS ET ÉCHANGES
Chapitre 11<br />
Manifestations scientifiques<br />
A côté du séminaire de Mathématiques Appliquées, le laboratoire contribue à l’animation<br />
de la scène scientifique tunisienne par l’organisation de diverses manifestations scientifiques.<br />
Outre l’apport considérable que ces manifestations ont auprès des plus jeunes chercheurs,<br />
elles permettent l’intégration des chercheurs tunisiens dans la communauté internationale, et<br />
notamment en consolidant et en élargissant leur réseau de relations internationales.<br />
Deux colloques importants ont été organisés par le laboratoire durant cette période :<br />
1. Le 2ème Colloque Tuniso-Français d’équations aux dérivées partielles, organisé, sous l’égide<br />
de la Société Mathématique de Tunisie (SMT), par Belhassen Dehman, Gilles Lebeau<br />
(Université de Nice) et Claude Zuily (Université de Paris Sud), a eu lieu à Hammamet du<br />
17 au 20 septembre 2003. Cette manifestation a regroupé une soixantaine de participants<br />
venus essentiellement de France et de Tunisie. Vingt deux (22) conférences ont été organisées<br />
(onze conférences ont été données par des participants français, 2 par des italiens, une par un<br />
Japonais, 7 par des tunisiens (locaux) et une par un tunisien résidant en France). Les actes de<br />
ce colloque paraîtront en 2006, dans un numéro spécial édités par la Société Mathématiques<br />
de France (SMF). L’organisation de ce colloque a visé la formation des jeunes, en favorisant<br />
en particulier les contacts des jeunes doctorants avec les chercheurs confirmés, et a donné<br />
l’occasion aux jeunes chercheurs tunisiens de discuter avec les mathématiciens invités,<br />
comme elle a permis de développer et de renforcer la collaboration scientifique déjà établie<br />
entre les équipes Française et Tunisienne. La 3ème édition de ce colloque aura lieu à<br />
Hammamet en Tunisie du 7 au 10 septembre 2005.<br />
2. Le 2ème Colloque sur les Tendances des Applications Mathématiques en Tunisie, Algérie,<br />
Maroc (TAM-TAM’05) s’est tenu quant à lui en avril 2005 à l’Ecole Nationale d’Ingénieurs<br />
de Tunis. Il a été organisé en collaboration avec l’EMI (Rabat), l’USTHB et l’ENS de<br />
Koubaa (Algérie). Plusieurs membres du laboratoire (M. Abdelwahed, L. Belaid-Jaafar, J.<br />
Ben Abdallah, M. Ben Miled, H. Chaker, H. El Fekih, M. Moakher, A. Saada, C. Zarrouk<br />
et A. Tebessi) ont participé au comité d’organisation présidé par M. Jaoua et N. Gmati.<br />
Cette deuxième édition a rassemblé une centaine de participants venus essentiellement<br />
des pays du Maghreb et de France. Cinquante neuf (59) communications orales et 22<br />
communications-poster ont été présentées, auxquelles il faut ajouter 8 conférences plénières.<br />
Les communications orales et poster ont été sélectionnées parmis les 120 propositions<br />
reçues, par un comité de programme réunissant des maghrébins (résidants dans leurs<br />
pays ou à l’étranger) au nombre de 40, dont 5 sont du laboratoire (A. Ben Abda, H.<br />
Chaker, B. Dehman, H. El Fekih et M. Jaoua), et par d’autres spécialistes étrangers. Les<br />
communications orales et poster ainsi que les conférences plénières ont été regroupées dans<br />
les Actes du colloque édités par N. Gmati, M. Jaoua et M. Moakher. Ce colloque a montré<br />
la variété des mathématiques appliquées maghrébines, au sens large de ce terme car il<br />
99
100 CHAPITRE 11. MANIFESTATIONS SCIENTIFIQUES<br />
faut inclure la contribution essentielle des mathématiciens maghrébins de l’émigration, qui<br />
articulent de plus en plus leur travail avec leurs collègues du Maghreb. Sans oublier les<br />
collègues de la rive Nord de la Méditérannée, qui ont été et continuent d’être nos plus<br />
sûrs partenaires dans la construction de ce lac de paix et d’échanes auxquels nous aspirons<br />
tous, et qui nous ont fait l’amitié de venir à ce colloque, après avoir si souvent accueillis<br />
les chercheurs du <strong>lamsin</strong> dans les leurs. La prochaine édition de TAM-TAM aura lieu en<br />
Algérie en avril 2007.<br />
D’autres manifestations ont été organisées par les cherheurs du laboratoire :<br />
1. Organisées par B. Dehman, avec le soutien de la Société Mathématique de Tunisie et L’Institut<br />
National des Sciences et Technologies de la Mer, les Sixièmes Rencontres Mathématiques<br />
Tunisiennes d’Eté, en EDP, Analyse non linéaire et Géométrie, se sont tenues les 22, 23 et 24<br />
Juillet 2003 à Dar El Hout (Salambo), et ont regroupé plusieurs conférenciers et chercheurs<br />
tunisiens évoluant dans des universités tunisiennes et étrangères.<br />
2. Colloquim sur la Modélisation mMthématique et Traitement Numérique de Problèmes<br />
d’Ecoulements, organisé par A. Saada et J. Jaffré (INRIA) en décembre 2004. Neuf<br />
exposés ont été présentés par des chercheurs de l’équipe Environnement du LAMSIN (M.<br />
Abdelwahed, H. Ben Ameur, H. Chaker et A. Saada), nos collaborateurs de l’INRIA (J.<br />
Jaffré et J. Roberts) et du laboratoire LMHE de l’ENIT (R. Bouhlila), et enfin par deux<br />
invités de l’Agence de Protection et d’Aménagement du Littoral (APAL) et de l’Entreprise<br />
Tunisienne d’Activité Ptrolière (ETAP).<br />
3. La première édition de l’Ecole d’Hiver de Biomathématiques, co-organisée par Slimane<br />
Ben Miled, A. Abdelkafi (FSTunis) et S. Sevestre-Ghalila (ESSAI, Tunis), s’est tenue à<br />
l’ENIT, du 24-28 février 2003. L’objectif de cette école, destiné aux étudiants en mastères<br />
et aux doctorants essentiellement tunisiens, est de faire partager l’expérience acquise par des<br />
spécialistes qui ont consacré l’essentiel de leurs travaux à la modélisation expérimentale et<br />
aux mathématiques appliqués à la biologie. Les cours proposés ont porté sur la Modélisation<br />
appliquée en Biologie, les descriptions statistiques et interprétationet sur la méthodologie<br />
expérimentaleet échantillonnage. La deuxième édition de cette école aura lieu à l’Institut<br />
Pasteur de Tunis en mai 2005.<br />
Les chercheurs du LAMSIN sont aussi sollicités pour participer à l’organisation de manifestations<br />
scientifiques internationales en dehors de notre pays.
Chapitre 12<br />
Divers<br />
12.1 Jurys de thèses, d’habilitations et de recrutement<br />
A côté de l’encadrement des thèses du laboratoire, les chercheurs du LAMSIN sont appelés<br />
à siéger dans des jurys de recrutement, ainsi que dans des jurys de thèses et d’habilitations<br />
soutenues en Tunisie ou à l’étranger :<br />
Mohamed Naceur Ammar est président du jury de recrutement et de promotion des Maîtres<br />
Assistants en Mathématiques Appliquées.<br />
Amel Ben Abda est membre du jury de promotion des Professeurs en Mathématiques Appliquées.<br />
Elle a été en 2003, membre des jurys de recrutement d’assistants et de Maîtres<br />
Assistants en Mathématiques Appliquées. Elle a présidé le jury de la thèse de doctorat de<br />
Dorra Drissi (ENIT, mars 2003), et a participé aux jurys des thèses de doctorat de Jamel<br />
Ferchichi (ENIT, mars 2003), de Fehmi Ben Hassen (ENIT, décembre 2004) et de Xavier<br />
Barthélemy (IMFT Toulouse, rapporteur, décembre 2004). Par ailleurs, elle a participé au<br />
jury d’Habilitation Universitaire de Slim Chaabane (ENIT, avril 2005).<br />
Belhassen Dehman est membre des jurys de recrutement d’Assistants et de promotion des<br />
Professeurs en Mathématiques. Il a a participé aux jurys, en tant que rapporteur, d’Habilitations<br />
Universitaires de Henda El Fekih (ENIT, mai 2003), de Kais Ammari (FSMonastir,<br />
mai 2003), de Mohamed Ali Hammami (FSMonastir, mai 2003), de Mohamed Ben Ayed<br />
(FSSfax, mai 2004), de Mourad Bellassoued (FSBizerte, mai 2004) et de la thèse de doctorat<br />
de René Dorville (Univ. Antilles-Guyane, rapporteur, juin 2004).<br />
Henda El Fekih est membre du jury de recrutement et de promotion des Maîtres Assistants en<br />
Mathématiques Appliquées. Elle a présidé le jury de la thèse de doctorat en Mathématiques<br />
Appliquées de Radhia Bessi-Fourati (janvier 2004).<br />
Mohamed Jaoua est président du jury de promotion des Professeurs en Mathématiques Appliquées.<br />
Il a été en 2003 président du jury de recrutement des Maîtres de conférences en<br />
Mathématiques Appliquées. Il a présidé les jurys d’Habilitations Universitaires de Henda El<br />
Fekih (ENIT, mai 2003), Lassaad El Asmi (IPEST, avril 2003), Faker Ben Belgacem (UPS<br />
Toulouse, juin 2003), Jounaidi Abdeljaoued (ESSTT, mai 2004) et Slim Chaabane (ENIT,<br />
avril 2005) et a participé au jury de l’habilitation universitaire de Hedia Chaker (ENIT,<br />
mars 2004). Par ailleurs, il a présidé le jury de la thèse de doctorat de Fehmi Ben Hassen<br />
(ENIT, décembre 2004), et a participé aux jurys des thèses de doctorat de Dorra Drissi<br />
(ENIT, mars 2003), Jamel Ferchichi (ENIT, mars 2003), Maatoug Hassine (ENIT, février<br />
2003), Samuel Amstutz (UPS, Toulouse, 2004) et Didier Auroux (Université de Nice, 2003).<br />
101
102 CHAPITRE 12. DIVERS<br />
12.2 Revues scientifiques<br />
Les chercheurs du laboratoire sont appelés à reviewer des articles soumis pour publication aux<br />
revues suivantes :<br />
Amel Ben Abda pour Inverse Problems et les Comptes Rendus Mathématiques<br />
Belhassen Dehman pour Mathematish Zeitschrift, Kyoto Journal of Mathematics, Math.<br />
Reviews et Maghreb Math. Reviews<br />
Mohamed Jaoua est co-rédacteur en chef de la revue électronique ARIMA (Revue Africaine<br />
de Recherche en Informatique et Mathématiques Appliquées), et il rapporte pour Maghreb<br />
Mathematical Review, Math. Recherche et Applications, Inverse Problems et Math.<br />
Reviews.<br />
Arbi Mgaidi pour les journaux Ind. Eng. Chem. Res. JACS et Environnemental Science &<br />
Technology.<br />
Maher Moakher pour le journal Linear Algebra and its Application.<br />
12.3 Recrutements et promotions<br />
Durant la période 2003 - avril 2005, plusieurs chercheurs formés au laboratoire ont été recrutés<br />
ou promus :<br />
Assistants : Hassen Arfaoui et Faiza Menif à l’ISSAT de Mateur et Chokri El Hechmi à l’ISSAT<br />
de Monastir en septembre 2003, Hajer Metoui à l’ISI El Manar, Imen Fellah à l’ISIG de<br />
Kairouan, Moncef Mahjoub à l’ISM de Gabes et Imen Horchani à l’ESTI de Tunis en<br />
septembre 2004.<br />
Maître-assistants : Promotions de Mohamed Abdelwahed (ESTI de Tunis) et Dorra Drissi<br />
(ESSTT) en septembre 2004 et celle de Maatoug Hassine (FSMonastir) en septembre 2003.<br />
Maîtres de Conférences : Henda EL FEKIH (ENIT, septembre 2003) et Hedia Chaker (ENIT,<br />
septembre 2004).<br />
Professeur : Amel Ben Abda (ENIT, septembre 2003).
Chapitre 13<br />
Logistique<br />
13.1 Documentations et Revues Scientifiques<br />
La bibliothèque du laboratoire a disposé d’un budget annuel de 16 400 DT en 2003, dont<br />
1 800 DT pris sur le budget alloué par le MRSTDC, et de 39 650 DT en 2004, dont 25 000 DT<br />
sur les fonds du laboratoire provenant du ministère.<br />
Les moyens propres du laboratoire ont été essentiellement consacrés aux abonnements - initiés<br />
en 2000 - revues suivantes :<br />
- IMA Journal of Applied Mathematics<br />
- IMA Journal of Numerical Analysis<br />
- Inverse Problems<br />
- Journals of Inverse and Ill-Posed Problems<br />
- Mathematics of Computations<br />
- Mathematical Models & Methods in Applied Sciences (M3AS)<br />
- Numerische Mathematik<br />
- SIAM Journals (abonnement électronique uniquement).<br />
en plus desquelles est venue s’adjoindre à partir de 2004 les deux revues ESAIM-COCV (Control,<br />
Optimisation and Calculus of Variations) et Inverse Problems in Sciences & Engineering.<br />
Le coût total de ces abonnements s’est élevé à 9 280 DT en 2003, et à 11 503 DT en<br />
2004. En retirant l’effet des deux nouveaux journaux auxquels la bibliothèque s’est abonné,<br />
l’augmentation du tarif des abonnements - exprimés en Dinars Tunisiens - est supérieure à 9<br />
% par an, ce qui à moyen terme rendra le poids de ces derniers insupportable aux finances<br />
du laboratoire. En même temps, il est clair qu’aucune recherche scientifique pertinente ne peut<br />
être développée sans accès aux publications de la communauté scientifique internationale sur les<br />
sujets qui nous concernent. La liste de revues auxquelles le laboratoire s’est abonné est à cet<br />
égard tout à fait minimale, elle se réduit aux périodiques sans lesquels il serait difficile de faire<br />
un travail pertinent. Par ailleurs, le Centre National de Documentation Scientifique et Technique<br />
(CNUDST) a mis à la disposition de la communauté scientifique tunisienne, à partir de 2004,<br />
des ressources électroniques en texte intégral qui consistent en des abonnements à environ 3600<br />
revues scientifiques, dont une trentaine en mathématiques (pures et appliquées), et à l’accès à<br />
la base de données MathScinet de l’Americal Mathematical Society (AMS). Bien entendu, ce<br />
nouvel outils permettra au laboratoire de remplacer quelques revues auxquelles il est abonné et<br />
existantes désormais en version électronique via le CNUDST, par d’autres revues importantes<br />
dans le domaine des mathématiques Appliquées et auxquelles le laboratoire ne pouvaient pas s’y<br />
abonner vu la limitation du budget alloué à la documentation.<br />
103
104 CHAPITRE 13. LOGISTIQUE<br />
Par ailleurs, le laboratoire consacre une autre partie de ses crédits alloués à la bibliothèque,<br />
à l’achat de nouveaux ouvrages. Son fonds documentaire est désormais de plus de 1000 titres.<br />
Pendant la période 2003 - avril 2005, 9 500 DT ont été dépensés pour l’acquisition d’une centaine<br />
d’ouvrages.<br />
13.2 Equipements et Logiciels<br />
Le laboratoire dispose d’un réseau local relié par une fibre optique au Centre de Ressources<br />
et de Développement Informatique de l’ENIT. Le système d’information du laboratoire est basé<br />
sur le système ES de Linux.<br />
Les moyens de calcul propres du laboratoire sont à présent constitués de 34 PC Pentium<br />
(dont deux bi-processeurs) et deux PC Intel-Xeon. Par ailleurs, deux imprimantes réseaux et un<br />
photocopieur sont mis à la disposition des chercheurs du laboratoire.<br />
Les logiciels disponibles au laboratoires sont : Matlab (sous licence class-room, dont une mise<br />
à jour est effectuée tous les ans), un mailleur 3D et son post-processeur Simail & Ensight (1<br />
licence), Modulef (logiciel libre destiné à la résolution des EDP par la méthode des éléments<br />
finis), DiffPack (1 licence, permettant la résolution numérique de quelques équations aux dérivées<br />
partielles), et d’autres logiciels libres comme ARPACK, melina, scilab, etc.....