Le multicast fiable est certainement la solution la plus efficace pour la distribution de contenu via un<br />tres grand nombre (potentiellement des millions) de recepteurs. Dans cette perspective les protocoles<br />ALC et FLUTE, standardises via l'IETF (RMT WG), ont ete adoptes dans 3GPP/MBMS et dans le<br />DVB-H IP-Datacast dans les contextes des reseaux cellulaires 3G.<br />Ce travail se concentre sur le multicast fiable et a comme requis principal le passage l'echelle massif<br />en terme de nombre de clients. Cette these se base sur les solutions proposees via l'IETF RMT WG.<br />Ces protocoles de multicast fiable sont construit autour de plusieurs briques de base que nous avons<br />etudie en detail:<br />* La brique Forward Error Correction (FEC) :<br />Nous examinons la classe de codes grands blocs Low Density Parity Check (LDPC). Nous concevons<br />des derivees de ces codes, et les analysons en detail. Nous en concluons que les codes<br />LDPC et leur implementation ont des performances tres prometteuses, surtout si ils sont utilisees<br />avec des fichiers de taille importante.<br />* La brique controle de congestion :<br />Nous examinons le comportement dans la phase de demarrage de trois protocoles de controle de<br />congestion RLC, FLID-SL, WEBRC. Nous demontrons que la phase de demarrage a un grand<br />impact sur les performances de telechargement.<br />Cette these a aussi plusieurs contributions au niveau applicatif:<br />* Extensions de FLUTE :<br />Nous proposons un mecanisme permettant d'agreger plusieurs fichiers dans le protocole FLUTE.<br />Ceci ameliore les performance de transmission.<br />* Streaming video :<br />Nous proposons SVSoA, une solution de streaming base sur ALC. Cette approche beneficie de<br />tout les avantages de ALC en terme de passage a l'echelle, controle de congestion et corrections<br />d'erreurs.<br /><br />Mots cles : Multicast fiable, FLUTE, ALC, codes correcteur d'erreurs, Forward Error Correction<br />(FEC), Low Density Parity Check (LDPC) Codes, diffusion de contenu

Cette thèse aborde la spécification et la réalisation de CELINE, outil de correction des erreurs basé sur une architecture multi-agents à deux niveaux : <BR> 1) Un système lourd, renfermant l'ensemble du savoir linguistique (multi-domaines par rapport à l'univers du discours), et générateur de systèmes individualisés. Les agents peuvent être considérés comme imparfaits ou partiellement inadaptés. Ils sont mis en concurrence par domaine d' expertise.<BR> 2) Un système léger implanté sur le site du rédacteur, système construit par apprentissage par le système central à partir des travaux de ce rédacteur.<BR> La spécification du système se construit tout au long des chapitres.<BR> La problématique de la correction des erreurs et la finalité de la conception d'un système de correction le plus automatique possible, avec des prises de décision à faible granularité reposant sur des critères multi-niveaux, nous entraînent vers un besoin de coopération justifiant une réalisation multi-agents.<BR> Une taxinomie des erreurs et des rappels sur l'analyse linguistique nous permet d'établir un début de structure du tableau noir du système. Nous consolidons nos choix par une comparaison du système attendu avec quelques prototypes du domaine. Nous examinons ensuite les comportements sociaux de deux agents chargés de définir l'un un modèle linguistique partiel suffisant du rédacteur et l'autre un sous-ensemble pertinent du système global. Nous découvrons alors le modèle de communication des agents et complétons notre structure de données par les marques de validité.<BR> La méthode des structures permet une quantification, incluse dans le tableau noir, de la correction des fautes d'accords.<BR> Après une approche des systèmes multi-agents, nous présentons une synthèse de l'architecture de CELINE et du fonctionnement des pilotes et de quelques agents.<BR> Un bilan rapide, précèdera en conclusion, une mise en situation du système proposé dans le cadre des industries de la langue et dans un environnement réseau du type Internet.

La première partie de cette thèse, concerne une étude de robustesse des algorithmes de points intérieurs prédicteurs correcteurs, ainsi qu'une approche par décomposition de cette méthode pour la résolution de problè mes de multiflot. Dans la deuxième partie, nous nous intéressons au Problème de Sécurisation Globale dont l'objectif est de déterminer un multiflot (qui transporte toute demande de son noeud origine à son noeud destination en respectant la loi de Kirchhoff) et l'investissement de moindre coût en capacité s nominale et de réserve qui assure le routage nominal et garantit sa survie par reroutage global. Dans notre modèle les routages et les capacités peuvent être fractionnés. PSG se formule alors comme un problème linéaire de grande taille avec plusieurs niveaux de couplage. Sa structure particulière appelle à l'emploi d'algorithmes de décompositions. Nous proposons quatre méthodes utilisant la technique de génération de colonnes. Les deux premières sont basées sur les techniques proximales. Leur tâche principale consiste en la résolution de sous problèmes quadratiques indépendants. Le troisième algorithme s'inspire de l'approche de points intérieurs décrite à la première partie. Pour finir, nous intégrons une procédure d'élimination de chemins dans une adaptation d'un solveur de points intérieurs. Nous reportons des résultats numériques obtenus en testant ces algorithmes sur des données réelles fournies par le CNET.

L'électronique moléculaire, partie intégrante des nanotechnologies, résulte de la convergence de différents domaines: la microélectronique, la physique, la chimie ou encore la biologie. L'engouement suscité s'explique par l'espoir de trouver un complément faible coût, voire une alternative viable à l'électronique CMOS sur silicium actuelle, dont les perspectives d'évolution restent floues au-delà de 2015/2020 et dont le coût de fabrication actuel augmente de façon exponentielle. Les dispositifs à base d'électronique moléculaire apparaissent comme des candidats potentiels à l'intégration dans les mémoires du futur. En effet, leur utilisation permettrait d'obtenir, de part leurs dimensions nanométriques, des densités très élevées, bien au-delà de la roadmap silicium, tout en réduisant les coûts de fabrication grâce aux procédés d'auto-assemblage et d'intégration tridimensionnelle. Cependant, l'état de l'art actuel indique qu'il n'existe pas de modélisation appropriée à des simulations complexes et qu'à cette échelle, les variations technologiques d'un composant à l'autre seront très élevées. Les travaux de recherche présentés dans ce manuscrit de thèse proposent un nouveau type d'architecture de mémoire de très haute densité et tolérante aux dispersions, à base de transistor moléculaire à nanofils à effet de champs (NW-FET moléculaire). L'étude présente un modèle continu VHDL-AMS du transistor moléculaire, et deux niveaux de modélisation VHDL-AMS d'une nouvelle cellule mémoire moléculaire haute densité. Enfin, différentes techniques de tolérance aux fortes dispersions (jusqu'à 25% de variations des caractéristiques des dispositifs de base) sont évaluées.

La classe des systèmes non-linéaires dont la dynamique est définie par un champ de vecteurs polynomial est étudié. Des modèles polynomiaux peuvent représenter différents systèmes réels ou bien definir des approximations plus riches que des modèles linéaires pour des systèmes non-linéaires différentiables. Des techniques de programmation semi-définie développées récemment ont rendu possible l'étude de cette classe de systèmes avec des outils numériques. Le problème d'analyse en stabilité locale est résolu via des conditions basées sur la positivité de polynomes. Dans le cadre de la synthèse de lois de commande nous proposons un changement de variables linéaire pour traiter la synthèse de lois de commande non-linéaire qui garantissent la stabilité locale. Les ensembles définissant des estimations de la région d'attraction, définis par des courbes de niveau de la fonction de Lyapunov pour le système, sont également donnés par des fonctions polynomiales.

Le graphène est l'un des candidats les plus prometteurs pour la fabrication des futurs dispositifs électroniques. Ses remarquables propriétés électroniques découlent de sa structure atomique et sont caractérisés par un gaz bidimensionnel d'électrons à l'échelle macroscopique et des états moléculaires à l'échelle nanométrique. Cette thèse a pour but de structurer le graphène sur une large gamme d'échelle de longueurs pour produire des nano rubans de graphène (GNR) connectés à des électrodes de graphène. Les trois principaux objectifs sont (i) produire, contacter et structurer des GNR jusqu'à une largeur de 10 nm et une longueur de plusieurs centaines de nanomètres, (ii) planifier toutes les étapes de ce processus tout en minimisant la contamination pour obtenir, à terme, des échantillons compatibles avec l'ultravide et (iii) graver des GNRs tout en préservant la qualité cristallographique du graphène et minimisant son amorphisation. La première partie est dédiée à la caractérisation du graphène monocouche par des analyses topographiques AFM et spectroscopiques Raman. Nous montrons que ces techniques sont limitées, l'une, par une faible reproductibilité de la mesure de la hauteur apparente et l'autre, par une faible sensibilité aux défauts peu denses. Cependant, l'origine de l'instabilité de la mesure AFM a été identifiée comme résultant de la présence d'un ménisque d'eau. Des conditions de fonctionnement stable ont été trouvées et conduisent à des mesures de hauteur apparente reproductibles. Pour augmenter le signal Raman dû aux défauts dans le graphène, nous avons suivi l'évolution de l'intensité du signal dans le voisinage de nano-bâtonnets d'or cristallins placés près des bords du graphène. Une seconde partie décrit en détail comment nous avons directement gravé des GNR dans le graphène en utilisant un faisceau électronique de faible énergie (1-20 keV) en présence de vapeur d'eau. Nous montrons que la gravure induite par un faisceau électronique (EBIE) produit des GNRs de moins de 20 nm de large et longs de plusieurs centaines de nanomètres ou des tranchées longues de plusieurs micromètres permettant d'isoler un GNR du feuillet de graphène. Une attention particulière a été portée à la caractérisation de la qualité structurale des bords des GNR. La microscopie électronique en transmission avec correcteur d'aberrations montre que le graphène est intact à moins de 2 nm d'un bord de découpe EBIE. La dernière partie est dédiée à l'application de cette technique EBIE prometteuse pour fabriquer des GNR contactés électriquement dans un dispositif à effet de champ. Nous montrons que des dispositifs de graphène sur silice sont amorphisés de manière significative par des électrons rétrodiffusés. Un nouveau dispositif a été conçu et réalisé qui consiste à suspendre localement le graphène et a permis de fabriquer des GNR (typiquement 30x200 nm) connectés par des électrodes sur un substrat possédant une grille arrière. Ce travail ouvre la voie pour la mesure de transport électronique dans des GNR et, au-delà sur des structures plus complexes basées sur les GNRs. Il constitue la première étape vers une technologie atomique intégrée pour des dispositifs d'électronique moléculaire à base de graphène.

Dans un contexte de réduction des émissions de CO2 dans les systèmes industriels et d’amélioration de leur efficacité énergétique, les chauffages par induction répondent à ces critères. Le procédé consiste à plonger un corps conducteur d’électricité dans un champ magnétique variable, induisant ainsi des courants au sein de la pièce qui se met alors à chauffer par effet Joule. Cette technologie présente l’avantage d’atteindre des températures élevées de manière précise et rapide, sans contact avec la source d’énergie. Si aujourd’hui le contrôle de tels procédés passe par la structure mécanique du chauffage, de nombreuses études ont montré que l’association de plusieurs bobines alimentées par des systèmes d’électronique de puissance fournit une souplesse dans le contrôle des profils de température et une flexibilité vis-à-vis des pièces traitées. Ce travail présente deux systèmes de chauffage par induction. Le premier est un prototype réalisé par EDF considérant trois inducteurs alimentés par trois onduleurs à résonance. Nous nous y intéresserons plus particulièrement par la suite. Le second, en cours de réalisation, met en jeu six inducteurs pour du chauffage au défilé. Leurs caractéristiques, leurs alimentations et leurs fonctionnements sont abordés pour ensuite mettre en place deux modélisations des phénomènes électriques, l’une sous forme de fonctions de transfert, la seconde dans l’espace d’état. L’objectif final est le développement d’une alimentation auto-adaptative capable de contrôler en temps réel le profil de puissance injecté dans les pièces à chauffer afin d’atteindre un profil de température requis avec le minimum d’énergie consommée. L’étude se poursuit avec un inventaire des solutions existantes en termes de commande en boucle ouverte et en boucle fermée des systèmes mono-inducteurs, ainsi que des travaux, plus rares, pour les chauffages multi-inducteurs. De plus, des études ont montré que le contrôle de la température à la surface d’une pièce à chauffer passait par le contrôle des courants dans les inducteurs, en amplitude mais également en phase. C’est pourquoi nous proposons des lois de commande pour asservir les courants dans les inducteurs. Une routine d’optimisation fournit les amplitudes et les phases des courants dans les trois inducteurs permettant d’obtenir le profil de température le plus proche d’un profil de référence. Nous l’avons modifiée de façon à tenir compte de solutions énergétiquement optimisées en intégrant les pertes dans les interrupteurs et les inducteurs. Deux lois de commande originales sont proposées. La première étudie une commande robuste dans l’espace d’état par placement de vecteurs propres. La seconde met en jeu des correcteurs résonants qui confèrent à la boucle du système un module de gain infiniment grand à la fréquence de résonance de sorte qu’ils effacent les effets des perturbations agissant à cette même fréquence. Les méthodes de synthèse de ces correcteurs sont échantillonnées avec un très faible rapport fréquence d’échantillonnage/fréquence de résonance ; les performances sont détaillées et analysées pour le prototype à trois inducteurs. Pour tester plus facilement et valider en partie les lois mises en place, un simulateur analogique a été conçu, sorte d’émulateur reproduisant le comportement des courants dans les inducteurs et des tensions à leurs bornes. Il se base sur la modélisation sous forme de fonctions de transfert et ne comprend donc pas d’onduleur. Par l’intermédiaire d’une carte dSPACE intégrant un DSP, nous avons implanté et validé les deux lois de commande robustes sur le simulateur analogique. Par la suite, pour se rapprocher du système réel, nous avons mis en place une commande rapprochée transformant les trois signaux de commande en sortie des correcteurs vers les rapports cycliques des douze interrupteurs des convertisseurs alimentant les inducteurs. Cette étape a été validée par des essais expérimentaux réalisés en parallèle de nos études. / In the context of reducing carbon dioxide emissions in industrial systems and improving their energy efficiency, induction heaters meet these criteria. The method consists in immersing an electrically conductive body in a variable magnetic field, inducing currents within the piece which then begins to heat by Joule effect. This technology has the advantage of reaching high temperatures accurately and quickly, without contact with the power source. Today the control of such works with mechanical structures. But many studies have shown that the combination of several coils supplied by electronic power systems provides flexibility in controlling temperature profiles and flexibility towards the treated parts. This paper presents two systems of induction heating. The first is a prototype made by EDF considering three inductors supplied by three resonant inverters. We will focus more specifically later on this prototype. The second one, in progress, involves six inductors for scrolling heating. Their characteristics, their power supplies and their functions are discussed and then set up two models of electric phenomena, one form of transfer functions and one form in the state space. The final objective is the development of a self-adaptive power able to control real-time power profile injected into parts of heating to achieve a temperature profile required with minimum energy consumption. The study goes on with a list of existing solutions in terms of open-loop control and closed-loop control for single inductor system, as well as few rarer works for multi-inductors heaters. In addition, studies have shown that control of the surface temperature of the piece to be heated passes by the control of currents in the inductors, in magnitude but also in phase. That is why we propose control laws for controlling inductor currents. An optimization routine provides the magnitudes and phases of the currents in the three inductors to obtain the temperature profile closer to a reference profile. We modified it to take into account energy optimized solutions by integrating the losses in the switches and inductors. Two original control laws are proposed. The first one studies a robust control in the state space by placing eigenvalues and eigenvectors. The second one involves resonant markers that give the system loop gain module infinitely large at the resonant frequency so that they erase the effects of disturbances acting at the same frequency. The methods of synthesis of these markers are sampled with a very low sampling frequency / resonant frequency ratio; performance are detailed and analyzed for the prototype with three inductors. So as to test and validate easily some of the studied laws, an analog simulator was designed, a kind of an emulator, which reproduces the behaviour of the currents in the coils and the voltages at their terminals. It is based on the transfer function model and therefore does not include inverters. Through a dSPACE card integrating a DSP, we have implemented and validated the two robust control laws on the analog simulator. Thereafter, in order to be closer to the real system, we have established a close control which turns the three control signals toward the duty cycles of the twelve switches of the converters supplying the inductors. This step was validated by experimental tests carried out in parallel with our studies.

Grâce au développement de la technologie des semi-conducteurs, les ballasts électroniques fonctionnant en haute fréquence offrent des avantages considérables par rapport aux ballasts électromagnétiques conventionnels. Il en résulte une augmentation de la durée de vie de la lampe, une diminution du volume et du poids du système et surtout un meilleur contrôle de son fonctionnement afin de réduire notamment la consommation électrique. Parmi des lampes à décharge, la lampe sodium haute pression a une excellente efficacité lumineuse et une longue durée de vie. Pourtant, quand la lampe fonctionne en haut fréquence, des perturbations de type « résonance acoustique (RA) » peuvent entraîner l’instabilité de la décharge, son extinction ou pire, la destruction de la lampe. Cette thèse, intitulée « Modes d’Alimentation et de Commande des lampes sodium haute pression en vue d’éviter les résonances acoustiques », traite de plusieurs problèmes. Les caractéristiques de la décharge haute pression, le phénomène de RA, ses conditions d’excitation (notamment au travers d’un phénomène d’hystérésis original) et la variation des paramètres électriques due à la présence de résonances acoustiques dans la lampe, ont été étudiés. Les résultats sont issus de travaux de simulation et expérimentaux menés au sein du laboratoire LAPLACE. Grâce à ces acquis fondamentaux, plusieurs nouvelles méthodes d’alimentation par l’injection de signaux à fréquences proches ont été proposées dans nos travaux. Il s’agit d’éviter la résonance acoustique dans la lampe alimentée par un ballast de structure très réduite par rapport aux solutions classiques. Cette méthode est basée sur le choix judicieux des signaux injectés dans la lampe et leur répartition, (alimentation par deux, trois ou cinq signaux, répartition symétrique, asymétrique totale ou partielle). Le résultat est un meilleur étalement du spectre et donc une réduction de puissances harmoniques sélectionnées permettant de s’adapter, à terme aux conditions d’excitation des RA, mais aussi les limitations de ces méthodes compte tenu du facteur crête. Enfin, différents types de commande en boucle fermée sont proposés, ils permettent d’assurer la stabilité de la décharge et le contrôle des puissances imposées dans la lampe. Les études théoriques, en simulation et expérimentales qui ont été conduites nous ont permis d’aboutir à des résultats concluants. / For high pressure sodium (HPS) lamps, the progress of semi-conductor technology has provided considerable advantages in the design of high frequency operated electronic ballasts, compared to conventional electromagnetic ballasts. The advantages deal with lamp lifetime improvement, ballast volume and mass reduction, and particularly with a better control of lamp operation for optimized power consumption. Among discharge lamps, high pressure sodium (HPS) lamp has excellent efficacy and long lifetime. However, when it is operated at high frequency, discharge perturbation namely “acoustic resonances (AR)” can provoke some lamp arc instabilities, extinction or, even worst, lamp destruction. The present thesis, entitled “Supply and control methods for acoustic resonances avoidance in high intensity discharge lamps” deals with several matters.  High intensity discharge (HID) characteristics, AR phenomenon, its excitation conditions (including the original features of AR hysteresis) and lamp electrical parameters variation due to AR presence, will be studied. The obtained results were provided by simulations and experimentations carried out in LAPLACE laboratory. Thanks to the acquired results of previous studies, several novel lamp supply strategies via adjacent frequency signals injection were proposed. The main concepts here consist in the avoidance of AR presented in a lamp supplied by designed electronic ballast with reduced structure, compared to classical solutions. Otherwise, the presented methods are based on pertinent choices of injected signals applied to the lamp and their frequency distributions (two, three or five signals and symmetric, partial asymmetric or total asymmetric signals). The studies actually showed better spreading of signal spectrum and power harmonic amplitudes reduction adapted to AR excitation conditions, while taking into account crest factor limitation. Finally, different control laws (PI, Hysteresis, Self-oscillation, Resonant controllers) were also proposed in order to guarantee lamp discharge stabilization and power controls. The theoretical and experimental studies including simulations were conducted to reach concluding results of our works.

Cette thèse propose de nouvelles méthodes de synthèse automatique des contrôleurs internes aux circuits numériques. Elles permettent en particulier d'intégrer, directement au niveau du contrôleur, des dispositifs de détection d'erreurs ou de tolérance aux fautes. En ce qui concerne la détection d'erreurs, quatre flots de synthèse ont été implantés. Deux d'entre eux utilisent la méthode classique de duplication et comparaison, tandis que les deux autres sont basés sur la vérification d'un flot de contrôle par analyse de signature. La signature est une information permettant de caractériser la séquence parcourue d'états du contrôleur. La vérification du flot de contrôle correspond à la détection des séquences illégales d'états. En ce qui concerne la tolérance aux fautes, quatre flots ont été implantés. Deux d'entre eux utilisent la méthode classique de triplement et vote majoritaire, tandis que les deux autres sont basés sur l'utilisation d'un code correcteur d'erreurs lors du codage du contrôleur. Une erreur survenant dans le code de l'état courant peut ainsi être corrigée en utilisant les propriétés du code correcteur choisi. L'analyse des résultats de synthèse de nombreux exemples montre l'intérêt des nouvelles méthodes de détection et de tolérance proposées, et des algorithmes de synthèse implantés. Ainsi, ces méthodes et ces algorithmes permettent, entre autres, de définir de nouveaux compromis coût/sûreté de fonctionnement, en réduisant sensiblement le coût matériel de la redondance implantée. L'automatisation des traitements permet de plus de réduire le coût de conception lié à l'amélioration de la sûreté de fonctionnement des contrôleurs, en particulier lorsque des techniques plus pointues sont préférées à la redondance massive

Cette thèse porte sur l'algorithmique des techniques de décodage en liste, initiée par Guruswami et Sudan en 1998, dans le contexte des codes de Reed-Solomon sur les anneaux finis. Deux approches sont considérées. Dans un premier temps, nous adaptons l'algorithme de décodage en liste de Guruswami-Sudan aux codes de Reed-Solomon généralisés sur les anneaux finis. Nous étudions en détails les complexités de l'algorithme pour les anneaux de Galois et les anneaux de séries tronquées. Dans un deuxième temps nous approfondissons l'étude d'une technique de remontée pour le décodage en liste. Nous montrons que cette derni're permet de corriger davantage de motifs d'erreurs que la technique de Guruswami-Sudan originale. Nous appliquons ensuite cette même technique aux codes de Reed-Solomon généralisés sur les anneaux de Galois et les anneaux de séries tronquées et obtenons de meilleures bornes de complexités. Enfin nous présentons l'implantation des algorithmes en C et C++ des algorithmes de décodage en liste étudiés au cours de cette thèse. Tous les sous-algorithmes nécessaires au décodage en liste, comme la recherche de racines pour les polynômes univariés, l'arithmétique des corps et anneaux finis sont aussi présentés. Indépendamment, ce manuscrit contient d'autres travaux sur les codes quasi-cycliques. Nous prouvons qu'ils sont en correspondance biunivoque avec les idéaux à gauche d'un certain anneaux de matrices. Enfin nous adaptons le cadre proposé par Guruswami et Sudan pour les codes à base d'ideaux aux codes construits à l'aide des corps de nombres. Nous fournissons un algorithme de décodage en liste dans ce contexte.