Nous nous intéressons aux méthodes permettant d'approcher les solutions de systèmes d'équations aux dérivées partielles conservatives. Dans les cas où l'écoulement est très<br />complexe - lorsqu'il y a plusieurs modèles physiques à calculer sur des zones difficiles à délimiter, on utilise des méthodes de couplage par recouvrement de domaine. <br />Nous présentons ici un algorithme, nouveau et performant, calculé grâce à une superposition de deux maillages correspondant à deux schémas différents. On utilise des projections conservatives de la solution d'un maillage vers l'autre.<br />Cette méthode de décomposition de domaine ne fait<br />pas intervenir de conditions aux limites artificielles. Elle est basée sur une régularisation de la fonction de Heaviside sur la zone de couplage. Elle est parfaitement conservative et donc bien indiquée pour l'étude des lois de conservation. <br />L'analyse mathématique est réalisée pour les problèmes hyperboliques, dans le cas scalaire multidimensionnel. Elle est basée sur le convergence des schémas volumes finis. Tout d'abord, on obtient la convergence de la solution mesure grâce aux travaux de Diperna, puis on estime l'erreur de convergence en $h^(^1/_4)$. Une nouvelle estimation de type $H^1$ faible permet d'estimer les erreurs induites par le couplage.<br />De nombreuses applications numériques en mécanique des fluides avec les tubes à chocs et de détente montrent que la méthode est très stable et conservative. Nous utilisons aussi la méthode sans grille appelée Smooth Particule Hydrodynamics - plus précisément sa nouvelle variante renormalisée - pour calculer la création d'un jet en couplant la méthode volumes finis à la méthode SPH. On montre ainsi la robustesse de l'algorithme de couplage et sa souplesse pour le calcul des écoulement complexes. <br />Cette étude à fait l'objet d'une collaboration avec l'équipe du Pr. D. Kröner de l'Institut des Mathématiques Appliquées à l'Université de Frieburg (Allemagne).

Nous proposons une méthode pour aider les administrateurs des applications XML dans la tâche de faire évoluer des schémas en préservant la cohérence de la base de données sans la modifier.<br />L'utilisateur donne au système ce qu'il souhaite comme nouveau document devant être accepté par le schéma.<br />À partir de ce document, le système construit des schémas candidats, qui d'une part préservent la validité de la base de documents et, d'autre part augmentent la classe de documents acceptée par le schéma.<br />L'approche est implantée par un algorithme appelé GREC. <br />Cet algorithme utilise l'automate d'arbre A qui accepte le langage défini par le schéma pour trouver les informations nécessaires à la modification. <br />Plus précisément, il utilise les expressions régulières des règles de transitions de A pour proposer les candidats.<br />Ainsi, les modifications sont faites sur les graphes qui représentent les automates d'états finis construits à partir des expressions régulières concernées.<br />Les expressions régulières engendrées par GREC représentent des schémas présentés à l'utilisateur afin qu'il choisisse le plus adapté à la sémantique de son application.

Le quotient d'un espace vectoriel de dimension finie par l'action d'un sous-groupe fini d'automorphismes est une variété en général singulière. Sous bonnes hypothèses, la correspondance de McKay relie la géométrie de bonnes résolutions des singularités aux représentations du groupe. Pour le schéma de Hilbert de points sur le plan affine, nous étudions comment les différentes correspondances (McKay, McKay duale et McKay multiplicative) sont reliées les unes aux autres. A cette fin, nous calculons des formules combinatoires pour les fibrés vectoriels usuels sur le schéma de Hilbert de points sur le plan affine. Parallèlement à ces questions, nous étudions le comportement multiplicatif du théorème de Bridgeland, King \& Reid construisant la correspondance de McKay pour le schéma de Hilbert de points sur le plan affine. Dans une dernière partie, nous calculons les classes de Chern du fibré tangent au schéma de Hilbert de points sur le plan affine.

Les besoins croissants en ressources lexicales et le succès des projets de développement coopératif comme LINUX convergent vers l'idée d'accumuler des données lexicales multilingues de grande taille et de grande richesse par construction coopérative sur la Toile et utilisation "mutualisée". Les contributeurs fourniraient eux-mêmes ces informations sous une forme standardisée grâce à un environnement adapté. L'étude du contexte actuel de la dictionnairique nous a conduit à l'identification de problèmes difficiles tels que la structuration et la manipulation de données hétérogènes, la visualisation d'une grande quantité de données lexicales multilingues et la construction en coopération par des personnes aux compétences diverses. Des prototypages et des expérimentations portant sur la consultation de ressources hétérogènes, l'enrichissement et personnalisation du résultat, la construction de ressources en ligne et la rédaction d'articles avec un éditeur standard nous ont permis de résoudre séparément ces problèmes. Cela nous a permis de concevoir un environnement complet de "bases lexicales" répondant à tous ces problèmes se plaçant au dessus des SGBD utilisés pour le stockage et intégrant un serveur pour la construction coopérative. Son noyau inclut un formalisme générique de définition de structures lexicales inspiré de SUBLIM de G. Sérasset, mais complété et réexprimé en XML. Cet environnement est actuellement appliqué au projet Papillon de développement par des bénévoles sur Internet d'une base lexicale comprenant cinq langues. L'architecture de la base est constituée d'un dictionnaire monolingue pour chaque langue et d'un dictionnaire pivot d'acceptions interlingues reliant les articles monolingues (lexies) dont la structure provient de la lexicologie combinatoire. Enfin, l'architecture du serveur assez générique devrait être réutilisée dans d'autres contextes (mémoires de traduction, outils pour traducteurs, communication et RI multilingue, annotations multimédia).

Améliorer la connaissance des circulations dans les océans est d'une importance majeure pour la prévision à court et moyen terme de l'évolution du système climatique, ainsi que pour le développement de l'océanographie cotière et de l'océanographie opérationnelle. Les sources d'information disponibles pour accéder à cette connaissance sont, comme en météorologie, les modèles physiques et numériques et les observations. Dans ce contexte, ce mémoire résume l'essentiel de mes travaux de recherche de ces dernieres années, consacrés à la modélisation numérique et l'assimilation de données pour l'océanographie. J'y présente tout d'abord quelques aspects concernant les schémas utilisés dans les modèles numériques. On s'intéresse ensuite au raffinement, éventuellement adaptatif de maillage dans ces modèles, et à son extension naturelle vers le couplage de modèles. Enfin, la dernière partie est consacrée aux méthodes d'assimilation de données, qui visent à fournir un compromis optimal entre observations et prévisions du modèle, et plus particulièrement au développement de méthodes de rang réduit.

Nous étudions des équations aux dérivées partielles non linéaires du type McKean-Vlasov. Nous leur associons des systèmes de particules en interaction de type champ moyen pour lesquels nous établissons des inégalités de Sobolev logarithmiques à temps fini. Grâce à un résultat supplémentaire de propagation du chaos, nous déduisons, dans certains cas, le comportement en temps long de l'équation non linéaire en fonction de celui du système de particules. Enfin, nous établissons des intervalles de confiance exacts pour la convergence de méthodes de Monte-Carlo pour les schémas d'Euler explicites et implicites associés à des processus de diffusion. Ces résultats s'appliquent notamment pour les systèmes de particules cités plus haut.

La spécification de systèmes complexes est une tâche difficile qui ne peut être accomplie en une seule étape. Dans les méthodes formelles, le concept de raffinement a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle important. L'activité de refactoring consiste à restructurer un modèle en vue d'améliorer certains facteurs de qualité, tout en préservant la cohérence de ce modèle. Cette thèse préconise l'utilisation de deux techniques de raffinement et de refactoring afin d'établir des modèles UML de qualité c'est-à-dire corrects par construction, extensibles, réutilisables et efficaces. En outre, elle plaide en faveur de l'utilisation conjointe UML (semi-formel) et B, Event-B et CSP (formels). Les principales contributions de cette thèse sont : proposition des patterns de raffinement de diagrammes de classes UML/OCL afin de guider le concepteur lors de la modélisation statique de son application et proposition des schémas de refactoring des modèles UML décrits par des diagrammes de classes, des contraintes OCL et des diagrammes d'états-transitions afin d'aider le concepteur lors de la restructuration des modèles UML.

Mes travaux de thèse portent sur le développement de schémas numériques d'ordre élevé en temps et en espace pour la simulation de la propagation des ondes. Nous avons proposé de discrétiser dans un premier temps l'équation des ondes par rapport au temps, en utilisant une technique de type équation modifiée. Puis nous avons utilisé une méthode d'éléments finis de type Galerkine discontinue pour la discrétisation en espace. En modifiant l'ordre de la discrétisation, nous avons construit des schémas tout aussi précis que ceux déjà existants pour un coût de mise en oeuvre très intéressant. Après avoir validé numériquement la nouvelle méthode, nous nous sommes intéressés à sa stabilité ainsi qu'à son adaptivité en temps et en espace. Pour arriver à cela, nous avons dû faire une étude précise de la stabilité de la méthode de Galerkine discontinue et nous avons proposé des améliorations à cette technique entraînant des gains de temps significatifs.

Les modèles de turbulence de type Navier-Stokes en moyenne de Reynolds (RANS) au premier ordre sont étudiés dans cette thèse. Ils sont constitués des équations de Navier-Stokes, auxquelles on adjoint un système d'équations de bilan pour des échelles scalaires caractéristiques de la turbulence. L'évaluation de celles-ci permet, grâce à une relation algébrique, de calculer une viscosité additionnelle dite "turbulente", modélisant la contribution de l'agitation turbulente dans les équations de Navier-Stokes. Les problèmes d'analyse numérique abordés se placent dans le contexte d'un algorithme à pas fractionnaire constitué d'une approximation, sur un maillage régulier, des équations de Navier-Stokes par éléments finis non-conformes de Crouzeix-Raviart, ainsi que d'un ensemble d'équations de bilan de la turbulence de type convection-diffusion, discrétisées par la méthode de volumes finis standard. Un schéma numérique basé sur une discrétisation de volumes finis, permettant de préserver la positivité des échelles turbulentes telles que l'énergie cinétique turbulente (k) et son taux de dissipation (ε), est ainsi proposé dans le cas des modèles k − ε standard, k − ε RNG et leur extension k − ε − v2 − f. La convergence du schéma numérique proposé est ensuite étudiée sur un problème modèle constitué des équations de Stokes incompressibles et d'une équation de convection-diffusion stationnaires, couplées par les viscosités et le terme de production turbulente. Il permet d'aborder la difficulté principale de l'analyse d'un tel problème : l'expression du terme de production turbulente amène à considérer, pour les équations de bilan de la turbulence, un problème de convection-diffusion avec second membre appartenant à L1. Enfin, afin d'aborder le problème instationnaire, on montre la convergence du schéma de volumes finis pour une équation de convection-diffusion modèle avec second membre appartenant à L1. Les estimations a priori de la solution et de sa dérivée en temps sont obtenues dans des normes discrètes dont les espaces correspondants ne sont pas duaux. Un résultat de compacité plus général que le théorème de Kolmogorov usuel, qui se pose comme un équivalent discret du Lemme d'Aubin-Simon, est alors proposé et permet de conclure à la convergence dans L1 d'une suite de solutions discrètes.

Cette thèse étudie les structures dont la théorie au second ordremonadique est décidable, et en particulier la hiérarchie à pile. Onpeut définir celle-ci comme la hiérarchie pour $n$ des graphesd'automates à piles imbriquées $n$ fois ; une définition externe, partransformations de graphes, est également disponible. Nous nousintéressons à l'exemple des ordinaux. Nous montrons que les ordinauxplus petits que $epsilon_0$ sont dans la hiérarchie, ainsi que des graphesporteurs de plus d'information, que l'on appelle "graphecouvrants''. Nous montrons ensuite l'inverse : tous les ordinaux de lahiérarchie sont plus petits que $epsilon_0$. Ce résultat utilise le fait queles ordres d'un niveau sont en fait isomorphes aux structures desfeuilles des arbres déterministes dans l'ordre lexicographique, aumême niveau. Plus généralement, nous obtenons une caractérisation desordres linéaires dispersés dans la hiérarchie. Dans un troisièmetemps, nous resserons l'intérêt aux ordres de type $omega$ --- les mots infinis --- pour montrer que les mots du niveau 2 sont les motsmorphiques, ce qui nous amène à une nouvelle extension au niveau 3