Les travaux présentés dans cette thèse sont divisés en quatre parties. La première est consacrée à la présentation du modèle de reconstruction tomographique. Dans la deuxième partie, nous traitons une approche variationnelle qui consiste en un problème de minimisation non-différentiable avec une contrainte non convexe, d'intérieur vide pour les topologies usuelles. L'étude numérique de l'approche précédente est faite dans la troisième partie. Elle est basée sur le système d'optimalité, la méthode d'Uzawa et une méthode de gradient à pas optimal pour écrire un schéma numérique. Dans la quatrième partie, nous nous intéressons à l'approche par lignes de niveaux pour résoudre des problèmes de propagation de fronts. Cette méthode fait apparaître des équations de type Hamilton-Jacobi du second ordre avec un terme non-local. Nous prouvons l'existence et l'unicité d'une solution de viscosité pour ces équations dans deux cas: celui des fronts compacts et celui des fronts non compacts. / The thesis at hand is composed of four parts. The first of which is devoted to present our model of tomographic reconstruction. The second part treats a non-differentiable variational problem with a non-convex constraint the interior of which is empty for usual topologies. A numerical study of the above approach is elaborated in the third part. A numerical scheme is derived based upon our optimal system, the method of Uzawa and a gradient descent method. In the last part, we use a level-set approach to solve the front propagation problem. A second order Hamilton-Jacobi type equation with a non-local term comes into play. We prove the existence and uniqueness of a viscosity solution in both compact and non-compact fronts cases.

Le but de ce travail était de fournir un cadre cohérent pour le traitement des problèmes de contact en utilisant une discrétisation de type noeud à segment. Trois aspects principaux de la mécanique numérique du contact ont été particulièrement considérés : la description de la géométrie, le problème de détection de contact et les techniques de résolution. Le manuscrit contient cependant une présentation complète de la mécanique du contact et des algorithmes numériques qui lui sont attachés. Un nouveau formalisme mathématique -- les s-structures -- est employé dans l'ensemble de la thèse. Il fournit un cadre de formulation intrinsèque qui permet d'exprimer de façon compacte un grand nombre de problèmes de mécanique et de physique. La thèse propose plusieurs idées originales et des extensions des techniques classiques, qui ont toutes été mises en œuvre dans le code de calcul par éléments finis ZéBuLoN (ZSeT). Plusieurs études de cas, présentées dans la thèse, viennent démontrer les performances et la robustesse des méthodes numériques utilisées pour la détection et la résolution.

Dans une première partie, nous proposons une méthodologie innovante pour la comparaison d'images en ingénierie de réservoir. L'objectif est de pouvoir comparer des cubes sismiques obtenus par simulation avec ceux observés sur un champ pétrolier, dans le but de construire un modèle représentatif de la réalité. Nous développons une formulation fondée sur du filtrage, de la classification statistique et de la segmentation d'images. Ses performances sont mises en avant sur des cas réalistes. Dans une seconde partie, nous nous intéressons aux méthodes de recalage d'images utilisées en imagerie médicale pour mettre en correspondance des images. Nous introduisons deux nouveaux modèles de recalage fondés sur l'élasticité non linéaire, où les formes sont appréhendées comme des matériaux de type Saint Venant-Kirchhoff et Ciarlet-Geymonat. Nous justifions théoriquement l'existence de solutions ainsi que la résolution numérique. Le potentiel de ces méthodes est illustré sur des images médicales.

Dans une première partie, nous proposons une méthodologie innovante pour la comparaison d'images en ingénierie de réservoir. L'objectif est de pouvoir comparer des cubes sismiques obtenus par simulation avec ceux observés sur un champ pétrolier, dans le but de construire un modèle représentatif de la réalité. Nous développons une formulation fondée sur du filtrage, de la classification statistique et de la segmentation d'images. Ses performances sont mises en avant sur des cas réalistes. Dans une seconde partie, nous nous intéressons aux méthodes de recalage d'images utilisées en imagerie médicale pour mettre en correspondance des images. Nous introduisons deux nouveaux modèles de recalage fondés sur l'élasticité non linéaire, où les formes sont appréhendées comme des matériaux de type Saint Venant-Kirchhoff et Ciarlet-Geymonat. Nous justifions théoriquement l'existence de solutions ainsi que la résolution numérique. Le potentiel de ces méthodes est illustré sur des images médicales. / In a first part, we propose an innovative methodology for image matching in the context of reservoir simulation. In order to build a model consistent with data collected on the field, we need to evaluate the error between seismic cubes obtained by simulation and seismic cubes acquired in the oil field. Using image processing tools, we develop a new formulation of the error. The application of this new formulation on synthetic reservoir cases demonstrates its efficiency. In a second part, we address the issue of designing two theoretically well-motivated registration models capable of handling large deformations since they are based on nonlinear elasticity. The shape to be matched are viewed as Ciarlet-Geymonat materials for the first model and as Saint-Venant Kirchhoff materials for the second one. We investigate the efficiency of the proposed matching model for the registration of mouse brain gene expression data to a neuroanatomical mouse atlas.