Les normes électriques liées aux harmoniques réseau exigent une "qualité" de fonctionnement qui poussent à utiliser des structures de conversion plus "propres". Les redresseurs à prélèvement sinusoïdal répondent à ces nouvelles contraintes. Néanmoins ces structures repoussent le problème dans les hautes fréquences, domaine lui aussi soumis à certaines contraintes. Pour en parfaire la qualité de fonctionnement, il devient de plus en plus nécessaire d'en étudier le comportement haute fréquence laissé de côté jusqu'à présent. Ce travail présente un nouveau moyen d'étude des perturbations conduites créées par les redresseurs de courant commandés permettant de limiter les problèmes liés à la double échelle de temps (fréquence réseau et fréquence de découpage). Basé sur deux concepts (linéarisation et modélisation fréquentielle), il est applicable dans le cas des structures à entrée en courant. Une première partie présente les principales structures et modes de fonctionnement de cette famille de convertisseur. L'une d'elle, "le redresseur à injection dans neutre artificiel" fait l'objet d'une étude plus détaillée. TI s'en suit une présentation des aspects CEM conduits en électronique de puissance et la description de la démarche de modélisation fréquentielle. Plusieurs remarques liées au comportement perturbateur des redresseurs sont faites. Le modèle fréquentiel est alors appliqué au redresseur mono-interrupteur en conduction continue. Celui-ci est validé (comparaisons théoriques et pratiques) puis utilisé à la caractérisation des perturbations conduites. Une étude des moyens de filtrage est alors proposée. Un dernier chapitre est consacré à l'étude du redresseur monophasé en pont complet. Une fois le modèle fréquentiel établi et validé, une étude du comportement fonctionnel de cette structure est proposée. TI est montré que les niveaux de perturbations conduites peuvent être fortement réduits selon les choix fonctionnels et structurels à faire.

Dans cette thèse, nous étudions des rétroactions visant à stabiliser des systèmes quantiques en temps discret soumis à des mesures quantiques non-destructives (QND), ainsi que la stabilité des filtres quantiques à temps continu. Cette thèse comporte deux parties. Dans une première partie, nous généralisons les méthodes mathématiques sous-jacentes à une rétroaction quantique en temps discret testée expérimentalement au Laboratoire Kastler Brossel (LKB) de l'École Normale Supérieure (ENS) de Paris. Plus précisément,nous contribuons à un algorithme de contrôle qui a été utilisé lors de cette expérience récente de rétroaction quantique. L'expérience consiste en la préparation et la stabilisation à la demande d'états nombres de photons (états de Fock) d'un champ de micro-ondes au sein d'une cavité supraconductrice. Pour cela, nous concevons des filtres à temps-réel permettant d'estimer les états quantiques malgré des imperfections et des retards de mesure, et nous proposons une loi de rétroaction assurant la stabilisation d'un état cible prédéterminé. Cette rétroaction de stabilisation est obtenue grâce à des méthodes Lyapunov stochastique et elle repose sur un filtre estimant l'état quantique. Nous prouvons qu'une telle stratégie de contrôle se généralise à d'autres systèmes quantiques en temps discret soumis à des mesures QND. Dans une seconde partie, nous considérons une extension du résultat obtenu pour des filtres quantiques en temps discret au cas des filtres en temps continu. Dans ce but, nous démontrons la stabilité d'un filtre quantique associé à l'équation maîtresse stochastique usuelle découlant par un processus de Wiener. La stabilité signifie ici que la "distance"entre l'état physique et le filtre quantique associé décroit en moyenne. Cette partie étudie également la conception d'un filtre optimal en temps continu en présence d'imperfections de mesure. Pour ce faire, nous étendons la méthode utilisée précédemment pour construire les filtres quantiques en temps discret tolérants aux imperfections de mesure. Enfin,nous obtenons heuristiquement des filtres optimaux généraux en temps continu, dont la dynamique est décrite par des équations maîtresses stochastiques découlant à la fois par processus de Poisson et Wiener. Nous conjecturons que ces filtres optimaux sont stables.

Les nanotechnologies ont atteint une maturité qui permet de concevoir, avec un haut niveau de fiabilité, des composants fonctionnalisés pour des systèmes optiques complexes. Cette thèse traite, dans ce cadre, du filtrage spectral. J'ai ainsi proposé un nouveau concept de filtre composé d'un guide d'onde en diélectrique et d'un réseau métallique sub-longueur d'onde. Dans un premier temps, j'ai conçu, fabriqué et caractérisé des structures (unidimensionnelles 1D ou bidimensionnelles 2D) basées sur ce concept. J'ai mené l'analyse détaillée du mécanisme de résonance, et j'ai étudié les propriétés de ces structures en termes d'accordabilité spectrale, de polarisation, d'efficacité de réjection, et de tolérance angulaire. J'ai par la suite proposé des variantes de ces structures pour en améliorer l'efficacité de réjection et la tolérance angulaire. Dans un deuxième temps, j'ai entrepris d'utiliser les différentes variantes de ce type de composant pour des applications de filtrage angulaire ou d'imagerie multispectrale. Concernant cette dernière, une matrice de 24 filtres a été optimisée et intégrée dans une caméra multispectrale infrarouge cryogénique pour des applications d'estimation de la concentration de CO2 ou de télémétrie. Les difficultés liées aux conditions réelles d'utilisation de la caméra sont mises en évidence et des solutions sont proposées pour améliorer nos résultats, déjà très encourageants.

Les travaux que je présente ici concernent la dernière phase de mon parcours scientifique et en particulier les six dernières années, période au cours de laquelle une grande partie de mon activité de recherche a été dédiée à l'utilisation des Equations aux Dérivées Partielles pour le filtrage et le rehaussement d'images . Plus particulièrement, en nous intéressant à la classe des images texturées (2D et 3D), nous nous plaçons au cœur des thématiques académiques du Groupe Signal mais nous traitons également une problématique qui recouvre des domaines applicatifs principaux du Groupe Signal de l'UMR IMS : l'imagerie sismique et les matériaux composites.<br /><br />La présentation est organisée en trois chapitres :<br /><br />Dans le premier chapitre, je présente des méthodes non linéaires et adaptatives qui conduisent à de faibles modifications topologiques du signal utile. L'amélioration des images est obtenue par des approches originales permettant d'accentuer de manière uniforme et indépendante les variations locales de contraste et les structures unidimensionnelles avec ou sans rehaussement de contours. Nous présenterons en particulier deux types d'approches, l'une scalaire et l'autre tensorielle. <br />Ces travaux ont été initiés lors de la thèse de Romulus Terebes. Ils ont fait l'objet de deux publications en revue et de neuf communications.<br /><br />Dans le deuxième chapitre, nous adaptons ces méthodes aux spécificités de l'imagerie sismique en rapportant à la fois les travaux développés dans le cadre des thèses de Régis Dargent et de Sorin Pop. Outre l'extension au cas 3D, la problématique abordée a conduit à développer des approches structuralistes qui prennent en compte certaines informations a priori telles que la géométrie des failles. Là encore, nous présentons deux approches : la première relève tout autant du filtrage adaptatif que de la diffusion anisotrope, la seconde étant totalement inspirée d'une approche tensorielle.<br />Les travaux développés autour de la diffusion directionnelle pour la sismique ont fait l'objet de deux publications et de quatre communications. <br /><br />Enfin, la troisième partie présente une extension originale des EDP : dans le cadre des travaux de thèse de Sorin Pop, nous proposons l'utilisation d'une formulation à base d'Equations aux Dérivées Partielles pour mener conjointement une procédure de fusion d'image et une procédure de diffusion. Cette approche permet, à partir de plusieurs sources bruitées, l'obtention d'une sortie fusionnée et lissée. Ces travaux, qui sont encore à l'heure actuelle en cours de développement concernent à la fois des applications en fusion d'images rencontrées classiquement dans la littérature mais également une application 3D très particulière et assez nouvelle : la sismique azimutale. Nous en développerons les grands principes.<br />En 2007, ces travaux ont fait l'objet d'une communication dans 3 conférences internationales, d'un article accepté ; un article est en préparation.

Le travail présenté dans ce mémoire de thèse concerne l'étude et la mise en oeuvre de méthodes de fusion d'informations pour la localisation 3D d'un véhicule terrestre en environnement urbain dense. L'approche étudiée est la fusion des mesures fournies par le système de navigation absolue GPS multi-porteuses et les capteurs de navigation estimes odomètre et gyromètre. Ces mesures sont hybridées à l'aide de filtres récursifs pour l'estimation de la position. On réalise l'étude de l'estimateur de position en deux étapes. La première étape concerne l'étude et la mise en oeuvre d'un estimateur pour la fusion des observables de code et de phase du GPS multi-porteuses. L'expérimentation sur données synthétiques et réelles montre que le système proposé permet d'augmenter la précision des mesures lorsque la puissance du bruit sur chaque porteuse est du même ordre de grandeur. La deuxième étape concerne le système d'hybridation serrée qui fournit une estimation de la direction du véhicule et des pseudo-distances satellite-récepteur, même en absence de mesures GPS. Dans ce cadre, nous proposons un filtre circulaire récursif qui permet d'estimer la direction du véhicule. Le filtre d'hybridation réalise la fusion centralisée des mesures de pseudo-distances corrigées et la fusion distribuée des observables de phase avec les mesures gyrométriques et odométriques. L'expérimentation réalisée dans un contexte synthétique et réel montre que le système proposé est au moins aussi précis que le système d'hybridation lâche habituellement utilisé en pratique.

Les algorithmes de corrélation, ou plus généralement de filtrage global, ont connu récemment des progrès importants, et permettent de résoudre des problèmes difficiles de reconnaissance de formes. Cependant, ces algorithmes ne sont pas habituellement utilisables tels quels dans un corrélateur optique, car ils ne prennent pas en compte les limitations imposées par les composants de représentation des images, à savoir les modulateurs spatiaux de lumière.<br /><br />Nous proposons une technique d'optimisation des filtres de corrélation adaptée aux architectures optiques. Cette méthode est fondée sur une optimisation multi-critères, effectuée sous contrainte d'implantation optique. Nous illustrons les performances des filtres ainsi obtenus pour les architectures de corrélation cohérente par synthèse de pupille et par transformation de Fourier conjointe, ainsi que pour l'architecture de corrélation incohérente par ombroscopie.<br /><br />Si les architectures de corrélation optique par synthèse de pupille cohérente et par transformation de Fourier conjointe ont suscité un intérêt important ces dernières années, il n'en va pas de même pour l'architecture de corrélation incohérente par ombroscopie. Différents auteurs ont jugé les performances de cette architecture trop faibles en comparaison de celles des architectures cohérentes, à la suite de quoi elle a été quasiment abandonnée. Une grande part de notre travail a donc été consacrée à une ``réhabilitation'' de cette architecture à la lumière des nouveaux composants.<br /><br />Nous présentons une analyse détaillée de la corrélation optique incohérente suivant le principe de l'ombroscopie. Nous montrons comment réaliser des compromis entre les effets antagonistes dûs à la diffraction et aux non-uniformités photométriques. Nous appliquons expérimentalement notre méthode d'optimisation multi-critères suivant un schéma bipolaire. Ces filtres bipolaires nous permettent d'obtenir de très bonnes performances.

Le Modèle Standard est la théorie qui décrit le mieux les interactions fondamentales. Cependant le mécanisme de Higgs et son boson associé n'ont pas encore été découverts. Le calorimètre électromagnétique jouera un rôle prépondérant dans sa découverte, s'il existe.<br /><br />Dans une première partie, une cartographie finale des cellules à problèmes du tonneau du calorimètre électromagnétique a été réalisée. <br /><br />Ensuite, le code pour l'étalonnage du calorimètre a été migré dans l'environnement logiciel d'ATLAS (ATHENA), puis il a été testé et validé avec les données du test en faisceau de 2004. Dans ce code, des coefficients de filtrage optimal, qui permettent de reconstruire l'énergie déposée dans le calorimètre tout en minimisant les bruits électronique et d'empilement, sont déterminés pour chaque cellule. Pour cela, un modèle avait été développé pour prédire la forme du signal de physique à partir de celui d'étalonnage.<br /><br />Dans une troisième partie, l'étude et la comparaison de deux algorithmes pour la reconstruction et l'identification des t dans leur mode hadronique ont été réalisées.<br /><br />Enfin dans une quatrième partie, l'étude de l'un des canaux les plus importants pour la recherche d'un Higgs du Modèle Standard de basse masse (115 < mHiggs < 145 GeV/c2) a été effectué, à savoir la production du Higgs par fusion de bosons vecteurs faibles, suivi de sa désintégration en une paire de leptons taus. Cette étude a été menée pour une luminosité intégrée de 30 fb-1 avec des données de simulation rapide et complète du détecteur ATLAS. Une étude du fond dominant Z+n jets (n < 6) a aussi été réalisée.

Thèse d'exercice : Médecine. Médecine générale : Paris 12 : 2005. / Titre provenant de l'écran-titre. Bibliogr. f. 66-68.

Reproduction de : Thèse de doctorat : Traitement du Signal : Toulon : 2006. / Titre provenant du cadre-titre. Bibliographie p.221-224.

Le lambda calcul avec constructeurs (de Arbiser, Miquel et Rios) est une extension du lambda calcul avec un mécanisme de filtrage. Le filtrage à la ML y est décomposé en deux étapes: une analyse de cas sur des constantes (telle l'instruction "case" de Pascal), et une commutation de l'application avec la construction de filtrage. Cette règle de commutation entre deux constructions de natures différentes induit une géométrie de calcul surprenante, a priori incompatible avec les intuitions habituelles de typage. Cependant il a été montré que ce calcul est confluent, et vérifie la propriété de séparation (à la Böhm). Cette thèse propose un système de types du polymorphique pour ce calcul, et décrit ensuite un modèle de réalisabilité, qui adapte les candidats de réductibilité de Girard au lambda calcul avec constructeurs. La normalisation forte du calcul typé et l'absence d'erreur de filtrage lors de l'évaluation en découlent immédiatement. Nous nous intéressons ensuite à la sémantique du lambda calcul avec constructeurs non typé. Une notion générique de modèle catégorique pour ce calcul est définie, puis un modèle particulier (le modèle syntaxique dans la catégorie des PERs) est construit. Nous en déduisons un résultat de complétude. Enfin, nous proposons une traduction CPS du lambda calcul avec constructeurs dans le lambda calcul simplement typé avec paires. Le lambda calcul avec constructeurs peut ainsi être simulé dans un calcul bien connu, et cette traduction nous permet aussi de transformer tout modèle par continuation en modèle du lambda calcul avec constructeurs. Une équation catégorique caractéristique de ces modèles apparait alors, qui permet de construire des modèles non syntaxiques (dans les domaines) de Scott du lambda calcul avec constructeurs.