Dans cette thèse, nous tentons, dans le cadre des réseaux locaux à diffusion, d'allier la performance des techniques de diffusion à la fiabilité des techniques de transport bi-points. A la suite d'une brève synthèse sur les réseaux locaux, nous présentons un protocole de conversation permettant d'utiliser la proprieté de diffusion dans les protocoles d'applications réparties. La définition des services offerts à l'utilisateur par ce protocole est suivie de l'étude et de la comparaison de deux approches de détection et de récupération des erreurs. Les autres mécanismes mis en oeuvre pour assurer ces services sont décrits. Une comparaison du protocole de conversation avec le protocole de connexion bi-points est effectuée et les algorithmes proposés sont simulés. Des éléments d'implémentation d'une station de transport à diffusion fiable sont présentés.

Ce mémoire composé de quatre chapitres, réunit des résultats sur l'existence, l'unicité et la régularité des solutions des Equations Primitives (EPs) des océans et de l'atmosphère, en dimension deux et trois d'espace (Chapitres 1--3), ainsi qu'une étude sur le comportement asymptotique des EPs quand le nombre de Rossby tend vers zero (Chapitre 4) ; les conditions aux limites sont de type périodique dans tous les cas.<br /><br />Dans le premier chapitre, on considère les EPs de l'océan en dimension deux d'espace (écoulement tridimensionnel indépendant de la variable y). On montre d'abord l'existence globale en temps d'une solution faible ainsi que l'existence et l'unicité d'une solution forte. Puis, on prouve l'existence d'une solution plus régulière (jusqu' à la régularité C-infini).<br /><br />Dans le deuxième chapitre on montre, pour un modèle semblable à celui du premier chapitre que, pour une force analytique en temps à valeurs dans un espace du type de Gevrey, et une donnée initiale dans un espace de Sobolev convenable, les solutions des EPs appartiennent, sur un certain intervalle de temps, à un espace de Gevrey.<br /><br />Le troisième chapitre est dans la continuité naturelle des deux premiers chapitres. On considère ici les EPs en dimension trois d'espace et on étudie la régularité du type de Sobolev et du type de Gevrey pour les solutions.<br /><br />Le dernier chapitre de la thèse est dédié à l'étude du comportement asymptotique des EPs (sous la forme introduite au premier chapitre), quand le nombre de Rossby tend vers zero. On arrive ici a "moyenner" la solution exacte très oscillante quand le nombre de Rossby est petit, en utilisant une méthode de renormalisation.

La partie 1 releve de l'Analyse Numerique. Partant de l'interpretation Element Finis Mixtes des schemas volumes finis classiques, l'estimation a posteriori de l'erreur est analysee dans la hierarchie des elements de Raviart-Thomas. Un estimateur calculable est explicite pour ces schemas volumes finis.<br />La partie 2 introduit, d'abord un maillage rectangulaire, puis un maillage structure, une famille de schemas volumes finis de type differences finies. Des essais numeriques sur des problemes modeles montrent que l'ordre prevu par l'analyse peut etre atteint.<br />La partie 3 presente l'application de ces schemas volumes finis a la simulation numerique du comportement d'un bloc de gomme en presence d'une fissure finie. Il s'agit d'un materiau hyperelastique compressible en grandes deformations et differents tenseurs de contraintes, avec tests en quasi-incompressible et des simulations d'endommagement.

Cette thèse porte sur la modélisation de la diffraction d'ondes en régime harmonique dans des milieux bidimensionnels comportant des fentes minces. Tout d'abord, nous introduisons et analysons un modèle approché dont la propriété principale est d'utiliser une approximation unidimensionnelle dans la fente. L'originalité de ce modèle se situe au niveau des conditions de couplage par raccord ``brutal'' à travers les extrémités de la fente. La précision de cette première technique étant limitée, nous utilisons la technique des développements asymptotiques raccordés pour obtenir et justifier le développement asymptotique de la solution à tout ordre en fonction de l'épaisseur de la fente. Les résultats sont radicalement différents suivant que la longueur de la fente est un multiple de la demi-longueur d'onde ou non, auquel cas un phénomène de résonance est observé. De nouvelles procédures de raccord 1D-2D peuvent être déduites de cette étude.

Le projet EPAC est le point de départ de nos travaux de recherche. Nous présentons ce contexte de travail dans notre premier chapitre.Dans un deuxième temps, nous nous intéressons à la tâche de transcription de la parole. Nous en exposerons quelques jalons, ainsi qu'un inventaire des corpus oraux disponibles aujourd'hui. Enfin, nous comparons deux méthodes de transcription : manuelle et assistée. Par la suite, nous réalisons une étude comparative de huit logiciels d'aide à la transcription. Cela afin de démontrer que, suivant les situations, certains sont plus indiqués que d'autres. Le codage des données est l'objet de notre quatrième chapitre. Peut-on facilement échanger des transcriptions? Nous démontrerons que l'interopérabilité est un domaine où beaucoup de travail reste à faire. Enfin, nous terminons par une analyse détaillée de ce que nous appelons la parole spontanée. Par différents angles, définitions et expériences, nous tentons de circonscrire ce que cette appellation recouvre.

Dans ce travail, nous nous sommes intéressés au développement et à l'analyse numérique de méthodes numériques capables de résoudre efficacement les problèmes de Helmholtz à 2D, notamment en régime moyenne et haute fréquence. La méthode que nous proposons s'inscrit dans la lignée des méthodes de type Galerkin discontinues (DG). Dans chaque élément du maillage, la solution est approchée en utilisant une superposition d'ondes planes. La continuité de la solution aux interfaces est renforcée en utilisant des multiplicateurs de Lagrange. La méthodologie proposée est une procédure en deux étapes: nous résolvons d'abord des problèmes locaux bien posés et ensuite un système global issu de la condition de continuité imposée sur les interfaces. Les plus importantes propriétés de la méthode sont: (a) les problèmes locaux obtenus sont associés à des matrices Hermitiennes et définies positives et (b) le système global, à résoudre dans la deuxième étape, est associé à une matrice Hermitienne et semi-définie positive. Les résultats numériques obtenus montrent la supériorité de la méthode proposée par rapport aux méthodes de type élément fini standard, mais aussi par rapport à d'autres méthodes de type DG, comme par exemple celle développée par Farhat et al (2003).

Dans cette thèse, nous étudions les codes de Reed-Muller qui constituent une des familles de codes correcteurs les plus étudiées, et les plus utilisées dans la transmission des communications numériques. Grâce à leur rapidité d'encodage et de décodage, ils furent notamment utilisés pour les transmissions satellitaires. Ils ont également un lien très fort avec les notions de fonctions booléennes. L'étude de ces dernières constitue le coeur de la réalisation et de la sécurité des systèmes de chiffrement à clé secrète, tant par blocs que par flot. Depuis l'introduction de ces codes, de très nombreux algorithmes de décodage virent le jour, et aujourd'hui encore étudier leur structure afin de construire des algorithmes de décodage constitue un fructueux domaine de recherche. Ces algorithmes de décodage peuvent être utilisés dans l'étude de la structure de systèmes de chiffrement à clé secrète. Nous exposons un point de vue unificateur à l'ensemble des algorithmes de décodage des codes de Reed-Muller, ce point de vue étant celui de la dérivée discrète. Nous exposons un algorithme performant pour le décodage des codes d'ordre deux, que nous analysons ensuite. Nous discutons les résultats de simulations des algorithmes étudiés pour les petites et moyennes longueurs de code. Ces résultats montrent que l'algorithme proposé décode beaucoup plus loin en pratique que les autres algorithmes.

Dans ce document sont présentées mes thématiques de recherche concernant l'étude des codes correcteurs d'erreurs à des fins cryptographiques. L'essentiel de sa composition est dédié au sujet principal de mes recherches commené un an avant la fin de la thèse à savoir l'étude <br />des cryptosystémes fondés sur des familles de codes décodables en métrique rang.

Nous nous intéressons ici à une interface cerveau-machine (BCI, Brain Computer Interface) permettant de commander une prothèse par la pensée. Le rôle du BCI est de décoder à partir de signaux électroencéphalographiques (EEG) le mouvement désiré par le sujet. Le coeur du BCI est un algorithme de classification caractérisé par le choix des descripteurs des signaux et des règles de décision. L'objet de cette thèse est de développer un système BCI précis, capable d'améliorer ses performances en cours d'utilisation et de s'adapter à l'utilisateur sans nécessiter de multiples sessions d'apprentissage. Nous combinons deux moyens pour y parvenir. Le premier consiste à augmenter la précision du système de décision en recherchant des descripteurs pertinents vis à vis de l'objectif de classification. Le second est d'inclure un retour de l'utilisateur sur le système de décision : l'idée est d'estimer l'erreur du BCI à partir de potentiels cérébraux évoqués, reflétant l'état émotionnel du patient corrélé au succès ou à l'échec de la décision prise par le BCI, et de corriger le système de décision du BCI en conséquence. Les principales contributions de la thèse sont les suivantes : nous avons proposé une méthode d'optimisation de descripteurs à bases d'ondelettes pour des signaux EEG multivoies ; nous avons quantifié théoriquement l'amélioration des performances apportée par le détecteur ; un simulateur du système corrigé et bouclé a été développé pour observer le comportement du système global et comparer différentes stratégies de mise à jour de l'ensemble d'apprentissage ; le système complet a été implémenté et fonctionne en ligne dans des conditions réelles.

Dans cette thèse, nous étudions deux problèmes de théorie des graphes largement étudiés ces trois dernières décennies: les codes correcteurs d'erreur et la domination.<br />Nous étudions d'abord deux généralisations des codes correcteurs d'erreurs : les codes parfaits sur des alphabets mixtes et les codes pondérés de rayon un. Ces problèmes ont beaucoup été étudiés sur la métrique de Hamming.<br />Nous les étudions dans la métrique de Lee, et nous montrons des résultats aussi bien d'existence que d'inexistence.<br />Nous montrons aussi que le rapport de dualité entre la domination et les codes est fort pour la grille carrée lorsque l'on considère des boules sans le centre.<br />Puis, nous étudions la domination dans les produits de graphes. Depuis que Vizing a conjecturé en 1968 que la domination est surmultiplicative pour le produit cartésien de graphes, les relations entre des variantes du nombre de domination d'un produit de graphes et ses facteurs ont attiré beaucoup d'attention. Après avoir donné quelques bornes sur le nombre de domination totale du produit direct de graphes, nous déterminons le nombre de domination de puissance des produits de chemins.<br />Puis, nous montrons une conjecture ``à la Vizing'' pour le nombre de domination totale supérieure du produit cartésien.<br />Ensuite, nous étudions la domination avec une approche structurelle. En continuation de l'étude de Favaron et Henning, nous fournissons plusieurs bornes supérieures sur le nombre de paire-domination des graphes sans étoiles, pour chaque nombre de branches, et des graphes sans P_5. Nous proposons aussi des familles infinies de graphes pour lesquels ces bornes sont atteintes.<br />Enfin, nous comparons la domination totale supérieure et la paire-domination supérieure, deux variantes de la domination qui ont attiré l'attention récemment, et nous donnons des bornes précises pour les arbres.