Ces travaux de recherche s’inscrivent dans la problématique scientifique de reconstruction du relief sous un couvert végétal à partir d’observations aéroportées. Le scanner laser aéroporté est une technique d’imagerie très prometteuse, notamment pour l’observation des zones forestières. Sa déclinaison "onde complète" consiste à émettre une impulsion laser et à enregistrer temporellement l’intégralité des échos de retour réfléchis par la scène. La forme des échos de retour fournit des informations sur l’épaisseur optique du couvert végétal. De nombreux systèmes commerciaux sont en exploitation, en particulier en topographie ou en bathymétrie. Mais ces systèmes ne sont pas dédiés à l’observation de la végétation. L’objectif de cette thèse est l’étude de l’intérêt de ces systèmes pour la construction de modèle numérique de terrain (MNT) sous couvert végétal. Elle est basée sur le développement d’outils de simulation du signal temporel incident au capteur lidar et de traitement des données. Dans un premier temps, le modèle physique de lidar onde complète, DELiS (n-Dimensional Estimation of Lidar Signals) a été développé. Il permet de simuler l’observation de scènes de végétation réalistes, tout en incluant la prise en compte de l’environnement extérieur (atmosphère, soleil) ainsi que des caractéristiques de la source et de la chaîne de détection (bruits de mesure). DELiS a été validé par confrontation à des résultats analytiques. Ensuite, DELIS a permis de comprendre et d’évaluer l’importance des diffusions multiples dans le couvert en fonction du champ de vue du lidar mais aussi de justifier l’utilisation d’acquisitions aéroportées petit champ pour simuler le signal d’un lidar spatial plus grand champ. Dans une deuxième étape, ses capacités de simulation ont été utilisées afin d’étudier l’intérêt du lidar onde complète pour la reconstruction d’un MNT sous couvert végétal. Dans ce but, nous avons développé et implémenté numériquement une méthode originale de traitement et de classification des données lidar onde complète permettant de séparer les échos lidar provenant du sol de ceux provenant de la végétation. Après classification des échos, nous avons reconstruit la géométrie du sol et des objets occultés par la végétation. Enfin, nous avons étudié comment combiner des données aéroportées acquises sous différents points de vue afin d’améliorer les reconstructions. Nos travaux montrent que le scanner laser aéroporté onde complète pourrait permettre d’obtenir en milieux forestier des reconstructions de la géométrie du terrain à des résolutions sub-métriques et avec une précision de l’ordre de 10 à 20 centimètres. La combinaison de visées multi-angulaire permet, par l’apport d’une quantité importante d’information supplémentaire, d’améliorer encore la reconstruction du MNT. Nous montrons cependant que les visées inclinées sont plus sensibles à la présence des troncs et branchages des arbres, éléments qui sont susceptibles d’introduire une erreur importante dans les processus de classification et de reconstruction. Pour cette raison, nous recommandons l’utilisation de la visée nadir pour la reconstruction mono-vue des modèles numériques de terrain, et nous proposons une méthode permettant de choisir de façon optimale les visées inclinées à ajouter pour l’observation détaillée d’une portion plus restreinte de la scène.

Le plasma est un gaz ionisé qui possède des caractéristiques physiques intéressantes dans le domaine des hyperfréquences. En simplifiant, on peut le caractériser comme un milieu diélectrique dispersif dont la permittivité est fonction de deux paramètres : la pulsation plasma (wp) et la fréquence de collision électron-neutre (np). En pratique, ces paramètres dépendent principalement de la densité électronique du gaz et de sa pression. Ainsi, en contrôlant les caractéristiques du plasma, on contrôle sa permittivité diélectrique, ce qui permet d’envisager son application dans le domaine de la reconfigurabilité en hyperfréquence. Parmi les topologies pouvant générer une décharge plasma, nous nous sommes focalisés sur l’utilisation de topologies récentes, à savoir les microdécharges plasma. Ces microdécharges sont intéressantes de par leur facilité d’intégration dans un dispositif RF : petite taille, stabilité, température proche de la température ambiante et perspectives d’utilisation à plus haute pression, voire à la pression atmosphérique. Devant la difficulté de modéliser précisément l’effet du plasma sur une onde guidée, une approche expérimentale a été privilégiée. Deux dispositifs de mesure ont ainsi été conçus pour caractériser cette interaction : une ligne de transmission microruban classique et une inversée intégrant une microdécharge en leurs centres. Grâce au protocole expérimental mis en œuvre, les paramètres S de la ligne de transmission sont obtenus et comparés à ceux des lignes sans plasma dans une large gamme paramétrique, qu’il s’agisse de la pression du gaz, de la fréquence ou encore du courant injecté à la décharge. Les résultats obtenus montrent deux phénomènes particulièrement intéressants : un déphasage de l’onde électromagnétique en présence de la décharge plasma et / ou une absorption importante de la puissance par la décharge. Deux dispositifs antennaires ont finalement été conçus en exploitant ces résultats. Le premier est une antenne imprimée accordable en fréquence dans une plage de l’ordre du pourcent, grâce à une décharge plasma contrôlée. Le plasma modifie alors la constante diélectrique entre les deux conducteurs constitutifs de l’antenne. Le second dispositif est une antenne anneau imprimée qui peut protéger son récepteur d’une attaque microondes de forte puissance. Ainsi, lorsqu’un champ incident dépasse un seuil prédéfini, réglable dans une certaine mesure par une tension continue externe, une décharge plasma apparaît au sein de l’élément rayonnant. Elle crée alors de la désadaptation et de l’absorption qui limitent de façon non linéaire la puissance restituée à l’accès.

La thèse a pour but de développer des algorithmes robustes de poursuite de phase multifréquence en environnement dégradé. L’objectif est d’élaborer de nouvelles structures pouvant opérer à des niveaux de rapport signal à bruit inférieurs aux limites des algorithmes actuellement implémentés dans des récepteurs grand public. Les problèmes de robustesse des algorithmes d’estimation de phase étant en grande partie causés par le phénomène de sauts de cycle, les différents axes de recherche se sont focalisés sur des nouvelles approches de développement de phase au sein des structures de poursuite. Pour ce faire, deux approches ont été étudiées et testées. Dans un premier temps, deux structures de poursuite monofréquence basées sur une DPLL conventionnelle ont été développées. Ces structures disposent d’un système externe de développement de phase visant à prédire et pré-compenser la sortie du discriminateur grâce à l’analyse des sorties du discriminateur ou des sorties du filtre de boucle. La réduction de la dynamique à estimer va alors permettre de réduire l’apparition des sauts de cycle se produisant au niveau du discriminateur. Par la suite, ce système de développement de phase a été adapté à la poursuite de phase multifréquence. Grâce à l’exploitation de la diversité en fréquence offerte par les signaux de navigation (i.e., de la proportionnalité des fréquences Doppler), il a été possible de mettre en place une étape de fusion de données qui a permis d’améliorer la précision de la prédiction de la sortie du discriminateur et donc d’améliorer la robustesse de la structure. Dans un second temps, les travaux de recherche se sont axés sur une nouvelle approche de poursuite de phase et de correction du phénomène de sauts de cycle basée sur une technique de filtrage Bayésien variationnel. Toujours en exploitant la diversité en fréquence des signaux de navigation, cette méthode suppose un modèle de dynamique de phase Markovien qui va imposer une certaine continuité de l’estimation et va permettre de fournir une estimation de phase développée.

Les systèmes critiques comme les commandes de vol peuvent entraîner des désastres en cas de dysfonctionnement. D'où l'intérêt porté à la fois par le monde industriel et académique aux méthodes de preuve formelle capable d'apporter, plus ou moins automatiquement, une preuve mathématique de correction. Parmi elles, cette thèse s'intéresse particulièrement à l'interprétation abstraite, une méthode efficace pour générer automatiquement des preuves de propriétés numériques qui sont essentielles dans notre contexte. Il est bien connu des automaticiens que les contrôleurs linéaires sont stables si et seulement si ils admettent un invariant quadratique (un ellipsoïde, d'un point de vue géométrique). Ils les appellent fonction de Lyapunov quadratique et une première partie propose d'en calculer automatiquement pour des contrôleurs donnés comme paire de matrices. Ceci est réalisé en utilisant des outils de programmation semi-définie. Les aspects virgule flottante sont pris en compte, que ce soit dans les calculs effectués par le programme analysé ou dans les outils utilisés pour l'analyse. Toutefois, le véritable but est d'analyser des programmes implémentant des contrôleurs (et non des paires de matrices), incluant éventuellement des réinitialisation ou des saturations, donc non purement linéaires. L'itération sur les stratégies est une technique d'analyse statique récemment développée et bien adaptée à nos besoins. Toutefois, elle ne se marrie pas facilement avec les techniques classiques d'interprétation abstraite. La partie suivante propose une interface entre les deux mondes. Enfin, la dernière partie est un travail plus préliminaire sur l'usage de l'optimisation globale sur des polynômes basée sur les polynômes de Bernstein pour calculer des invariants polynomiaux sur des programmes polynomiaux.

Les visualisations de données permettent de transmettre de l’information aux utilisateurs. Pour explorer et comprendre les données, les utilisateurs sont amenés à interagir avec ces visualisations. Toutefois, l’interaction avec les visualisations modifie le visuel. Pour éviter des changements brusques et garder l’utilisateur focalisé sur les objets graphiques d’intérêt, des transitions visuelles sont nécessaires pour accompagner les modifications de la visualisation. Ces transitions visuelles peuvent être codées sous la forme d’animations, ou de techniques qui permettent de faire des correspondances, ou des liens avec des données représentées sur plusieurs affichages. Le premier objectif de cette thèse était d’étudier les bénéfices et les propriétés des animations pour l’exploration et la compréhension de grandes quantités de données multidimensionnelles. Nous avons établi en conséquence une taxonomie des transitions animées en visualisation d’information basée sur les tâches des utilisateurs. Cette taxonomie a permis de constater qu’il n’existe pas de contrôle utilisateur sur la direction des objets durant l’animation. Nous avons donc proposé des interactions pour le contrôle de la direction des objets graphiques lors d’une transition animée. D’autre part, nous avons étudié une technique de transition animée mettant en jeu une rotation 3D entre visualisations. Nous avons identifié les avantages qu’elle pouvait apporter et en avons proposé une amélioration. Le second objectif était d’étudier les transitions visuelles dans le domaine du Contrôle du Trafic Aérien. En effet, les contrôleurs utilisent de nombreuses visualisations qui comportent des informations étalées et dupliquées sur plusieurs affichages: l’écran Radar, le tableau de strips, des listes spécifiques d’avions (départ, arrivées) etc. Ainsi dans leur activité, les Contrôleurs Aériens réalisent des transitions visuelles en recherchant et en reliant de l’information à travers les différents affichages. Nous avons étudié comment les animations pouvaient être utilisées dans le domaine du contrôle aérien en implémentant un prototype d’image radar regroupant trois visualisations usuelles pour instrumenter l’activité de supervision du trafic aérien.

La prochaine génération de télescopes spatiaux devra repousser les limites des technologies actuelles afin d’accroitre les performances techniques et opérationnelles. Dans le cas d’observations difficiles, l'utilisation de plus grandes ouvertures des miroirs primaires est essentielle pour obtenir la résolution optique et la sensibilité requises. Toutefois, les grandes ouvertures primaires induisent un certain nombre de défis techniques tels que la masse, le volume et la raideur du miroir. La masse et le volume doivent rester acceptables par rapport au lanceur et la raideur du miroir, qui diminue avec l’augmentation du diamètre du miroir, doit être suffisante afin que les performances ne soient pas altérées par les déformations statiques et dynamiques. Pour surmonter ces limitations, des configurations de miroirs déformables comportant des éléments de contrôle actifs sont étudiées pour les futurs télescopes spatiaux. Les actionneurs piézoélectriques, qui répondent aux exigences de puissance massique et de bande passante, peuvent être utilisés comme éléments de contrôle actifs intégrés dans la structure de miroir. Toutefois, ces actionneurs montrent en fonctionnement en boucle ouverte des comportements non linéaires indésirables, comme le fluage et l'hystérésis, qui peuvent conduire à des inexactitudes indésirables et limiter les performances des systèmes. Par conséquent, pour les miroirs déformables activés par des actionneurs piézoélectriques, la compensation des non linéarités dans les actionneurs piézoélectriques est indispensable. La conception d’un miroir léger, compact et déformable à raideur adéquate est un défi très important pour les télescopes spatiaux mais n'est pas abordée dans cette thèse. Cette thèse porte sur le contrôle de surfaces de miroirs déformables actionnés par des actionneurs piézoélectriques et en particulier sur la compensation du fluage et de l'hystérésis dans les actionneurs piézoélectriques. La technologie de miroir actif étudié (avec des pieds activés, type miroir fakir) requiert un grand nombre d’actionneurs afin de tenir les exigences en termes de planéité de surface et ne permet pas un contrôle en boucle fermée de chaque actionneur (ce type de contrôle est trop exigeant en nombre de capteurs). La compensation du fluage et de l’hystérésis est donc réalisée en boucle ouverte et s’appuie sur des modèles précis des non linéarités à compenser et sur l’implémentation de modèles inverses. Un support d’étude expérimental a été élaboré au cours de la thèse afin de valider les études théoriques par des résultats expérimentaux. Il représente une partie d’un miroir de grande taille et consiste en une plaque de verre circulaire de diamètre 300mm dont la surface peut être actionnée par 7 actionneurs piézoélectriques annulaires. Les premières chapitres de la thèse concernent l’étude de la compensation en boucle ouverte du fluage et de l’hystérésis dans un seul actionneur qui est alors considéré comme un système SISO (single input – single output). Dans le dernier chapitre de la thèse, le fluage et de l’hystérésis sont compensés dans 3 actionneurs simultanément, ceux-ci formant un système MIMO (multi input – multi output). Les apports de la thèse concernent le développement de nouveaux modèles directs et inverses de fluage et d’hystérésis qui ont été validés par des expérimentations réalisées dans un contexte difficile de par la faible étendue des amplitudes de déplacement ( de l’ordre du micromètre).

Ce mémoire de thèse traite des effets singuliers produits par les milieux radiatifs sur les capteurs d’images CMOS. Le travail se concentre sur les effets provoqués par les ions lourds sur les capteurs utilisant des pixels 3T à photodiode standard et des pixels 4T et 5T à photodiodes pincées. Dans un premier temps, l’étude se concentre sur l’environnement spatial et l’architecture des capteurs. La comparaison avec la littérature met en évidence les effets les plus critiques sur les capteurs : le SEL et les SET. Les capteurs testés expérimentalement valident les travaux théoriques. Les SET sont comparés aux simulations de l’outil de modélisation STARDUST, et montrent un bon accord pour toutes les puces et les ions. Il est expliqué pourquoi les SET sur les puces 3T sont insensibles aux variations de conception de la photodiode, et pourquoi l’utilisation d’un substrat épitaxié diminue grandement les SET. Une méthode de réduction des SET est implémentée avec succès sur les puces 4T et 5T, et le composant responsable du latchup est identifié. L’ensemble des mécanismes explorés permet de connaitre les paramètres importants pour durcir les imageurs.

Un nouveau modèle de turbulence adapté aux écoulements turbulents soumis à la flottabilité a été développé en utilisant la configuration du canal plan vertical différentiellement chauffé comme référence. L’étude des DNS disponibles pour chacun des régimes de convection a montré les défauts des relations constitutives classiques conduisant à la mauvaise représentation des écoulements de convection naturelle. Ces modèles ne prennent en compte ni le couplage des champs thermique et dynamique ni l’anisotropie de l’écoulement, tout deux induits par la flottabilité. Une approche algébrique a donc été utilisées. L’hypothèse d’équilibre local a été validée dans une large partie du canal sauf dans la région de paroi et au voisinage d’un gradient de vitesse nul, quel que soit le régime de convection. Les modèles homogènes et pariétaux pour les corrélations de pression ont été étudiés et sélectionnés. Deux modèles EARSM et EAHFM prenant en compte les termes de flottabilité ont été développés. Ces modèles intègrent aussi des traitements spécifiques à la paroi reposant sur la pondération elliptique. Ils sont couplés à un modèle corrigé pour mieux représenter le pic d’énergie cinétique turbulente près de la paroi. Le modèle complet a été confronté aux DNS sur la configuration du canal pour chacun des régimes de convection à travers des tests a priori et des calculs complets montrant des résultats très encourageants et de meilleures prévisions que les modèles classiques.

L'utilisation de systèmes GNSS (Global Navigation Satellites System) en environnement urbain s'est fortement développée, notamment avec l'apparition des puces GNSS dans les téléphones portables. Cependant, l'environnement urbain génère des difficultés dans la réception des signaux GNSS qui peuvent engendrer des erreurs en position de plusieurs dizaines de mètres. Nous avons choisi d'apporter une solution à ces problématiques grâce à l'utilisation d'un modèle 3D de ville réaliste simulant la propagation des signaux GNSS. La première partie de notre étude se porte sur la problématique des signaux Non Line Of Sight et propose une solution de navigation utilisant le modèle 3D de ville pour estimer les caractéristiques géométriques des signaux NLOS reçus par le récepteur. Dans la deuxième partie de notre travail, le modèle 3D de ville est utilisé pour estimer le biais dû aux signaux multitrajets sur la mesure de pseudodistance. Enfin, la dernière partie de notre étude propose une solution combinant les méthodes de poursuite vectorielle des signaux GNSS aux apports d'information du modèle 3D de ville afin d'aider la poursuite en contexte d'atténuation des signaux GNSS.

Prédiction des conflits dans le systèmes homme-machine. Le travail fait partie de la recherche consacrée à des problèmes d'interaction homme-machine et aux conflits entre l'homme et la machine qui pourrait découler de ces situations.