La cryptographie quantique permet la distribution d'une clé de cryptage partagée entre deux interlocuteurs distants, tout en assurant la sécurité inconditionnelle de cette distribution grâce aux lois de la physique quantique et de la théorie de l'information. Nous avons réalisé un démonstrateur complet de cryptographie quantique, fondé sur un protocole pour lequel l'information est codée sur des variables continues de la lumière, à savoir les quadratures du champ électromagnétique. Le système est exclusivement constitué de composants standard de l'industrie des télécommunications, qui permettent à Alice de générer les états cohérents de la lumière puis de les moduler, et à Bob de mesurer ces états grâce à une détection homodyne fonctionnant en régime impulsionnel et limitée par le bruit de photon. Nous avons par ailleurs développé un logiciel complet de gestion de la distribution de clé, qui assure d'une part le bon fonctionnement de la transmission quantique et les rétrocontrôles nécessaires pour la stabilité de celle-ci, et qui permet d'autre part l'extraction d'une clé secrète à partir des données partagées après la transmission quantique. Le système a été intégré dans des boîtiers rackables, afin d'effectuer une démonstration en vraie grandeur dans le cadre d'un réseau de cryptographie quantique, mis en place sur des fibres installées dans la ville de Vienne (Autriche). Lors de cette démonstration, notre système a fonctionné en continu pendant 57 heures, à un taux moyen de 8 kbit/s. Enfin, nous avons exploré différentes possibilités d'amélioration du système, à travers un nouveau protocole de cryptographie et l'utilisation d'amplificateurs optiques.

Dans le domaine des réseaux de distribution d'électricité, l'ouverture du marché de l'énergie à la concurrence et l'insertion massive des génératrices décentralisées d'énergie de ces dernières années conduisent à une profonde modification du fonctionnement et de l'exploitation des réseaux. Dans ce contexte, des solutions de pilotage de la consommation et de la production doivent être apportées, afin de permettre au réseau actuel d'accueillir les nouvelles unités de production et les charges de demain, telles que les panneaux photovoltaïques, les micro-éoliennes, la cogénération, les véhicules électriques, les maisons intelligentes, etc. Ces pilotages permettent d'influencer la consommation et la production instantanées des utilisateurs du réseau. Ainsi, il devient possible d'agir sur la consommation de façon à lisser les pics ou synchroniser la demande aux périodes de forte production des énergies renouvelables. De la même façon, la production peut être pilotée pour participer aux services systèmes. Ces stratégies de pilotage, basées sur l'utilisation des nouvelles technologies de l'information et de la communication, ont pour objectifs d'éviter une dégradation de la qualité de l'onde de tension et une reconstruction complète du réseau de distribution, qui serait économiquement très couteuse. Ces travaux, intégrés au projet GreenLys, financé par l'agence française de l'environnement et de la maitrise de l'énergie, évaluent l'impact des génératrices décentralisées d'énergie et des véhicules électriques sur le réseau de distribution, puis développent des solutions de pilotage. Deux types de pilotage sont étudiés : le pilotage de la phase de raccordement d'une installation monophasée, puis le pilotage de la puissance réactive des génératrices décentralisées d'énergie. Ces pilotages sont développés en s'appuyant sur les nouveaux composants des réseaux électriques de demain, comme les compteurs intelligents. Dans une dernière partie, les stratégies de pilotage développées sont évaluées sur des équipements réels à partir d'une plateforme de simulation hybride temps réel. / In the electricity distribution network field, because of the electricity market opening and the large-scale insertion of dispersed generators (DJ) in these last years, the network undergoes radical modification in both operation and exploitation. In this context, some new integration solutions are invented in order to be able to connect the DJ, as photo-voltaic panels, micro wind turbines, cogeneration units, etc, and the new loads, as electric vehicles and smart home, without reduce the voltage wave quality or involve a very expensive power systems reinforcement. The objectives of those solutions are to influence the consumer consumption in order to reduce the peak consumption level and shift the consumption on the high renewable production period, and control the DJ output to participate to the service system. The new information and communication technologies (NICT) are strongly used in the development of those control strategies. This PhD work is including in the French project GreenLys supported by the French environment and energy management agency. GreenLys is a 4 years project focus on the development of a real scale Smart Grid in the two French cities Lyon and Grenoble. As a first step, this work evaluating the impact of the DJ and the electric vehicle on the distribution network. From the result of this impact study, two types of decentralized control strategies are investigated. The first one is focus on the phase connection. Since the majority of consumers and DJ connected on the distribution grid are single phases, methods allowing to choose the best phase connection are study. The second one is focus on new DJ reactive power control strategies. In the last part, the strategies are evaluated on a Power Hardware In the Loop simulation and real solar inverter.

Un système de lancement aéroporté est constitué d'un porteur de type avion larguant un lanceur à une certaine altitude. De tels systèmes sont l'objet d'un intérêt croissant, notamment pour la mise à poste de petits satellites. Les travaux présentés dans cette thèse s'intègrent dans le programme Perseus du CNES qui a déjà donné lieu à la construction d'un modèle réduit appelé EOLE. Il s'agit d'étudier la phase de largage, particulièrement sensible.Les contraintes de similitude pouvant permettre l'étude du largage taille réelle avec EOLE sont d'abord identifiées. Les possibilités d'extrapolation directe et déterministe des mesures réalisées avec EOLE étant limitées par le non respect d'une contrainte de masse, il est choisi d'étudier le largage avec une approche probabiliste en développant un nouveau modèle multi-corps. Une grande variété d'incertitudes est prise en compte, concernant par exemple aussi bien les interactions aérodynamiques que le mécanisme de séparation. Un nouveau critère de performance générique,basé sur des géométries élémentaires, est développé pour évaluer la fiabilité du largage.L'analyse de sensibilité du largage aux facteurs d'incertitude est ensuite réalisée. Compte tenu du nombre élevé de paramètres en jeu et du temps de simulation, il est d'abord recherché une simplification du modèle. La méthode de Morris est utilisée pour identifier des facteurs d'incertitude peu influents pouvant être fixés à une certaine valeur. Cette étape est fréquente, mais il est montré qu'il existe un risque important de fixer des facteurs dont l'influence a en fait été sous-estimée. Une adaptation de la méthode de Morris améliorant l'échantillonnage des facteurs, le calcul de leurs influences et le traitement statistique des résultats permet de réduire considérablement ce risque.Une fois l'impact des différentes incertitudes estimé, il a été possible d'optimiser les conditions de largage afin de réduire la probabilité qu'un problème intervienne. / In an air launch to orbit, a space rocket is launched from a carrier aircraft. Air launchto orbit appears as particularly interesting for small satellites. This Ph.D. thesis is part of the program Pegasus of the French space agency CNES and it follows the development of a small scale demonstrator called EOLE. It focuses on the very sensitive separation phase.The similitude constraints which have to be respected to study the large scale system with EOLEare first identified. A problem of mass limits the possibilities to directly extrapolate at a larger scale, in a deterministic approach, data obtained with EOLE. It is decided to study the separation in a probabilistic approach by developing a new multi-body model. A great variety of uncertainties are taken into account, from the aerodynamic interactions to the atmospheric turbulences, the separation mechanism, and the launch trajectories. A new performance criterion is developed to quantify the safety of the separation phase. It is based on elementary geometries and it could beused in other contexts.A sensitivity analysis is applied to estimate the influence of the uncertainties on the performance criterion. Given the large number of factors of uncertainty and the non-negligible simulation time,the model is first simplified. The Morris method is applied to identify the factors with a low influence which can be fixed to a given value. It is a frequent step, but it is shown that there isa high risk to fix the wrong factors. Any further study would then be altered. The risk to fix the wrong factors is significantly reduced by improving the factors sampling, the calculation of their influence, and the statistical treatment of the results. This new method is used to estimate the influence of the uncertainties at the separation and the safety is improved by optimizing launch trajectories.

La thèse concerne un procédé de fabrication par usinage dans son aspect le plus générique. L’objectif est de développer une approche intégrée aux systèmes CFAO permettant de prédire le comportement vibratoire d’un système usinant en fraisage régénératif multiaxe dans une échelle mésoscopique. Cela engage l’estimation des interactions Pièce / Outil instantanées, le calcul des forces de coupe et enfin, la détermination de la stabilité/instabilité du procédé sous certaines conditions de coupe. La géométrie de l’interaction est rendue particulièrement complexe à cause de la forme de l’outil et de la pièce ainsi que de leur position relative. Dans ces travaux, nous proposons une approche générique basée sur un système de CFAO pour l’extraction des éléments géométriques nécessaires au calcul des forces de coupe en chaque point de la trajectoire du fraisage. Et dans le dessein d’une meilleure prédiction, nous nous basons sur la discrétisation de la fraise en des arêtes infinitésimales. Particulièrement, cette approche est implémentée pour un cas d’usage simple. Par la suite, nous développons, sous Simulink/Matlab, un système de calcul permettant la visualisation des forces et de la dynamique de la coupe dans le domaine temporel. Ceci grâce aux modèles de comportement du système usinant identifiés expérimentalement et un modèle spécifique d’efforts de coupe intégrant le facteur retard. Par ailleurs, la stabilité liée à la coupe est déterminée à partir des critères de comportement applicables aux systèmes non linéaires héréditaires. L’interopérabilité de ces deux outils de calcul et de conception est couronnée par la production d’un démonstrateur de comportement vibratoire sur une trajectoire de coupe par fraisage régénératif. Enfin, une première étude expérimentale visant le recalage des modèles de comportement et d’efforts de coupe, ainsi que la validation de l’approche générique et du démonstrateur est produite pour différents processus de fraisage. / This research is a generic aspect enquiry on manufacturing process by machining. Its main objective is supporting CAD/CAM systems through an integrated approach aiming to determine vibratory behavior of multi-axis chatter milling. This involves estimating instantaneous Part / Tool interactions, calculating cutting forces and finally determining process stability or instability under certain cutting conditions. Interaction geometry is made particularly complex because of tool and workpiece’s geometry as well as their relative position. In this work, we propose a generic approach based on CAD/CAM systems to extract geometric elements needed to calculate cutting forces at each point of milling path. In addition, with a view to better prediction, we rely on milling tool discretization into infinitesimal edges while developing and implementing milling simulation system for cutting forces and dynamics calculation tool in Simulink/Matlab software. This, thanks to the behavior models of machining system identified experimentally and a specific model of cutting forces incorporating delay factor. In addition, the milling process behavior is determined by applying some criteria to the hereditary system. The interoperability of these two calculation and design tools is culminated with a visual demonstrator of vibration behaviors in milling tool path. Finally, a first experimental study aiming at behavior and cutting forces models adjustment, as well as the generic approach and the demonstrator validation is realized for different milling processes.

La portabilité des mémoires Flash embarquées sur les nœuds CMOS technologiques avancés tel que le 28nm pose de nombreux problèmes de compatibilité avec les nouvelles étapes de fabrication telles que le diélectrique de grille haute permittivité, l’utilisation de grille métallique, les stresseurs et tenseurs utilisés pour piloter la performance du transistor élémentaire. L’ajout d’un dispositif à double grille classique tel que celui de la Flash apparait comme très couteux en termes de nombre de masques et d’étapes de fabrication additionnelles. De nombreuses alternatives ont vu le jour : les mémoires à changement de phase, les mémoires magnétiques et les mémoires resistives. Ce dernier type de mémoire est particulièrement attrayant pour une intégration en tant que mémoire « embarquée » sur technologie CMOS. Les matériaux utilisés (diélectrique à base d’oxyde métallique tel que le HfO₂ ou le Ta₂O₅) sont compatibles avec le procédé de fabrication CMOS comparés à ceux utilisés pour les mémoires magnétiques (risques de contamination). Les mémoires résistives sont par ailleurs basées sur une conduction filamentaire qui s’avère également particulièrement économe en énergie et adaptée aux faibles géométries quand elles sont comparées aux mémoires à changement de phase (changement d’état volumique du matériau). De nombreux industriels ont focalisé leurs efforts sur les matériaux de type HfO₂ et Ta₂O₅. Le sujet proposé fait suite à trois années de collaboration intensive entre ST Microelectronics et le CEA-LETI qui ont permis d’établir les bases d’un cellule mémoire de type Oxram fonctionnelle et facilement intégrable facilement sur une technologie CMOS. Il aura pour objectifs d’analyser les paramètres responsables des instabilités des états résistifs observés et de rechercher les différents moyens susceptibles de mieux contrôler la dispersion de ces états. Les études réalisées pourront porter sur les matériaux (diélectrique et électrodes), la technologie mise en œuvre, les conditions électriques de formation du filament [20]. La consolidation du choix du matériau et l’analyse des modes de défaillance et de la fiabilité du plan mémoire feront également partie du travail de cette première année. Ce travail sera orienté par les résultats statistiques obtenus par le biais de test à plus grande échelle (circuit de plusieurs Kbits). / Embedded Flash memories integration on advanced CMOS technological nodes such as the 28nm leads to serious compatibility problems with the new manufacturing steps such as the high-permittivity gate dielectric, the use of metal gate, etc. The addition of a conventional double-grid device such as the one for Flash appears to be very expensive in terms of number of masks and additional manufacturing steps. Many alternatives have emerged: phase change memories PCRAM, magnetic memories MRAM and resistive memories OxRAM. However, the high programming current of the PCRAM memories and the risks associated to the contamination of the materials used for the MRAM memories represent the weak points of these technologies. On the other hand, OxRAM memories are particularly attractive for integration as CMOS embedded memory. The materials used (metal oxide dielectric such as HfO₂ or Ta₂O₅) compatible with the CMOS manufacturing process and their low programming voltages due to filament conduction are an advantage for OxRAM memories.In this thesis, an in depth memory stack optimization is done to make up the OxRAM memory cell in order to be integrated into a matrix of memories. Thus, various top and bottom electrodes and various switching oxides have been studied in order to better control and improve the variability of the resistive states of the OxRAM memory cell. An evaluation of the reliability and the main memory performances in terms of Forming voltage, memory window, endurance and thermal stability were performed for each memory stack through electrical characterizations. These assessments highlighted efficient memory stacks which have been integrated into a 16Kb demonstrator. Finally, a study of the variability of the resistive states as well as their degradation mechanisms during the endurance and thermal stability were carried out through simples models and atomistic simulations (ab-initio calculations).

Cette thèse s'inscrit dans la démarche de preuve de programmes à l'aide de vérification déductive. La vérification déductive consiste à produire, à partir des sources d'un programme, c'est-à-dire ce qu'il fait, et de sa spécification, c'est-à-dire ce qu'il est sensé faire, une conjecture qui si elle est vraie alors le programme et sa spécification concordent. On utilise principalement des démonstrateurs automatiques pour montrer la validité de ces formules. Quand ons'intéresse à la preuve de programmes qui utilisent des structures de données allouées en mémoire, il est élégant et efficace de spécifier son programme en utilisant la logique de séparation qui est apparu il y a une dizaine d'année. Cela implique de prouver des conjectures comportant les connectives de la logique de séparation, or les démonstrateurs automatiques ont surtout fait des progrès dans la logique du premier ordre qui ne les contient pas.Ce travail de thèse propose des techniques pour que les idées de la logique de séparation puissent apparaître dans les spécifications tout en conservant la possibilité d'utiliser des démonstrateurs pour la logique du premier ordre. Cependant les conjectures que l'ont produit ne sont pas dans la même logique du premier ordre que celles des démonstrateurs. Pour permettre une plus grande automatisation, ce travail de thèse a également défini de nouvelles conversions entre la logique polymorphe du premier ordre et la logique multi-sortée dupremier ordre utilisé par la plupart des démonstrateurs.La première partie a donné lieu à une implémentation dans l'outil Jessie, la seconde a donné lieu à une participation conséquente à l'écriture de l'outil Why3 et particulièrement dans l'architecture et écriture des transformations qui implémentent ces simplifications et conversions. / This thesis comes within the domain of proofs of programs by deductive verification. The deductive verification generates from a program source and its specification a mathematical formula whose validity proves that the program follows its specification. The program source describes what the program does and its specification represents what the program should do. The validity of the formula is mainly verified by automatic provers. During the last ten years separation logic has shown to be an elegant way to deal with programs which use data-structures with pointers. However it requires a specific logical language, provers, and specific reasoning techniques.This thesis introduces a technique to express ideas from separation logic in the traditional framework of deductive verification. Unfortunately the mathematical formulas produced are not in the same first-order logic than the ones of provers. Thus this work defines new conversions between the polymorphic first-order logic and the many-sorted logic used by most proves.The first part of this thesis leads to an implementation in the Jessietool. The second part results in an important participation to the writing of the Why3 tool, in particular in the architecture and writing of the transformations which implement these conversions.

L’expérience SuperNEMO est conçue pour la recherche de la double désintégration bêta (ββ) sans émission de neutrinos impliquant un neutrino de Majorana (ν ≡ ν̄) massif. Le module démonstrateur de l’expérience est actuellement en cours d’installation au Laboratoire Souterrain de Modane (LSM). La technique de détection utilisée, dite tracko-calo, permet la mesure en énergie des particules traversant le détecteur ainsi qu’une reconstruction complète de leur cinématique.Cette thèse présente la conception, la simulation et l’implémentation d’un système de déclenchement de l’électronique pour le module démonstrateur de SuperNEMO. Le but de ce système est de maximiser l’efficacité de détection pour des évènements ββ ainsi que pour des évènements dits de bruits de fond issus de la radioactivité naturelle tout en réduisant le taux d’acquisition pour des évènements d’autodéclenchement des détecteurs. Un ensemble d’algorithmes de reconnaissances de traces et d’association calorimètre–trajectographe a été développé et implémenté dans les cartes électroniques après validation par des simulations Monte-Carlo. Les objectifs de performance ont été atteints en prenant en compte les différentes contraintes (physique des détecteurs, électronique, temps réel) maximisant les efficacités de détection pour des évènements d’intérêt physique. / The SuperNEMO experiment is designed for the neutrinoless double beta decay (ββ) research involving a massive Majorana neutrino (ν ≡ ν̄). The demonstrator module of the experiment is currently being installed at the Laboratoire Souterrain de Modane (LSM). The so-called tracko-calo detection technique allows the energy measurement of the particles passing through the detector and a complete reconstruction of their kinematics.This thesis presents the design, simulation and implementation of the electronics trigger system for the SuperNEMO demonstrator module. The purpose of this system is to maximize the detection efficiency for ββ events as well as for background events due to natural radioactivity while reducing the acquisition rate caused by spurious events. Pattern recognition and calorimeter-tracker association algorithms have been developed and implemented in electronic boards after validation by Monte-Carlo simulations. The performance targets have been reached, taking into account different constraints (physics of the detectors, electronics, real time) with maximized detection efficiency for events of interest.

A compact air separator demonstrator based on centrifugally enhanced distillation has been studied. The full size device is meant to be used on board of a Two Stage To Orbit vehicle launcher. The air separation system must be able to extract oxygen in highly concentrated liquid form (LEA, Liquid Enriched Air) from atmospheric air. The LEA is stored before being used in a subsequent rocket propulsion phase by the second stage of the launcher. Two reference vehicles are defined, one with a subsonic first stage and one with a supersonic first stage. In both cases, oxygen collection is performed during a cruise phase (M 0.7 and M 2.5 respectively). The aim of the project is to demonstrate the feasibility of the air separation system, investigate the separation cycle design, and assess that the separator design selected is suitable for the reference vehicles.<p><p>The project is described from original base ideas to design, construction, extended testing and analysis of experimental results. Preliminary computations for a realistic layout have been performed and the motivations for the choices made during the process are explained. Test rig design, separator design and technical discussion are provided for a subscale pilot unit. Mass transport parameters and flooding limits have been estimated and experimentally measured. Performance has been assessed and shown to be sufficient for the reference Two Stage To Orbit vehicles. The technology developed is found suitable without further optimization, although some volume and mass reduction would be desirable for the supersonic first stage concept. There are many ways of optimisation that can be further investigated. The aim of this program, however, is not to fully optimize the device, but to demonstrate that a device based on a simple, robust, low-risk design is already suitable for the launch vehicles. On top of that analysis, directions for improvements are suggested and their potentials estimated. A complete assessment of those improvements requires further maturation of the technological concept through further testing and practical implementations.<p><p>Directions for future work, general conclusions and a vehicle development roadmap have also been provided.<p> / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs l'instrumentation de certaines zones est impossible car leur câblage est difficilement envisageable par manque d'espace. En outre, s'il est souvent intéressant d'installer de nouveaux capteurs pour faire évoluer un aéronef ancien, l'installation des câbles nécessaires implique un démantèlement partiel, problématique et coûteux, de l'appareil. Pour résoudre ces problèmes, une idée innovante a émergé chez les industriels de l'aéronautique : commencer à remplacer les réseaux filaires reliant les capteurs d'un aéronef et leur centre de décision par des réseaux sans fil. Les technologies de communication sans fil sont aujourd'hui largement utilisées dans les marchés de l'électronique de grande consommation. Elles commencent également à être déployées pour des applications industrielles comme l'automobile ou le relevé à distance de compteurs domestiques. Cependant, remplacer des câbles par des ondes représente un défi technologique considérable comme la propagation en milieu confiné, la sécurité, la sureté de fonctionnement, la fiabilité ou la compatibilité électromagnétique. Cette thèse est motivée d'une part par l'avancée non négligeable dans le milieu aérospatial que pourrait être l'établissement d'un réseau sans fil à bord d'aéronefs dans la résolution de problématique classiques comme l'allégement et l'instrumentation. Il en résulterait donc : * Une meilleure connaissance de l'environnement et de la santé de l'aéronef * Un gain sur le poids. * Un gain en flexibilité. * Un gain en malléabilité et en évolutivité. * Un gain sur la complexité. * Un gain sur la fiabilité D'autre part, étant donnée la complexité de la conception de ce réseau de capteur sans fil, il a été nécessaire d'appliquer une méthodologie évolutive et adaptée mais inspirée de l'ingénierie système. Il est envisageable, vu le nombre de sous-systèmes à considérer, que cette méthodologie soit réutilisable pour d'autre cas pratiques. Une étude aussi complète que possible a été réalisée autour de l'existant déjà établi sur le sujet. En effet, on peut en lisant ce mémoire de thèse avoir une idée assez précise de ce qui a été fait. Une liste a été dressée de toutes les technologies sans fil en indiquant leur état de maturité, leurs avantages et leurs inconvénients afin de préciser les choix possibles et les raisons de ces choix. Des projets de capteurs sans fil ont été réalisés, des technologies sans fil performantes et personnalisables ont été développées et arrivent à maturité dans des secteurs variés tels que la domotique, la santé, l'automobile ou même l'aéronautique. Cependant aucun capteur sans fil n'a été véritablement installé en milieu aérospatial car de nombreux verrous technologiques n'ont pas été levés. Fort des expériences passées, et de la maturité qu'ont prise certaines technologies, des conclusions ont été tirées des projets antérieurs afin de tendre vers des solutions plus viables. Une fois identifiés, les verrous technologiques ont été isolés. Une personnalisation de notre solution a été à envisager afin de remédier tant que faire se peut à ces points bloquants avec les moyens mis à disposition. La méthodologie appliquée nous a permis d'identifier un maximum de contraintes, besoins et exigences pour mieux focaliser les efforts d'innovation sur les plus importantes et choisir ainsi les technologies les plus indiquées.