L'objectif de ce travail est d'étudier la possibilité d'étendre les formats de modulation utilisés actuellement en télécommunications optiques par solitons. Face aux techniques classiques de modulation d'intensité, multiplexage temporel, et multiplexage en longueur d'onde, largement répandues dans de tels systèmes, nous avons réalisé un démonstrateur basé sur les retards optiques et la modulation de phase différentielle. Cette modulation s'apparente à un codage cohérent, c'est à dire que l'information est codée dans la phase optique des solitons transmis. De plus, l'utilisation de retards optiques nous fournit un moyen naturel de multiplexage / démultiplexage tout optique. Cette technique nous a permis d'explorer les effets propres à la phase dans la propagation de solitons sur une liaison amplifiée. Nous avons donc réalisé une source soliton basée sur la commutation de gain d'un laser semiconducteur et la compression linéaire au moyen d'un réseau de Bragg chirpé photoinscrit. Afin d'évaluer les performances du système proposé, nous avons ensuite étudié la stabilité de la phase d'un soliton face au bruit des amplificateurs optiques de manière théorique. L'expression analytique obtenue a été validée par des simulations numériques basées sur la méthode split-step Fourier. Cette étude nous a permis de mettre en évidence l'effet bénéfique du filtrage en ligne sur la stabilité de la phase. Enfin, nous avons réalisé un démonstrateur mettant en pratique le format de modulation proposé. Celui-ci comporte un unique dispositif pour simuler le codeur et le décodeur, et la propagation sur de longues distances est étudiée grâce à une boucle de recirculation. La gigue de phase mesurée correspond assez bien aux estimations théoriques.

Cette thèse propose une nouvelle méthode de détection, intermédiaire entre les deux méthodes existantes en OCT, qui sont: l'OCT dans le domaine temporel et l'OCT dans le domaine fréquentiel (FDOCT). La technique OCT que nous présentons est basée sur un réseau de diffraction. Elle fournit le profil de réflectivité en profondeur de l'échantillon analysé instantanément, sans effectuer de balayage mécanique dans le bras de référence de l'interféromètre ni de traitement numérique du signal réfléchi par l'échantillon. Une partie de cette thèse est dédiée à la description du principe de fonctionnement et à l'architecture du dispositif. En introduisant un balayage transversal dans le système, des images en deux dimensions et en trois dimensions de l'échantillon ont été réalisées. Nous décrivons par la suite comment nous accédons à l'information spectroscopique en profondeur de l'échantillon analysé, de façon optique et sans post-traitement grâce à la même technique. Pour cela, un système de démultiplexage en longueur d'onde est introduit dans le dispositif OCT qui devient ainsi un instrument de spectro-tomographie optique de cohérence. De cette façon, pour chaque point objet analysé, une image en deux dimensions est affichée en temps réel sur un détecteur plan. La direction horizontale correspond à la profondeur tandis que la direction verticale correspond à la décomposition spectrale de la trace de corrélation. Nous présentons le principe du système et montrons quelques résultats expérimentaux.

L'avènement des puces multicoeurs repose certaines questions quant aux moyens d'écrire les programmes, qui doivent alors intégrer un degré élevé de parallélisme. Nous abordons cette question par l'intermédiaire de deux points de vue orthogonaux. Premièrement via le paradigme du vol de travail, pour lequel nous effectuons une étude visant d'une part à rechercher quelles sont les caractéristiques architecturales simples donnant les meilleures performances pour une implémentation de ce paradigme ; et d'autre part à montrer que le surcout par rapport à une parallélisation statique est faible tout en permettant des gains en performances grâce à l'équilibrage dynamique des charges. Cette question est néanmoins surtout abordée via le paradigme de programmation à base de transactions -- ensemble d'instructions s'exécutant de manière atomique du point de vue des autres coeurs. Supporter cette abstraction nécessite l'implantation d'un système dit TM, souvent complexe, pouvant être logiciel ou matériel. L'étude porte premièrement sur la comparaison de systèmes TM matériels basés sur des choix architecturaux différents (protocole de cohérence de cache), puis sur l'impact d'un point de vue performances de plusieurs politiques de résolution des conflits, autrement dit des actions à prendre quand deux transactions essaient d'accéder simultanément les mêmes données.

Ce travail analyse les difficultés soulevées par l'étude des interférences lumineuses. Centré sur les interférences à deux ondes et sur les conditions de leur obtention, il concerne trois dispositifs interférentiels (trous d'Young, miroirs de Fresnel, lames minces) et deux types d'éclairage (totalement ou partiellement cohérent). Une analyse de la physique des interférences, de son histoire, de sa présentation dans les manuels scolaires, et des recherches sur les conceptions dans le domaine des ondes, a été réalisée. Une quinzaine de questionnaires écrits a été élaborée et 758 étudiants français et tunisiens ont été interrogés après enseignement. Plusieurs tendances de raisonnement liées les unes aux autres sont dégagées. Deux se rencontrent de manière transversale à différents domaines de la physique : les étudiants privilégient des aspects perceptifs et diminuent le nombre de grandeurs physiques à prendre en compte. Une autre concerne les difficultés d'interprétation des schémas à rayons parallèles en optique. Une autre rejoint celle dégagée pour la diffraction : les étudiants n'utilisent pas le principe de superposition des amplitudes, une onde modulée en amplitude semble être créée au niveau du dispositif interférentiel et se propager en s'élargissant. Les dernières sont spécifiques aux interférences : pour les obtenir, deux sources ponctuelles suffisent ou deux ondes en phase sont nécessaires. Ce travail débouche sur quelques suggestions pédagogiques : se ramener à la situation à deux sources, préciser les conditions d'obtention des interférences lors de leur introduction, utiliser des schémas avec des rayons et des surfaces d'onde pour la formation des images.

Dans une grappe de bases de données, la réplication préventive peut fournir une cohérence forte sans les limitations d'une réplication synchrone. Dans cette thèse, nous présentons une solution complète pour la réplication préventive qui supporte les configurations multimaîtres et partielles, où les bases de données sont partiellement répliquées sur différents noeuds. Pour augmenter le débit des transactions, nous proposons une optimisation qui élimine le délai d'attente pour l'ordonnancement en contrepartie d'un petit nombre d'abandon des transactions et nous introduisons le rafraîchissement parallèle des copies. Nous décrivons des expérimentations à grande échelle de notre algorithme basées sur notre prototype (RepDB*) sur une grappe de 64 noeuds utilisant le SGBD PostgreSQL. Nos résultats utilisant le banc d'essai TPC-C montrent que notre approche dispose d'un excellent passage à l'échelle et d'une excellente amélioration du débit.

Cette thèse porte sur la réplication de données dans les systèmes pair-à-pair (P2P). Elle est motivée par l'importance croissante des applications de collaboration répartie et leurs besoins spécifiques en termes de réplication de données, cohérence de données, passage à l'échelle, et haute disponibilité. En employant comme exemple un Wiki P2P, nous montrons que les besoins de réplication pour les applications collaborative sont : haut niveau d'autonomie, réplication multi-maître, détection et résolution de conflit basé sur sémantique, cohérence éventuelle parmi des répliques, hypothèses faibles de réseau, et indépendance des types de données. Bien que la réplication optimiste adresse la plupart de ces besoins, les solutions existantes sont peu applicables aux réseaux P2P puisqu'elles sont centralisées ou ne tiennent pas compte des limitations de réseau. D'autre part, les solutions existantes de réplication P2P ne répondent pas à toutes ces exigences simultanément. En particulier, aucune d'elles ne fournit la cohérence éventuelle parmi des répliques avec des hypothèses faibles de réseau. Cette thèse vise à fournir une solution de réconciliation fortement disponible et qui passe à l'échelle pour des applications de collaboration P2P en développant un protocole de réconciliation qui assure la cohérence éventuelle parmi des répliques et tient compte des coûts d'accès aux données. Cet objectif est accompli en cinq étapes. D'abord, nous présentons des solutions existantes pour la réplication optimiste et des stratégies de réplication P2P et nous analysons leurs avantages et inconvénients. Cette analyse nous permet d'identifier les fonctionnalités et les propriétés que notre solution doit fournir. Dans une deuxième étape, nous concevons un service de réplication pour le système APPA (en anglais, Atlas Peer-to-Peer Architecture). Troisièmement, nous élaborons un algorithme pour la réconciliation sémantique répartie appelée DSR, qui peut être exécuté dans différents environnements répartis (par ex. grappe, grille, ou P2P). Dans une quatrième étape, nous faisons évoluer DSR en protocole de réconciliation pour des réseaux P2P appelé P2P-reconciler. Finalement, la cinquième étape produit une nouvelle version de P2P-reconciler, appelée P2P-reconciler-TA, qui exploite les réseaux P2P conscients de leur topologie (en anglais, topology-aware) afin d'améliorer les performances de la réconciliation. Nous avons validé nos solutions et évalué leurs performances par l'expérimentation et la simulation. Les résultats ont montré que notre solution de réplication apporte haute disponibilité, excellent passage à l'échelle, avec des performances acceptables et surcharge limitée.

Les architectures distribuées des systèmes embarqués sont souvent décrites sous la forme de composants concurrents communiquant entre eux. De tels systèmes sont à la fois orientés flot de données pour leur description, et dirigés par le temps pour leur exécution. Cette thèse s'inscrit dans cette problématique et se concentre sur le contrôle de la compatibilité temporelle d'un ensemble de données interdépendantes utilisées par les composants du système. L'architecture d'un système modélisé par composants forme un graphe où plusieurs chemins peuvent relier deux composants, avec des caractéristiques temporelles hétérogènes, ce qui induit des temps de parcours disparates. Il est alors important que ces flots d'information soient assemblés de façon cohérente sur le composant destinataire, c'est-à-dire de telle manière que le composant utilise en entrée des données dépendant (directement ou indirectement) du même pas d'exécution du composant à l'origine de ces flots multiples. Dans un premier temps, ce principe d'association cohérente de données est identifié et formalisé. Une méthodologie est proposée afin de détecter, dans un graphe de composants, les configurations pouvant poser des problèmes d'association de données Dans un deuxième temps, différentes approches sont détaillées afin de gérer l'association cohérente des données dans des systèmes périodiques sans supposer de propriétés strictes sur l'ordonnancement des composants. Dans les systèmes où les composants partagent la même période et où les communications intra-périodiques sont interdites, l'association des données est gérée par un mécanisme de files permettant de rééquilibrer les temps de parcours des données sur les différents chemins. Dans le cas où les composants sont de périodes diverses, un mécanisme d'estampillage des données est utilisé afin de mémoriser les dépendances entre données. Associé à l'utilisation de files, cet estampillage permet aux composants de sélectionner, à chacune de leurs phases d'activation, des ensembles de données cohérents choisis parmi les données à leur disposition. La notion d'association cohérente est ensuite relâchée, permettant une utilisation de données approximativement cohérentes. Des files filtrantes, n'enregistrant qu'une donnée sur un certain nombre de données reçues, permettent de réduire la taille des files nécessaires. Par ailleurs, du fait de la liberté du modèle d'exécution choisi, il existe des situations où il est impossible de garantir la vivacité de l'association cohérente des données. D'autre part, une architecture particulière peut générer des contraintes de cohérence conflictuelles et aboutir à une impossibilité de gestion de la cohérence. Pour terminer, les résultats de ces travaux sont appliqués sur le logiciel applicatif d'un satellite d'observation terrestre détectant des points chauds.

Un nombre croissant de professionnels qui pratiquent l'éducation thérapeutique du patient s'interrogent sur leurs pratiques et considèrent qu'une éducation qui vise seulement une meilleure compliance ou adhésion au traitement par la transmission d'informations en rapport avec la maladie et le traitement est inefficace et fortement réductrice de la personne malade. Ces professionnels considèrent que dans le cadre de la relation de soins, les patients doivent avoir une place pour exprimer leurs préférences et leurs réticences, ce qu'ils espèrent pour eux et ce qui est difficile pour eux dans leur vie de tous les jours, afin de participer au choix des modalités de leur traitement, qui acquiert alors un statut de traitement « proposé » et «négocié », plutôt que «prescrit» par le médecin. Une telle relation de soins, qui s'appuie sur un patient-sujet, s'inspire d'une philosophie humaniste qui affirme le droit à l'auto-détermination de chaque individu et qui reconnaît à chaque personne la capacité et le désir d'être l'acteur de sa vie. Dans une telle perspective, la finalité de l'éducation est de permettre aux patients d'exercer un meilleur contrôle sur leur vie, et pas seulement sur leur maladie et leur traitement. Il est courant d'utiliser le terme de « empowerment » pour désigner ce processus par lequel une personne malade, au départ d'une situation ou d'un sentiment d'impuissance (powerlessness), augmente sa capacité à identifier et satisfaire ses besoins, résoudre ses problèmes et mobiliser ses ressources, de manière à avoir le sentiment de contrôler sa propre vie. Afin de mieux comprendre dans quelle mesure les soignants peuvent effectivement contribuer à l'empowerment des patients atteints de maladie chronique, la signification de l'empowerment du patient a été explorée par une double approche : 1. exploration de la signification de l'empowerment en tant qu'expérience vécue par des patients atteints de maladie chronique : 40 entretiens qualitatifs semi-dirigés ; 12 maladies représentées ; méthodes d'analyse inspirées de la phénoménologie et de la théorisation ancrée (grounded theory). 2. exploration de la signification de l'empowerment en tant que concept utilisé à des fins de recherche ou de pratique : revue de littérature portant sur 55 articles scientifiques parus entre 1995 et 2006 ; analyse qualitative de contenu. Alors que les résultats de la revue de littérature présentent les finalités de l'empowerment comme étant essentiellement la capacité de participation dans la relation de soins et un sentiment de maîtrise quant à l'adoption et au maintien de comportements d'auto-soins, l'analyse des entretiens montre que les situations ou sentiments d'impuissance à partir desquels un processus d'empowerment est susceptible d'émerger dépassent largement ces questions. En effet, les personnes malades expriment souvent être ou avoir été confrontées à des sentiments d'insécurité et de rupture d'identité, qui ont été (ou non) à l'origine d'un processus de transformation personnelle, au cours duquel un effort de dissociation identitaire visant à développer ou maintenir un sentiment de maîtrise était accompagné d'un travail de réconciliation identitaire, marqué par la capacité de "lâcher prise" et une recherche de sens, visant à acquérir un plus grand sentiment de cohérence.

La diffraction constitue une limite fondamentale en microscopie, mais souvent cette limite n'est même pas atteinte. Des imperfections dans la formation d'image, appelées aberrations, peuvent être induites par le microscope ou l'échantillon. Un élément actif, dit correcteur, est intégré au chemin optique pour leur compensation. Les paramètres de ce correcteur doivent être déterminés sans dommage excessif pour l'échantillon. Il faut comparer le gain en signal et/ou en résolution avec cet endommagement, surtout pour des échantillons biologiques fragiles. En première partie de cette thèse je présente une modalité particulière de la microscopie par cohérence optique (nommé deep-OCM). Ce développement a permis la mesure exacte et in vivo de l'indice de réfraction moyen du cerveau du rat. Cette valeur implique que la microscopie bi-photonique est limitée par des aberrations optiques à partir d'une profondeur de 200 µm dans ce type d'échantillon. Le deep-OCM est bien adapté à l'imagerie de fibres nerveuses myélinisées. Des fibres individuelles peuvent être visualisées in vivo dans le cerveau à des profondeurs auparavant inaccessibles, supérieures à 300 µm. Dans la deuxième partie de cette thèse je présente le développement d'un autofocus et auto-stigmateur (nommé MAPFoSt) pour le microscope électronique à balayage qui permet d'assurer la qualité maximale des images lors d'un changement d'échantillon ou pendant des séries d'acquisitions de longue durée. MAPFoSt permet de déterminer avec précision les trois paramètres du focus et du stigmatisme en utilisant seulement deux images de test

L'organisation structurée (graphe avec hiérarchies et propriétés sémantiques) d'objets du plan implique plusieurs opérations complexes qui doivent être effectuées en toute sécurité de cohérence topologique. La précision inhérente d'une machine étant nécessairement limitée, il faut souvent recourir à une arithmétique exacte couteuse. Cette thèse présente, à partir de travaux liés à la réalisation du module de facettisation d'un simulateur de vol industriel, une solution permettant l'utilisation d'une arithmétique mixte, de précision arbitraire et de coût très inférieur statistiquement a la solution exacte. On y trouve aussi l'unification des méthodes de construction d'un diagramme de Voronoi, d'une triangulation de Delaunay pour un nuage de points dans le plan et de la triangulation contrainte de Delaunay de la représentation par segments d'un graphe planaire, autour d'une technique incrémentale optimale, fondamentalement plus simple que la méthode diviser-pour-résoudre classique. La technique incrémentale permet, par ailleurs, de donner un algorithme linéaire et très simple de construction du diagramme de Voronoi et de la triangulation de Delaunay d'un nuage de points situes sur la frontière d'un polygone monotone ou convexe.