Le problème du Consensus est reconnu comme un paradigme important pour concevoir des systèmes répartis tolérants aux défaillances. Dans un système asynchrone pure, le consensus est impossible à résoudre de manière déterministe. En enrichissant le système avec des hypothèses de synchronie, plusieurs solutions (dont le protocole Paxos) ont été proposées pour contourner ce résultat d'impossibilité. Ce travail contribue à la conception de protocoles de consensus efficaces dans un système réparti asynchrone. La proposition d'un protocole efficace appelé Paxos-MIC, qui suit l'approche Paxos et intègre deux optimisations connues, est la contribution algorithmique de cette thèse. Paxos-MIC gère une séquence d'instances de consensus et garantie la persistance de toutes les décisions. L'adaptabilité est la principale qualité de ce protocole. Etant donné que l'une des optimisations peut être néfaste, Paxos-MIC intègre un mécanisme de déclenchement qui peut activer dynamiquement l'optimisation. Différents critères de déclenchement sont proposés pour prédire si l'utilisation de l'optimisation va être bénéfique. De nombreuses expérimentations ont été conduites sur la grille GRID'5000 afin d'évaluer le protocole et ces critères. Une seconde partie du travail se focalise sur l'utilisation du consensus comme une brique de base. Dans le contexte particulier des agents mobiles transactionnels, nous proposons une solution pour supporter l'exécution de transactions dans un réseaux ad-hoc. La solution repose sur une séquence de décisions construite de façon durable en invoquant des consensus. Ce service est fourni par le protocole Paxos-MIC.

Cette thèse aborde le thème du traitement des erreurs aux niveaux lexical et syntaxique dans un texte écrit en français. Nous présentons d'abord une approche générale des erreurs pouvant apparaitre dans un texte. Nous donnons les éléments de base d'un ensemble de méthodes utilisées actuellement dans le traitement d'erreurs aux niveaux lexical et syntaxique et décrivons des méthodes de correction proposées dans les principales études réalisées dans le domaine de la correction. Après une brève description de l'environnement pilaf de traitement de la langue naturelle, ou s'insère l'étude en question, nous proposons et décrivons la mise en œuvre d'un algorithme de correction d'erreurs lexicales par la phonétique applicable a un dictionnaire de grandeur réelle. Cet algorithme realise la transduction phonétique du mot a corriger, suivie de sa reconstitution graphique. Nous présentons ensuite la mise en œuvre d'un pré-prototype de vérification syntaxique et de correction des erreurs d'accord. La vérification syntaxique est réalisée par unifications de traits; la détection d'une faute d'accord est a l'origine d'une correction par génération morphologique. Une maquette de détection/correction d'erreurs au niveau lexico-syntaxique permet de démontrer la faisabilité d'un système multi-algorithmique de détection/correction d'erreurs au niveau lexico-syntaxique

Afin d'étudier la faisabilité de la technologie ADS (" Accelerator Driven System ") pour la transmutation des déchets hautement radiotoxiques le projet MYRRHA (" Multi-purpose hYbrid Research Reactor for High-tech Applications ") a pour objectif la construction d'un démonstrateur de réacteur hybride (50 à 100 MWth). Pour cela le réacteur sous-critique nécessite un accélérateur de forte puissance délivrant un faisceau continu de protons (600 MeV, 4mA), avec une exigence de fiabilité très élevée. La solution de référence retenue pour cette machine est un accélérateur linéaire supraconducteur. Ce mémoire de thèse décrit le travail de recherche - entrepris depuis octobre 2008 à l'IPN d'Orsay - portant sur la conception et la mise au point d'un module supraconducteur et des systèmes de régulation associés à sa cavité accélératrice, pour la partie haute énergie de l'accélérateur. Dans un premier temps, le design et l'optimisation de cavités accélératrices 5-cellules (β=0,65), fonctionnant à la fréquence de 704,4 MHz, sont présentés. Ensuite, la partie expérimentale se concentre sur l'étude de fiabilité du " cryomodule " prototype accueillant une cavité elliptique 5-cellules (β=0,47). Au cours de cette étude on s'est notamment attaché à mesurer et à caractériser le comportement dynamique du système d'accord. Les problématiques de maintient du " plat de champ " dans les cavités multi-cellules " bas béta " ont aussi été mises en évidence. Enfin, une analyse sur la tolérance aux pannes de l'accélérateur linéaire a été menée. Dans ce but, une modélisation de la cavité, de sa boucle de régulation RF (radiofréquence) et de la boucle de contrôle de son système d'accord, a été développée afin d'étudier les comportements transitoires de cet ensemble. Cette étude a permis de chiffrer les besoins en puissance RF et les performances requises du système d'accord et de démontrer la faisabilité d'un réglage rapides des cavités supraconductrices afin de minimiser le nombre d'arrêts faisceau dans le linac de MYRRHA.