La maitrise de l'information représente un avantage concurrentiel de nos jours. Malgré une intensification des moyens développés pour protéger les flux de données, il n'est actuellement pas possible d'échanger à distance et de façon complètement sure, une information entre deux interlocuteurs. Néanmoins, des travaux menés par Bennett et Brassard ont montré qu'il est possible d'atteindre un niveau de sécurité maximum en utilisant un protocole quantique de transmission de l'information. Ce protocole se base sur l'utilisation de réseaux télécom utilisant des répéteurs quantiques à la place des répéteurs classiques. La voie étudiée dans cette thèse, réalisée en partie dans le cadre du projet européen QuRep, a pour but l'amélioration des connaissances sur les monocristaux dopés aux ions de terre rare qui sont des candidats de choix pour la mise au point de répéteurs quantiques. Deux grands axes ont émergés : dans un premier temps nous avons essayé de comprendre quels sont les facteurs de succès et limitatifs dans l'utilisation du cristal de Nd : YSO en tant qu'hôte pour les mémoires quantiques avec pour objectif le transfert de la cohérence électronique vers des niveaux hyperfins. Dans un second temps, nous avons étudié un cristal présentant une structure hyperfine directement accessible en optique, Er : YLF afin de vérifier sa potentielle utilisation pour les mémoires quantiques. Ces travaux ont permis, entre autre, de réaliser un transfert de cohérence d'un niveau Zeeman électronique vers un niveau hyperfin avec un temps de stockage de plus de 300 μs, ce qui permet d'envisager une mémoire quantique dans Nd : YSO permettant de réémettre un photon à la demande

Dans les environnements collaboratifs répartis temps réel, les objets répliqués, partagés par les utilisateurs sont soumis à des contraintes de concurrence. Pour les satisfaire, différents algorithmes de contrôle, exploitant les propriétés sémantiques des opérations et utilisant les Transformées opérationnelles, ont été proposés de façon à ordonner les opérations concurrentes et par-là garantir la convergence des copies d'un objet tout en respectant l'intention des usagers. Leur inconvénient est d'imposer ou bien que les opérations utilisées par les utilisateurs satisfassent une condition, difficile à vérifier et qu'il n'est pas toujours possible d'assurer, ou bien de défaire puis de refaire des opérations dans certaines situations. Le premier objectif de la thèse est de présenter deux nouveaux algorithmes n'ayant pas ces défauts. Ils reposent sur la mise en œuvre d'un ordre global continu qui permet non seulement de s'affranchir de cette condition mais aussi de simplifier le processus d'intégration d'une opération. Dans l'un des algorithmes, SOCT4 dont nous donnons la preuve formelle, l'intégration est encore simplifiée en différant la diffusion des opérations alors que dans l'autre, SOCT5, le parallélisme dans la diffusion est privilégié. L'extension de ces algorithmes pour tenir compte de la présence de postes mobiles est abordée. Le deuxième objectif est d'adapter les algorithmes de type SOCT2 pour permettre à un utilisateur d'annuler une opération dans la mesure où les rares propositions non restrictives faites pour résoudre ce problème compromettent dans certains cas la convergence des copies. Pour cela, plutôt que de manipuler directement l'opération inverse, on considère l'annulation comme une opération spécifique dont la transposition en avant doit satisfaire deux conditions générales que l'étude met en évidence. Le bien fondé de cette démarche est validée par l'étude de cas critiques.

Nous présentons dans cette thèse les travaux réalisés concernant la vérification automatique de Bases de Connaissances de Systèmes Experts. Cette étude comporte un panorama des systèmes existants, puis deux parties indépendantes. La première traite de la Cohérence de bases de règles d'ordre Zéro Plus. Nous présentons le système MELOMIDIA, qui fournit, quand elles existent, les bases de faits initiales conduisant à des déductions contradictoires. Le système permet aussi d'améliorer l'exploitation de la base de règles analysée (élimination des règles inutiles, filtrage de la base de faits initiale), et de visualiser les contradictions qu'elle contient (traceur d'incohérences). La seconde concerne la vérification de bases de règles d'ordre Un. Elle consiste à s'assurer que la base respecte des spécifications exprimées sous la forme de propriétés attachées aux prédicats présents dans la base de règles. Ces propriétés sont fournies suivant un modèle qui distingue quatre niveaux de description des prédicats : les niveaux syntaxique, physique, mathématique et fonctionnel.

Le but principal du présent travail est ainsi de réaliser une expérience de mélange par la turbulence, dans laquelle il est possible de déterminer et de quantifier les temps de cohérence des différentes échelles spatiales des fluctuations du champ de vitesse et du champ de concentration qu'il transporte et mélange. La turbulence est ici voisine de la situation idéale statistiquement homogène et isotrope, et la configuration est conçue pour qu'il en soit de même pour le champ de concentration. La turbulence est créée par une grille placée perpendiculairement à un écoulement uniforme à l'extérieur des couches limites qui se développent le long des parois de la veine d'essais à section carrée constante. L'écoulement de la présente étude est un écoulement d'eau, dans lequel le champ de concentration est celui d'une solution de Rhodamine B injectée au niveau de la grille à travers des injecteurs équi-répartis le long des barreaux de celle-ci. Ce choix, dicté par la technique de mesure du champ de concentration par Fluorescence Induite par Laser, permet en outre de mesurer le champ de vitesse par une autre technique optique, elle aussi non-intrusive. Pour se rapprocher le plus de la théorie d'un mélange idéal statistiquement homogène et isotrope sans vitesse moyenne, on considère dans l'expérience, conformément à l'hypothèse de Taylor, que toutes les échelles associées à chacun de ces champs, sont convectés à la vitesse moyenne U de l'écoulement, et l'on suit une "boîte de turbulence" qui se déplace à cette vitesse le long de la veine. Par suite déterminer l'état de la turbulence en un point donné de cette boite à l'instant t et à l'instant t'=t+dt, revient à l'étudier dans l'expérience à t à l'abscisse x de la veine d'essai, et à t' à l'abscisse x+dx , avec dx=Udt, où se trouve le point de la boîte aux deux instants successifs. Les résultats expérimentaux concernant les échelles pour lesquelles l'isotropie statistique est satisfaite, permettent alors de vérifier une phénoménologie de l'évolution de la cohérence temporelle des diverses échelles spatiales du champ des fluctuations de concentration fondée sur les idées de Comte-Bellot et Corrsin. Cette expérience, est en outre l'occasion de donner des résultats sur les densités de probabilité de diverses propriétés statistiques des champs de fluctuation de vitesse.

Le spin d'un porteur dans une boîte quantique semiconductrice constitue une observable bien protégée des mécanismes de relaxation fonctionnant dans les matériaux massif, et constitue ainsi un candidat prometteur pour devenir un nouveau support de l'information, dans des dispositifs pour l'électronique de spin et le calcul quantique. Dans cette thèse, plusieurs aspects de la dynamique de spin du trou dans les BQs d'InAs sont abordés. La première partie est consacrée à la description microscopique de l'expérience pompe-sonde résolue en polarisation ainsi qu'à l'exposé des mécanismes de polarisation de spin du trou sous excitation résonnante et non résonnante. Dans un second temps, la question des mécanismes qui induisent la relaxation complète du spin du trou est adressée. La polarisation de spin du trou relaxe partiellement par interaction hyperfine dans un temps caractéristique d'environ 10 ns. Pour étudier des dynamiques plus longues, nous avons mis au point une technique de détection originale permettant de sonder des dynamiques millisecondes. Afin de confirmer la nature exacte des processus mis en jeux, les dépendances du temps de relaxation de spin du trou en fonction du champ magnétique et de la température ont été étudiées. Nous avons également mené une étude sur la possibilité de polariser les spin nucléaires de la boîte quantique. La polarisation dynamique des noyaux a déjà été observée dans les boites quantiques. Néanmoins cette polarisation a toujours été associée à l'électron. Nous avons obtenu une signature de la polarisation nucléaire qui pourrait être induite par le spin du trou. Cette polarisation nucléaire se manifeste par un champ magnétique effectif sur le trou de l'ordre du milliTesla. La polarisation nucléaire dotée d'un temps de vie de spin très long (ms) peut, à son tour devenir, un support robuste de l'information de spin. Le dernier traite de la cohérence du Qbit formé par le spin du trou. Pour obtenir des informations sur ce point, nous avons réaliser des expériences en champ magnétique transverse où l'on mesure la projection du spin suivant une direction orthogonale à la base des états stationnaires de l'énergie. A travers la synchronisation des modes de précession des différentes boîtes quantiques, nous avons déterminé le temps de cohérence intrinsèque du spin du trou aux alentours d'une microseconde. Une valeur de cette ordre démontre, d'une part, l'intérêt du spin du trou en tant que brique élémentaire pour coder l'information quantique, et d'autre part, ouvre la porte à des manipulations fines comme le contrôle de la phase du Qbit par effet Stark optique.

Les Applications Multimédia Interactives et Distribuées (AMID) sur Internet ouvrent des perspectives nouvelles de travail et de loisir entre utilisateurs du réseau Internet. Dans ces applications, le sentiment de co-présence est obtenu par la numérisation et l'envoi sur le réseau de certaines de leurs actions. Cependant, le délai de transmission de ces actions introduit des ambiguïtés temporelles au niveau de l'interface. Ce problème est connu sous le nom de cohérence, mais il est généralement traité du point de vue de l'ordre dans lequel les actions sont prises en compte, et non du point de vue du temps physique. Afin de prendre en compte les contraintes psycho-perceptives liées à l'utilisation du système, nous proposons un formalisme pour l'étude et l'analyse de modèles de cohérence qui permet de spécifier les propriétés temporelles et les propriétés d'ordonnancement. Les propriétés développées dans ce formalisme sont l'instantanéité, la simultanéité, la $\Delta$ légalité et les conflits d'ordonnancement. Nous avons expérimenté un de nos protocoles de cohérence dans nJam, notre prototype de Performance Musicale Interactive et Distribuée (PMID). Pour ce type d'applications, nos résultats permettent de construire un métronome réparti partagé entre musiciens distants et cela malgré des latences importantes sur le réseau. A l'aide d'expérimentations publiques et de tests effectués avec des utilisateurs, nous montrons l'efficacité de nJam. De plus, nous montrons que nos résultats se transposent dans le domaine des jeux vidéo distribués et qu'ils peuvent améliorer les performances des mécanismes de cohérence existants dans ce domaine. Actuellement, dans le domaine des AMID, notre solution distribuée est la seule qui prend en compte les latences réseau tout en fournissant les propriétés définies par la Cohérence Perceptive.

Cette thèse traite des interactions à très longue portée entre atomes de Rydberg froids.<br />Elle présente les résultats de la première réalisation du blocage dipolaire, qui se traduit par<br />une limitation de l'excitation d'un ensemble d'atomes vers un état de Rydberg en raison du<br />déplacement des niveaux d'énergie lié aux interactions dipôle-dipôle entre atomes. L'importance<br />de l'implication du blocage dipolaire a été soulignée pour l'information quantique avec<br />la possible réalisation de portes quantiques conditionnelles à deux qubits. La mise en évidence<br />du blocage dipolaire est présentée dans le cadre de deux configurations expérimentales différentes<br />: en présence d'un champ électrique et à résonance de Förster. Parvenir à la maîtrise du<br />blocage dipolaire de l'excitation vers des états de Rydberg a demandé un contrôle important<br />des conditions expérimentales : compensation des champs parasites, contrôle des sources d'ionisation<br />d'atomes, contrôle de l'intensité laser d'excitation pour se placer en-dessous du seuil<br />de saturation par puissance. Des études complémentaires ont été réalisées, telle que celle des<br />forces dipolaires entre atomes de Rydberg responsables d'un phénomène d'ionisation Penning,<br />aussi à l'origine de la formation d'un plasma ultra-froid. Une autre étude concerne le processus<br />du transfert d'excitation à résonance de Förster, dont les propriétés de cohérence ont été<br />analysés par une technique spectroscopique originale dite de "creusement spectral".

Cette thèse porte sur la modélisation, la réduction et la commande des grands systèmes électriques.En terme de modélisation et de réduction, l'objectif principal est de développer une méthode de réduction des modèles dynamiques des systèmes électriques. Cette réduction a pour objet de répondre à une situation particulière dans laquelle toutes les données du système à réduire ne sont pas connues.En terme de commande, l'objectif est la conception de commandes robustes coordonnées pour répondre aux nouvelles contraintes des grands systèmes électriques. Ces approches doivent respecter trois niveaux de coordination et deux nouvelles contraintes. Les trois niveaux de coordination concernent la prise en compte simultanée des oscillations électromécaniques interzones et locaux, la coordination de la synthèse de régulateurs pour plusieurs alternateurs, et la coordination du réglage des paramètres (gains et constantes de temps) des régulateurs de tension (les boucles stabilisatrices PSS) avec le réglage des paramètres des régulateurs de turbine des alternateurs. Les contraintes sont liées à la stabilité et la robustesse des régulateurs proposés.

Afin d'améliorer les moyens d'observation en Haute Résolution Angulaire les télescopes acquièrent des diamètres de taille considérable. L'optimisation de ces grands télescopes de type E-ELT nécessite une caractérisation complète des sites devant les accueillir ainsi que des coupoles qui vont les abriter. En se basant sur une étude expérimentale effectuée sur le site du VLT (Paranal) on montre que la caractérisation verticale de la turbulence donnée par les profils de Cn2 et d'échelle externe est plus représentative des conditions réelles d'observation. Sachant, que le site qui va accueillir le futur E-ELT est à seulement quelques kilomètres de Paranal, les résultats vont servir à définir les spécifications des systèmes de compensation prévus pour cette nouvelle génération de grands télescopes. Cette étude a permis aussi la mise en évidence de la couche de surface et on a établi une estimation de son altitude et de son énergie. On montre que la couche de surface contribue significativement à la dégradation du front d'onde incident sur le télescope. Sa localisation près du sol soulève des questions sur son interaction avec les coupoles qui sont de même taille. LOTUCE un nouvel instrument développé dans le cadre de mon travail de thèse, a été proposé pour étudier l'interaction de cette couche de surface avec la coupole. En se basant sur la mesure des angles d'arrivée (AA) sur différents points du front d'onde, LOTUCE donne une estimation des paramètres optiques de la turbulence comme le paramètre de Fried, le temps de cohérence et l'échelle externe. La modélisation de la turbulence locale est alors possible en étudiant les courbes de covariance des AA dans les deux directions longitudinale et transverse. La dernière partie de ce travail a porté sur l'évolution temporelle de la turbulence optique. Il s'agit d'une étude basée sur l'estimation du temps de cohérence à partir de l'analyse statistique des fluctuations d'AA. Cette méthode utilisée par GSM a été validée par une simulation numérique. Ces résultats montrent que ce paramètre est plus sensible aux conditions de mesures et aux contraintes instrumentales.

L’articulation de l’urbanisme et des transports s’est imposée comme une question centrale dans la sphère des planifications à incidences spatiales. Le développement durable comme concept cadre a mis en relief cette problématique dont les enjeux décident de la qualité de vie urbaine au quotidien. Les objectifs de cette articulation coïncident avec la maitrise de l’étalement urbain et le report modale de la voiture vers le transport collectif. Pour atteindre ces objectifs, la cohérence des planifications respectives et de leur mise en œuvre doit être assurée. Ce qui appelle à remplir des conditions technico-politiques et organisationnelles. L’agglomération d’Alger présente dans ce cadre, un cas d’étude idéal pour l’évaluation du degré d’articulation urbanisme-transports de par les caractéristiques de son développement urbanistique et infrastructurel de transport collectif. / The articulation of urban planning and transport has become a central issue in the sphere of planning a space implications. Sustainable development as a concept framework has highlighted this problem whose stakes decide the quality of urban life on a daily basis. The objectives of this articulation coincide with the master of urban sprawl and the postponement of the modal car to public transport. To achieve these objectives, the coherence of planning responsibilities and their implementation must be ensured. What appeals to satisfy conditions techno-political and organizational. The city of Algiers in this framework, is an ideal case study for evaluating the degree of articulation-urban transport by the characteristics of its urban development and infrastructural public transportation.