Thèse soutenue

Méthodes de reconstruction itératives en tomographie thermoacoustique
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Sébastien Marinesque
Direction : Luca AmodeiDidier Auroux
Type : Thèse de doctorat
Discipline(s) : Mathématiques appliquées
Date : Soutenance en 2012
Etablissement(s) : Toulouse 3

Résumé

FR  |  
EN

À partir du problème de la tomographie thermoacoustique (TTA), nous avons défini, étudié et mis en œuvre diverses méthodes itératives de reconstruction: le Nudging Direct et Rétrograde (BFN), puis une méthode variationnelle (VT) et le SEEK Direct et Rétrograde (BF-SEEK), plus élaborés, ainsi qu'une méthode couplant filtre de Kalman (KF) et renversement temporel (TR). À l'occasion d'une formulation commune aux méthodes séquentielles précitées, nous avons mis en évidence une nouvelle classe de méthodes de résolution de problèmes inverses: les algorithmes de Filtrage Direct et Rétrograde (BFF). Outre l'existence et l'unicité des solutions, sont étudiés divers cadres caractérisant la convergence théorique des algorithmes. Un cadre théorique général est précisé pour que le BFN soit bien posé. Dans le cadre offert par la TTA, la convergence géométrique de l'algorithme est prouvée, avec taux de convergence explicite. L'étude de généralisations à un cadre plus réaliste est menée: sont considérés différents objets à reconstruire, positionnement et d'éparpillement des capteurs, modèles d'équation d'onde ou des sources extérieures. Des outils de contrôle et d'estimation optimaux permettent de caractériser d'une part la convergence du BFN, et d'autre part les rappels définissant des BFF convergents, et le problème est ramené à un critère d'observabilité. Avec pour points de comparaison les méthodes les plus souples et efficaces du moment (le TR et une variante itérée), de nombreuses expérimentations sont menées afin de tester les BFF et la VT. Robustes, de complexité variée et adaptatives, nos méthodes constituent une excellente alternative aux techniques de reconstruction usuelles.