Les lasers à électrons libres (LELs) à simple passage représentent actuellement la possibilité la plus prometteuse pour fournir des impulsions lumineuses de haute énergie (µJ à mJ) à des échelles de durée femtoseconde (1 fs = 10⁻¹⁵s) et des longueurs d'ondes ultra-courtes (résolution nanométrique i.e., jusqu'aux domaines de l'extrême-ultraviolet et des rayons X). Les LELs émettant dans l'extrême-ultraviolet sont une technologie encore jeune, si bien que de nombreuses questions restent ouvertes. Celles posées au sein de ce manuscrit concernent la configuration dite injectée, dans laquelle le processus est initié par une source externe cohérente (le "seed"). Nous nous concentrons particulièrement dans cette thèse sur les caractéristiques transverses et longitudinales de la lumière, sa cohérence, les propriétés de la phase temporelle et les liens directs entre le seed et l'émission LEL. La technique de génération dans un gaz noble d'harmoniques d'ordres élevés d'un laser femtoseconde (GHE) se montre à la fois complémentaire et en compétition avec les LELs. En compétition car les impulsions produites ont des qualités similaires à celles obtenues avec un LEL ; complémentaire car le rayonnement GHE peut être utilisé comme seed ou en combinaison avec la lumière LEL, par exemple pour effectuer des expériences mettant en jeu de multiples faisceaux. Bien que la GHE fournisse des impulsions moins puissantes, l'implémentation d'une telle source requiert un effort significativement moins important. Le taux de conversion harmonique, l'accordabilité et la qualité spatiale du faisceau généré, et la manière dont ces paramètres dépendent du laser générateur sont les problématiques traitées au sein de ce manuscrit. La volonté de la communauté scientifique d'effectuer des expériences novatrices demande des études profondes et l'optimisation des sources de GHE et des LELs. En particulier, sur la source LEL injectée FERMI@Elettra de Trieste, l'induction d'une dérive de fréquence dans le rayonnement a conduit à des résultats marquants. Entre autres, une méthode de génération d'impulsions scindées avec différentes longueurs d'ondes a été analysée et développée. Une telle possibilité ouvre la voie à l'utilisation des LELs injectés en tant que source autonome pour des installations de type pompe-sonde à deux couleurs. Plus généralement, l'étude des phénomènes mis en jeu dans les processus de GHE et du LEL ainsi que la caractérisation des propriétés de leur lumière sont des sujets intrinsèquement excitants, ayant des connexions directes avec de nombreux aspects fondamentaux de la physique.

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage. / In computer science, structures with variable binders are very common. Program- ming languages and logical frameworks are examples of structures with binders. Thus writing programs that deal with these kinds of data benefits with explicit support for data binding. The Beluga programming environment is an example of such a system. In this work we develop and present a compiler for the system. Many of the programs that Beluga is specially well suited for writing can benefit from a compiler. For example, some of the kinds programs that would benefit more are type-checkers, compilers and interpreters that take advantage of the binder support and dependent types present in the language, and also require a reasonably fast run-time. Our goal in this work, is to present a compiler for the Beluga system, that uses a very versatile internal representation that helps with the development of the system, and allows a sharing of code between several back-ends. Furthermore, we present a way of compiling the uniquely powerful pattern language supported by Beluga.

Les travaux de cette thèse s'inscrivent dans le contexte du traitement et de l'analyse des images couleur. Les premiers travaux pour traiter ces images consistaient à appliquer des traitements déjà existant en niveaux de gris marginalement sur les trois composantes constituant la couleur et le plus généralement dans l'espace RVB. Ces traitements ont été peu à peu améliorés notamment par l'utilisation d'espaces couleur d'avantage liés à la perception humaine mais aussi par des approches vectorielles. Dans ce travail de thèse nous nous plaçons dans la continuité de ces travaux et nous proposons une modélisation mathématique de la dimension vectorielle dans le but de manipuler les couleurs de manière globale. Trois formalismes sont présentés pour représenter la couleur : les complexes, les quaternions et les algèbres géométriques. Dans ce cadre, il est proposé de définir de nouveaux outils d'analyse couleur avec notamment une caractérisation numérique fréquentielle de chacun de ces modèles. Une étude approfondie de leurs utilisations permet de faire ressortir leurs propriétés ainsi que leurs principaux avantages et inconvénients à savoir : impossibilité des complexes à représenter les vecteurs couleurs qui par nature s'expriment en trois dimensions minimum contrairement aux quaternions et aux algèbres géométriques ; distinction entre objets manipulés (vecteurs couleur) et opérations effectuées sur ces objets (projections, rotations,...) pour les algèbres géométriques contrairement aux quaternions... Enfin nous avons montré que la transformée de Fourier quaternionique analyse la couleur avec une direction indiquée par un vecteur couleur, tandis que la transformée de Fourier définie au moyen de l'algèbre G3, plus générique, répartit l'information couleur sur des composantes fréquentielles indépendantes. L'utilisation de modèles algébriques pour représenter l'information couleur permet la définition et le développement d'un filtre spatial de détection de contours tenant compte de la dispersion dans l'espace couleur.

La demande en constante progression de sources laser compactes et efficaces conduit à rechercher des architectures nouvelles pour accroître la puissance des diodes laser. La solution la plus prometteuse consiste à utiliser plusieurs lasers identiques de puissance modérée en parallèle. Pour conserver la qualité spatiale du faisceau, il est nécessaire d'induire une relation de phase constante entre les lasers. Nous présentons une étude théorique et expérimentale de la mise en phase passive d'une barrette de diodes laser de puissance. Pour cela, nous exploitons les propriétés de filtrage angulaire et spectral des réseaux de Bragg volumiques dans une cavité externe. Deux solutions ont été étudiées : la première exploite l'effet d'auto-imagerie Talbot et la seconde effectue un filtrage sélectif des composantes angulaires de l'émission de la barrette. Un modèle théorique permettant de déterminer le comportement modal de chacune de ces cavités a été réalisé. Dans le cas de la cavité Talbot, en collaboration avec l'Université de Nottingham, la cavité a également été modélisée en prenant en compte les propriétés internes des diodes laser. Expérimentalement, plusieurs architectures adaptées à des géométries de barrettes différentes ont été étudiées, qui ont toutes donné lieu à une émission cohérente. Nous montrons que l'utilisation d'un réseau de Bragg volumique intra-cavité permet à la fois d'améliorer la cohérence entre les lasers et de stabiliser le spectre d'émission. Enfin, nous présentons une solution originale utilisant des filtres de phase permettant de convertir le faisceau cohérent multilobe provenant de la cavité laser en un faisceau de profil gaussien.

Ces dernières années se caractérisent par la prolifération des systèmes de vidéo-surveillance et par l'automatisation des traitements que ceux-ci intègrent. Parallèlement, le problème du suivi d'objets est devenu en quelques années un problème récurrent dans de nombreux domaines et notamment en vidéo-surveillance. Dans le cadre de cette thèse, nous proposons une nouvelle méthode de suivi d'objet, basée sur la méthode Ensemble Tracking et intégrant deux améliorations majeures. La première repose sur une séparation de l'espace hétérogène des caractéristiques en un ensemble de sous-espaces homogènes appelés modules et sur l'application, sur chacun d'eux, d'un algorithme basé Ensemble Tracking. La seconde adresse, quant à elle, l'apport d'une solution à la nouvelle problématique de suivi induite par cette séparation des espaces, à savoir la construction d'un filtre particulaire spécifique exploitant une pondération des différents modules utilisés afin d'estimer à la fois, pour chaque image de la séquence, la position et les dimensions de l'objet suivi, ainsi que la combinaison linéaire des différentes décisions modulaires conduisant à l'observation la plus discriminante. Les différents résultats que nous présentons illustrent le bon fonctionnement global et individuel de l'ensemble des propriétés spécifiques de la méthode et permettent de comparer son efficacité à celle de plusieurs algorithmes de suivi de référence. De plus, l'ensemble des travaux a fait l'objet d'un développement industriel sur les consoles de traitement de la société partenaire. En conclusion de ces travaux, nous présentons les perspectives que laissent entrevoir ces développements originaux, notamment en exploitant les possibilités offertes par la modularité de l'algorithme ou encore en rendant dynamique le choix des modules utilisés en fonction de l'efficacité de chacun dans une situation donnée.

L'objectif de ce travail est la réalisation d'un filtre spectral à fort facteur de qualité (20000), indépendant de la polarisation et accordable en longueur d'onde. Un tel composant répondrait à de nombreux besoins, notamment en imagerie spectroscopique. Pour le réaliser, les réseaux résonnants semblent tout indiqués. En effet, la position du pic de résonance est naturellement accordable en fonction de l'angle d'incidence, et des facteurs de qualité de 10000 sont classiquement atteints. Cependant, en général, la réponse des réseaux résonnants dépend de la polarisation ce qui les limite à des applications où la polarisation est connue. Pour résoudre ce problème, nous adoptons une approche originale mise en œuvre dans une structure innovante comportant deux réseaux 1D croisés. Nous donnons alors un exemple de filtre en réflexion indépendant de la polarisation, accordable sur 100 nm à raison de 8.5 nm/°, avec un facteur de qualité de 13000. Pour un fonctionnement dans le proche infrarouge, nous proposons des matériaux et techniques de la microélectronique sur silicium et montrons qu'il est ainsi possible de fabriquer ces structures avec la précision requise.

Depuis une bonne dizaine d'année, l'aéronautique a entamé sa mutation vers le "plus électrique".L'objectif étant de réduire la consommation de carburant, une des contraintes majeures de ces nouvelles solutions est de réduire la masse embarquée. Les filtres dimensionnés pour les convertisseurs statiques doivent donc être optimisés au mieux vis-à-vis de ce critère, ainsi que du volume. Il y a donc un fort besoin du côté des concepteurs d'avions de savoir quels choix parmi les différentes possibilités technologiques sont optimaux, et de connaître l'impact de ces choix sur le poids, le coût global et le volume de l'équipement. Le filtre CEM représente généralement environ 30% du coût et du volume d'un convertisseur électronique de puissance. Il va de soi que le volume et/ou la masse de ces filtres doit être optimisé. L'impact de la loi de commande du convertisseur, le choix des semi-conducteurs, du packaging, câbles (longueur et intégration dans l'avion), des machines électriques,...doivent être parfaitement connus pour atteindre un dimensionnement optimal.Dans cette perspective, les objectifs de ces travaux de thèse visent à fournir non seulement une démarche méthodologique pour la modélisation haute fréquence des variateurs de vitesse dédiés aux applications aéronautiques mais aussi une approche de dimensionnement par optimisation des filtres CEM. Pour cela, un outil logiciel évolutif d'aide à la génération rapide des modèles CEM est proposé. Une description modulaire et une mise en équation automatique du modèle fréquentiel complet ainsi que des gradients en facilitent l'utilisation en procédures d'optimisation sous contraintes. L'approche présentée dans ces travaux est relativement générique : la topologie du filtre, de la structure du convertisseur, du câblage et la loi de commande peuvent être facilement recalculées, grâce à cet environnement logiciel.

Cette thèse s'inscrit dans le contexte de la vidéosurveillance "intelligente", et s'intéresse à la supervision de réseaux de caméras à champs disjoints, contrainte classique lorsque l'on souhaite limiter l'instrumentation du bâtiment. Il s'agit là de l'un des cas d'application du problème de la ré-identification de personnes. À ce titre, la thèse propose une approche se démarquant de l'état de l'art qui traite classiquement le problème sous l'aspect description, via la mise en correspondance de signatures image à image. Nous l'abordons ici sous l'aspect filtrage : comment intégrer la ré-identification de personne dans un processus de suivi multi-pistes, de manière à maintenir des identités de pistes cohérentes, malgré des discontinuités dans l'observation. Nous considérons ainsi une approche suivi et mises en correspondance, au niveau caméra et utilisons ce module pour ensuite raisonner au niveau du réseau. Nous décrivons dans un premier temps les approches classiques de ré-identification, abordées sous l'aspect description. Nous proposons ensuite un formalisme de filtrage particulaire à états continus et discret pour estimer conjointement position et identité de la cible au cours du temps, dans chacune des caméras. Un second étage de traitement permet d'intégrer la topologie du réseau et les temps d'apparition pour optimiser la ré-identification au sein du réseau. Nous démontrons la faisabilité de l'approche en grande partie sur des données issues de réseaux de caméras déployés au sein du laboratoire, étant donné le manque de données publiques concernant ce domaine. Nous prévoyons de mettre en accès public ces banques de données.

L'objectif de cette recherche est de construire un modèle réduit de petite dimension pour prévoir les réponses dynamiques dans une bande BF sur les parties rigides d'un véhicule automobile complet. Un tel modèle réduit "léger" est une aide à la phase de conception en "Avant Projet" de ces véhicules qui ont la particularité de présenter de nombreux modes élastiques locaux en BF dues à la présence de nombreuses parties flexibles et d'équipements. Pour la construction du modèle réduit, nous avons introduit une base non usuelle de l'espace admissible des déplacements globaux. La construction de cette base requiert la décomposition en sous-domaines du domaine de la structure qui peut présenter une très grande complexité géométrique et dont les modèles EF font intervenir de très nombreux types d'éléments finis. Cette décomposition en sous-domaines a été réalisée par la Fast Marching Method que nous avons due étendre pour pouvoir traiter la complexité des modèles EF des véhicules automobiles. Puis les équations matricielles du modèle EF sont projetées sur cette base. Afin de prendre en compte les incertitudes sur les paramètres du modèle, les incertitudes de modèle induites par les erreurs de modélisation et enfin les incertitudes liées à la non prise en compte des contributions locales dans le modèle réduit des déplacements globaux, un unique modèle probabiliste non paramétrique de ces trois sources d'incertitude a été implémenté sur le modèle réduit construit avec les vecteurs propres globaux. Les paramètres de dispersion de ce modèle probabiliste ont été identifiés en utilisant le principe du maximum de vraisemblance et des réponses obtenues à l'aide d'un modèle stochastique de référence qui inclut des informations expérimentales résultant de travaux précédents. Le modèle réduit stochastique, pour la prévision des déplacements globaux sur les parties rigides dans la bande BF qui a été développé, a été validé sur un modèle de structure automobile "nue" puis a été appliqué avec succès sur un modèle complet de véhicule automobile

Les travaux présentés dans ce mémoire de thèse concernent le développement et la mise en œuvre d'un algorithme de filtrage particulaire pour le recalage de la navigation inertielle par mesures altimétriques. Le filtre développé, le MRPF (Mixture Regularized Particle Filter), s'appuie à la fois sur la modélisation de la densité a posteriori sous forme de mélange fini, sur le filtre particulaire régularisé ainsi que sur l'algorithme mean-shiftclustering. Nous proposons également une extension du MRPF au filtre particulaire Rao-Blackwellisé appelée MRBPF (Mixture Rao-Blackwellized ParticleFilter). L'objectif est de proposer un filtre adapté à la gestion des multimodalités dues aux ambiguïtés de terrain. L'utilisation des modèles de mélange fini permet d'introduire un algorithme d'échantillonnage d'importance afin de générer les particules dans les zones d'intérêt. Un second axe de recherche concerne la mise au point d'outils de contrôle d'intégrité de la solution particulaire. En nous appuyant sur la théorie de la détection de changement, nous proposons un algorithme de détection séquentielle de la divergence du filtre. Les performances du MRPF, MRBPF, et du test d'intégrité sont évaluées sur plusieurs scénarios de recalage altimétrique.