Le contexte de ce travail est la mécanique spatiale. Plus précisément, on se propose de réaliser des transferts 'a faible poussée dans le système Terre- Lune modélise par le problème des trois corps restreint circulaire. Le but est de calculer la commande optimale de l'engin spatial pour deux critères d'optimisation: temps de transfert minimal et consommation de carburant minimale. Les contributions de cette thèse sont de deux ordres. Géométrique, tout d'abord, puisqu'on étudie la contrôlabilité du système ainsi que la géométrie des transferts (structure de la commande) à l'aide d'outils de contrôle géométrique. Numérique, ensuite, différentes méthodes homotopiques sont développées. En effet, une continuation deux-trois corps est considérée pour calculer des trajectoires temps minimales et puis une continuation sur la poussée maximale de l'engin pour atteindre des poussées faibles. Le problème de consommation minimale -- minimisation de la norme L1 du contrôle -- est connecté par une continuation différentielle au problème de minimisation de la norme L2 du contrôle. Les solutions trouvées sont comparées à celles calculées 'a l'aide d'une p pénalisation par barrière logarithmique. Ces méthodes sont ensuite appliquées pour la mission SMART-1 de l'Agence Européenne Spatiale.

Maîtriser l'impact des modifications liées à l'activité humaine sur les populations de pathogènes des cultures est un des grands enjeux actuels pour la mise en place d'une agriculture durable. L'objectif de cette thèse était d'évaluer l'impact de la domestication du pommier et de l'utilisation de résistances quantitatives dans les variétés en cours de sélection, sur le pouvoir pathogène du champignon Venturia inaequalis, responsable de la tavelure. Par des inoculations croisées sur pommiers sauvages et domestiques, nous avons comparé le pouvoir pathogène de souches isolées de milieux naturels et cultivés. Puis nous avons comparé le pouvoir pathogène de ces souches sur des génotypes de pommier domestique cumulant plusieurs facteurs de résistances quantitatives (QTL) afin d'évaluer si les pommiers sauvages pouvaient héberger des souches plus agressives que les pommiers domestiques. Enfin, nous avons évalué les pressions de sélection exercées par ces QTL de résistance sur un mélange de souches par pyroséquençage quantitatif. Nos résultats montrent que la domestication du pommier se serait accompagnée d'une modification importante du pouvoir pathogène de V. inaequalis. Les souches issues de pommiers sauvages sont capables d'infecter des génotypes cumulant un grand nombre de facteurs de résistance mais elles ne sont pas plus agressives que les souches issues de pommiers domestiques ; elles ne représenteraient donc pas une menace supplémentaire pour les vergers. Enfin nous différencions nettement l'impact de QTL à spectre d'action étroit et large ; ces derniers, n'exerçant pas de pression de sélection différentielle entre souches co-inoculées, seraient plus durables.

Nous traitons des aspects philosophiques de la réflexion d'Hermann Weyl sur la notion d'espace(-temps) de 1917 à 1923. Il s'agit de sa période d'implication maximale dans les fondements de la théorie de la relativité générale et de la géométrie différentielle. Un point de vue unitaire nous est fourni par le texte d'Espace-Temps-Matière où notre auteur synthétise sa pensée. Notre problématique nait du conflit, dans le texte, entre deux notions aux traits radicalement différents, qui participent toutes les deux à la caractérisation de la notion relativiste d'espace. D'un côté, la notion algébrique qui caractérise l'espace par son groupe de symétrie, et insiste sur son homogénéité. De l'autre, la notion dynamique de champ métrique, issue des travaux d'Albert Einstein, et que la dépendance à l'égard du contenu de l'espace rend nécessairement hétérogène. Après avoir développés les points saillants originaux dans la façon dont Hermann Weyl traite successivement de ces deux notions, nous montrons comment leur cohabitation est rendue possible par l'idée d'une Nahegeometrie. Il s'agit d'une géométrie où les structures infinitésimales sont fixées a priori par des exigences de la raison, mais où les relations à distance ne sont déterminées qu'à travers la médiation de la matière et de ses lois. Ainsi, Hermann Weyl propose une épistémologie cohérente qui fait place à la fois, à un idéalisme transcendantal restreint à la sphère des relations infinitésimales, et à une théorie physique des champs qui exprime la continuité et la vitesse finie de propagation de toute interaction, y compris celles qui s'expriment à travers une déformation de la métrique spatio-temporelle elle-même.

De nombreuses techniques de résolution d'équations aux dérivées partielles sans maillage ont été développées dans la dernière décennie, proposant une alternative attrayante lorsque les éléments finis atteignent leurs limites. Notre travail se concentre sur l'étude de l'approximation diffuse, de ses applications au lissage et a la résolution des équations différentielles : les éléments diffus. Cependant, les solutions proposées s'appliquent aussi à d'autres méthodes et de nombreux résultats numériques illustrent chaque développement théorique. Dans un premier temps, nous étudions les techniques d'approximation sans maillage et les comparons à l'aide d'une méthode hybride. L'approximation myope est construite en modifiant le critère de construction des splines et montre ainsi la différence de nature entre moindres carres glissants et interpolateurs radiaux (krigeage, splines). Nous développons ensuite l'approximation diffuse Hermite dont l'application au calcul de la courbure des surfaces triangulées aboutit à une technique de haute résolution. Un algorithme de reverse engineering de modèle CAO s'appuie sur cette nouvelle technique et met en évidence son potentiel. L'intégration numérique est un ingrédient essentiel pour une méthode sans maillage. L'analyse du patch test nous conduit a la définition d'une technique robuste et assurant de bons rangs de convergence. Nous l'appliquons à l'approximation Hermite pour construire un modèle de poutre 3d pour le forage pétrolier. Un algorithme de contact roche-structure original est propose pour ce problème.

Les mécanismes de formation de phases dans des films minces du système ternaire Al-Cu-Fe et des systèmes binaires Al-Cu, Al-Fe et Cu-Fe ont été étudiés. Dans chacun des systèmes, plusieurs échantillons avec des compositions distinctes ont été préparés par pulvérisation cathodique. Des couches d'aluminium, de cuivre et de fer ont été déposées séquentiellement sur des substrats de silicium oxydé et ont été traités thermiquement par différentes méthodes puis caractérisés. Des mesures de diffraction de rayons X et de résistivité in-situ ont été effectuées pour suivre la formation des phases. Des recuits thermiques suivis de trempe ont été réalisés et les échantillons ont été caractérisés par diffraction des rayons X. L'analyse enthalpique différentielle a également été utilisée ainsi que des mesures simultanées in-situ de résistivité et de diffraction des rayons X. L'ensemble des résultats obtenus nous a permis de proposer des mécanismes de formation de phases pour chacun des échantillons étudiés et en utilisant des modèles théoriques de croissance de phases nous avons pu déterminer des données cinétiques sur la formation de phases dans ces films.

La logique linéaire fait désormais partie des outils standards en théorie de la démonstration et, de manière plus générale, dans l'étude de la correspondance de Curry-Howard. Nous présentons ici trois directions importantes d'application de méthodes issues de la logique linéaire : - la théorie de la démonstration de la logique classique et ses aspects calculatoires via notamment la sémantique des jeux ; - la complexité implicite à travers les modèles dénotationnels des logiques linéaires à complexité bornée ; - la théorie de la concurrence et ses fondements logiques grâce aux ingrédients apportés par la logique linéaire différentielle. Les approches linéaires offrent ainsi un cadre commun pour l'étude de différents aspects logiques du calcul.

Nous étudions les processus de Dirichlet dont le paramètre est une mesure proportionnelle à la loi d'un processus temporel, par exemple un mouvement Brownien ou un processus de saut Markovien. Nous les utilisons pour proposer des modèles hiérarchiques bayésiens basés sur des équations différentielles stochastiques en milieu aléatoire. Nous proposons une méthode pour estimer les paramètres de tels modèles et nous l'illustrons sur l'équation de Black-Scholes en milieu aléatoire.

Le plan de notre travail se présentera de la façon suivante : dans une première partie, à partir des spectres d'amplitude des ondes P, nous étudierons les paramètres des sources associées aux séismes proches et le facteur de qualité dans la zone focale. Nous décrirons préalablement les méthodes expérimentales de calcul de ces divers paramètres. Puis, dans la deuxième partie, nous montrerons l'existence d'une dispersion différentielle dans la région focale. Cette notion sera développée et une méthode de calcul numérique de ce paramètre sera définie . Les résultats expérimentaux seront discutés à partir de l' hypothèse suivante: la dispersion observée est la conséquence de l'atténuation.

Ce document traite de plusieurs aspects de la vision stéréoscopique par ordinateur. Cette méthode consiste à partir d'une ou de plusieurs paires d'images à " reconstruire " une scène observée en trois dimensions, c'est-à-dire à produire une description des objets et surfaces observés ainsi que leur position dans l'espace. Le premier problème abordé est celui du calibrage, dont l'objet est de calculer les paramètres des caméras (focale, centre optique, etc.) ainsi que leur position, soit à partir d'images d'objets de géométrie et de position connue, soit de manière automatique (on parle alors d'auto-calibrage). Des résultats nouveaux sont présentés sur l'auto-calibrage de la distorsion optique et sur l'auto-calibrage d'une paire de caméras rigidement liées à partir de plusieurs paires d'images. Ensuite sont présentées différentes méthodes permettant de rectifier les images de manière à simplifier la mise en correspondance, puis d'effectuer cette mise en correspondance par une technique de corrélation. Outre des améliorations des résultats classiques, de nouvelles méthodes permettant d'obtenir une plus grande précision sont discutées. La dernière phase, dite de reconstruction, permet d'obtenir une description des surfaces observée allant jusqu'aux propriétés différentielles d'ordre un et deux (plan tangent et courbures à la surface), à partir des résultats de stéréoscopie par corrélation. Ce document se termine par quelques applications réalisées au cours de ces recherches telles qu'un système d'aide chirurgicale pré-opératoire ou une caméra stéréo bon marché.

Le contexte de ce travail est le contrôle optimal géométrique appliqué à la mécanique céleste et au contrôle quantique. On s'est tout d'abord intéressé au problème de transfert orbital de satellite autour de la Terre à consommation minimale, qui amena à la réalisation du code HamPath, permettant tout d'abord la résolution de problèmes de contrôle optimal dont la loi de commande est lisse. Il se base sur le Principe du Maximum de Pontryagin (PMP) et sur la notion de point conjugué. Ce programme combine méthodes de tir, méthodes homotopiques différentielles et calcul des conditions d'optimalité du deuxième ordre. Nous nous intéressons par la suite au contrôle quantique. On étudie tout d'abord le contrôle d'un système composé de deux types de particules de spin 1/2 ayant des temps de relaxation différents et dont la dynamique est gouvernée par les équations de Bloch. Ces deux sous-systèmes, correspondant aux deux types de particules, sont couplés par un même contrôle (un champ electromagnétique), le but étant alors d'amener la magnétisation des particules du premier type à zéro tout en maximisant celle du second (dans un système de coordonnées bien choisi). Ce modèle intervient en imagerie médicale par Résonance Magnétique Nucléaire et consiste à maximiser le contraste entre deux régions d'une même image. L'utilisation des outils géométriques et numériques aura permis de donner une très bonne synthèse sous-optimale pour deux cas particuliers (mélange sang oxygéné/désoxygéné et liquide cérébrospinal/eau). La dernière contribution de cette thèse porte sur l'étude d'un système quantique à deux niveaux d'énergie dont la dynamique est régie par les équations de Lindblad. Le modèle est basé sur la minimisation d'énergie du transfert. On se restreint à un cas particulier pour lequel le Hamiltonien donné par le PMP est Liouville intégrable. On décrit alors les lieux conjugué et de coupure pour ce problème riemannien avec dérive.