Les cadres interactionnels actuels pour les communications entre agents (protocoles, stratégies de conversation, jeux de dialogue, ...) garantissent la cohérence structurelle des conversations tenues. Pourtant, ce n'est pas tant l'habilité des agents à structurer leurs conversations qui nous intéresse que leurs aptitudes à tenir des conversations utiles quant à leurs objectifs individuels et collectifs. Pour traiter cette problématique, nous avons défini et implanté un modèle complet de la communication entre agents qui couvre les quatre dimensions classiques de la communication : syntaxe, structure, sémantique et pragmatique. Au niveau syntaxique, nous proposons le langage DIAGAL[DIAlogue Game based Agent communication Language] qui se présente comme un ensemble de jeux de dialogue qui permettent la manipulation conjointe d'engagements sociaux. Du point de vue de la structuration des dialogues, les jeux de dialogue que nous proposons offrent une alternative à la rigidité des protocoles tout en capturant les aspects conventionnels de la communication, absents des approches considérant des actes de langages isolés. Dans notre approche, le niveau sémantique de la communication repose, quant à lui, sur les engagements sociaux qui capturent les interdépendances contractées par les agents lors des communications. Dans ce contexte, notre contribution principale concerne les aspects cognitifs de la pragmatique. À cet effet, nous proposons une théorie cognitive de l'utilisation de ce cadre interactionnel basée sur la notion de cohérence cognitive et fondée sur des résultats non encore formalisés de sciences cognitives. Issue d'une unification de la théorie de la dissonance cognitive (une des théories majeures de psychologie cognitive) avec la théorie de cohérence cognitive (développée en philosophie de l'esprit), notre approche est formulée en termes d'éléments et de contraintes, notions familières en informatique. La théorie motivationnelle résultante est ensuite étendue afin de traiter la communication entre agents cognitifs. Sous les hypothèses de notre théorie, nous définissons alors une métrique de l'utilité des conversations entre agents. Nous montrons comment cette théorie permet de résoudre en pratique de nombreux problèmes fondamentaux des aspects cognitifs de la pragmatique des communications entre agents. En particulier, nous proposons une première application de notre théorie pour l'utilisation automatique par des agents de type BDI [Beliefs, Desires and Intentions] des jeux de dialogue du langage DIAGAL. Ce faisant, nous introduisons un certain nombre d'outils techniques pour l'automatisation des communications entre agents tout en précisant quels sont nos apports théoriques pour les SMAs et plus généralement pour les sciences cognitives.

Les systèmes d'édition collaborative permettent à plusieurs utilisateurs d'éditer simultanément un document. Aujourd'hui, l'édition collaborative massive est une réalité. Il ne s'agit plus d'éditer à quelques utilisateurs mais à des milliers d'utilisateurs répartis dans le monde. Les éditeurs collaboratifs actuels n'ont pas été conçus pour supporter un nombre si important d'utilisateurs. Les problèmes soulevés ne sont pas d'ordre technologique, ils remettent en cause les fondements algorithmiques des éditeurs. L'objectif de cette thèse est de proposer des algorithmes adaptés à l'édition collaborative massive. Nous montrons qu'un tel algorithme doit assurer trois critères : convergence des données, préservation des intentions et passage à l'échelle. Au regard de l'état de l'art, seul le modèle des transformées opérationnelles (OT) peut concilier ces trois critères.<br />La première contribution de cette thèse montre que l'approche OT conçue pour des éditeurs temps réel peut être utilisée pour réaliser des outils asynchrones. Nous avons réalisé un gestionnaire de configurations dénommé SO6. La seconde contribution est une approche formelle à la conception et à la vérification de fonctions de transformation pour le modèle OT. Cette approche repose sur un démonstrateur automatique de théorème. Avec cette approche, nous montrons que toutes les fonctions de transformation proposées jusqu'ici sont fausses. La troisième et dernière contribution de ce travail est un nouvel algorithme de réplication optimiste (WOOT) adapté à l'édition collaborative massive de structures linéaires. Ce modèle repose sur le calcul monotone d'une extension linéaire des ordres partiels formés par les relations entre les différents éléments de la structure.

Nous étudions, par spectroscopie optique à l'échelle de la boîte quantique unique InAs/GaAs,la décohérence de l'exciton neutre dans une boîte, sa structure fine et la relaxation de sonspin.Nous montrons que la cohérence est limitée intrinsèquement par un couplage non-perturbatifaux phonons acoustiques, et extrinsèquement par l'existence d'un environnementélectrostatique fluctuant autour des boîtes.Nous observons que la structure fine dépend de la densité locale de boîtes, qui affecte leurgéométrie et leur état de contrainte, et mettons à jour des boîtes originales émettant une lumière très polarisée.Nous étudions la relaxation du spin excitonique en mesurant le taux de polarisation del'émission. Sur un ensemble de boîtes, nous observons un temps de relaxation d'une dizainede ns à 10 K et montrons que la dynamique de cette relaxation est sensible à l'environnementdes boîtes. Sur boîte unique, nous montrons que le spin peut relaxer très rapidement (en 100ps), même à 10 K.

Alors que les télécommunications optiques se sont imposées dans les liaisons point à point de très haut débit, leur extension au réseau métropolitain, caractérisé par une grande densité de connexions, est aujourd'hui freinée par le prix élevé des composants. Un des principaux facteurs de coût dans la fabrication des modules optique est lié au besoin de coupler le laser à un isolateur afin de le protéger des réflexions externes. Le but de cette thèse a consisté à développer des lasers monomodes faiblement sensibles à la réalimentation optique afin de pouvoir réaliser des transmissions à 2,5 GBit/s sans isolateur optique. L'étude de structures DFB (Distributed Feedback Lasers) conventionnelles a permis de relier les effets physiques induits sur les composants par la contre-réaction optique aux dégradations observées dans les courbes de taux d'erreurs. Bien qu'un tri de ces composants soit nécessaire à l'échelle industrielle, des transmissions à 2,5 GBit/s et à 85°C ont été réalisées sans plancher et avec de faibles pénalités après optimisation de la structure laser. Afin de s'affranchir de l'opération de tri, de nouvelles structures DFB à pas variable et fondées sur l'utilisation d'un réseau de Bragg asymétrique (chirped grating) ont ensuite été réalisées. Les résultats montrent des performances statiques et dynamiques homogènes sur plaque et au-delà de l'état de l'art. Outre la réduction du prix lié à l'absence d'isolateur, de telles performances permettent surtout de s'affranchir de l'opération de tri et sont donc particulièrement prometteuses pour le développement futur des réseaux de télécommunications tout optique.

Dans cette thèse, nous nous intéressons aux transactions dans les environnements mobiles. La problématique visée est l'influence du contexte sur l'exécution des transactions. En effet, les environnements mobiles se caractérisent par une grande variabilité au niveau réseau sans fil et par des unités mobiles à ressources limitées. Ces caractéristiques affectent la gestion de données, en particulier, elles entraînent un nombre important de défaillances transactionnelles et des coûts d'exécution imprévus. Nous proposons un modèle de Transactions Mobiles Adaptables (AMT) permettant de définir des transactions avec plusieurs alternatives d'exécution. Ce modèle offre la possibilité d'adapter les transactions au contexte et de maîtriser le coût de leur exécution selon des critères de qualité acceptables pour l'application. Le modèle AMT a été spécifié avec le formalisme ACTA. Nous proposons une étude analytique qui montre que (1) les transactions de type AMT augmentent la probabilité de validation, et que (2) les coûts deviennent prévisibles grâce à la possibilité de choisir le type d'exécution en fonction du contexte. Pour valider notre approche, nous avons conçu l'intergiciel TransMobi qui gère la perception de l'environnement et qui implante le modèle AMT à l'aide de protocoles appropriés. En particulier, nous proposons le protocole de validation CO2PC qui assure l'atomicité sémantique. Nous avons développé un prototype de TransMobi en PersonalJava qui utilise des bases de données relationnelles, un réseau WLAN et des assistants personnels (PDA).

Dans les langages de programmation une exception apparait comme conséquence des limites qu'une mise en oeuvre introduit par rapport à un modèle idéal. Les structures de controle traditionnelles ne conviennent pas pour traiter ces cas limites, et sont secondées dans certains langages par un système spécifique de gestion des exceptions qui sépare le traitement des exceptions de l'algorithme principal. Nous analysons dans le contexte plus précis des langages à objets la forme que doit prendre un tel système et les contraintes qu'il doit satisfaire. Nous regardons en particulier les implications de la modularité, de l'héritage et de la conformité. Nous proposons ensuite un système de gestion des exceptions pour le langage Guide, langage à objets conçu pour la constructions d'applications réparties. Nous proposons des solutions aux problèmes de la cohérence des objets et de la concurrence. Ce travail a donné lieu à une mise en oeuvre sur le système Guide.

Cette thèse s'intéresse à la gestion configurable de la duplication et de la cohérence dans les applications réparties. Elle vise la définition de mécanismes de configuration qui n'impliquent pas de modification du code métier des applications et qui permettent la réutilisation du code de gestion de la duplication et de la cohérence. Le premier objectif permet d'exécuter les applications dans différents environnements sans les réimplémenter. Le deuxième objectif permet de réutiliser les protocoles de duplication et de cohérence dans différents domaines d'application. Cette thèse se place dans le contexte des applications réparties à base de composants. Elle permet la configuration non intrusive de la duplication et de la cohérence en se basant sur la séparation entre le code métier et le code système des composants. Elle permet la réutilisation du code de gestion de la duplication et de la cohérence en modélisant les protocoles en termes de composants qui sont indépendants des applications métier. Les modèles de programmation, de composition et d'exécution proposés sont validés à l'aide d'un prototype Java. Le coût de gestion de la duplication et de la cohérence est évalué et l'applicabilité de l'approche aux environnements CCM et EJB est étudiée. Les capacités de configuration et de réutilisation sont démontrées par des expérimentations avec plusieurs applications et plusieurs protocoles.

L'utilisation de modèles de diffusion radar par la végétation permet de mieux comprendre les relations entre des observables radar et les caractéristiques de la scène observée. Des études récentes ont montré l'intérêt de modéliser de manière partielle ou totale les interactions cohérentes entre les diffuseurs d'une scène, les modèles de diffusion évoluant d'une formulation en intensité (incohérente) à une formulation en champ (cohérente). Durant cette thèse, nous avons développé une formulation cohérente et polarimétrique de la diffusion radar par des scènes forestières. La diffusion par des éléments canoniques (cylindres, ellipsoïdes) a été traitée afin de mettre en évidence les domaines de validité des méthodes employées. Le modèle de diffusion est ensuite présenté puis appliqué à une forêt considérée comme un milieu discret. La contribution totale de la forêt résulte alors de la sommation cohérente des champs diffusés par chacune de ses composantes. Chaque contribution est pondérée par le déphasage dû à la position relative des diffuseurs et l'atténuation complexe lié au trajet de l'onde dans la forêt. Les modèles cohérents ayant besoin de s'appuyer sur des descriptions réalistes de la végétation, un soin particulier à été porté à la modélisation de la forêt. Ce code a été appliqué à deux types de forêts (tropicale et tempérée) et à trois bandes de fréquences différentes (P,L et C). Son application aux forêts de Mangroves a montré qu'il modélise correctement la rétrodiffusion dans un cas où de forts effets cohérents sont attendus. Les limitations de ce code sont notamment analysées dans le cas particulier des hautes fréquences/densités. Finalement le degré de cohérence interférométrique est étudié et sa composition (contributeurs et mécanismes dominants) est analysée.

Il existe des projets d'ordinateurs quantiques pour résoudre certains problèmes difficiles, comme la factorisation des grands nombres, beaucoup plus rapidement qu'avec un ordinateur classique. L'unité de base de l'ordinateur quantique est un système quantique à deux niveaux nommé bit quantique, qui doit satisfaire des critères très stricts. Parmi les nombreux systèmes proposés pour réaliser un bit quantique, les circuits électroniques sont des candidats intéressants en raison de leur grande intégrabilité. L'objet ce cette thèse est de réaliser un bit quantique à partir d'un circuit supraconducteur à base de jonctions Josephson nommé ``boîte à paires de Cooper''. L'état de cette boîte peut être déterminé soit par une mesure de courant, soit par une mesure de charge. Dans cette thèse sont étudiées trois différentes stratégies pour réaliser le bit quantique, qui diffèrent par le mode de lecture de l'état de la boîte. Pour chaque stratégie, le temps de vie d'une superposition cohérente d'états de la boîte est évaluée théoriquement et l'appareil de mesure associé est testé expérimentalement. Cette étude permet de déterminer la stratégie la plus prometteuse qui est finalement implémentée dans ce travail de thèse sous le nom de ``quantronium''. L'état du quantronium a été manipulé à l'aide d'impulsions radiofréquence, et le temps de vie d'une superposition quantique d'états de ce circuit a été déterminée. Ce temps est suffisamment long pour envisager la construction de portes logiques élémentaires.

La cohérence de phase quantique des électrons se manifeste par des interférences dans les circuits mésoscopiques métalliques. Les premières expériences de cette thèse explorent les mécanismes d'interaction limitant la cohérence dans des métaux non supraconducteurs (normaux) : des mesures de temps de cohérence de phase et d'échanges d'énergie révèlent le rôle joué par des impuretés magnétiques dans le régime Kondo. Dans les métaux supraconducteurs, les électrons adoptent un état quantique macroscopique grâce au potentiel d'appariement : la cohérence est obtenue pour cet état impliquant de nombreux électrons. Dans ce cas, nous avons testé l'équivalence entre la décohérence induite par un supercourant et par un champ magnétique à l'aide de mesures de densités d'états. Lorsqu'un métal normal est en contact avec un supraconducteur, la propagation de l'ordre supraconducteur dans le métal normal est limitée par la décohérence des électrons indépendants comme prouvé par une dernière expérience.