Notre travail a pour objectif une analyse syntaxique des adverbes de temps coréens dont l'interprétation correspond à une durée ou à une date (e.g. 3sigan dongan (pendant 3 heures), 5uel 6il (le 6 mai)). Pour la linguistique formelle comme pour le traitement informatique des langues, une description aussi exhaustive et explicite que possible est indispensable. La méthodologie du lexique-grammaire (M. Gross 1975, 1986b) nous a fourni un modèle de description formelle et systématique de la langue naturelle. Nous avons choisi de décrire les combinaisons lexicales concernées par des graphes d'automates finis, qui constituent autant de "grammaires locales" représentant les différents types de séquences adverbiales possibles. Nos graphes peuvent être intégrés directement à un analyseur syntaxique automatique pour localiser les adverbes de durée et de date en coréen dans des textes quelconques. Cette étude est structurée comme suit : Dans le premier chapitre, nous présentons plusieurs points cruciaux de notre cadre théorique, le lexique-grammaire, et des grammaires locales. Dans le deuxième chapitre, nous nous intéressons plus particulièrement aux formes des groupes nominaux construits sur des noms de temps (Ntps), c'est-à-dire les séquences Dét Ntps, ceci dans une large mesure indépendamment de la postposition et de l'utilisation de ces formes comme adverbes de date ou comme adverbes de durée. Nous consacrons le chapitre 3 à l'analyse des formes interprétables comme des durées et le chapitre 4 à celle des formes interprétables comme des dates. Nous analysons comment les groupes nominaux de temps étudiés dans le deuxième chapitre peuvent entrer dans des phrases qui donnent lieu à des interprétations de durée ou de date.

Cette thèse s'inscrit dans le domaine du traitement automatique des langues naturelles et plus spécifiquement dans celui du traitement du vietnamien. Le travail présenté dans la thèse porte sur la construction d'outils et de ressources linguistiques pour les tâches fondamentales de traitement automatique du vietnamien, notamment la construction d'une grammaire à large couverture et un analyseur syntaxique pour cette langue. Nous développons une chaîne modulaire de prétraitements pour le vietnamien dont le rôle est d'appliquer à des corpus bruts une cascade de traitements de surface. Il s'agit d'un segmenteur en phrases, d'un segmenteur en unités lexicales, d'un reconnaisseur de mots redoublés et d'un étiqueteur morpho-syntaxique. Préalables nécessaires à une possible analyse, ces traitements peuvent également servir à préparer d'autres tâches. La modélisation de la grammaire vietnamienne est effectuée en utilisant le formalisme des grammaires d'arbres adjoints lexicalisées (Lexicalized Tree Adjoining Grammars ou LTAG). Nous développons un système qui extrait automatiquement une grammaire LTAG à partir d'un corpus arboré du vietnamien. Les arbres élémentaires de la grammaire forment les structures syntaxiques de la langue vietnamienne. Nous adaptons et enrichissons un analyseur syntaxique du français pour construire un analyseur syntaxique profond pour le vietnamien. Nous présentons les fondements théoriques des différents modules et systèmes, leurs évaluations quantitatives. Nos systèmes atteignent des performances prometteuses dans les tâches du traitement automatique du vietnamien à l'heure actuelle.

Cette thèse présente le développement d'un simulateur de processus cryogéniques de grande taille appliqué aux installations cryogéniques de l'accélérateur de particules LHC (Large Hadron Collider) au CERN (Organisation Européenne pour la Recherche Nucléaire). Ce simulateur est basé sur une approche de modélisation orientée objet où chaque équipement (échangeur, turbine, compresseur, etc.) est représenté à partir d'un ensemble d'équations physiques algébro-différentielles. L'architecture de contrôle du CERN est également simulée en intégrant le contrôle réalisé par des automates programmables (PLC) avec le système de supervision. Ce simulateur à été développé pour servir différents desseins comme l'entraînement des opérateurs, la vérification des programmes automates (virtual commissioning) et l'optimisation des stratégies de contrôle. Le système cryogénique d'un détecteur de particules a d'abord été simulé pour valider les modèles, puis un liquéfacteur d'hélium a été modélisé pour réaliser un virtual commissioning. Les réfrigérateurs à hélium à 4,5 K du LHC ainsi que les unités de réfrigération à 1,8 K avec la ligne de distribution cryogénique du LHC ont également été modélisés et simulés. Le développement d'une nouvelle loi de commande basée sur un contrôle à modèle interne (IMC) en utilisant une commande robuste H infinie est présenté pour améliorer la régulation de la haute pression des réfrigérateurs à hélium du LHC. De plus, un système de pressions flottantes a été développé à partir du simulateur de manière à adapter automatiquement la puissance de réfrigération à la charge. Cette technique a pour principal objectif de réduire la puissance électrique des compresseurs.

Nous nous plaçons dans le cadre de l'anneau des polynômes sur un corps fini. Si P est un polynôme de degré au moins 1, tout polynôme Q se décompose de manière unique sous la forme d'une combinaison linéaire de puissances de P, dont les coefficients sont des polynômes dont le degré est strictement inférieur à celui de P. À une telle décomposition, nous associons un mot que nous appelons la P-représentation du polynôme Q. Un ensemble de polynômes est alors qualifié de P-reconnaissable si il existe un automate fini déterministe qui accepte l'ensemble des P-représentations de ses éléments.<BR><BR> Dans cette thèse, nous montrons que les ensembles P-reconnaissables sont exactement ceux qui sont définissables par une formule du premier ordre dans une certaine structure S(P) basée sur un prédicat dépendant du polynôme P. Nous donnons aussi une caractérisation des ensembles P-reconnaissables en terme de suites P-automatiques. Nous apportons également une réponse partielle à la question de savoir quels sont les ensembles reconnaissables simultanément dans toutes les bases de degré au moins 1. Finalement, nous montrons que si P et Q sont deux polynômes de degré au moins 1 et multiplicativement indépendants, alors la multiplication est définissable dans la réunion des structures S(P) et S(Q).

Ce travail est dédié à l'étude de la rupture du manteau neigeux, conduisant<br />aux avalanches de plaques de neige.<br />La détermination expérimentale de la ténacité de la neige, qui caractérise sa résistance à la propagation d'une fissure, nous a donné des résultats originaux que nous interprétons en tenant compte de la structure particulière de ce matériau.<br />Une étude statistique basée sur les données de La Plagne et de Tignes nous a permis de montrer pour la première fois que les distributions des tailles d'avalanches sont invariantes d'échelle. Aucun modèle ne reproduisant correctement ces statistiques de terrain, nous avons créé un automate cellulaire à deux seuils, piloté en contrainte,<br />qui reproduit le comportement statistique des avalanches mais aussi celui d'autres aléas gravitaires naturels à l'aide du réglage d'un unique paramètre reflétant l'anisotropie de cohésion du matériau. Cette approche peut être considérée comme une alternative<br />à la Criticalité Auto Organisée pour les ruptures gravitaires.

Indisponible

Les mouvements morphogénétiques se caractérisent, au niveau tissulaire, par une succession de dynamiques cellulaires, précisément agencées temporellement et spatialement. Ce travail de thèse vise à étudier, par la modélisation mathématique, comment les mouvements morphogénétiques globaux s'expliquent par l'intégration des dynamiques cellulaires locales (prolifération, migration, différenciation,...). Le tissu est modélisé par un système multi-agents où chaque cellule est individualisée. Cette structure est couplée avec un système d'équations aux dérivées partielles qui décrit un contrôle chimique global. <br /> <br />Cette méthode a été appliquée principalement à la croissance radiale secondaire des conifères qui est générée par divisions et croissances successives des cellules d'un tissu spécialisé nommé cambium. Le cambium est modélisé par un système dynamique discret. Un modèle continu aux dérivées partielles rend compte du transport d'une hormone dont la concentration contrôle les taux de croissance des cellules cambiales. <br /> <br />La croissance radiale est un mouvement morphogénétique essentiellement régi par la prolifération cellulaire. Nous avons également considéré l'invagination épithéliale où dominent la migration et la déformation cellulaire. Nous avons enfin étudié l'importance des relations de voisinage dans les processus de différenciation.

Nous étudions les semi-groupes de matrices avec des points de vue variés qui se re-coupent. Le point de vue de la croissance s'avère relié à un point de vue géométrique : nous avons partiellement généralisé aux semi-groupes un théorème de Patterson-Sullivan-Paulin sur les groupes, qui donne l'égalité entre exposant critique et dimension de Hausdorff de l'ensemble limite. Nous obtenons cela dans le cadre général des semi-groupes d'isométries d'un espace Gromov-hyperbolique, et notre preuve nous a permis d'obtenir également d'autres résultats nouveaux. Le point de vue informatique s'avère également relié à la croissance, puisque la notion de semi-groupe fortement automatique, que nous avons introduit, permet de calculer les exposants critiques exactes de semi-groupes de développement en base β. Et ce point de vue donne également beaucoup d'autres informations sur ces semi-groupes. Cette notion de croissance s'avère aussi reliée à des conjectures sur les fractions continues telles que celle de Zaremba. Et c'est en étudiant certains semi-groupes de matrices que nous avons pu démontrer des résultats sur les fractions continues périodiques bornées qui permettent de petites avancées dans la résolution d'une conjecture de McMullen.

Les services Web ont émergé comme un support de développement et d'intégration d'applications ou de systèmes d'information. Dans ce cadre, les interactions entre deux applications consommateur et fournisseur, encapsulées par des services Web se font par échanges de messages. Ces échanges s'appuient sur la notion d'interfaces, qui décrivent les interactions dans lesquelles un service peut s'engager et les dépendances entre ces interactions. Dans le Web actuel, il arrive très fréquemment que de nombreux services répondent à un même ensemble de besoins fonctionnels. Ces services sont souvent offerts par le biais d'interfaces différentes. Des nombreuses raisons, telles que la panne du service fournisseur, peuvent amener un consommateur à substituer son fournisseur habituel par un autre fournisseur qui offre la même fonctionnalité. Cette substitution provoque des incompatibilités entre l' interface du service consommateur et celle du service fournisseur substitut. Cela est dû au fait que le service consommateur n'a pas été fait en fonction de ce nouveau service fournisseur. Les recherches que nous menons dans cette thèse visent à résoudre le problème des incompatibilités dans des interactions entre deux services consommateur et fournisseur substitut. En particulier, notre contribution s'étend, tant sur le plan théorique que sur le plan pratique. Il s'agit d'une part d'un canevas pour la génération automatique des adaptateurs des interactions entre deux services. D'autre part, nous proposons une architecture logicielle multicouche fournissant un cadre permettant une substitution transparente et flexible d'un service fournisseur par un autre service vis-à-vis du consommateur du premier. Dans notre canevas pour la génération automatique des adaptateurs, une modélisation des interfaces de services en des automates a été adoptée. Puis, une étape de détection des incompatibilités entre ceux-ci est réalisée. Ensuite, un adaptateur des interactions entre les deux services est généré automatiquement sur la base d'incompatibilités détectées. La génération de l'adaptateur est guidée par le modèle d' automates. Cela permet de modéliser l' adaptateur indépendamment de son implémentation cible, permettant ainsi une bonne réutilisation des modèles. Une fois généré, l'automate de l'adaptateur suffisamment détaillé est projeté sur la technologie CEP (Complexe Event Processing). Cette projection est réalisée à l'aide des composants cartouches (en anglais : Templates) que nous avons mis en œuvre. Chaque cartouche étant conçue pour générer du code exécutable (en termes de requêtes continues) pour la technologie CEP. Notre architecture proposée pour la substitution de services Web s'intègre d'une part la notion de communauté de services, et d'autre part un progiciel nommé OSC (Open Service Connectivity). Une communauté de service est perçue comme un moyen d'exposer des descriptions communes d'un caractère fonctionnel désiré sans explicitement se référer à un service spécifique. L'OSC est un composant logiciel dont l'objectif est d'appliquer le principe de pilotes ODBC et JDBC dans un environnement à base de services Web. Plus précisément, il est responsable de gérer les interactions entre les consommateurs des communautés d'une part et les communautés d'autre part, en fournissant des fonctions permettant la sélection et la substitution de services.

Cette thèse apporte plusieurs contributions dans le domaine des langages formels. Notre premier travail a été de montrer la pertinence des grammaires de graphes comme outil de démonstration de résultats fondamentaux sur les langages algébriques. Nous avons ainsi reformulé avec un point de vue géométrique les démonstrations du lemme des paires itérantes et du lemme de Parikh. Nous avons ensuite étendu aux graphes réguliers des algorithmes de base sur les graphes finis, notamment pour calculer des problèmes de plus court chemin. Ces extensions ont été faites par calcul de plus petits points fixes sur les grammaires de graphes. Enfin, nous avons caractérisé des familles générales de systèmes de récriture de mots dont la dérivation préserve la régularité ou l'algébricité. Ces familles ont été obtenues par décomposition de la dérivation en une substitution régulière suivie de la dérivation du système de Dyck