Cette thèse est dédiée à l'étude d'oxydes de Mn du type L1-xAxMnO3 (L=La, A=CA, Sr) pour x=1/3. Ces composés présentent une transition paramagnétique-ferromagnétique avec une Tc proche de 300K. Dans le régime paramagnétique, la résistance électrique présente un comportemtent semiconducteur et un caractère métallique pour des températures inférieures à Tc : la transition magnétique s'accompagne donc d'une transition métal-isolant. L'application d'un champ magnétique externe favorise l'ordre ferromagnétique entre les moments des ions Mn, conduisant à un déplacement de Tc vers les hautes températures, ce qui produit une variation importante de la résistivité près de la transition. C'est cet effet que l'on appelle "magnétorésistance colossale". Dans les manganites, plusieurs interactions sont en compétition pour déterminer l'état électronique fondamental, ce qui confère à ces matériaux un grand intérêt comme système à électrons fortement corrélés. Les manganites possèdent également certaines fonctionnalités exploitables pour l'électronique de spin, comme leur forte polarisation de spin. Dans ce cadre, cette thèse est articulée autour des points suivants :<br />1. Le plus gros effort experimental a consisté à mettre au point et automatiser un bâti de croissance de couches minces par pulvérisation cathodique. Ce système comprend une chambre à vide dont l'atmosphère est contrôlée par deux pompes, des électrovannes et des fluxomètres. Les différentes éléments (chaufferettes porte-substrats, magnétrons, etc) sont pilotés par un ordinateur de sorte que la croissance de couches et d'hétérostructures est entièrement automatisée.<br />2. La seconde partie du travail a concerné l'étude et l'optimisation des conditions de croissance de couches minces nanométriques de La2/3Ca1/3MnO3. L'influence des différents paramètres de croissance (température, vitesse de dépôt, etc) sur les propriétés du matériau ont été étudiées de façon exhaustive afin de maîtriser la croissance de couches de haute qualité avec une bonne reproductibilité.<br />3. La majeure partie du travail a consisté à étudier l'influence des interfaces sur les propriétés physiques de couches minces de manganite. L'interaction responsable du ferromagnétisme de ces matériaux est très sensible aux distorsions structurales ce qui, combiné à la forte polarisation de spin des porteurs, donne lieu à une forte magnétorésistance à champ faible dans des poudres nanométriques (contenant une grande densité de joints de grains). Cette forte polarisation de spin conduit aussi à l'observation de forts effets magnétorésistifs dans des jonctions tunnel à base de manganites. Dans ce cadre, notre contribution consiste à étudier plusieurs types d'interfaces (joints de grains d'orientation contrôlée dans des couches texturées, défauts générés par irradiation laser, jonctions bicristallines) et a corréler les propriétés magnétiques et de magnétotransport avec les caractéristiques structurales. L'influence de l'interface avec le substrat isolant (SrTiO3, LaAlO3, NdGaO3) a également été étudiée via la dépendence en épaisseur (2.4 - 180 nm) des propriétés de couches minces totalement contraintes. Parmi les effets les plus marquants, on observe une forte diminution de la Tc et une aumgentation de la résistivité lorsque l'épaisseur diminue. Nous avons montré que cela résulte d'une séparation de phase entre des régions nanométriques ferromagnétiques-métalliques, ferromagnétiques-isolantes et non-ferromagnétiques-isolantes présentes à l'interface couche-substrat. Par ailleurs, nous avons également effectué des mesures de magnétorésistane anisotrope et d'effet Hall extraordinaire. L'amplitude de ces deux effects a été comparée et interprétée en fonction du couplage spin-orbite et des propriétés électroniques près de Tc.

Ce travail de thèse consiste à développer l'approche bayésienne en séparation de sources. Mes contributions sont à la fois méthodologiques et algorithmiques illustrées par des applications en imagerie satellitaire et en cosmologie observationnelle. - Au niveau méthodologique: 1. nous avons proposé une modélisation pertinente des sources. L'aspect hiérarchique de ce modèle est bien adapté à la structure cachée naturelle du problème de séparation de sources. 2. Nous avons étudié le problème de dégénérescence du maximum de vraisemblance dans le cas vectoriel et dans le contexte de séparation de sources. 3. Nous avons proposé une approche originale pour la sélection d'a priori avec les outils de la géométrie différentielle. - Au niveau Algorithmique: 1. Nous avons proposé des algorithmes de séparation et de ségmentation dont le principe est l'exploitation de la non stationnarité dans le domaine temporel, spatial, spectral, temps-fréquence... 2. Nous avons mis en oeuvre la solution bayésienne avec une impémentation parallèle de l'échantillonneur de Gibbs ainsi que d'autres approximations stochastiques de l'EM. 3. Ces algorithmes sont illustrés par une application en imagerie satellitaire et une application en cosmologie observationnelle. Enfin, j'ouvre des perspectives théoriques sur la dualité de l'approche bayésienne et de l'approche informationnelle dans le cadre de la séparation et de la ségmentation conjointes des sources.

Ce travail de thèse comporte deux composantes, l'une théorique sur l'enveloppe convexe des cycles hamiltoniens, aussi appelée polytope du Voyageur de Commerce, et une autre plus numérique sur l'amélioration de la résolution exacte par la méthode "Branch & Cut'' du problème du Voyageur de Commerce. L'apport théorique consiste en la démonstration qu'une classe d'inéquations, les contraintes de domino, induisent des facettes du polytope du Voyageur de Commerce. L'aspect numérique aborde la séparation hors paradigme de classe en proposant la génération de coupes à partir de la contraction d'un grand graphe en un plus petit à l'aide de la représentation en cactus des coupes minimum. Enfin diverses pistes ont été étudiées pour rendre l'étape de branchement plus robuste.

Le problème de la gestion de la diversité est défini sur un ensemble partiellement ordonné d'élements possédant des demandes et des coûts unitaires de production. L'objectif est de produire un sous-ensemble de $k$ éléments références, $k$ étant un nombre donné, minimisant les coûts. Chaque élément non produit doit être remplacé par une référence qui lui est supérieure, ce qui implique un sur-coût. Après une étude théorique de complexité, nous modélisons ce problème grâce à un programme linéaire en nombres entiers, proche de ceux des problèmes de localisation $k$-médians. Pour résoudre ce programme, nous présentons un algorithme lagrangien, ainsi que de nombreux critères de fixation de variables permettant de réduire la taille du problème. Nous exploitons ensuite cet algorithme pour construire des solutions de bonne qualité. Nous développons enfin un algorithme exact de Séparation et Coupe. Nous étudions un certain type de coupes ainsi qu'une heuristique permettant de les générer. Nous concluons par des tests numériques effectués sur des instances réelles.

Cette thèse traite de méthodes statistiques appliquées au traitement du signal. Afin de résoudre le problème de séparation aveugle de sources à l'aide de la méthode d'analyse en composantes indépendantes, nous introduisons deux mesures de dépendance, l'une bien connue l'information mutuelle, et l'autre que nous appelons la mesure de dépendance quadratique. Nous montrons le lien de cette dernière avec les fonctions caractéristiques et en proposons une estimation simple, dont les propriétés asymptotiques sont obtenues grâce aux U-statistiques. Les choix du noyau et de la taille de fenêtre sont ainsi analysés. Enfin, la minimisation des mesures de dépendance permet de résoudre le problème de séparation de sources dans le cadre de mélanges post non linéaires. Plusieurs approches sont proposées, dont une non paramétrique basée sur les dérivées des non linéarités. Nous illustrons les obstacles à la minimisation par des graphes des fonctions objectifs.

La capture et la séquestration du CO2 en sortie des usines d'incinération, des centrales thermiques ou des cimenteries est devenu un enjeu mondial. La capture de ce gaz par voie hydrate est une alternative prometteuse. L'objet de cette thèse est l'étude de la stabilité des systèmes d'hydrates mixtes contenant du CO2 et un autre gaz (N2, CH4 et H2) avec l'eau pure, ou encore avec un additif permettant l'abaissement des pressions de formation : le tetrabutylamonium bromure (TBAB), dans une perspective de séparation de gaz. La technique expérimentale que nous avons utilisée est la calorimétrie différentielle programmée (DSC). Elle nous a permis de mesurer les températures et les enthalpies de dissociation des différents systèmes d'hydrates avec l'eau pure : N2, CH4, N2+ CO2, CH4+CO2, H2+CO2 ; mais aussi des systèmes semi-clathrates: CO2+CH4 et CO2+N2 à différents pourcentages massiques de TBAB (10, 20, 30 et 40). La dernière partie de cette thèse concerne la modélisation thermodynamique des semi-clathrates, où nous avons développé le cas particulier du système d'hydrate: CH4+TBAB.

L'étude d'un système à l'aide de simulations informatiques à événements discrets implique plusieurs activités: spéci cation du modèle conceptuel, description de l'architecture logicielle du modèle, développement des logiciels, scénarisation de la simulation, instrumentation, plani cation d'expérimentation, con guration des ressources de calcul, exécution, post-traitement et analyse, validation et de véri cation (V&V). De nombreux éléments logiciels sont requis pour remplir toutes ces activités. Toutefois, il est fréquent de créer un nouveau simulateur à partir de rien quand on commence une étude à l'aide de simulation. Dans ce cas il est nécessaire de développer de multiples outils prenant en charge les activités de la simulation. Cette thèse aborde le dé de la création de nouveaux simulateurs tout en réutilisant des modèles et des outils provenant d'autres simulateurs. En e et, la réutilisation de logiciel augmente la abilité, est moins sujette aux erreurs, permet une meilleure utilisation des expertises complémentaires, améliore la conformité aux normes, et accélère le développement. La réutilisation de logiciels peut être appliquée à toutes les activités de la simulation. Plusieurs problèmes doivent être résolus pour tirer pleinement pro t de la réutilisation. Dans cette thèse, nous abordons trois questions principales: Tout d'abord, nous étudions les solutions pratiques de réutilisation permettant de combiner un ensemble choisi d'éléments logiciels utiles pour la modélisation et la simulation, en incluant aussi bien les modèles, les moteurs de simulation, les algorithmes et les outils; Deuxièmement, nous nous concentrons sur les questions liées à l'instrumentation; Troisièmement, nous étudions le problème de l'intégration d'éléments logiciels provenant d'autres simulateurs dans un nouveau simulateur. Pour atteindre ces objectifs, nous étudions des techniques avancées de du génie logiciel, tels que le génie logiciel à base de composants (CBSE) et la programmation orientée aspect, sur lesquels nous construisons une solution originale pour la modélisation et la simulation à l'aide de multiples couches réutilisables. Nous avons développé un prototype d'architecture logicielle qui prouve la faisabilité de cette solution.

Le problème de caractérisation non-intrusive des usages dans des conditions réelles à partir de l'unique observation de la courbe de charge (CdC) générale résidentielle et tertiaire disponible (puissance moyenne quotidienne disponible en sortie du compteur) a été peu étudié. L'objectif de la thèse est d'explorer les possibilités et les méthodes permettant une caractérisation aveugle des composantes du mélange observé. Plus précisément, il s'agit d'extraire des descripteurs temporels, énergétiques ou encore événementiels à partir d'un mélange unique de sources non-stationnaires de nombre inconnu. Nous considérons quatre sous-problématiques sous-jacentes à la caractérisation de la CdC : la détection des usages, la classification des signaux de la CdC, l'estimation des paramètres des usages (énergie, amplitude, etc.) et la séparation des sources du mélange observé. Les algorithmes mis en œuvre sont évalués sur les données réelles. Les performances obtenues sont satisfaisantes. Outre les contributions de formalisation et algorithmiques, un des apports marquants de cette étude est une solution non-intrusive pour la segmentation automatique la CdC générale résidentielle et pour la cartographie de l'énergie quotidienne consommée en quatre composantes : le chauffage électrique, le chauffe-eau, le froid alimentaire et les autres usages. Au delà des améliorations algorithmiques et de l'étude de performance à poursuivre, nous proposons en perspective de cette thèse une approche générique pour décomposer une CdC quelconque fondée sur une modélisation stochastique de la série des événements de la CdC.

L'avènement des architectures orientées service tend à promouvoir un style d'architecture logicielle où des services, exposant des fonctionnalités accessibles à l'aide de protocoles hautement standardisés sont composés avec un couplage lâche. Dans un tel contexte où les services sont aisément amenés à être remplacés ou utilisés par un grand nombre d'utilisateurs, la notion de Qualité de Service (QdS), qui s'intéresse à la qualité de la relation entre un service et ses clients, constitue un enjeu majeur. La QdS regroupe diverses préoccupations telles que la sécurité, la garantie de livraison, la performance (temps de réponse ou accessibilité) ou encore le coût. Bien qu'il existe déjà d'importants travaux autour des compositions de services, qui ont notamment permis l'élaboration du standard BPEL4WS, le problème de la gestion de la QdS dans les compositions de services manque de solution flexible, réutilisable et offrant un degré d'abstraction approprié.L'objectif de cette thèse est de faciliter la gestion de la QdS dans les compositions de services en s'appuyant sur une meilleure séparation des préoccupations. Pour cela nous proposons QoSL4BP, un langage dédié qui permet la spécification de politiques de QdS à l'échelle des compositions de services. Ces politiques gèrent des contraintes et des mécanismes de QdS statiquement et dynamiquement à l'aide d'un ensemble limité de primitives de haut niveau. En encapsulant l'expertise liée au domaine de la gestion de QdS et en offrant une expressivité de haut niveau, le langage QoSL4BP permet une spécification aisée, flexible et réutilisable de la gestion des contrats de QdS et des mécanismes liés à la QdS. Ce langage est mis en œuvre par notre plateforme ORQOS qui coopère de manière non intrusive avec les moteurs d'orchestration. Ainsi, au moment du déploiement d'une composition de services, ORQOS sélectionne les services de la composition, selon leurs offres de QdS et les exigences spécifiées dans les politiques QoSL4BP. A l'exécution, les politiques QoSL4BP permettent de réagir aux variations de QdS et de mettre en œuvre des mécanismes liés à la gestion de QdS. Deux scénarii, appartenant respectivement aux domaines des télécommunications et du médical, permettent de valider l'approche proposée.

Bien que de nombreux travaux de recherche aient été menés au cours des deux dernières décennies pour résoudre le problème de la synchronisation de la porteuse, il constitue aujourd'hui une thématique de recherche d'une grande importance pour divers systèmes récents de la radiocommunication comme les technologies émergentes de la Radio Logicielle Restreinte (RLR) et de la Radio Intelligente (RI). En effet, les systèmes de la RLR sont multi-fonctionnels et flexibles, dans le sens où ils peuvent traiter une variété de standards et de services tout en offrant des solutions à faible coût. Quant à la technologie RI, c'est une vision futuriste d'une radio visant la conception de dispositifs sans fil dotés de capacités d'apprentissage, d'adaptation, et de reconfiguration. Dans ce contexte, les solutions existantes du problème de synchronisation doivent être adaptées à ces nouvelles générations de technologies radio en vu d'obtenir les meilleures performances. De nombreuses contributions au problème de la synchronisation de phase de la porteuse sont présentées dans cette thèse. Dans la première partie du travail, nous avons effectué une analyse théorique rigoureuse et complète du détecteur de phase DD. En se basant sur les résultats de cette étude, nous avons proposé une boucle de synchronisation optimisée pour la modulation 16-QAM ainsi qu'un nouveau détecteur de verrouillage de phase pour les modulations de type QAM. Par ailleurs, nous avons proposé une structure de synchronisation de phase adaptée aux applications de la RI, qui est capable de récupérer la phase de façon aveugle vis à vis du type de modulation du signal reçu. L'idée consiste à utiliser une mesure dite "fiabilité", extraite du détecteur de phase de la boucle de synchronisation et qui fournit une information sur la modulation du signal entrant. Enfin, nous avons discuté d'une vision SIMO du problème de synchronisation de phase, exploitant les possibilités offertes par une architecture de réception RLR.