UPThèses

Soit K/F une extension quadratique modérément ramifiée de corps locaux non archimédiens. Soit GLm (D) une forme intérieure de GLn (F) et GLμ (∆) = (Mm (D) ⊗ K)× . Alors GLμ (∆) est une forme intérieure de GLn (K), les quotients GLμ (∆)/GLm (D) et GLn (K)/GLn (F) sont des espaces symétriques. En utilisant la paramétrisation de Silberger et Zink, nous déterminons des critères de GLm (D)-distinction pour les cuspidales de niveau 0 de GLμ (∆), puis nous prouvons qu’une cuspidale de niveau 0 de GLn (K) est GLn (F)-distinguée si et seulement si son image par la correspondance de Jacquet-Langlands est GLm (D)-distinguée. Puis, dans le cas particulier où μ = 2 et m = 1, nous regardons le cas des séries discrètes de niveau 0 non cuspidales, en utilisant le système de coefficients sur l’immeuble associé à la représentation, donné par Schneider et Stuhler.

Ce travail de thèse s'intéresse à l'optimisation des performances de transmissions multimédias par une approche originale combinant des circuits radiofréquences, tel que l'am-plificateur de puissance et les distorsions du canal de transmission. Les signaux OFDM sont très sensibles aux non-linéarités de l'amplificateur à cause des fortes fluctuations du niveau du signal, caractérisées par le PAPR. Afin de réduire le PAPR, on propose tout d'abord d'améliorer la méthode TR en termes de rapidité de convergence et de réduction du PAPR, en comparant plusieurs algorithmes d'optimisation. On montre que l'algorithme du gradient con-jugué offre les meilleures performances tout en respectant les spécifications fréquentielles du standard IEEE 802.11a. Par la suite, la méthode TR est évaluée expérimentalement en pré-sence d'un amplificateur de puissance (SZP-2026Z) en utilisant un banc de mesures. On montre ainsi que la méthode TR permet une amélioration de la qualité de transmission. Cette amélioration peut être utilisée pour modifier le point de fonctionnement de l'amplificateur et per-mettre ainsi une réduction de 18 % de la puissance consommée. Les résultats expérimentaux ont conduit au choix d'un modèle réaliste d'amplificateur en considérant les effets mémoires. Ce dernier a été intégré dans une chaîne de simulation SISO comprenant également un modèle réaliste de canal de transmission. La chaîne décrite a permis d'évaluer les performances de la méthode TR dans des conditions de transmission réalistes. Enfin, on propose d'appliquer la méthode TR dans une chaîne MIMO-OFDM en boucle fermée dédiée à la transmission de contenus multimédias scalables dans un environnement réaliste, en utilisant le standard IEEE 802.11n. Cette étude présente une évaluation originale de l'impact de la méthode TR sur la qualité visuelle des images transmises, en prenant en compte le contenu multimédia, la non-linéarité de l'amplificateur et les distorsions apportées par le canal.

Soit G un groupe de Lie résoluble connexe et H un de ses sous-groupes fermés connexes d'algèbres de Lie g et h respectivement. On note g* (resp. h*) le dual linéaire de g (resp. h) ). Le sujet de ma thèse consiste à étudier la restriction d'une série discrète π de G, associée à une orbite coadjointe Ω C g*, à H. Si la restriction de π à H se décompose en somme directe de représentations de H avec multiplicités finies, on dit que π est H-admissible. Notons Pg,n : Ω → h* l'application restriction. Il s'agit de démontrer la conjecture suivante due à Michel Duflo : 1. La représentation π est H-admissible si et seulement si l'application moment Pg,n est propre sur l'image. 2. Si π est H-admissible, et si T est une série discrète de H alors sa multiplicité dans la restriction de π à H doit pouvoir se calculer en « quantifiant » l'espace réduit correspondant (qui est compact dans ce cas). Dans cette thèse, nous apportons une réponse positive à cette conjecture dans deux situations, à savoir : (i) Le groupe G est résoluble exponentiel. (ii) Le groupe G est le produit semi direct d'un tore compact par le groupe de Heisenberg et H est un sous-groupe algébrique connexe.

Soit K un corps algébriquement clos de caractéristique nulle. Il est bien connu, d'après un résultat de Duflo, Khalgui et Torasso, qu'une algèbre de Lie algébrique quasi-réductive (définie sur K) est stable. La réciproque est fausse en général. Se pose la question de savoir, si pour certaines classes particulières d'algèbres de Lie non réductives, il y a équivalence entre ces deux notions. Plus généralement, les sous-algèbres biparaboliques forment une classe très intéressante (incluant la classe des sous-algèbres paraboliques et de Levi) d'algèbres de Lie qui ne sont pas toutes réductives. Panyushev conjecture que si une sous-algèbre biparabolique est stable, alors son stabilisateur générique est un tore. Cette conjecture peut être reformulée ainsi : une sous-algèbre de Lie biparabolique est stable si et seulement si elle est quasi-réductive. Compte tenu des résultats obtenus par ce dernier pour le cas des sous-algèbres paraboliques d'une algèbre de Lie simple de type A et C, on donne dans cette thèse une réponse positive à cette conjecture pour la classe des sous-algèbres paraboliques d'une algèbre de Lie simple. Au passage, nous montrons également qu'une sous-algèbre de Lie de gl(n, K) qui stabilise une forme bilinéaire alternée de rang maximal et un drapeau en position générique est stable si et seulement si elle est quasi-réductive.

Le travail de recherche présenté dans ce mémoire concerne le développement de capteurs logiciels de position pour la commande de la machine synchrone à aimants permanents. La commande vectorielle de la MSAP nécessite une connaissance précise de la position rotorique. Traditionnellement, cette position est obtenue à partir de l’utilisation d’un capteur mécanique. Depuis des années, l’attention de la communauté scientifique s’est portée sur la limitation du nombre de capteurs vu que leur présence, non seulement augmente le coût et la complexité matérielle totale, mais aussi réduit sa fiabilité avec une sensibilité additionnelle aux perturbations extérieures. Dans une première partie, nous présentons plusieurs types de capteurs logiciels de position pour la MSAP. En fonction du régime de fonctionnement de la machine, nous proposons le capteur, selon nous, le mieux adapté pour une application automobile. Ce capteur est basé sur le couplage intelligent entre un observateur et un capteur logiciel basé sur la technique d’injection de signaux. Dans une deuxième partie, nous proposons une méthode simple et rapide permettant l’estimation de la résistance et des inductances statoriques à l’arrêt. La méthode proposée, basée sur la technique d’injection de signaux de haute fréquence, exploite la mise en oeuvre des filtres à variable d’état afin d’obtenir un modèle linéaire par rapport aux paramètres. La combinaison de l’identification à l’arrêt et du capteur logiciel permet une bonne estimation de la position de la MSAP sur une large plage de vitesse y compris les basses vitesses et à l’arrêt. Nous abordons également certains aspects de commande de robustesse vis-à-vis de l’ensemble des paramètres incertains de la machine, mais ce de manière plus prospective.

Le principal objectif de la thèse est l'optimisation d'un procédé d'oxydation avancée par la mise en œuvre des outils de l'automatique moderne. Le procédé considéré concerne l'ozonation catalytique utilisé pour traiter les eaux résiduaires industrielles. L'optimisation de ce procédé consiste à contrôler l'abattement des polluants tout en minimisant le coût de fonctionnement du procédé. La mesure en ligne de la concentration en polluant est fournie par l'absorbance, grandeur corrélée à la DCO. Le procédé est alors considéré comme un système à une entrée, la puissance du générateur d'ozone, et deux sorties, l'ozone dans les évents et l'absorbance. L'identification du procédé a mené à l'estimation d'un modèle linéaire pour construire les lois de commande et d'un modèle non-linéaire, de type modèle de Wiener, pour tester les correcteurs en simulation avant les essais expérimentaux. Les trois commandes testées, la commande par modèle interne, la commande optimale et la commande H∞, permettent de rejeter des perturbations sur la concentration en polluant dans les effluents à traiter. Des analyses de stabilité du système bouclé, vis-à-vis de retards sur la commande, ont été menées. Les résultats expérimentaux obtenus ont permis de conclure sur les gains significatifs apportés par ces développements. La méthodologie développée pour cette application peut être étendue à d'autres procédés afin de faciliter le développement industriel des procédés d'oxydation avancée.

Le travail présenté dans ce mémoire traite de l’étude comportementale, de la conception et de la validation d’une nouvelle architecture, basée sur le couplage d’O.C.T différentiels, appliquée à la commande électronique de l’orientation du diagramme de rayonnement d’un réseau d’antennes linéaire. Après avoir optimisé la structure de l’O.C.T différentiel, qui constitue le corps du circuit de commande, selon une méthode graphique qui visualise les différentes contraintes imposées par le système afin de minimiser son bruit de phase et sa consommation, l’O.C.T à sorties différentielles a été réalisé en technologie NXP BiCMOS SiGe 0,25 μm puis mesuré en boîtier. Etant donné que la direction de rayonnement d’une antenne réseau dépend de la valeur du déphasage imposé entre les signaux envoyés sur deux antennes adjacentes, les équations théoriques modélisant deux O.C.T couplés et permettant d’extraire les amplitudes et le déphasage entre les différents signaux ont été décrites. La dernière étape a alors consisté en la réalisation de deux réseaux constitués respectivement de deux et de quatre O.C.T couplés au moyen d’une résistance puis d’un transistor MOS fonctionnant en zone ohmique. L’approche de couplage proposée a été validée en se basant sur les résultats de mesures effectués. De plus, l’impact de l’utilisation de structures différentielles sur la plage de déphasage obtenue et donc sur le dépointage réalisé a également été présenté ce qui nous a permis de conclure sur l’efficacité du circuit de commande proposé.

Soient g une algèbre de Lie simple complexe et e un élément nilpotent de g. Nous nous intéressons dans ce mémoire à la question (soulevée par Premet) d'isomorphisme entre les W-algèbres finies construites à partir de certaines sous-algèbres nilpotentes de g dites e-admissibles. Nous introduisons les notions de paire et graduation e-admissibles. Nous montrons ensuite que la W-algèbre associée à une paire e-admissible possède des propriétés similaires à celle introduite par Gan et Ginzburg. De plus, nous définissons une relation d'équivalence sur l'ensemble des paires admissibles. Nous montrons alors que si deux paires sont équivalentes, alors les W-algèbres associées sont isomorphes. Nous introduisons enfin les notions de graduation et paire admissibles b-maximales et nous montrons que les paires admissibles b-maximales sont équivalentes entre elles. Comme conséquence de ce résultat, nous retrouvons un résultat de Brundan et Goodwin sur les bonnes graduations. Dans une dernière partie, nous considérons des cas particuliers pour lesquels nous pouvons apporter une réponse complète à la question d'isomorphisme.

L'extension de la morphologie mathématique au domaine de la couleur ou du multi/hyperspectral en traitement et analyse d'images n'est pas élémentaire. La majorité des approches se sont focalisées sur la formulation mathématique des opérateurs sans prendre en compte le sens physique ou perceptuel de l'information couleur/spectrale. Les outils développés dans ce travail s'inscrivent dans un nouveau formalisme générique basé sur une fonction de distance. Cette construction permet d'utiliser les opérateurs morphologiques dans le domaine de la couleur ou du multi/hyperspectral en adaptant la fonction de distance. De plus, le choix de la fonction de distance rend les opérateurs valides au sens de la perception ou de la physique. Face aux nombre croissant d'approches existantes, des critères de sélection ont été développés afin de les comparer les différentes écritures de morphologie mathématique. Ces critères sont basés sur le respect des propriétés théoriques des opérateurs, sur les propriétés métrologiques et sur l'efficacité numérique. Grâce à un formalisme prenant en compte l'information perceptuelle de la couleur et intégrant une définition valide des éléments structurants non-plats, deux types d'opérateurs de plus haut niveau ont été définis. Le premier est un détecteur d'objets spatio-colorimétrique passant par la définition d'un gabarit spatial et vectoriel. Le second, est le calcul de spectres de textures vectoriels. L'extension des deux propos au spectral a été réalisé et ouvre de nouvelles questions scientifiques.

Dans cette thèse, on étudie l'existence, l'unicité et la régularité des solutions d'équation de type Cahn-Hilliard ainsi que son comportement asymptotique en termes d'existence de l'attracteur global et d'un attracteur exponentiel. Cette équation est considérée dans un domaine borné et régulier pour différents types de nonlinéarités et de conditions au bord. D'abord, on étudie l'équation avec des conditions de type Dirichlet sur le bord et une nonlinéarité régulière. Après, on considère une perturbation du problème et on démontre l'existence d'une famille robuste d'attracteurs exponentiels lorsque ε tend vers 0. Ensuite, on étudie l'équation avec des conditions dynamiques sur le bord. On considère tout d'abord une nonlinéarité régulière et on donne une étude théorique et numérique. Après, on illustre ces résultats par des simulations numériques en dimension deux d'espace qui permettent d'étudier l'influence des différents paramètres. On termine par une étude du modèle considéré avec une nonlinéarité singulière que l'on approche par des fonctions régulières et on introduit une notion de solution appropriée.