Présentation et objectifs généraux
Mots clés : calcul scientifique,
algèbre linéaire, équations différentielles, parallélisme,
précision, environnement, santé .
Le thème unificateur du projet est la conception, l'étude
et la mise en oeuvre d'algorithmes pour le calcul
scientifique, dans les différents contextes d'un traitement
numérique : la simulation proprement dite à partir des
équations de la physique, le traitement d'images, la réalité
virtuelle.
Il résulte de ces thèmes transversaux que les domaines
d'application sont potentiellement très nombreux. Le projet a
choisi de s'investir plus particulièrement dans les domaines
de l'environnement (hydro-géologie, prospection sous-marine)
et de la santé (chimie, dynamique moléculaire).
Le projet Aladin a choisi de se consacrer à trois axes de
recherche :
- équations différentielles,
- systèmes d'équations linéaires et non linéaires,
- problèmes aux valeurs propres.
En effet, ces trois types de problème sont au coeur de la
plupart des logiciels faisant du calcul numérique.
Les principaux critères de qualité d'un algorithme sont sa
fiabilité et sa vitesse d'exécution. C'est pourquoi le projet
Aladin développe deux axes de recherche orthogonaux aux
précédents :
- parallélisme,
- qualité numérique.
La recherche en équations différentielles porte sur des
schémas numériques permettant de résoudre efficacement et
avec une bonne précision des équations différentielles
algébriques. Un sujet d'étude concerne la résolution
numérique des systèmes hamiltoniens qui modélisent des
problèmes issus par exemple de la dynamique moléculaire.
Pour les systèmes linéaires, la recherche du projet porte
sur la conception d'algorithmes itératifs adaptés aux
systèmes de très grande taille définis par des matrices
creuses. Les espaces de Krylov sont l'un des outils
privilégiés pour concevoir ces algorithmes itératifs. Un
avantage est de n'exiger aucune transformation de la matrice
du système, voire de ne pas stocker de matrice, en utilisant
seulement l'application de l'opérateur linéaire à des
vecteurs.
Pour les problèmes aux valeurs propres, issus par exemple
de l'équation de Schrödinger, les espaces de Krylov sont
aussi un outil de choix pour la conception des algorithmes.
Un autre sujet de recherche important a trait à la stabilité
des systèmes dynamiques. Dans ce cas, il faut localiser de
manière sûre les valeurs propres de la matrice associée.
Les algorithmes développés pour les trois axes décrits
ci-dessus sont validés sur des architectures parallèles et
utilisés dans des applications en sismique sous-marine,
hydro-géologie, mécanique des matériaux composites,
électromagnétisme, etc.
Les relations internationales universitaires du projet
sont nombreuses et variées. Citons les universités de Genève,
d'Auckland, du Queensland, de Minneapolis, de Patras, de
Yaoundé.
Le projet collabore avec l'Institut de Mécanique des
Fluides de Strasbourg, l'action MOCOA de l'Inria
Rocquencourt.
Le projet collabore étroitement avec l'Ifremer de
Brest.