De nombreuses caméras CMOS modernes sont équipées de capteurs Rolling Shutter (RS). Ces caméras à bas coût et basse consommation permettent d’atteindre de très hautes fréquences d’acquisition. Dans ce mode d’acquisition, les lignes de pixels sont exposées séquentiellement du haut vers le bas de l'image. Par conséquent, les images capturées alors que la caméra et/ou la scène est en mouvement présentent des distorsions qui rendent les algorithmes classiques au mieux moins précis, au pire inutilisables en raison de singularités ou de configurations dégénérées. Le but de cette thèse est de revisiter la géométrie de la vision 3D avec des caméras RS en proposant des solutions pour chaque sous-tâche du pipe-line de Structure-from-Motion (SfM).Le chapitre II présente une nouvelle méthode de correction du RS en utilisant les droites. Contrairement aux méthodes existantes, qui sont itératives et font l’hypothèse dite Manhattan World (MW), notre solution est linéaire et n’impose aucune contrainte sur l’orientation des droites 3D. De plus, la méthode est intégrée dans un processus de type RANSAC permettant de distinguer les courbes qui sont des projections de segments droits de celles qui correspondent à de vraies courbes 3D. La méthode de correction est ainsi plus robuste et entièrement automatisée.Le chapitre III revient sur l'ajustement faisceaux ou bundle adjustment (BA). Nous proposons un nouvel algorithme basé sur une erreur de projection dans laquelle l’index de ligne des points projetés varie pendant l’optimisation afin de garder une cohérence géométrique contrairement aux méthodes existantes qui considère un index fixe (celui mesurés dans l’image). Nous montrons que cela permet de lever la dégénérescence dans le cas où les directions de scan des images sont trop proches (cas très communs avec des caméras embraquées sur un véhicule par exemple). Dans le chapitre VI nous étendons le concept d'homographie aux cas d’images RS en démontrant que la relation point-à-point entre deux images d’un nuage de points coplanaires pouvait s’exprimer sous la forme de 3 à 7 matrices de taille 3X3 en fonction du modèle de mouvement utilisé. Nous proposons une méthode linéaire pour le calcul de ces matrices. Ces dernières sont ensuite utilisées pour résoudre deux problèmes classiques en vision par ordinateur à savoir le calcul du mouvement relatif et le « mosaïcing » dans le cas RS.Dans le chapitre V nous traitons le problème de calcul de pose et de reconstruction multi-vues en établissant une analogie avec les méthodes utilisées pour les surfaces déformables telles que SfT (Structure-from-Template) et NRSfM (Non Rigid Structure-from-Motion). Nous montrons qu’une image RS d’une scène rigide en mouvement peut être interprétée comme une image Global Shutter (GS) d’une surface virtuellement déformée (par l’effet RS). La solution proposée pour estimer la pose et la structure 3D de la scène est ainsi composée de deux étapes. D’abord les déformations virtuelles sont d’abord calculées grâce à SfT ou NRSfM en assumant un modèle GS classique (relaxation du modèle RS). Ensuite, ces déformations sont réinterprétées comme étant le résultat du mouvement durant l’acquisition (réintroduction du modèle RS). L’approche proposée présente ainsi de meilleures propriétés de convergence que les approches existantes. / Many modern CMOS cameras are equipped with Rolling Shutter (RS) sensors which are considered as low cost, low consumption and fast cameras. In this acquisition mode, the pixel rows are exposed sequentially from the top to the bottom of the image. Therefore, images captured by moving RS cameras produce distortions (e.g. wobble and skew) which make the classic algorithms at best less precise, at worst unusable due to singularities or degeneracies. The goal of this thesis is to propose a general framework for modelling and solving structure from motion (SfM) with RS cameras. Our approach consists in addressing each sub-task of the SfM pipe-line (namely image correction, absolute and relative pose estimation and bundle adjustment) and proposing improvements.The first part of this manuscript presents a novel RS correction method which uses line features. Unlike existing methods, which uses iterative solutions and make Manhattan World (MW) assumption, our method R4C computes linearly the camera instantaneous-motion using few image features. Besides, the method was integrated into a RANSAC-like framework which enables us to detect curves that correspond to actual 3D straight lines and reject outlier curves making image correction more robust and fully automated.The second part revisits Bundle Adjustment (BA) for RS images. It deals with a limitation of existing RS bundle adjustment methods in case of close read-out directions among RS views which is a common configuration in many real-life applications. In contrast, we propose a novel camera-based RS projection algorithm and incorporate it into RSBA to calculate reprojection errors. We found out that this new algorithm makes SfM survive the degenerate configuration mentioned above.The third part proposes a new RS Homography matrix based on point correspondences from an RS pair. Linear solvers for the computation of this matrix are also presented. Specifically, a practical solver with 13 point correspondences is proposed. In addition, we present two essential applications in computer vision that use RS homography: plane-based RS relative pose estimation and RS image stitching. The last part of this thesis studies absolute camera pose problem (PnP) and SfM which handle RS effects by drawing analogies with non-rigid vision, namely Shape-from-Template (SfT) and Non-rigid SfM (NRSfM) respectively. Unlike all existing methods which perform 3D-2D registration after augmenting the Global Shutter (GS) projection model with the velocity parameters under various kinematic models, we propose to use local differential constraints. The proposed methods outperform stat-of-the-art and handles configurations that are critical for existing methods.

À la fin des années quatre-vingts, Vladimir G. Berkovich a introduit une notion d'espace analytique sur tout anneau de Banach. Nous nous proposons, dans cette thèse, d'etudier le cas particulier où l'anneau de Banach considéré est l'anneau des entiers Z ou, plus généralement, un anneau d'entiers de corps de nombres. <br /><br />La majeure partie de notre travail est consacrée à la droite analytique. Elle jouit de propriétés semblables à celles des espaces analytiques complexes d'un point de vue topologique, mais également algébrique, son faisceau structural étant cohérent. En outre, en termes cohomologiques, ses disques se comportent comme des espaces de Stein.<br /><br />Pour finir, nous exposons quelques applications des résultats géométriques énoncés auparavant. Nous obtenons ainsi quelques propriétés de classes de fonctions particulières, telles les fonctions holomorphes sur un disque contenu dans C et dont le développement en un point est à coefficients entiers.

Ce travail s'inscrit dans le cadre de la géométrie de la CAO. Il traite d'un point de vue algorithmique des coniques et de leurs faisceaux. Ces courbes rationnelles sont ici décrites par une liste de trois vecteurs massiques linéairement indépendants appelée forme (BR) de la conique. Un vecteur massique est soit un vecteur pur, soit un point pondéré de l'espace dans lequel sont plongées ces courbes rationnelles ainsi que l'ont défini Fiorot et Jeannin en 1986. Le chapitre 1 rappelle les principaux résultats concernant les courbes Bézier-de Casteljau et les courbes (BR). Le chapitre 2 établit toutes les formes d'une conique définie par un foyer, la directrice associée et l'excentricité. Les différentes formes (BR) d'une conique sont obtenues par des changements de paramètre homographique. Réciproquement, à partir de trois vec-teurs massiques linéairement indépendants et à l'aide de changements de paramètre homographique appropriés, une forme (BR) particulière de la conique est obtenue. Celle-ci donne directement les éléments géométriques remarquables de la conique. Les chapitres suivants traitent de la représentation (BR) des faisceaux de coniques. Chaque type de faisceau se caractérise par une liste de trois vecteurs massiques. Un de ces vecteurs sert à définir le paramètrage du faisceau. Le chapitre 3 donne deux formes (BR) du faisceau de coniques bitangentes. Le chapitre 4 donne une forme (BR) du faisceau des coniques passant par trois points et tangente en un des points à une droite donnée. La forme (BR) d'un faisceau de coniques passant par quatre points du plan est traitée dans le chapitre 5. Les chapitres 6 et 7 traitent respectivement des faisceaux (BR) de coniques osculatrices et surosculatrices. Notons enfin que, pour les coniques comme pour leurs faisceaux, les formes (BR) présentent dans la plupart des cas un ou deux vecteurs purs décrivant les points à l'infini de la conique et les rendant aisément exploitables dans le domaine de la CAO.

Les problèmes de découpe et de placement sont des problèmes combinatoires. Ils sont classes dans la catégorie des problèmes NP-Complets et admettent de nombreuses applications en industrie, en systèmes multiprocesseurs. Nous proposons dans cette thèse, plusieurs méthodes de résolution exactes et approchées, séquentielles et parallèles du problème de découpe et de placement à deux dimensions.

La forme du noyau est une caractéristique fondamentale de la matière nucléaire. Les isotopes légers pairs-pairs du krypton possèdent la surprenante propriété de présenter deux minimas pour leur énergie potentielle correspondants à deux déformations opposées. Alors que l'état fondamental 0+ peut avoir une déformation allongée ou aplatie, un second minimum aplati ou allongé respectivement, se dessine à une énergie inférieure à 1 MeV. Un tel phénomène est appelé coexistence de formes. Une première indication expérimentale est l'observation du second minimum correspondant à un état 0+ excité. Celui-ci a été observé tout au long de la chaîne du krypton. Un calcul de mélange des configurations allongée et aplatie met en évidence un changement de forme important de l'état fondamental en fonction du nombre de neutrons. Celui-ci serait de déformation allongée pour les 76,74Kr et deviendrait aplati pour le 72Kr. Une mesure directe de la déformation de ces noyaux est l'étape indispensable pour confirmer ces hypothèses. Une série d'expériences d'excitation Coulombienne auprès du dispositif SPIRAL associé au multi-détecteur EXOGAM au GANIL a été réalisée. Lors de ces expériences, la statistique était suffisante pour extraire les moments quadripolaires intrinsèques de ces noyaux grâce au code GOSIA. Ils établissent le caractère allongé de l'état fondamental et un état excité aplati conformément au scénario de coexistence de formes. Une mesure par « plunger » des temps de vie des états excités complète cette étude. Une expérience a été réalisée à haute énergie auprès du spectromètre LISE au GANIL permettant une première estimation de la collectivité du noyau de 68Se qui présenterait les mêmes propriétés. L'ensemble des résultats obtenus est comparé à des calculs théoriques de type HFB+Sly6+GCM.

Soit G un groupe algébrique réductif connexe de centre connexe défini sur un corps fini de caractéristique p>0. On munit cette structure d'un endomorphisme de Frobenius F et l'on note G^F l'ensemble des points de G fixes pour l'action de F : G^F est un groupe fini. On suppose que la caractéristique p est bonne pour G.<br /><br />On définit alors une application Phi_G de l'ensemble des classes de conjugaison spéciales de G^* dans l'ensemble des classes unipotentes de G. Cette application décrit le support unipotent des différentes classes de faisceaux-caractères définis sur G.<br /><br />Parallèlement à cela, via la correspondance de Springer, on définit différents invariants, dont les d-invariants, pour les caractères d'un groupe de Weyl W. Nous avons étudié le lien entre l'induction de caractères spéciaux de certains sous groupes de W et les d-invariants. A l'aide de ceci, on démontre que Phi_G, restreinte à certaines classes spéciales particulières de G^* est surjective. On a montré que la stabilité vis-à-vis du Frobenius pouvait être introduite dans ce résultat.<br /><br />On en déduit deux résultats. Le premier est un lien étroit entre les restrictions aux éléments unipotents de faisceaux-caractères de certaines classes et différents systèmes locaux irréductibles et G-équivariants sur les classes unipotentes de G.<br /><br />Le second est une preuve d'une conjecture de Kawanaka sur les caractères de Gelfand-Graev généralisés de G : ils forment une base du Z-module des caractères virtuels de G^F à support unipotent.

Les couches d'oxydation et de corrosion présentes à la surface des alliages cuivreux d'objets du patrimoine culturel sont souvent très riches d'informations. Elles peuvent renseigner sur l'aspect d'origine de l'objet, sur les causes d'abandon et sur l'état de conservation. Elles sont souvent de structures et de natures très complexes et leur analyse est très délicate car elle est soumise à des contraintes sévères de préservation de l'objet.<br />Nous nous sommes intéressés aux couches provenant d'oxydations à haute température et aux patines intentionnelles antiques.<br />Nous avons développé les méthodes analytiques non destructives et les dispositifs expérimentaux les plus adaptés à ces problématiques en nous basant principalement sur les analyses par faisceau d'ions.<br />L'oxydation à haute température du système cuivre-étain a été étudiée de manière approfondie, tant au niveau de la nature des couches, des cinétiques de croissance que des mécanismes réactionnels. Nous avons proposé un modèle tenant compte de tous les résultats expérimentaux que nous avons obtenus, mettant en évidence le rôle inhibiteur de l'étain.<br />Nous avons également étudié les patines intentionnelles antiques qui sont le résultats de traitements chimiques effectués par l'artisan pour modifier l'aspect et la couleur du matériau métallique. Pour cela nous avons analysé un corpus d'objet provenant des collections de divers musées nationaux, s'étalant de l'Egypte Antique à l'Empire romain.<br />Ces analyses ont permis d'augmenter significativement les données présentes dans la littérature sur ce type d'objets et sur ces techniques. Elles ont permis la fabrication d'analogues de laboratoire en expérimentant différentes recettes présentes dans la littérature. Les résultats des analyses d'objets et de ces expérimentations ont permis des avancées dans la connaissance de ce type de couches d'oxyde très particulières, mais aussi dans le domaine de l'histoire des techniques et stylistique dans l'Antiquité méditerranéenne.

Cette étude porte sur la conception, la réalisation et la caractérisation de modulateurs de cohérence intégrés sur substrats semiconducteurs III-V. Nous expliquons tout d'abord le principe de la modulation de cohérence, technique particulière de codage optique appliquée à la transmission et au multiplexage de signaux, qui repose sur l'introduction dans un interféromètre à deux ondes d'un retard optique supérieur à la longueur de cohérence de la source optique. Nous avons réalisé un premier modulateur de cohérence, interféromètre à polarisation à base de guide d'onde optique ruban fortement biréfrigent. Les semiconducteurs III-V n'étant pas biréfringents nous avons développé une structure originale permettant le guidage des seuls modes fondamentaux TE0 et TM0 avec une forte biréfringence de forme résultant de l'empilement de nombreuses couches de GaAlAs de faible épaisseur. Les deux modes présentent en sortie du guide une différence de chemin optique de 230 mm, modulable par effet électro-optique et supérieure à la longueur de cohérence d'une diode superluminescente à 1.3 mm. Nous avons ensuite réalisé un second modulateur sous la forme d'un interféromètre de Mach-Zehnder fortement déséquilibré. Cet interféromètre à deux ondes entièrement intégré en GaAlAs/GaAs introduit un retard optique de 100 mm, par différence de longueur de ses bras. Afin de minimiser les pertes dans cette structure de géométrie complexe nous avons gravé des tranchées situées à l'extérieur des zones courbées. Cette solution a été choisie aprés simulation du dispositif par la méthode des faisceaux propagés (BPM). Les performances du composant sont comparables à celles du précédent. Nous avons donc réalisé les premiers modulateurs de cohérence intégrés en semiconducteurs III-V qui ouvrent la voie à de nouvelles applications en filtrage, contrôle de polarisation... dans les réseaux de télécommunications optiques.

Ce travail de thèse s'inscrit dans le cadre du projet SPIRAL (Système de Production d'Ions Radioactifs Accélérés en Ligne) dont la mise en service débutera en septembre 2001 au GANIL (Grand Accélérateur National d'Ions Lourds) de Caen. Cette thèse a essentiellement porté sur le développement de systèmes de production d'ions radioactifs (ensemble cible source) par l'étude approfondie de chaque étape de la production par la méthode ISOL (Isotopic Separation On Line) : la production par fragmentation de la cible et/ou du projectile, la diffusion hors du matériau cible, l'effusion jusqu'à la source d'ionisation et enfin l'ionisation des atomes radioactifs. Une étude bibliographique et des simulations thermiques ont permis d'optimiser au mieux les matériaux et la forme des cibles de production et de diffusion. Une première cible a été optimisée et fiabilisée pour la production de gaz rares radioactifs (Argon, Néon,...). Une deuxième cible dédiée à la production d'Héliums radioactifs a entièrement été conçue (du cahier des charges jusqu'aux tests “hors ligne” et “en ligne”). Enfin, un troisième ensemble cible source a été défini pour la production d'alcalins radioactifs monochargés. Les intensités de faisceaux secondaires prévues pour SPIRAL y sont présentées. Une étude détaillée sur les efficacités de diffusion effusion pour ces différentes cibles a montré que l'utilisation d'un carbone dont la microstructure est fine (grain de 1µm) améliore la diffusion ainsi que l'importance de l'épaisseur des lamelles dans l'effusion des isotopes de courts temps de vie.

Dans le cadre de cette thèse, nous avons étudié la modélisation d'objets structurés au moyen d'images non-calibrées. Un objet structuré est un objet présentant des particularités qui permettent de le d´ecrire facilement à partir d'éléments géométriques ou physiques (une boite, un cylindre, la tour Eiffel,...). A l'opposé, un objet non structuré est, a priori, difficile à définir à partir de quelques règles simples (le ciel, la mer,...). Notre objectif était de proposer une solution permettant à un utilisateur de modéliser un objet en utilisant à la fois ses connaissances sur la scène observée et des informations extraites d'une séquence d'images obtenues au moyen d'un appareil photographique. Afin de garantir la souplesse d'utilisation et de permettre l'usage d'images dont les caractéristiques de prise de vue sont totalement inconnues (images récupérées sur internet, archives,...), nous souhaitions inscrire notre approche dans le cadre de la reconstruction non-calibrée. Le r´esultat de nos travaux est une méthode interactive complète de modélisation à partir d'images non-calibrées. La méthode développée dans cette thèse permet à l'utilisateur de modéliser tout d'abord l'objet au moyen de contraintes, puis de retrouver son modèle tridimensionnel à partir de la localisation des sommets 3D dans les différentes images disponibles. Pour parvenir à ce résultat, le système effectue un ajustement de faisceaux qui estime les dimensions de la sc`ene observée sans requérir l'initialisation de la pose des images.