Cette thèse a pour sujet la diffusion spectrale dans les boîtes quantiques. Engendrée par les fluctuations de l'environnement électrostatique, elle affecte les spectres d'émission de ces boîtes. Notre étude s'appuie sur l'analyse de l'évolution en température et en puissance de pompage des spectres de photoluminescence, obtenus par spectrométrie par transformée de Fourier. Nous constatons que la diffusion spectrale est généralement dans un régime de rétrécissement par le mouvement et peut sortir de ce régime pour une augmentation de température ou de puissance. Par cette étude, nous sondons les mécanismes à l'origine des fluctuations de l'environnement électrostatique. Ceci nous permet de proposer un modèle microscopique pour les sources de la diffusion spectrale. A l'aide de cette modélisation, nous avons pu imaginer un protocole de contrôle et d'amplification du rétrécissement par le mouvement en utilisant un champ électrique. Cette méthode est alors validée par nos résultats.

Ce travail porte sur le fonctionnement d'un Laser à Electrons Libres (LEL) en configuration injectée. Trois exemples sont présentés : celui de UVSOR-II (Okazaki, Japon), celui de SPARC (Frascati, Italie) et ceux du projet ARC-EN-CIEL (France). Sur l'exemple de UVSOR-II, injecté avec un laser Ti :Sa à 1 kHz, des thématiques variées ont été abordées : dynamique électronique, cohérence spatiale, structure spectrale et distribution angulaire du rayonnement, optimisation de la source avec une polarisation variable. Sur l'exemple de SPARC, l'injection d'une source harmonique générée dans les gaz (HHG) est envisagée. Cette combinaison originale, offrant un rayonnement spatialement et temporellement cohérent de forte intensité de l'UV aux rayons X, constitue une source d'avenir. Une source harmonique dédiée a été mise au point pour le LEL de SPARC et devrait permettre d'ici fin 2008, outre des études systématiques de la combinaison LEL-HHG, la démonstration de nouvelles configurations de LEL injectés. Enfin, au cours des simulations effectuées pour le dimensionnement des sources de rayonnement d'ARC-EN-CIEL, un nouveau régime de progapation de l'impulsion LEL a été observé et reste en cours d'étude.

Ce travail traite deux problèmes rencontrés dans les environnements où l'on utitlise un SGBD de haut niveau sémantique et où les traitements réalisés sont peu structurés et évolutifs et se font sur des objets complexes et volumineux. II s"appui sur l'expérience acquise dans la réalisation des projets TIGRE ET DOEOIS. Le premier aspect porte sur la cohérence sémantique, ce qui concerne plus particulièrement les contraintes implicitement établies lors de la définition du schéma conceptuel de la base. La sémantique introduite dans les modèles que nous avons utilisés, est réalisée en intégrant des concepts déjà existants comme celui d'agrégation et de spécialisation qui se traduisent au niveau du schéma conceptuel par des dépendances existentielles entre les entités. Nous proposons pour les opérations de mise à jour, un ensemble de règles de propagations pour assurer que la base de données soit cohérente par rapport à son propre schéma conceptuel. Le deuxième aspect prend en compte l'exécution des opérations elles mêmes. Fournir la notion de transaction, c'est donner au programmeur d'application le moyen de définir' une séquence d'opérations comme étant un tout qui permet à la base de données d'évoluer entre deux états cohérents. Le problème que nous nous posons est de fournir un support pour l'exécution des applications qui assure le maintien de la cohérence, compte tenu des données et des caractéristiques des traitements faits aux données dans l'activité bureautique. Cet étude a abouti à la réalisation d'un mécanisme transactionnel simple et fléxible.

Proposition d'une représentation formelle complète des méthodes de modélisation des systèmes d'information en informatique de gestion. Le but est de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système expert est proposée et expérimentée

Modification d'algorithmes classiques utilises dans le maintien de la cohérence de copies multiples en vue de prendre en compte une latence de détection de faute. Bref parallèle des algorithmes modifies de Kaneko et Herran et Verjus. Réalisation d'une nouvelle classification de pannes.

Le travail de thèse présenté s'inscrit dans le vaste domaine des biocapteurs appliqués au secteur biomédical.<br /> Le biocapteur développé est destiné à la mesure de concentration de substances chimiques. De nombreux biocapteurs optiques ont déjà été mis au point pour la détection de ces substances. L'originalité de notre travail réside dans l'utilisation d'une réaction biochimique à proximité du coeur d'une fibre optique pour modifier les conditions de résonance d'une cavité Fabry-Pérot par couplage évanescent.<br /> Le principe de ce capteur s'articule autour de deux techniques de<br />metrologie optique :<br />• Fonctionnalisation biochimique de l'interface cavité-milieu extérieur pour que la concentration de la substance cible modifie l'indice effectif de l'onde se propageant dans la cavité Fabry-Pérot par couplage évanescent.<br />• Interférométrie : mesure précise de la longueur optique de la cavité pour suivre l'évolution de l'indice effectif.<br /> L'intérêt d'un tel système est d'offrir un capteur de dimensions très réduites (taille proche d'une fibre optique). La réalisation sur une même fibre de plusieurs capteurs avec différentes longueurs de cavité fournit une sonde multiparamétrique, interrogeable par les<br />techniques classiques d'interférométrie (modulation de cohérence).

Dans cette thèse, nous proposons une méthode de résolution des problèmes de la géométrie algorithmique posés pour des objets courbes (par opposition aux objets "linéaires" : ensembles de points, segments, polygones ...). Les objets que nous étudions sont des courbes de Bézier composites, choisies, d'une part, pour le réalisme qu'elles assurent dans la modélisation géométrique, et d'autre part, pour la facilité du traitement algorithmique que leurs propriétés offrent. Notre approche met l'accent sur les aspects topologiques des problèmes abordés, en évitant les incohérences que la résolution en arithmétique flottante d'équations algébriques de degré élevé (générées par le traitement direct des courbes) peut le plus souvent introduire. Cet objectif est atteint par l'utilisation d'approximations polygonales convergentes, qui dans le cas des courbes de Bézier sont naturellement fournies par les polygones de controle par l'intermédiaire de la subdivision de de Casteljau. Deux des problèmes fondamentaux de la géométrie algorithmique sont traités ici, l'enveloppe convexe et les arrangements, les deux en dimension 2. Dans le cas des arrangements, la notion de topologie (combinatoire) est bien connue ; dans celui de l'enveloppe convexe, nous la définissons rigoureusement. Pour les deux problèmes, nous montrons qu'il est possible d'obtenir toute l'information topologique définissant (de manière, il est vrai, implicite, mais correcte et complète) la solution exacte en travaillant exclusivement sur les approximations polygonales des objets donnés. Les résultats théoriques obtenus sont concrétisés par des algorithmes dont la convergence et la correction sont démontrées et pour lesquels des études de cout sont réalisées. Des exemples illustrent le fonctionnement de ces algorithmes, validant la méthode proposée.

Dans cet ouvrage, nous présentons une étude du transport électronique dans un îlot métallique diffusif en contact avec deux électrodes supraconductrices. Nous avons mis au point un nouveau procédé de fabrication qui permet de réaliser ces jonctions niobium – cuivre – niobium avec des interfaces métalliques très transparentes. Les électrodes supraconductrices en niobium présentent alors une température critique proche de celle du supraconducteur massif. En préambule aux mesures de transport nous caractérisons les jonctions longues et diffusives par une étude quantitative théorique et expérimentale du couplage Josephson continu. Quand une tension est appliquée aux bornes de la jonction, la différence de phase entre les deux supraconducteurs oscille à très haute fréquence et la distribution des électrons est portée hors de l'équilibre thermodynamique. Nous mesurons une forte variation de conductance continue de la jonction qui est liée à la relaxation des électrons du métal normal via les collisions inélastiques. Nous avons ensuite réalisé une mesure de la conductance quand la jonction est irradiée avec une onde hyperfréquence. L'ïlot se comporte comme une cavité résonante à la fréquence Josephson. Le couplage de l'onde avec cette cavité fait apparaître les paliers Shapiro quand la tension atteint V=nhw/2e. Ces paliers sont caractéristiques de l'oscillation sinusoïdale du supercourant Josephson. Au-dessus d'une certaine température, il apparaît en plus de nombreux paliers fractionnaires. L'amplitude de ces nouveaux paliers persiste à haut température alors que les paliers Shapiro disparaissent très rapidement. Nous orientons la discussion en terme de contributions hors-équilibre au courant Josephson alternatif.

Les applications scientifiques d'aujourd'hui, telles les simulations de grands phénomènes naturels, requièrent une grande puissance de calcul ainsi qu'une importante capacité de stockage. Les grilles de calcul apparaissent comme une solution permettant d'atteindre cette puissance par la mise en commun de ressources de différentes organisations. Ces architectures présentent en revanche des caractéristiques rendant leur programmation complexe: elles sont dynamiques, hétérogènes, réparties à grande échelle. Cette thèse s'intéresse aux problématiques liées à la conception d'un service de partage de données pour les grilles de calcul. L'objectif est de permettre un accès transparent aux données, en automatisant la localisation, le transfert, la gestion de la persistance et de la cohérence des données partagées. Nous nous sommes plus particulièrement concentrés sur la gestion de la cohérence et de la persistance des données en environnement dynamique. Dans un tel contexte, assurer la persistance nécessite la mise en place de mécanismes de tolérance aux fautes. Nous proposons une approche pour gérer conjointement ces deux aspects via une architecture logicielle multiprotocole permettant de coupler différents protocoles de cohérence avec différents mécanismes de tolérance aux fautes. Nous proposons une conception hiérarchique de cette architecture, adaptée à la topologie réseau des grilles de calcul. Ces contributions ont été mises en oeuvre au sein du service de partage de données pour grilles JUXMEM. Les expérimentations menées sur la grille expérimentale Grid'5000 montrent que notre conception hiérarchique permet d'améliorer les performances des accès aux données partagées.

Ce manuscrit décrit les travaux de recherche que nous avons mené pendant les six dernières années sur le thème du partage transparent des données réparties à grande échelle. L'infrastructure visée a été celle des grilles de calcul. Notre objectif a été de répondre à la question: comment serait-il possible de construire un système fournissant un modèle transparent d'accès aux données, tout en tenant compte des contraintes spécifiques aux infrastructures physiques utilisées (architecture hiérarchique, distribution à grande échelle, volatilité, tolérance aux défaillances, etc.)? En réponse à ce défi, nous avons proposé le concept de service de partage de données pour grilles, pour lequel nous avons défini une spécification, une architecture et une mise en oeuvre. Ce travail se situe à la frontière de plusieurs domaines: systèmes à mémoire virtuellement partagée, systèmes pair-à-pair, systèmes tolérants aux fautes. En nous appuyant sur des résultats déjà existants qui proposaient des solutions partielles à notre problème, notre approche a consisté à étendre, adapter et coupler ces solutions partielles et à rajouter les "briques" manquantes, afin de construire une solution globale, plus complexe, mais qui satisfasse l'ensemble des propriétés recherchées. Un résultat issu de cette approche est la notion de groupe hiérarchique auto-organisant, qui combine des protocoles de cohérence issus des systèmes à mémoire virtuellement partagée avec des protocoles de gestion de groupe tolérants aux fautes. Sur cette notion repose notre approche pour la définition de protocoles de cohérence tolérants aux fautes, adaptés aux grilles. Nous avons attaché une importance particulière à la validation expérimentale} de notre proposition par une mise en oeuvre et par une évaluation sur des plates-formes réelles à travers des prototypes expérimentaux. Ceci nous a permis de réaliser des expériences multisites en grandeur nature sur la plate-forme Grid'5000, avec l'objectif d'évaluer les bénéfices apportés par notre service de partage de données aux environnements de calcul réparti sur grille. A cet effet, nous avons évalué la capacité de JuxMem à s'intégrer avec plusieurs modèles de programmation pour grille d'une part (GridRPC, modèles à base de composants) et avec d'autres technologies de stockage d'autre part (Gfarm, ASSIST). Cette intégration a été réalisée en collaboration avec des équipes françaises, telles que les équipes-projets REGAL et GRAAL de l'INRIA, mais aussi avec des équipes étrangères des universités de Pise et de Calabre en Italie, d'Illinois/Urbana-Champaign aux Etats-Unis et de Tsukuba au Japon. Enfin, nous avons travaillé en étroite concertation avec l'équipe JXTA de Sun Microsystems (Santa Clara, Etats-Unis), qui a soutenu nos efforts à travers un contrat de collaboration industrielle.