Ce manuscrit de thèse présente l’étude des techniques de super-résolution latérale en nanoscopie optique, qui est une des nouvelles techniques d'imagerie haute résolution, aujourd'hui largement utilisée en biophysique et en imagerie médicale, pour imager et caractériser des nanostructures, tout en conservant les avantages de l'imagerie optique en champ lointain comme un vaste champ, la visualisation et l’analyse en temps réel…Un des défis futurs de la microscopie 3D super-résolue est d’éviter l’utilisation des marqueurs fluorescents. La microscopie interférométrique fait partie des techniques d’imagerie 3D sans marquage permettant la détection de nanostructures. Pour améliorer le pouvoir de détection de ce système optique, un premier protocole de traitement d’images a été développé et implémenté, permettant ainsi de révéler des structures initialement non mesurables. Puis, pour améliorer la résolution latérale du système, une nouvelle technique combinant l’interférométrie et le principe du nano-jet photonique a été développée permettant l’observation d’objets de taille inférieure à la limite de diffraction de l’instrument optique. / This manuscript presents the study of the lateral super-resolution techniques in optical nanoscopy, which is a new high-resolution imaging method now widely used in biophysics and medical imaging, to observe and measure nanostructures, with the advantages of far field optical imaging, such as a large field of view, visualization and analysis in real time…One of the future challenges of 3D super resolution microscopy is to avoid the use of fluorescent markers. Interferometric microscopy is a 3D label-free imaging technique enabling the detection of nanostructures. To improve the detection capability of this optical system, a first version of a protocol composed of image processing methods was developed and implemented, revealing structures initially unmeasurable. Then, to improve the lateral resolution of the system, a new technique combining interferometry and the principle of the photonic nano-jet has been developed, thus allowing the observation of objects of a size smaller than the diffraction limit of the optical instrument.

Nous nous intéressons à la résolution en parallèle de système d’équations linéaires creux et de large taille. Le calcul de la solution d’un tel type de système requiert un grand espace mémoire et une grande puissance de calcul. Il existe deux principales méthodes de résolution de systèmes linéaires. Soit la méthode est directe et de ce fait est rapide et précise, mais consomme beaucoup de mémoire. Soit elle est itérative, économe en mémoire, mais assez lente à atteindre une solution de qualité suffisante. Notre travail consiste à combiner ces deux techniques pour créer un solveur hybride efficient en consommation mémoire tout en étant rapide et robuste. Nous essayons ensuite d’améliorer ce solveur en introduisant une nouvelle méthode pseudo directe qui contourne certains inconvénients de la méthode précédente. Dans les premiers chapitres nous examinons les méthodes de projections par lignes, en particulier la méthode Cimmino en bloc, certains de leurs aspects numériques et comment ils affectent la convergence. Ensuite, nous analyserons l’accélération de ces techniques avec la méthode des gradients conjugués et comment cette accélération peut être améliorée avec une version en bloc du gradient conjugué. Nous regarderons ensuite comment le partitionnement du système linéaire affecte lui aussi la convergence et comment nous pouvons améliorer sa qualité. Finalement, nous examinerons l’implantation en parallèle du solveur hybride, ses performances ainsi que les améliorations possible. Les deux derniers chapitres introduisent une amélioration à ce solveur hybride, en améliorant les propriétés numériques du système linéaire, de sorte à avoir une convergence en une seule itération et donc un solveur pseudo direct. Nous commençons par examiner les propriétés numériques du système résultants, analyser la solution parallèle et comment elle se comporte face au solveur hybride et face à un solveur direct. Finalement, nous introduisons de possible amélioration au solveur pseudo direct. Ce travail a permis d’implanter un solveur hybride "ABCD solver" (Augmented Block Cimmino Distributed solver) qui peut soit fonctionner en mode itératif ou en mode pseudo direct. / We are interested in solving large sparse systems of linear equations in parallel. Computing the solution of such systems requires a large amount of memory and computational power. The two main ways to obtain the solution are direct and iterative approaches. The former achieves this goal fast but with a large memory footprint while the latter is memory friendly but can be slow to converge. In this work we try first to combine both approaches to create a hybrid solver that can be memory efficient while being fast. Then we discuss a novel approach that creates a pseudo-direct solver that compensates for the drawback of the earlier approach. In the first chapters we take a look at row projection techniques, especially the block Cimmino method and examine some of their numerical aspects and how they affect the convergence. We then discuss the acceleration of convergence using conjugate gradients and show that a block version improves the convergence. Next, we see how partitioning the linear system affects the convergence and show how to improve its quality. We finish by discussing the parallel implementation of the hybrid solver, discussing its performance and seeing how it can be improved. The last two chapters focus on an improvement to this hybrid solver. We try to improve the numerical properties of the linear system so that we converge in a single iteration which results in a pseudo-direct solver. We first discuss the numerical properties of the new system, see how it works in parallel and see how it performs versus the iterative version and versus a direct solver. We finally consider some possible improvements to the solver. This work led to the implementation of a hybrid solver, our "ABCD solver" (Augmented Block Cimmino Distributed solver), that can either work in a fully iterative mode or in a pseudo-direct mode.

La théorie des jeux a développé, à ses débuts, une vocation pour les sciences sociales et économiques, avec des applications disparates, comme par exemple le traitement de données médicales. Elle apparaît aujourd'hui comme un paradigme de concepts et de techniques très général, dont le potentiel reste encore à exploiter en informatique. Dans cette thèse nous étudions une branche particulière, la théorie des jeux combinatoires (à deux joueurs), pour en tirer bénéfice dans le domaine, très actif, des sémantiques formelles des langages de programmation. D'un jeu, nous pouvons séparer l'aspect syntaxique, inhérent aux dénouements possibles des matchs, de l'aspect sémantique, inhérent aux prévisions sur le gagnant et la quantification de son gain (en termes d'un enjeu quelconque, tel que l'argent ou le préstige). Pour modeliser la notion de gain, la structure d'évaluation choisie ne doit pas forcément être celle des booléens (gagné ou perdu), ou celle des entiers naturels ou relatifs. Il suffit qu'elle vérifie des propriétés, assez faibles, garantissant l'existence d'une sémantique même lorsque le jeu donne lieu à des matchs infinis, comme dans le cas du jeu de la bisimulation entre processus concurrents, et du jeu de la programmation logique. Dans ce travail, nous étudions la caractérisation sémantique d'un langage logique (avec ou sans contrainte) en termes de jeu à deux joueurs. Au-delà du modèle intuitif des jeux, dont la valeur pédagogique mériterait d'être approfondie, une telle interprétation permet de réutiliser un des algorithmes les plus utilisés dans la théorie des jeux combinatoire, Alpha-Bêta, comme moteur de résolution pour les langages logiques. Les résultats récents et spectaculaires obtenus par les programmes d'échecs (souvenons-nous de la défaite du champion du monde Kasparov contre le programme Deep Blue d'IBM) témoignent d'une forme d'intelligence artificielle développée dans ces programmes qui peut être transposée et exploitée dans la résolution des langages logiques. La résolution d'interrogations existentielles conjonctives dans une théorie de clauses de Horn du premier ordre est en particulier concernée. En effet, la capacité d'Alpha-Bêta à simplifier le calcul ou, en d'autres termes, sa capacité à éliminer les coups inintéressants, n'est pas intimement liée à un type de jeu ou à un type de gain particuliers, mais demande juste des propriétés algébriques qui sont satisfaites dans le jeu de la programmation logique. La correction d'Alpha-Bêta est prouvée de façon formelle pour un éventail de structures très large. Les valeurs calculées pourront être aussi bien des entiers naturels, comme dans le cas du jeu d'échecs, que des substitutions ou des contraintes, comme dans le cas des langages logiques.

This thesis falls within the field of high resolution Fourier transform spectroscopy of gas phase molecules in the far to near infrared ranges. It is focused on quantitative aspects of gas phase spectroscopy: absolute line intensity measurements. Both stable and unstable molecules, of atmospheric interest, are investigated. With this work, we aim to provide the reference spectroscopic information needed to analyze spectra of planetary atmospheres and improve our understanding of the physical chemistry of these environments.<p><p>We studied two molecules of atmospheric interest: the 13C16O2 isotopologue of carbon dioxide, which is a stable molecule, and the H16O79Br and H16O81Br isotopologues of hypobromous acid<p>which are short-lived unstable molecules.<p><p>The work carried out in the 2 and 1.6 µm regions of 13C16O2 falls in the framework of highly<p>precise remote sensing of carbon dioxide in the Earth’s atmosphere, needing more and more accurate<p>reference spectroscopic information. We measured 872 absolute line intensities corresponding<p>to 317 different lines in seven vibration-rotation bands of 13C16O2. These measurements, together with measurements performed in the Laboratoire de Spectrométrie Physique (Université Joseph Fourier, Grenoble, France) led to the improvement of the theoretical description of the spectrum of carbon dioxide, performed in the Laboratory of Theoretical Spectroscopy, (Institute of Atmospheric Optics, Tomsk, Russia). This study is preceeded by a preliminary work on the main isotopologue of carbon dioxide, 12C16O2 in the same spectral regions, aimed to determine the best suited line profile to model the observed line shapes of 13C16O2.<p><p>HOBr exists only in equilibrium with its decomposition products, like Br2O and H2O. Quantitative spectroscopy on such an unstable molecule therefore implied the use of a specific method to determine the concentration of HOBr in the studied gas sample. Simultaneously, Tunable Diode Laser (TDL) infrared spectra of some lines of the nu2 band and a far infrared Fourier transform spectrum of pure rotation lines of HOBr were recorded. The measured intensities of pure rotation lines together with the permanent electric dipole moment of the molecule were used to determine the partial pressure of HOBr, thus allowing absolute intensities of the lines probed by the TDL to be determined. These infrared absolute line intensities were then used to “calibrate” the relative line intensities in the nu2 band, measured in a Fourier transform spectrum recorded separately.<p><p><p>Cette thèse s’inscrit dans le cadre de la spectroscopie è haute résolution de molécules en phase gazeuse dans l’infrarouge proche à lointain. Ce travail se concentre sur les aspects quantitatifs de la spectroscopie en phase gazeuse: la mesure d’intensités absolues. Des molécules d’interêt atmosphérique stables et instables ont été étudiées. Le but de ce travail est de fournir des informations spectroscopiques de référence utiles à l’analyse de spectres d’atmosphères planétaires et, ainsi, améliorer notre compréhension de la physico-chimie de ces environnements.<p><p>Nous avons étudié deux molécules d’interêt atmosphérique: l’isotopologue 13C16O2 du dioxyde<p>de carbone, qui est une molécule stable, et les isotopologues H16O79Br et H16O81Br de l’acide hypobromeux qui sont des molécules instables.<p>Le travail effectué sur les régions spectrales à 2 et 1.6 µm de 13C16O2 s’inscrit dans le cadre<p>des mesures à distance à très haute précision du dioxyde de carbone présent dans l’atmosphère terrestre. Nous avons mesuré 872 intensités absolues correspondant à 317 raies d’absorption dans sept bandes de vibration-rotation de 13C16O2. Ces mesures, ainsi que celles réalisées au Laboratoire de Spectrométrie Physique (Université Joseph Fourier, Grenoble, France) ont abouti à l’amélioration de la description théorique du spectre du dioxyde de carbone, réalisée au Laboratory of Theoretical<p>Spectroscopy (Institute of Atmospheric Optics, Tomsk, Russie). Cette étude est précédée par un<p>travail préliminaire sur l’isotopologue principal du dioxyde de carbone, 12C16O2 dans les mêmes<p>régions spectrales, visant à déterminer le profil de raie le plus adapté pour modéliser les profils<p>observés de 13C16O2.<p><p>HOBr existe uniquement en équilibre avec ses produits de décomposition tels que Br2O and H2O.<p>Effectuer des mesures quantitatives pour ce type de molécule instable implique dès lors l’utilisation d’une technique spécifique afin de déterminer la pression partielle de HOBr. Un spectre infrarouge en Diode Laser Accordable (DLA) de quelques raies de la bande nu2 de HOBr et un spectre infrarouge lointain en transformée de Fourier d’un même échantillon gazeux ont été enregistrés simultanément. Les intensités mesurées de raies de rotation pure combinées au moment dipolaire électrique permanent de la molécule ont été utilisées pour déterminer la pression partielle de HOBr, nous permettant<p>ainsi de déterminer les intensités absolues des raies mesurées à l’aide de la DLA. Ces intensit´es absolues ont ensuite été utilisées pour “calibrer” les intensités relatives des raies de la bande nu2, mesurées dans un spectre à transformée de Fourier enregistré séparément. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

La résolution de problème est souvent utilisée comme outil de mesure des capacités cognitives individuelles chez les animaux non-humains, puisqu’elle permet d’étudier leurs capacités d’apprentissage opérant et d’innovation. Les capacités cognitives diffèrent selon les espèces et les individus, et leur permettent de maximiser leur aptitude. Par exemple, chez les oiseaux et les mammifères, les espèces avec de plus gros cerveaux relatifs possèderaient de meilleures capacités d’apprentissage sociale et d’innovation, qui leur permettent de mieux s’adapter à un environnement nouveau. Malgré l’utilisation répandue des diamants mandarins dans la recherche en écologie comportementale, l’impact du sexe sur la performance de résolution de problème et la répétabilité des performances ont souvent été négligés, et aucune étude, à notre connaissance, ne s’est intéressée à leur performance en contexte de résolution de problème coopérative. Dans le cadre de notre étude, nous avons décidé d’aborder ces différents aspects pour améliorer notre compréhension des capacités cognitives et de la coopération chez cette espèce modèle. Nous avons confronté des diamants mâles et femelles à trois tests de résolution de problème individuelle (test de la ficelle, test de la barre et test du couvercle) et un test de résolution de problème coopérative. Pour ce dernier, nous avons séparé les individus en deux groupes : couples sociaux et couples expérimentaux, afin de manipuler le lien social entre individus. Les couples sociaux étaient composés d’un mâle et d’une femelle ayant cohabité pendant 7 jours, alors que les couples expérimentaux étaient composés d’un mâle et d’une femelle ne s’étant jamais rencontrés auparavant. Bien que nous nous attendions à ce que le sexe n’ait pas d’impact sur la performance de résolution, nos résultats ont révélé que, en moyenne, les mâles étaient plus rapides pour résoudre un test de résolution de problème individuelle. Ces résultats étaient principalement attribuables à leur performance sur le deuxième test de résolution de problème individuelle (test de la barre). Nous pensons que cette différence pourrait être due à un niveau de persistance plus élevé chez les mâles et/ou à l’impact de la sélection sexuelle sur les performances cognitives, et que ces aspects devraient être davantage explorés dans de futures études. Ensuite, en accord avec nos attentes, nos résultats ont confirmé l’hypothèse de la répétabilité contextuelle, selon laquelle les performances de résolution sont constantes entre différentes tâches impliquant le même processus cognitif. Enfin, nous nous attendions à ce que les couples sociaux soient plus performants que les couples expérimentaux sur le test de résolution de problème coopérative, puisque nous les pensions davantage capables de synchronisation et de coordination comportementale. Or, nous avons trouvé des résultats suggérant le contraire, et nous avons constaté que la performance du couple au test de résolution de problème coopérative, était principalement expliquée par les performances de résolution individuelle de chaque partenaire. Des questions subsistent quant aux raisons pour lesquelles les couples expérimentaux ont mieux performé que les couples sociaux. Est-ce qu’une différence de motivation pourrait être à l’origine de ces résultats ? De futures études seront nécessaires pour nous éclairer. Malgré les questions en suspens, nos résultats contribuent à enrichir nos connaissances sur les capacités cognitives individuelles, la résolution de problème ainsi que la coopération. / Problem solving is often used as a tool for measuring individual cognitive abilities in non-human animals, since it enables us to study their operant learning and innovation capacities. Cognitive capacities differ between species and individuals, enabling them to maximize their abilities. For example, in birds and mammals, species with larger relative brains are said to have better social learning and innovation capacities, enabling them to adapt better to new environments. Despite the widespread use of zebra finches in behavioral ecology research, the impact of sex on problem-solving performance and the repeatability of performance have often been overlooked and, to our knowledge, no studies have investigated their performance in cooperative problem-solving contexts. In our study, we decided to address these different aspects to improve our understanding of cognitive abilities and cooperation in this model species. We tested male and female zebra finches in three individual problem-solving tests (string test, bar test and lid test) and one cooperative problem-solving test. For the latter, we separated the individuals into two groups: social pairs and experimental pairs, to manipulate the social bond between individuals. Social pairs were made up of a male and a female who had cohabited for 7 days, while experimental pairs were made up of a male and a female who had never met before. While we expected sex to have no impact on solving performance, our results revealed that, on average, males were faster at solving individual problem-solving tests. These results were mainly attributable to their performance on the second individual problem-solving test (bar test). We believe that this difference could be attributable to a higher level of persistence in males and/or the impact of sexual selection on cognitive performance, and that these aspects should be explored in future studies. Secondly, in line with our expectations, our results confirmed the contextual repeatability hypothesis, according to which solving performance is consistent across trials requiring the same cognitive process. Finally, we expected social pairs to perform better than experimental pairs on the cooperative problem-solving test, since we expected them to be more capable of synchronisation and behavioral coordination. . However, we found results suggesting the opposite, and the performance of the pairs on the cooperative problem-solving task was mainly explained by the ability of each partner to solve a problem. Questions remain as to why the experimental pairs performed better than the social pairs. Could a difference in motivation be behind these results? Future studies are needed to shed light on this. Despite the outstanding questions, we believe that our results contribute to our knowledge of individual cognitive abilities, problem solving and cooperation.

Résumé : La détection des bâtiments dans les images à très haute résolution spatiale (THRS) a plusieurs applications pratiques et représente un domaine de recherche scientifique intensive ces dernières années. Elle fait face à la complexité du milieu urbain et aux spécificités des images provenant des différents capteurs. La performance des méthodes existantes pour l’extraction des bâtiments n’est pas encore suffisante pour qu’elles soient généralisées à grande échelle (différents types de tissus urbains et capteurs). Les opérateurs morphologiques se sont montrés efficaces pour la détection des bâtiments dans les images panchromatiques (images en niveaux de gris) à très haute résolution spectrale (THRS). L’information spectrale issue des images multispectrales est jugée nécessaire pour l’amélioration de leur performance. L’extension des opérateurs morphologiques pour les images multispectrales exige l’adoption d’une stratégie qui permet le traitement des pixels sous forme de vecteurs, dont les composantes sont les valeurs dans les différentes bandes spectrales. Ce travail de recherche vise l’application de la transformation morphologique dite Hit-or-Miss (HMT) à des images multispectrales à THRS, afin de détecter des bâtiments. Pour répondre à la problématique de l’extension des opérateurs morphologiques pour les images multispectrales, nous proposons deux solutions. Comme une première solution nous avons généré des images en niveaux de gris à partir les bandes multispectrales. Dans ces nouvelles images les bâtiments potentiels sont rehaussés par rapport à l’arrière-plan. La HMT en niveaux de gris est alors appliquée à ces images afin de détecter les bâtiments. Pour rehausser les bâtiments nous avons proposé un nouvel indice, que nous avons appelé Spectral Similarity Ratio (SSR). Pour éviter de définir des configurations, des ensembles d’éléments structurants (ES), nécessaires pour l’application de la HMT, au préalable, nous avons utilisé l’érosion et la dilatation floues et poursuivi la réponse des pixels aux différentes valeurs des ES. La méthode est testée sur des extraits d’images représentant des quartiers de type résidentiel. Le taux moyen de reconnaissance obtenu pour les deux capteurs Ikonos et GeoEye est de 85 % et de 80 %, respectivement. Le taux moyen de bonne identification, quant à lui, est de 85 % et 84 % pour les images Ikonos et GeoEye, respectivement. Après certaines améliorations, la méthode a été appliquée sur des larges scènes Ikonos et WorldView-2, couvrant différents tissus urbains. Le taux moyen des bâtiments reconnus est de 82 %. Pour sa part, le taux de bonne identification est de 81 %. Dans la deuxième solution, nous adoptons une stratégie vectorielle pour appliquer la HMT directement sur les images multispectrales. La taille des ES de cette transformation morphologique est définie en utilisant la transformation dite chapeau haut-de-forme par reconstruction. Une étape de post-traitement inclut le filtrage de la végétation par l’indice de la végétation NDVI et la validation de la localisation des bâtiments par l’information d’ombre. La méthode est appliquée sur un espace urbain de type résidentiel. Des extraits d’images provenant des capteurs satellitaires Ikonos, GeoEye et WorldView 2 ont été traités. Le taux des bâtiments reconnus est relativement élevé pour tous les extraits - entre 85 % et 97 %. Le taux de bonne identification démontre des résultats entre 74 % et 88 %. Les résultats obtenus nous permettent de conclure que les objectifs de ce travail de recherche, à savoir, la proposition d’une technique pour l’estimation de la similarité spectrale entre les pixels formant le toit d’un bâtiment, l’intégration de l’information multispectrale dans la HMT dans le but de détecter les bâtiments, et la proposition d’une technique qui permet la définition semi-automatique des configurations bâtiment/voisinage dans les images multispectrales, ont été atteints. // Abstract : Detection of buildings in very high spatial resolution images (THRS) has various practical applications and is recently a subject of intensive scientific research. It faces the complexity of the urban environment and the variety of image characteristics depending on the type of the sensor. The performance of existing building extraction methods is not yet sufficient to be generalized to a large scale (different urban patterns and sensors). Morphological operators have been proven effective for the detection of buildings in panchromatic (greyscale) very high spectral resolution (VHSR) images. The spectral information of multispectral images is jugged efficient to improve the results of the detection. The extension of morphological operators to multispectral images is not straightforward. As pixels of multispectral images are pixels vectors the components of which are the intensity values in the different bands, a strategy to order vectors must be adopted. This research thesis focuses on the application of the morphological transformation called Hit-or-Miss (HMT) on multispectral VHSR images in order to detect buildings. To address the issue of the extension of morphological operators to multispectral images we have proposed two solutions. The first one employs generation of greyscale images from multispectral bands, where potential buildings are enhanced. The grayscale HMT is then applied to these images in order to detect buildings. To enhance potential building locations we have proposed the use of Spectral Similarity Ratio (SSR). To avoid the need to set multiple configurations of structuring elements (SE) necessary for the implementation of the HMT, we have used fuzzy erosion and fuzzy dilation and examined the pixel response to different values of SE. The method has been tested on image subsets taken over residential areas. The average rate of recognition for the two sensors, Ikonos and GeoEye, is 85% and 80%, respectively. The average rate of correct identification is 85% and 84%, for Ikonos and GeoEye subsets, respectively. Having made some improvements, we then applied the method to large scenes from Ikonos and WorldView-2 images covering different urban patterns. The average rate of recognized buildings is 82%. The rate of correct identification is 81%. As a second solution, we have proposed a new vector based strategy which allows the multispectral information to be integrated into the percent occupancy HMT (POHMT). Thus, the POHMT has been directly applied on multispectral images. The parameters for the POHMT have been defined using the morphological transformation dubbed top hat by reconstruction. A post-processing step included filtering the vegetation and validating building locations by proximity to shadow. The method has been applied to urban residential areas. Image subsets from Ikonos, GeoEye and WorldView2 have been processed. The rate of recognized buildings is relatively high for all subsets - between 85% and 97%. The rate of correct identification is between 74 % and 88 %. The results allow us to conclude that the objectives of this research, namely, suggesting a technique for estimating the spectral similarity between the pixels forming the roof of a building, the integration of multispectral information in the HMT in order to detect buildings and the proposition of a semiautomatic technique for the definition of the configurations building/neighbourhood in multispectral images, have been achieved.

Nous présentons une nouvelle approche pour la modélisation d'objets 3D de haute qualité à partir de séquences d'images en rotation partiellement calibrées. L'algorithme est capable: de calibrer la caméra (la pose et la longueur focale), de reconstruire la géométrie 3D et de créer une carte de texture. Par rapport à d'autres méthodes plus classiques, le calibrage est réalisé à partir d'un ensemble de silhouettes comme seule source d'information. Nous développons le concept de cohérence d'un ensemble de silhouettes généré par un objet 3D. Nous discutons d'abord la notion de cohérence de silhouettes et définissons un critère pratique pour l'estimer. Ce critère dépend à la fois des silhouettes et des paramètres des caméras qui les ont générées. Ces paramètres peuvent être estimés pour le problème de modélisation 3D en maximisant la cohérence globale des silhouettes. La méthode de reconstruction 3D est fondée sur l'utilisation d'un modèle déformable classique, qui définit le cadre dans lequel nous pouvons fusionner l'information de la texture et des silhouettes pour reconstruire la géométrie 3D. Cette fusion est accomplie en définissant deux forces basées sur les images: une force définie par la texture et une autre définie par les silhouettes. La force de texture est calculée en deux étapes: une approche corrélation multi-stéréo par décision majoritaire, et une étape de diffusion du vecteur gradient (GVF). En raison de la haute résolution de l'approche par décision majoritaire, une version multi-résolution du GVF a été développée. En ce qui concerne la force des silhouettes, une nouvelle formulation de la contrainte des silhouettes est dérivée. Elle fournit une manière robuste d'intégrer les silhouettes dans l'évolution du modèle déformable. A la fin de l'évolution, cette force fixe les contours générateurs du modèle 3D. Finalement, une carte de texture est calculée à partir des images originales et du modèle 3D reconstruit.

Cette thèse porte sur la mise en correspondance stéréoscopique ainsi que sur son application à la détection des obstacles routiers à partir d'un système de vision stéréoscopique. La mise en correspondance est une étape cruciale dans la reconstruction de la structure tridimensionnelle de la scène observée. Elle consiste à retrouver les pixels homologues dans deux images prises de deux points de vue différents, et se ramène à un problème d'estimation d'un champ de disparité. La première partie de ma thèse a porté sur l'estimation de la disparité, dans le cadre d'une approche ensembliste, en minimisant une fonction objective convexe sur l'intersection d'ensembles convexes, construits à partir des connaissances a priori et des observations. Dans la plupart des applications de stéréovision, le champ de disparité doit être lisse dans les zones homogènes et les zones faiblement texturées. L'une de nos contributions a consisté à proposer différentes contraintes de régularisation satisfaisant cette propriété. Pour résoudre le problème d'optimisation considéré, nous utilisons un algorithme efficace itératif par bloc. La deuxième partie traite du problème d'estimation de la disparité en présence de changements d'illumination dans la scène observée. Nous considérons pour cela un modèle d'illumination multiplicatif qui permet de compenser les variations spatiales de luminosité de la scène. Enfin, dans la troisième partie, nous appliquons notre méthode d'estimation de la disparité robuste aux variations d'illumination pour la détection des obstacles routiers.

La géophysique interne est une discipline riche en enseignements sur la structure de la Terre à différentes échelles, et sur les phénomènes passés liés à sa lente évolution. Elle constitue de plus un enjeu présent et d'avenir de première importance dans notre société, à l'heure où les ressources de toutes sortes se font de plus en plus rares, et dans le cadre d'une meilleure gestion de l'aménagement du territoire. La méthode d'inversion des formes d'ondes complètes, fondée sur un processus d'optimisation local, se distingue des autres méthodes d'imagerie sismique par sa vocation à extraire de manière aussi complète que possible l'intégralité de l'information sismique, afin de construire une image quantitative haute résolution d'un ou plusieurs paramètres physiques. Je discute dans ma thèse de plusieurs problématiques liées à cette méthode, en les illustrant par des applications à des données multicomposantes enregistrées par des câbles de fond de mer (OBC) sur le champ pétrolier de Valhall en mer du nord. Je discute tout d'abord de l'empreinte de l'anisotropie engendrée par des milieux transverses isotropes à axe de symétrie vertical sur les données du champ de Valhall. J'illustre cette empreinte sur les résultats de l'imagerie en comparant les modèles du sous-sol obtenus lorsque l'anisotropie est prise en compte ou pas dans la modélisation sismique. Je mets en évidence un biais dans les vitesses reconstruites par une méthode d'inversion isotrope, ce biais induisant un mauvais positionnement des réflecteurs en profondeur. %Les vitesses n'ont pas la même signification près de la surface et en profondeur, où elles sont représentatives des vitesses horizontales et NMO respectivement. J'aborde ensuite le problème de la construction du modèle initial nécessaire à l'inversion des formes d'ondes à partir de données à grands déports. L'approche sélectionnée est une extension de la stéréotomographie, une méthode de tomographie de pente, où les attributs temps de trajet+pente des ondes réfractées et réfléchies sont inversées au sein d'un algorithme hiérarchique multi-échelle. Le potentiel de la méthode est discuté à partir d'un cas synthétique représentatif du champ pétrolier de Valhall, avant l'application aux données réelles du champ de Valhall.

Dans ce travail de thèse, on s'est intéressé à la simulation d'écoulements incompressibles multi-échelles et multiphasiques. L'une des principales difficultés numériques est l'introduction d'une diffusion numérique due aux schémas utilisés. Celle-ci étant indépendante du maillage, une possibilité est de simuler ce type d'écoulement avec un très grand nombre points. Cependant, les besoins en ressources informatiques et en temps deviennent rapidement importants. On a donc développé une méthode de raffinement de maillage adaptatif (AMR) dans le but de suivre, soit des interfaces dans un écoulement diphasique, soit des fronts de concentration dans un écoulement monophasique avec transport d'une espèce inerte, de manière précise tout en optimisant le temps CPU et<br />la taille mémoire. On montre au travers de cas d'étude 2D et 3D, judicieusement choisis, l'efficacité de cette méthode.