La théorie de couplage de mode (MCT) est l'une des méthodes les plus utilisées pour étudier les transitions vitreuses dans les fluides classiques. Ses prédictions sont en général en accord semi quantitatif avec les simulations. Sa mise en oeuvre nécessite la détermination de la structure statique, généralement par résolution des équations d'Orsntein-Zernike avec une fermeture adéquate. Partant de fermetures utilisant des fonctions « bridges » déduites de la fonctionnelle de référence du mélange de sphères dures, notre travail a consisté d'abord à étudier l'influence de la qualité de cette structure statique sur les prédictions relatives aux états non ergodiques dans des mélanges binaires dissymétriques. Nous avons ensuite considéré les résultats de la théorie du couplage de modes dans sa version naïf (NMCT ) et complète, afin d'analyser les mécanismes d'arrêt, les comparer au fluide effectif et aux approches stochastiques (équations de Langevin généralisées). Enfin, nous proposons une version pragmatique de cette méthode qui fournit des prédictions en meilleur accord quantitatif avec les résultats des simulations pour une variété de potentiels d'interaction / The mode coupling theory (MCT) is one of the most widely used methods for studying the glass transition in classical fluids. Its predictions are usually in semi-quantitative agreement with simulation. Its implementation requires the determination of the static structure usually from the Ornstein-Zernike equations with a suitable closure. Starting from closures that use bridge functions deduced from the hard-sphere reference functional, our work consisted first in studying the influence of the quality of this static structure on the predictions concerning the non-ergodic states in asymmetric binary mixtures. We next considered the results of the mode coupling theory in its naive and full versions, in order to analyze the arrest mechanisms and compare them to the effective fluid and the stochastic approaches (generalized Langevin equations). Finally, we propose a pragmatic version of this method that provides predictions in better quantitative agreement with simulations for a variety of interaction potentials

Des applications comme les contre-mesures optiques nécessitent des sources puissantes et avec une bonne qualité de faisceau dans le moyen infrarouge. Le laser à cascade quantique (LCQ) est une solution prometteuse mais la puissance fournie par ces lasers n’est pas suffisante. La combinaison cohérente de plusieurs de ces sources devrait permettre de sommer leurs puissances tout en conservant la qualité de faisceau d’un émetteur unique et constitue donc une solution intéressante pour contourner l’actuelle limitation en puissance des LCQ.Nous présentons une étude théorique et expérimentale de la combinaison de faisceaux cohérente de LCQ dans une cavité externe commune utilisant un coupleur de faisceaux. La mise en phase est ici totalement passive puisque fondée sur la minimisation des pertes dans la cavité globale : on parle d’auto-organisation. Un modèle général permettant de quantifier l’efficacité de combinaison et la stabilité de telles cavités est développé. Dans un premier temps, on montre expérimentalement que la combinaison cohérente de deux LCQ dans une cavité Michelson est une solution efficace et stable. Pour combiner plus d’émetteurs il est nécessaire de concevoir des coupleurs de faisceaux dans le moyen infrarouge efficaces. Pour cela, nous avons étudié deux types de réseaux : les réseaux de phase binaire (réseaux de Dammann) et des structures à gradient d’indice composées de motifs sub-longueur d’onde. Le dessin et l’optimisation de telles structures fait appel à la théorie des milieux artificiels et nécessite l’utilisation d’un code de résolution rigoureuse des équations de Maxwell (RCWA). Enfin, la combinaison cohérente de cinq LCQ en cavité externe avec un coupleur de faisceaux est démontrée expérimentalement et la combinaison d’un plus grand nombre de LCQ est discutée. En conclusion, nous présentons une solution originale pour réaliser la combinaison cohérente passive de LCQ et ainsi apporter une solution à l’augmentation de puissance dans le moyen infrarouge. / Powerful sources in the mid-infrared with a good beam quality are highly needed for applications such as optical countermeasures. The quantum cascade laser (QCL) is a promising solution but the maximum power achievable is not sufficient. The coherent beam combining of several QCL could lead to higher output power in the same beam and thus is an interesting solution to circumvent the current power limitation of these sources.We present a theoretical and experimental study of the coherent beam combining of QCL in a common external cavity with a beam combiner. The phase locking is totally passive since it is only based on loss minimization in the external cavity: it is a self-organization process. A general model is developed to quantify the combining efficiency and the stability that can be obtained from this method. Experimentally, the coherent combining of two QCL in a Michelson cavity is studied first and demonstrated to be efficient and stable. In order to combine more emitters, an efficient beam combiner must be designed in the mid-infrared. For that purpose, two type of gratings, a classical binary phase grating (or Dammann grating) and a more complex gradient-index structure made of local sub-wavelength patterns are designed and compared. The calculation and optimization of this sub-wavelength structure is based on the artificial media theory and is achieved with rigorous coupled wave analysis (RCWA). Finally, the coherent combining of five QCL in an external cavity with a binary phase grating is demonstrated and the scalability to the combining of more emitters is discussed. In conclusion, we present an original solution to combine coherently several QCL and thus address the power scaling issue in the mid-infrared.

La synthèse de contrôleurs discrets (SCD) est appliquée pour générer automatiquement des contrôleurs matériels corrects par construction. Pour un système donné (un modèle à états), et une spécification de contrôle associée (une exigence comportementale), cette technique génère un contrôleur qui, composé avec le système initial, garantit la satisfaction de la spécification. La technique de SCD utilisée dans ce travail s’appuie sur les diagrammes de décision binaire (BDDs). Les contrôleurs générés doivent être compatibles avec les outils standards de synthèse matérielle de niveau RTL. Deux problèmes principaux ont été examinés: l’explosion combinatoire et la génération effective du contrôleur matériel. La maîtrise de l’explosion combinatoire s’appuie sur des approches de type «diviser pour régner », exploitant la modularité du système ou du contrôleur. La plupart des approches existantes ne traitent pas la communication explicite entre différents composants du système. Le mécanisme de synchronisation le plus couramment envisagé est le partage des événements d’entrée, faisant abstractiondes sorties. Nous proposons une technique de SCD incrémentale qui permet de traiter également les systèmes communicants. Une étape initiale d’abstraction modulaire est suivie par une séquence progressive de raffinements et de calculs de solutions approximatives de contrôle. La dernière étape de cette séquence engendre un contrôleur exact. Nous montrons que cette technique offre une efficacité améliorée en temps/mémoire par rapport à l’approche traditionnelle globale de la SCD. La génération du contrôleur matériel s’appuie sur un traitement spécifique du non-déterminisme de contrôle. Une architecture de contrôle à boucle partiellement fermée est proposée, afin de permettre une conception hiérarchique. Une technique automatique transformant une équation de contrôle en vecteur de fonctions de contrôle est proposée et illustrée. La SCD est ensuite appliquée et illustrée sur la correction de certaines erreurs de conception. L’efficacité des techniques proposées est illustrée sur un ensemble d’exemples de conception matérielle. / The Discrete Controller Synthesis (DCS) technique is used for automatic generation of correct-by-construction hardware controllers. For a given plant (a state-based model), and an associated control specification (a behavioral requirement), DCS generates a controller which, composed with the plant, guarantees the satisfaction of the specification. The DCS technique used relies on binary decision diagrams (BDDs). The controllers generated must be compliant with standard RTL hardware synthesis tools. Two main issues have been investigated: the combinational explosion, and the actual generation of the hardware controller. To address combinational explosion, common approaches follow the "divide and conquer" philosophy, producing modular control and/or decentralized control. Most of these approaches do not consider explicit communication between different components of a plant. Synchronization is mostly achieved by sharing of input events, and outputs are abstracted away. We propose an incremental DCS technique which also applies to communicating systems. An initial modular abstraction is followed by a sequence of progressive refinements and computations of approximate control solutions. The last step of this sequence computes an exact controller. This technique is shown to have an improved time/memory efficiency with respect to the traditional global DCS approach. The hardware controller generation addresses the control non-determinism problem in a specific way. A partially closed-loop control architecture is proposed, in order to preserve the applicability of hierarchical design. A systematic technique is proposed and illustrated, for transforming the automatically generated control equation into a vector of control functions. An application of the DCS technique to the correction of certain design errors in a real design is illustrated. To prove the efficiency of the incremental synthesis and controller implementation, a number of examples have been studied.

En décembre 2015, les détecteurs LIGO ont pour la première fois détecté une onde gravitationnelle émise lors de la coalescence d'une paire de trous noirs il y a de cela 1.3 milliards d'années. Une telle première dans la toute nouvelle astronomie gravitationnelle a été suivie par plusieurs autres observations. La dernière en date est la fusion de deux étoiles à neutron dont la contrepartie électromagnétique a pu être observée par plusieurs observatoires à travers le monde. A cette occasion, les ondes gravitationnelles se sont inscrites dans l'astronomie multi-messager. Ces observations ont été rendues possibles par des techniques avancées d'analyse de données. Grâce à elles, la faible empreinte laissée par une onde gravitationnelle dans les données de détecteurs peut être isolée. Le travail de cette thèse est dédié au développement d'une technique de détection d'ondes gravitationnelles ne reposant que sur une connaissance minimale du signal à isoler. Le développement de cette méthode consiste plus précisément à introduire une information sur la phase du signal d'onde gravitationnelle selon un contexte astrophysique déterminé. La première partie de cette thèse est consacrée à la présentation de la méthode. Dans une seconde partie cette méthode est appliquée à la recherche de signaux d'ondes gravitationnelles en provenance de systèmes binaires de trous noirs de masse stellaire dans du bruit Gaussien. Puis l'étude est répétée dans du bruit de détecteurs collecté pendant la première période de prise de données. Enfin la troisième partie est dédiée à la recherche de binaires de trous noirs dont l'orbite montre un écart à la géométrie circulaire, ce qui complexifie la morphologie du signal. De telles orbites sont qualifiées d'excentriques. Cette troisième analyse permet d'établir de premiers résultats quant à la méthode proposée lorsque le signal d'intérêt est peu connu / In december 2015 the LIGO detectors have first detected a gravitational wave emitted by a pair of coalescing black holes 1.3 billion years ago. Many more observations have been realised since then and heralded gravitational waves as a new messenger in astronomy. The latest detection is the merge of two neutron stars whose electromagnetic counterpart has been followed up by many observatories around the globe. These direct observations have been made possible by the developpement of advanced data analysis techniques. With them the weak gravitational wave inprint in detectors may be recovered. The realised work during this thesis aims at developping an existing gravitational wave detection method which relies on minimal assumptions of the targeted signal. It more precisely consists in introducing an information on the signal phase depending on the astrophysical context. The first part is dedicated to a presentation of the method. The second one presents the results obtained when applying the method to the search of stellar mass binary black holes in simulated Gaussian noise data. The study is repeated in real instrumental data collected during the first run of LIGO. Finally, the third part presents the method applied in the search for eccentric binary black holes. Their orbit exhibits a deviation from the quasi-circular orbit case considered so far and thus complicates the signal morphology. This third analysis establishes first results with the proposed method in the case of a poorly modeled signal

Dans les systèmes radio mobiles, la diversité représente une technique efficace pour lutter contre l’évanouissement dû aux multi-trajets. La pleine diversité spatiale est atteinte dans les systèmes multiple-input multiple-output (MIMO). Mais, souvent l’intégration d’antennes multiples au niveau de l’émetteur ou du récepteur est coûteuse. Comme alternative, dans les réseaux sans fil multi-hop, la diversité coopérative garantit des gains de diversité spatiale en exploitant les techniques MIMO traditionnelles sans avoir besoin d’antennes multiples. En outre, la diversité coopérative fournit au réseau : un débit important, une énergie réduite et une couverture d’accès améliorée.Dans ce contexte, l’objectif de cette thèse est de concevoir des schémas de codage pour le canal à relais afin de réaliser une meilleure performance en termes de gain de diversité et de gain de codage. D’abord, nous étudions un système de turbo-codage distribué à L-relais en mode soft-decode-and-forward. Ensuite, nous proposons un système de turbocodage coopératif distribué à L-relais en utilisant la concaténation en parallèle des codes convolutifs. Enfin, afin d’améliorer la fiabilité de détection au niveau du noeud relais, nous proposons la technique de sélection d’antenne/relayage-soft. Pour une modulation BPSK, nous dérivons des expressions de la borne supérieure de la probabilité d’erreurbinaire où les différents sous-canaux sont supposés à évanouissement de Rayleigh, indépendants et pleinement entrelacés avec une information instantanée d’état de canal idéal. Une validation des résultats théoriques est également menée par la simulation. / Diversity provides an efficient method for combating multipath fading in mobile radio systems. One of the most common forms of spatial diversity is multiple-input multipleoutput (MIMO), where full diversity is obtained. However, embedding multiple antennas at the transmitter or the receiver can sometimes be expensive. As an alternative to collocated antennas, cooperative diversity in wireless multi-hop networks confirms their ability to achieve spatial diversity gains by exploiting the spatial diversity of the traditional MIMO techniques, without each node necessarily having multiple antennas. In addition, cooperative diversity has been shown to provide the network with importantthroughput, reduced energy requirements and improved access coverage.In light of this, the objective of this thesis is to devise coding schemes suitable for relay channels that aim at showing the best compromise between performance of diversity and coding gains. Firstly, we investigate a distributed turbo coding scheme dedicated to L-relay channels operating in the soft-decode-and-forward mode. Then, we present a proposed distributed turbo coded cooperative (DTCC) scheme, called parallel concatenated convolutional-based distributed coded cooperation. Finally, we investigate antenna/soft-relaying selection for DTCC networks in order to improve their end-to-end performance. Assuming BPSK transmission for fully interleaved channels with ideal channel state information, we define the explicit upper bounds for error probability inRayleigh fading channels with independent fading. Both theoretical limits and simulation results are presented to demonstrate the performances.

L'objectif de cette thèse est de réaliser un système de transmission optique bas coût en multiplexage temporel (OTDM), pour un débit global de 10 Gb/s. Le train de pulses optique nécessaire au système a été généré par modulation externe d'une source optique continue, avec une modulateur d'intensité. Les simulations ont été concluantes quant à la faisabilité du système étudié. Une étude théorique a permis de résoudre le problème lié aux interférences cohérentes dues à la nature de la source utilisée. Les performances du système de multiplexage expérimental ont été comparées pour deux sources optiques différentes. Le démultiplexage est réalisé avec un modulateur à électroabsorption (EAM). Des valeurs de Taux d'Erreur Binaire (TEB) inférieures à 10-10 ont été obtenues expérimentalement sur chaque canal extrait. Le système est adapté pour une combinaison avec la technique de multiplexage en longueur d'onde (WDM).

Cette thèse s'intéresse d'une part au problème de décomposition technologique orienté surface sur des réseaux programmables de type FPGAs (Field Programmable Gate Arrays) et d'autre part à la synthèse des macro-générateurs sur ASICs et plus précisément de la synthèse des additionneurs. La décomposition s'articule autour de deux axes essentiels: tout d'abord, il s'agit d'optimiser la taille de la représentation des fonctions booléennes. Les représentations de base choisies ici sont les ROBDDs (Reduced Ordered Binary Decision Diagrams) ainsi qu'une structure dérivée, les ITE (If Then Else). La deuxième étape concerne la décomposition proprement dite. Les technologies cibles sont ici des FPGAs à base de LUT-k (Look Up Table), en particulier les FPGAs XC5200 de Xilinx et Orca de AT&T. Les deux méthodes de décomposition technologique orienté surface proposées permettent une décomposition hétérogène en prenant en compte non pas une seule configuration mais un ensemble de configurations possibles de la cellule cible. La première méthode est fondée sur un parcours descendant et optimisé du ROBDD. La seconde méthode s'appuie sur une modélisation en recouvrement d'hypergraphe du problème de décomposition technologique. Dans les deux méthodes, le coût exact en terme de surface finale du circuit est pris en compte à chaque étape de la décomposition. L'étude menée dans la deuxième partie de la thèse sur la macro-génération conduit dans un premier temps à l'exploration de l'espace des solutions possibles puis à l'optimisation d'une solution sélectionnée par un algorithme de dérivation discrète. L'utilisation d'un filtre permet la restriction de l'espace des solutions à explorer et d'autre part guide le processus de dérivation en éliminant les solutions trivialement médiocres. La combinaison des processus d'exploration et de dérivations permet la génération de macros dont les caractéristiques physiques sont les plus proches possibles de celles fixées par un utilisateur potentiel. Ces méthodes ont été intégrées au sein d'un outil universitaire ASYL+ développé au laboratoire CSI

Application de méthodes mathématiques pour optimiser la séparation de mélanges complexes ou simples. Etude de mélanges complexes (nombre d'espèces infini) dans du pétrole brut: analyse et évaluation des propriétés physiques et conservatives des coupes pétrolières et ajustement et recalage des chromatogrammes afin de rendre régulières les courbes des fractions de ségrégation. Les outils mathématiques utilisés sont les fonctions histoplines d'interpolation et de lissage. Les résultats obtenus ont permis de mettre au point deux progiciels interactifs et visuels. Etude de mélanges simples (nombre d'espèces fini): fabrication d'un mélange objectif à partir d'une famille de mélange de base donnée, étude de la gestion d'un mélange ayant deux espèces et mise au point d'un progiciel numérique et graphique regroupant toutes les opérations

Les fonctions D-finies (ou holonomes) à une variable sont les solutions d'équations différentielles linéaires à coefficients polynomiaux. En calcul formel, il s'est avéré fructueux depuis une vingtaine d'années d'en développer un traitement algorithmique unifié. Cette thèse s'inscrit dans cette optique, et s'intéresse à l'évaluation numérique des fonctions D-finies ainsi qu'à quelques problèmes apparentés. Elle explore trois grandes directions. La première concerne la majoration des coefficients des développements en série de fonctions D-finies. On aboutit à un algorithme de calcul automatique de majorants accompagné d'un résultat de finesse des bornes obtenues. Une seconde direction est la mise en pratique de l'algorithme " bit burst " de Chudnovsky et Chudnovsky pour le prolongement analytique numérique à précision arbitraire des fonctions D-finies. Son implémentation est l'occasion de diverses améliorations techniques. Ici comme pour le calcul de bornes, on s'attache par ailleurs à couvrir le cas des points singuliers réguliers des équations différentielles. Enfin, la dernière partie de la thèse développe une méthode pour calculer une approximation polynomiale de degré imposé d'une fonction D-finie sur un intervalle, via l'étude des développements en série de Tchebycheff de ces fonctions. Toutes les questions sont abordées avec un triple objectif de rigueur (résultats numériques garantis), de généralité (traiter toute la classe des fonctions D-finies) et d'efficacité. Pratiquement tous les algorithmes étudiés s'accompagnent d'implémentations disponibles publiquement.

Le contexte environnemental (réchauffement climatique) et économique (épuisement des ressources en énergies fossiles) entraîne une nécessaire mutation du paysage énergétique mondial. L'hydrogène est présenté comme un vecteur d'énergie propre pouvant, par l'intermédiaire d'une pile à combustible, fournir de l'électricité pour diverses applications (nomade, portable, automobile et stationnaire). Cependant, son développement reste tributaire de son mode de stockage. Parmi les composés présentant de bonnes capacités de stockage, le borohydrure de sodium NaBH4 se distingue puisqu'il permet aussi un dégagement contrôlé de l'hydrogène d'après la réaction d'hydrolyse suivante : ( ) (2 ) ( ) ( ) 4 ( ) 4 2 2 2 2 NaBH ++ x H O l→NaBO . xH O + H g Il constitue ainsi une solution sûre et facile d'utilisation, et est donc envisageable pour des applications grand public. La thèse avait pour objectif l'approfondissement des connaissances relatives à la réaction catalysée d'hydrolyse du borohydrure de sodium selon deux axes principaux: la catalyse de la réaction et l'étude des produits d'hydrolyse. Concernant le premier axe, notre objectif était de mieux comprendre et d'améliorer la cinétique de la réaction d'hydrolyse, les catalyseurs étudiés étant à base de cobalt. Un catalyseur " modèle " a été utilisé et comparé à des nanoparticules métalliques synthétisées et d'autres espèces chimiques à base de cobalt (oxyde, hydroxyle et carbonate). Le modèle cinétique de Langmuir-Hinshelwood a permis de décrire la cinétique de l'hydrolyse. Un mécanisme réactionnel basé sur les adsorptions en surface du catalyseur de BH4 - et de H2O a été proposé. Enfin, la nature des sites actifs en surface a été discutée. En ce qui concerne le second axe de la thèse, nous avions deux objectifs : identifier les phases formées en fonction des conditions expérimentales et approfondir les connaissances thermodynamiques du système binaire NaBO2-H2O pour définir les différents équilibres se formant à l'issu de la réaction d'hydrolyse. Pour ce faire, les borates ont d'abord été synthétisés, puis caractérisés en termes de structure cristallographique et de stabilité en température. C'est ainsi qu'un nouveau borate de sodium, Na3[B3O4(OH)4] ou NaBO2*2/3H2O, a été obtenu. D'autre part, l'étude des équilibres liquide+solide, solide+solide et liquide+vapeur nous a permis d'établir le diagramme binaire NaBO2-H2O à pression atmosphérique.