UPThèses

Le système MIMO coopératif est une solution attrayante dans un environnement où les trajets multiples signalent s'avérer être une étape stimulante pour le lien paire communication émetteur-récepteur. En effet, la diversité spatiale fournis par les émetteurs et recievers peut être exploitée pour améliorer la qualité du signal. Cette thèse étudie l'application de la boucle fermée précodeur MIMO pour réduire encore plus l'énergie de transmission dans un tel environnement. La contribution de cette thèse est de proposer des approches globales qui conduisent à l'optimisation globale des transmissions dans le système MIMO coopératif. Tout d'abord, on exploite la diversité spatiale des noeuds, et proposons une technique de sélection de noeud pour réduire l'énergie de transmission. Les noeuds sont sélectionnées en utilisant le linéaire boucle fermée MIMO précodeur max-dmin qui optimise la distance minimale (dmin) de critère pour réduire le BER de la constellation reçue, ce qui abaisse le rapport requis signal sur bruit (SNR). Deuxièmement, nous sommes motivés par une obligation de rendre les paramètres d'évaluation des performances MIMO disponibles aux couches supérieures du protocole. Ainsi, nous proposons une méthode théorique pour obtenir la fonction de distribution de probabilité (pdf) de dmin pour le précodeur max-dmin, nous utilisons le résultat de rapprocher le BER et de la capacité ergodique pour un système MIMO et une valeur de M en utilisant deux sous-canaux dans d'une manière rapide. Nous présentons un scénario qui exige que l'information pertinente soit détectée à partir d'une variété de sources situées à l'intérieur de la haute tension (HT) environnement du poste de réseau intelligent (SG) des applications. Notre contribution comprend le développement d'un outil de simulation basé sur la technique de sélection de noeuds pour le max-dmin distribué MIMO précodage. Pour tenir compte des interactions entre les couches multiples de communication, nous proposons de concevoir un système de communication MIMO coopératif complet basé sur un protocole d'échange de base qui est liée à notre scénario de transmission supposé. On construit en outre toutes les trames de sous-couche MAC, qui sont transmis dans ce système limité par le coût de l'énergie et de la synchronisation.

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é.

Ce mémoire présente le travail de recherche effectué pour la conception d'une stratégie de commande originale, destinée aux systèmes de puissance hybrides en sites isolés. Le système considéré, voué à l'alimentation électrique d'une habitation, comprend deux sources, un groupe de panneaux photovoltaïques et une petite éolienne, et deux types de stockage, un banc de batteries lithium-ion et un de supercondensateurs. Face au problème de gestion de l'énergie dans un système hybride, et aux enjeux de maximisation de sa puissance produite, nous proposons de développer une stratégie de commande basée sur les flux d'énergie. pour cela, nous présentons dans un premier temps les modélisations d'Euler-Lagrange et hamiltonienne du système. Ces modèles permettent d'utiliser la propriété de passivité de celui-ci, et ainsi de synthétiser des commandes par injection d'amortissement pour chaque source, afin de maximiser sa production, et pour les supercondensateurs, dans le but d'assurer une répartition cohérente des flux d'énergie entre eux et les batteries. Les commandes sont finalement mises en œuvre dans un simulateur, puis dans un banc d'essai expérimental, afin d'une part de comparer leurs performances à celles de solutions préexistantes, et d'autre part de valider le bon fonctionnement du système hybride complet les utilisant.

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.