Tesis sobre el tema "Dynamique de substitution"

Il y a de nombreuses manières d’aborder l’étude des systèmes dynamiques. De manière générale, on munit un espace initial de structures adaptées et on s’intéresse au comportement moyen des itérés d’une application qui préserve les structures initiales. Les propriétés intéressantes peuvent être par exemple, d’origine topologique, mesurable, algébrique ou encore différentiable. La théorie ergodique est principalement concentrée sur les systèmes dynamiques mesurés. D’autre part, une autre branche de la théorie ergodique s’intéresse à des questions dites de représentation des systèmes dynamiques mesurés.Un des aspects de cette théorie est de lier les systèmes dynamiques mesurés aux systèmes dynamiques topologiques. On s’intéressera plus particulièrement au lien entre les systèmes dynamiques topologiques,mesurés et algébriques. Les nilsystèmes ont pris ces dernières années une nouvelle dimension en théorie ergodique. Ils généralisent très naturellement les translations sur des groupes abéliens compacts, et en particulier, les rotations du cercle. On fera un lien partiel entre les propriétés algébriques et symboliques d’une famille bien choisie de nilsystèmes. On s’intéressera notamment à la notion d’induction pour de tels systèmes
There are many ways to approach the study of dynamical systems. In general, one equips the originalspace with an appropriate structure, and is interested in the average behavior of a map which preservesthis structure. For example, the interesting properties could be of topological, measurable, algebraicor differentiable origin. Ergodic theory is mainly concerned with dynamical systems with an invariantmeasure (measured dynamical system). Another branch of ergodic theory studies questions about therepresentation of measured dynamical systems. One aspect of this theory is to connect measured dynamicalsystems with topological dynamical systems. More specifically, we will be interested in theconnection between topological, measured and algebraic dynamical systems.Recently nilsystems have become important in ergodic theory. They naturally generalize translations ofcompact abelian groups, and in particular circle rotations. We will give a partial connection betweenalgebraic and symbolic properties of a well chosen family of nilsystems. We are particularly interestedin induction of such systems

Les matériaux composites stratifiés sont de plus en plus utilisés dans l'aéronautique, mais ils peuvent être sujets à large délaminage si soumis à impact. La nécessité d'effectuer des simulations numériques pour prédire l'endommagement devient essentielle pour l'ingénieur. Dans ce contexte, l'utilisation d'une modélisation fine semble préférable. En revanche, le coût de calcul associé serait prohibitif pour larges structures. Le but de ce travail consiste à réduire ce coût de calcul, en couplant le modèle fin, restreint à la zone active de délaminage, avec un modèle grossier appliqué au reste de la structure. En raison du comportement transitoire des problèmes d'impact, l'adaptabilité dynamique des modèles pour suivre les phénomènes évolutifs représente un point crucial de la stratégie de couplage. Des méthodes avancées sont utilisées pour coupler différents modèles. Par exemple, la méthode de Décomposition de Domaines, appliquée à l'adaptabilité dynamique, doit être combinée avec une stratégie de remaillage, considérée comme intrusive pour la mise en œuvre d'un logiciel pour Analyse à Eléments Finis. Dans ce travail, les bases d'une approche faiblement intrusive, la méthode de Substitution, sont présentés dans le domaine de la dynamique explicite. Il s'agît d'une formulation globale-locale, conçue pour appliquer un modèle grossier sur tout le domaine pour obtenir une réponse globale: ce pré-calcul est ensuite corrigé itérativement par l'application du modèle raffiné appliqué seulement où nécessaire. La vérification de la méthode de Substitution en comparaison avec la méthode de Décomposition de Domaines est présentée.

L'île de La Possession (Archipel de Crozet - 45°S/51°E), volcanique, en milieu subantarctique océanique, a subi diverses influences morphoclimatiques. Depuis sa formation, des processus variés se sont succédesé, engendrant des formes superposées les unes aux autres et qui évoluent actuellement dans le cadre d'une dynamique qui semble moins caractérisée par les processus périglaciaires que par le passé. La substitution de l'eau liquide à celle gelée est à l'origine de mouvements de terrain qui, sans exclure l'action du gel encore efficace dans le sol, montre que l'activité des agents efficaces dans les processus périglaciaires a beaucoup diminué. Les formes actives se sont réduites en taille, leur activité est devenue saisonnière et une véritable pédogénèse, de type podzolique, s'amorce à basse altitude sous un tapis végétal souvent modifié par les vertébrés et invertébrés. Des mesures ont permis de caractériser un certain nombre de processus qui sont actuellement suivis en continu ; des stations de mesures (thermométrie air-sols, gélisofluction, hydrologie de surface) qui ont fourni les données de base aux résultats présentés sur les sols figurés, le ruissellement et l'érosion superficielle
Subantarctic and volcanic island, La Possession (Crozet Archipelago 45°S/51°E) has received various morphoclimatic influences. Varying processes in ducing superimposed geomorphological features have followed from its aristing stage : theses processes are now changing by a lower periglacial influence than before. Fluid waters to frozen waters substitution originate terrain movements showing the weakness of peri glacial processes, even with a frozen soils effective activity. Active periglacial features are smaller and their events became seasonal. A real podzolic pedogenesis activity begin on low altitude area beneath often modofied by vertebrates and invertebrates in peat blankets. Processus as sesments were made by measurements and continuons plots experimentations (soils and air thermometry, gelisofluxion, surface hydrology) have supplied patterned-ground, surface run-off and land erosion data

L'étude effectuée concerne l'analyse de plusieurs problèmes de réanalyse et sous-structuration de structures mécaniques. L'application de ces méthodes à trois types de problèmes est traitée: blocage de degrée de liberté relativement au repère fixe, rigidification et substitution de sous-ensembles. L'accent est mis sur l'exploitation combinée de données observées sur structures réelles et de données calculées à partir de modèles aux éléments finis. Deux méthodologies distinctes ont été étudiées: l'exploitation des solutions propres identifiées et l'exploitation directe des fonctions de réponses fréquentielles. Les avantages et inconvénients de ces deux méthodologies sont étudiées et en particulier, leur robustesse vis-à-vis des erreurs de mesures sont examinées. Afin d'appuyer les conclusions tirées dans le mémoire, les résultats de plusieurs cas tests de simulation numérique sont présentées.

Les matériaux composites stratifiés sont de plus en plus utilisés dans l'aéronautique, mais ils peuvent être sujets à large délaminage si soumis à impact. La nécessité d'effectuer des simulations numériques pour prédire l’endommagement devient essentielle pour l’ingénieur. Dans ce contexte, l'utilisation d'une modélisation fine semble préférable. En revanche, le coût de calcul associé serait prohibitif pour larges structures. Le but de ce travail consiste à réduire ce coût de calcul, en couplant le modèle fin, restreint à la zone active de délaminage, avec un modèle grossier appliqué au reste de la structure. En raison du comportement transitoire des problèmes d'impact, l'adaptabilité dynamique des modèles pour suivre les phénomènes évolutifs représente un point crucial de la stratégie de couplage. Des méthodes avancées sont utilisées pour coupler différents modèles. Par exemple, la méthode de Décomposition de Domaines, appliquée à l'adaptabilité dynamique, doit être combinée avec une stratégie de remaillage, considérée comme intrusive pour la mise en œuvre d'un logiciel pour Analyse à Eléments Finis. Dans ce travail, les bases d'une approche faiblement intrusive, la méthode de Substitution, sont présentés dans le domaine de la dynamique explicite. Il s’agît d’une formulation globale-locale, conçue pour appliquer un modèle grossier sur tout le domaine pour obtenir une réponse globale: ce pré-calcul est ensuite corrigé itérativement par l'application du modèle raffiné appliqué seulement où nécessaire. La vérification de la méthode de Substitution en comparaison avec la méthode de Décomposition de Domaines est présentée
Composite laminates are increasingly employed in aeronautics, but can be prone to extensive delamination when submitted to impact loads. The need of performing virtual testing to predict delamination becomes essential for engineering workflows, in which the use of a fine modeling scheme appears nowadays to be the preferred one. The associated computational cost would be prohibitively high for large structures. The goal of this work consists in reducing such computational cost coupling the fine model, restricted to the surroundings of the delamination process zone, with a coarse one applied to the rest of the structure. Due to the transient behavior of impact problems, the dynamic adaptivity of the models to follow evolutive phenomena represents a crucial feature for the coupling. Many methodologies are currently used to couple multiple models, such as non-overlapping Domain Decomposition method, that, applied to dynamic adaptivity, has to be combined with a re-meshing strategy, considered as intrusive implementation within a Finite Element Analysis software. In this work, the bases of a weakly-intrusive approach, called Substitution method, are presented in the field of explicit dynamics. The method is based on a global-local formulation and is designed so that it is possible to make use of the pre-fixed coarse model the meshes the whole structure to obtain a global response: this pre-computation is then iteratively corrected considering the application of the refined model only where required, in the picture of an adaptive strategy. The verification of the Substitution method in comparison with the Domain Decomposition method is presented

La problématique de cette thèse part d'un constat d'inconscience entre norme, attitudes et comportements et s'applique au groupe des médecins, dont les pratiques sont régulées par des systèmes normatifs identifiables. Ce travail s'appuie sur la Théorie des Représentations Sociales et sur la Théorie de la Conditionnalité proposée par Claude Flament pour étudier les comportements et leur variabilité en appréhendant la question de leur rationalité. Les comportements des médecins sont examinés à travers quatre enquêtes portant sur leurs pratiques vis-à-vis des toxicomanes. Trois d'entre elles concernent la prise en charge des problèmes de dépendance, en médecine générale. Elles ont été réalisées à des périodes différentes, avant et après l'autorisation de délivrer des médicaments de substitution et examinent l'acceptation par les médecins de la prise en charge d'un toxicomane, et notamment les stratégies et l'acceptation de prescrire un traitement de substitution. La quatrième s'intéresse à la prise en charge du VIH-sida, à l'évaluation de l'observance des patients et à la prescription des traitements anti-VIH en milieu hospitalier. Le recueil des données met en œuvres des méthodologies qualitatives et quantitatives avec la réalisation d'entretiens et de questionnaires. Les données sont traitées en utilisant notamment des méthodologies d'analyse structurale (analyse de concomitances thématiques et analyse booléenne). Ces procédures permettent de mettre en évidence la fonction régulatrice de la norme "primum non nocere", "ne pas nuire", dans l'articulation des attitudes, des cognitions et des cognitions et des comportements des médecins. Cette norme, qui est à la base de l'éthique médicale contribue à la définition d'un système de conditionnalités des pratiques qui supporte la cohérence et la consistance intra-individuelle. Elle participe, au niveau inter-individuel, à la légitimation d'attitudes et de comportements antinomiques au sein du groupe.

Ce travail est une approche des causes moléculaires du saturnisme à travers l’étude de la substitution par Pb2+ de cations natifs dans des modèles protéiques. L’utilisation de pseudopotentiels est validée par comparaison avec les résultats issus d’une approche relativiste à 4 composantes appliquée à des complexes aqueux, carbonylés, acétyléniques et vinylidéniques de Au+ et Pb2+. La considération de la solvatation, nécessaire à la modélisation de l'environnement biologique, est réalisée soit par optimisation de géométrie de clusters octaaqua soit par dynamique moléculaire Car-Parrinello. Les résultats de ces deux approches valident la stoechiométrie [M(H2O)8]2+ pour l’état hydraté des cations M2+ considérés. L’étude des sites protéiques après substitution par Pb2+ montre que sa paire 6s2, holo- ou hémidirectionnelle, induit de fortes déformations structurales des modèles. Energétiquement, l’échange est en général favorable pour les métalloprotéines à calcium mais pas pour celles à zinc.

On s'intéresse au problème de la représentation géométrique des systèmes dynamiques substitutifs dans le cadre des susbstitutions inversibles. On étudie d'abord les systèmes symboliques engendrés sur un plan combinatoire. Utilisant l'automate des préfixes-suffixes, on met notamment en évidence des paires de mots bi-infinis égaux pour tout indice positif (resp. Strictement négatif). On introduit les substitutions d'arbre. Combinatoirement, elles peuvent être vues comme des généralisations des substitutions sur les mots. D'un point de vue métrique, elles permettent de construire facilement des arbres fracals auto-similaires. On réunit les définitions et résultats sur les substitutions d'arbre avec l'étude des actions de groupes sur les arbres réels servant à décrire la dynamique des automorphismes de groupe libre. On construit (sur deux classes d'exemples) des arbres réels par substitutions d'arbre et on définit sur ceux-ci des échanges de domaines conjugués à des sytèmes substitutifs
We study ways of giving geometric representation to symbolic substitutive systems when the substitution is invertible. First, we analyse the combinatorics of the generated symbolic systems. Using the prefix-suffix automata, we bring out pairs of bi-infinite words which are equal for each positive or equal (resp. Negative) index. Tree substitutions are introduced. On the combinatorial side, they can be seen as generalisations of substitutions on words. From a metric point of view, they are to define self-similar fractal real trees efficiently. Results on tree substitutions are then joined with the study of group actions on real trees that are used to describe the dynamics of automorphisms of the free group. We construct (on two sets of examples) real trees using tree susbstitutions, and we define domains exchanges conjugate to substitutive systems

Le travail présenté s'inscrit dans le cadre de l'utilisation du Gaz Naturel comme carburant des véhicules du secteur automobile (GNV). Le contexte scientifique est celui des écoulements à masse volumique variable, fortement instationnaires avec ses conséquences sur la combustion prémélangée. Le travail est focalisé sur le mélange local/air carburant gazeux et sur le comportement du système moteur. Sur le plan applicatif, il vise une meilleure connaissance des différents systèmes d'alimentation en gaz carburant pour les moteurs à allumage commandé. La première partie est une étude locale sur une expérience modèle simulant la phase d'admission d'un moteur quatre temps. Nous analysons la formation du mélangé air-carburant dans le conduit d'admission et dans le jet de soupape, avec une injection transverse continue ou séquentielle. La méthode de diagnostic est la fluorescence induite par plan laser donnant une valeur locale et instantanée de la richesse du mélange air/carburant. Au total, 72000 images ont été acquises et traitées à 18 phases distinctes au cours du cycle. La comparaison des mélanges entre une injection continue faible vitesse et deux injections séquentielles est réalisée. L'impact sur la paroi en fonctionnement séquentiel permet de diminuer les hétérogénéités. Le passage de la soupape atténue les différences entre les deux types d'injections sans toutefois la supprimer. La seconde partie est une étude globale et système sur un banc d'essai de moteur 4 cylindres de série. Les mêmes technologies d'injection que sur l'expérience modèle sont testées : trois systèmes d'injection gaz et un système d'injection essence. Les performances et les émissions polluantes sont caractérisées. La production des oxydes d'azote fait l'objet aussi d'une modélisation par un code thermodynamique. Quel que soit le système d'alimentation en gaz, la réduction de pollution par rapport à l'essence a été constatée. Par ailleurs, il a été mis en évidence un fonctionnement gaz à richesse faible de 0,7 avec un fort gain en stabilité cyclique, une pollution améliorée et un rendement non dégradé. Les différences d'homogénéités mesurées sur l'expérience modèle ont été corrélées favorablement aux différences d'émissions polluantes émises par le moteur, mettant en avant l'importance du mélangé des gaz à l'admission sur la qualité finale d'un moteur à allumage commandé. Cette étude est réalisée dans le cadre d'une opération de recherche faisant intervenir la région Midi-Pyrénées, Gaz de France, PSA Peugeot Citroe͏̈n et Renault.

Cette thèse porte sur la construction de modèles de substitution en régimes transitoire et permanent pour la simulation thermique, en présence de peu d'observations et de plusieurs sorties.Nous proposons dans un premier temps une construction robuste de perceptron multicouche bouclé afin d'approcher une dynamique spatio-temporelle. Ce modèle de substitution s'obtient par une moyennisation de réseaux de neurones issus d'une procédure de validation croisée, dont le partitionnement des observations associé permet d'ajuster les paramètres de chacun de ces modèles sur une base de test sans perte d'information. De plus, la construction d'un tel perceptron bouclé peut être distribuée selon ses sorties. Cette construction est appliquée à la modélisation de l'évolution temporelle de la température en différents points d'une armoire aéronautique.Nous proposons dans un deuxième temps une agrégation de modèles par processus gaussien dans un cadre multifidélité où nous disposons d'un modèle d'observation haute-fidélité complété par plusieurs modèles d'observation de fidélités moindres et non comparables. Une attention particulière est portée sur la spécification des tendances et coefficients d'ajustement présents dans ces modèles. Les différents krigeages et co-krigeages sont assemblés selon une partition ou un mélange pondéré en se basant sur une mesure de robustesse aux points du plan d'expériences les plus fiables. Cette approche est employée pour modéliser la température en différents points de l'armoire en régime permanent.Nous proposons dans un dernier temps un critère pénalisé pour le problème de la régression hétéroscédastique. Cet outil est développé dans le cadre des estimateurs par projection et appliqué au cas particulier des ondelettes de Haar. Nous accompagnons ces résultats théoriques de résultats numériques pour un problème tenant compte de différentes spécifications du bruit et de possibles dépendances dans les observations
This PhD thesis deals with the construction of surrogate models in transient and steady states in the context of thermal simulation, with a few observations and many outputs.First, we design a robust construction of recurrent multilayer perceptron so as to approach a spatio-temporal dynamic. We use an average of neural networks resulting from a cross-validation procedure, whose associated data splitting allows to adjust the parameters of these models thanks to a test set without any information loss. Moreover, the construction of this perceptron can be distributed according to its outputs. This construction is applied to the modelling of the temporal evolution of the temperature at different points of an aeronautical equipment.Then, we proposed a mixture of Gaussian process models in a multifidelity framework where we have a high-fidelity observation model completed by many observation models with lower and no comparable fidelities. A particular attention is paid to the specifications of trends and adjustement coefficients present in these models. Different kriging and co-krigings models are put together according to a partition or a weighted aggregation based on a robustness measure associated to the most reliable design points. This approach is used in order to model the temperature at different points of the equipment in steady state.Finally, we propose a penalized criterion for the problem of heteroscedastic regression. This tool is build in the case of projection estimators and applied with the Haar wavelet. We also give some numerical results for different noise specifications and possible dependencies in the observations

Le travail porte sur les propriétés vibrationnelles de semi-conducteurs innovants, notamment les composés Cu2ZnSnSe4, Cu2ZnSnS4 de type kesterite, qui, dans le domaine du photovoltaïque, soutiennent la comparaison avec les matériaux leaders de type chalcopyrite, Cu(In,Ga)Se2. Un intérêt pratique immédiat pressenti est que les spectres de vibration devraient permettre de distinguer entre différentes phases structurales possibles à une composition donnée. Les modes de vibration sont abordés en utilisant une approche théorique premiers principes. Le manuscrit est divisé en cinq chapitres, dont le contenu est le suivant : (1) Une brève introduction sur le principe et les enjeux du photovoltaïque, les cellules solaires à base de composés semi-conducteur multinaires; le chapitre se termine par une description du diagramme de phase du système Cu-Zn-Sn-Se. (2) L’exposé de la théorie de la fonctionnelle de la densité (DFT) et la mise en œuvre de simulations numériques via le logiciel SIESTA. (3) Les propriétés vibrationnelles de Cu2ZnSnSe4 dans ses deux phases kesterite et stannite, étudiées par une méthode premiers principes, en faisant une comparaison détaillée et une analyse minutieuse mode par mode. (4) Les propriétés vibrationnelles de la phase secondaire Cu2SnSe3, une concurrente habituelle de la phase Cu2ZnSnSe4 lors de la croissance des échantillons. (5) Le calcul des phonons dans la structure Cu2ZnSnS4 contenant des défauts intrinsèques (lacunes; antisites), avec comme objectif l'évaluation des contributions vibrationnelles à l'entropie, et l'élaboration du diagramme de phases composition – température dans ce système multinaire. La conclusion générale récapitule les résultats, qui sont publiés dans 5 articles
The works addresses vibrational properties of novel semiconductors, specifically the Cu2ZnSnSe4 and Cu2ZnSnS4 compounds of the kesterite structure, which, in the domain of photovoltaics, become competitive with leading materials of chalcopyrite type, notably Cu(In,Ga)Se2. The anticipated immediate practical interest of such study is that the vibration spectra are likely to make possible a distinction between different structural phases, possible for a given composition. The vibration modes are accessed by using a first-principle theory approach. The manuscript is divided into five chapters, with the following contents: (1) A brief introduction into the work principle and the problematics of photovoltaics, specifically of the solar cells based on multinary semiconductors; the chapter closes by the description of the phase diagram of the Cu-Zn-Sn-Se system. (2) An overview of the density functional theory (DFT) and of the technics of numerical simulations using the SIESTA code. (3) The vibrational properties of Cu2ZnSnSe4 in its two phases, kesterite and stannite, as studied by first-principles method, with a detailed comparison being done along with a thorough mode-by-mode analysis. (4) Vibrational properties of a secondary phase Cu2SnSe3, which often competes with the Cu2ZnSnSe4 phase in the process of sample growth. (5) Calculation of phonons in the Cu2ZnSnS4 structure containing intrinsic defects (vacances; anti sites), with the objective of estimating vibrational contributions to entropy and the correction of the composition - temperature phase diagram in this multi nary system. The general conclusion summarises the results which are published in 5 articles

Un grand nombre de logiciels est construit par réutilisation de composants existants. Le comportement global du logiciel résulte de l'interaction des comportements individuels de chaque composant. L'objectif de ce travail est de construire des applications par assemblage de composants existants issus d'un référentiel de composants. Le critère de qualité considéré découle de la satisfaction, par l'assemblage résultat, d'objectifs fonctionnels identifiés lors de l'analyse du besoin. Alors que la plupart des approches existantes fournissent des langages pour décrire et vérifier la correction syntaxique et comportementale d'un assemblage, peu y adjoignent la vérification de la satisfaction d'objectifs fonctionnels. Nous définissons la validité comme étant un niveau de vérification combinant la correction de l'assemblage et la satisfaction des objectifs fonctionnels. La principale contribution de cette thèse est de proposer un processus de construction automatique d'assemblages de composants satisfaisant des objectifs fonctionnels. Nous proposons un méta-modèle de composants dont les collaborations potentielles sont documentées par des ports composites. Cette information permet de définir une stratégie de construction autonomique d'assemblages potentiellement valides grâce à une recherche parmi tous les assemblages possibles. La complexité de cette recherche est maîtrisée grâce à des optimisations heuristiques. Ce mécanisme est aussi utilisé pour la re-construction de la partie manquante d'un assemblage lors de son évolution dynamique. Notre proposition est plus flexible que celles de travaux comparables car elle permet de réaliser des substitutions n à 1 afin de pallier l'indisponibilité d'un composant proposant exactement les fonctionnalités attendues. Une implémentation prototype, comme extension du modèle de composants Fractal, permet de réaliser diverses expérimentations sur des simulations de bases de composants et de montrer l'efficacité de nos algorithmes

Cette thèse décrit la Chimie Covalente Dynamique (CCD) des échanges imine/imine, Knoevenagel/imine et Knoevenagel/Knoevenagel. La L-proline est un excellent organocatalyseur pour la formation de Bibliothèques Covalentes Dynamiques (BCDs). Cependant, l’interconversion entre des dérivées Knoevenagel de l’acide diméthylbarbiturique et des imines se déroule rapidement sans catalyseur. Une nouvelle classe de CCD basée sur des échanges par substitutions nucléophiles (SN2/SN2’) entre des sels d’ammonium quaternaires et des amines tertiaires est développée, impliquant la catalyse par l’iodure. Les réactions d’échange entre des sels de pyridinium et un dérivé de pyridine génèrent des liquides ioniques dynamiques. Enfin, la sélection cinétique et thermodynamique de la formation d’imines dans la CCD est réalisée en solution aqueuse e ten solvant organique
This thesis describes the dynamic covalent chemistry (DCC) of imine/imine, Knoevenagel/imine, and Knoevenagel/Knoevenagel exchange. L-proline is shown to be an excellent organocatalyst to accelerate the formation of dynamic covalent libraries (DCLs). The interconversion between Knoevenagel derivatives of dimethylbarbituric acid and imines is found to occur rapidly in the absence of catalyst. A new class of DCC based on nucleophilic substitution (SN2/SN2’) component exchange between quaternary ammonium salts and tertiary amines is developed, by the use of iodide as a catalyst. The exchange reactions between pyridinium salts and a pyridine derivative generate dynamic ionic liquids. Finally, kinetic and thermodynamic selection of imine formation in a DCC is perfomed in aqueous solution and organic solvent

La premiere partie de ce memoire decrit la synthese de dialcoxysilanes acycliques ou cycliques, et d'oxasilacycloalcanes, et developpe leur reactivite vis-a-vis de reactifs organometalliques. Les resultats obtenus montrent que la stereochimie de la substitution nucleophile s#n-si d'un groupe alcoxyle sur le silicium depend: (i) de la taille du groupe alcoxyle, (ii) de l'environnement sterique du silicium, (iii) et de la durete ou de la mollesse du reactif organometallique en fonction du solvant. La 2eme partie traite de la pentacoordination du silicium par coordination intramoleculaire nsi dans des chelates de type me#2nsixyz pouvant etre consideres comme des intermediaires reactionnels de la substitution nucleophile sur le silicium. Les etudes par rayons x et par rmn de #2#9si, #1#9f et #1h montrent que ces chelates sont pentacoordonnes au silicium, en solution comme a l'etat solide, dans une geometrie de bipyramide trigonale comportant l'atome d'azote toujours axial oppose a un groupe electronegatif lui aussi axial. Les resultats obtenus montrent que: (i) les substituants polaires favorisent la coordination nsi; (ii) les silanes a liaison si-h sont plus fortement pentacoordonnes que les silanes a liaison si-or; (iii) la stabilite de ces entites pentacoordonnees du silicium peut etre affectee par un processus d'ouverture-fermeture de la liaison nsi, ou par un processus de pseudorotation du silicium pentacoordonne maintenant le cycle du chelate toujours axial-equatorial

Ce travail de thèse porte sur l'étude de systèmes dynamiques substitutifs. Les substitutions ont historiquement été introduites pour décrire la suite des sommes des chiffres modulo 2 en base 2 . On étudie des propriétés de la suite somme des chiffres et notamment les propriétés des densités asymptotiques d'ensembles liés aux autocorrélations de fonctions arithmétiques définies par les fonctions somme des chiffres. On démontre notamment un théorème de la limite centrale pour ces densités. On étudie également les propriétés de régularité de la fonction de pression dans le cadre du formalisme thermodynamique, introduit par Bowen, Ruelle et Sinaï, pour une famille de potentiels définis en terme de distance à l'attracteur de la substitution de k-bonacci. On démontre la convergence des itérés de l'opérateur de renormalisation introduit par Baraviera, Leplaideur et Lopes vers un point fixe pour cette même famille de potentiels. Enfin, on étudie des propriétés de régularité de certaines mesures spectrales associées à des pavages auto-similaires en s'appuyant sur des travaux de Bufetov et Solomyak portant sur les déviations des sommes ergodiques dans le cas de l'action par translation de \R^d sur les pavages auto-similaires de R^d. On démontre qu'après renormalisation, ces mesures spectrales se comportent comme des mesures de Radon autour de zér
In the present work we study substitutive dynamical systems. Historically, substitutions have been introduced in order to describe the sequence of the sum-of-digits mod 2 in base 2. We study some properties of densities of sets defined by sum-of-digits functions, sets which are linked with autocorrelations of some arithmétic functions. We prove that these densities are usually normally distributed. We also study the regularity of the pressure function in the framework of the thermodynamics formalism, introduced by Bowen, Ruelle and Sinaï, for a family of potentials defined in terms of distance to the attractor of the k-bonacci substitution. We also show that the iterations of the renormalisation operator defined by Baraviera, Leplaideur and Lopes converges towards a fixed point of this operator. Finally we study the regularity of some spectral measures associated to self-similar tilings using mostly works from Bufetov and Solomyak on the deviations of ergodic sums for the action of translations by vectors in R^d on self-similar tilings of R^d. We prove that, afeter renormalisation, these spectral measures behave like Radon measures around

On sait que la matrice d'incidence associée à une substitution ne suffit pas pour déterminer complètement le système dynamique associé, même dans des cas très simples, il existe plusieurs substitutions associées à une même matrice car il existe de nombreux mots ayant le même abélianisé. Dans cette thèse, on étudie les points communs de deux lignes brisées associées à deux substitutions $sigma_1$ et $sigma_2$ irréductibles unimodulaires de type Pisot qui ont la même matrice d'incidence. On identifie les points communs de ces deux lignes brisées à partir d'un algorithme. On montre ainsi que l'intersection de ces deux lignes brisées est aussi une ligne brisée associée au point fixe d'une nouvelle substitution. On montre plus précisément que si $sigma_1$ vérifie la conjecture Pisot et $0$ est un point intérieur à son fractal de Rauzy alors ces points communs peuvent être engendrés par une substitution définie sur un alphabet appelé alphabet des paires équilibrées. Cette substitution est obtenue à partir d'un algorithme, l'algorithme des paires équilibrées. On obtient ainsi l'intersection des intérieurs des deux fractals de Rauzy. En prenant la clôture de cet ensemble on obtient un ensemble substitutif. La condition que $0$ est un point intérieur au fractal de Rauzy associé à la substitution $sigma_1$ nous permet de montrer que l'intersection des deux fractals de Rauzy est de mesure positive. Dans une deuxième partie du travail on s'intéresse à l'étude de la frontière du fractal de Rauzy. Le fractal de Rauzy est dit fractal mais c'est en fait sa frontière qui est fractale
The matrix of a substitution is not sufficient to completely determine the dynamics associated with it, even in the simplest cases since there are many words with the same abelianization. In this paper we study the common points of the canonical broken lines associated with two different irreducible Pisot unimodular substitutions σ1 and σ2 having the same incidence matrix. We prove that if σ1 verifies the Pisot conjecture and 0 is an inner point to the Rauzy fractal associated with the substitution σ1 then these common points can be generated with a substitution on an alphabet of so-called balanced pairs, and we obtain in this way the intersection of the interior of two Rauzy fractals

Les substitutions sont des applications qui remplacent chaque lettre d'un alphabet par un mot sur le même alphabet. Elle agissent naturellement sur des suites infinies de symboles, et produisent des systèmes très structurés ayant beaucoup de propretés. Cette thèse porte sur l'étude d'une classe particulière vérifiant des restriction algébriques, les substitutions de type Pisot, et leurs objets associés, de nature dynamique, fractale ou combinatoire. Nous commençons par l'étude combinatoire de certaines propriétés qualitatives des motifs bi-dimensionnels engendrés par une version "duale" des substitutions de type Pisot. On applique ces résultats à l'étude des familles infinies de substitutions définies comme l'ensemble des produits finis sur un ensemble fini de susbtitutions. On obtient des propriétés dynamiques des systèmes symboliques associés, des caractérisations de certaines propriétés topologiques des fractals de Rauzy associés, des propriétés des valeurs propres Pisot associées, et des applications en géométrie discrète. Une attention particulière est portée sur les substitutions associées aux algorithmes de fraction continues multidimensionnels d'Arnoux-Rauzy, Brun et Jacobi-Perron. Ensuite nous donnons des constructions explicites pour donner une description complète des groupes fondamentaux de fractals de Rauzy planaires, dans le cas où le groupe est dénombrable. Dans les deux derniers chapitres, on s'affranchit de la condition algébrique Pisot, pour étudidier des objets plus généraux provenant des outils combinatoires utilisés dans les précédents chapitres, en insistant sur des questions d'(in)décidabilité calculatoire
Substitutions are mappings which replace each symbol of a given alphabet by a word over the same alphabet. They naturally act over infinite sequences of symbols, and produce highly ordered Systems with many properties. This thesis concerns a particular class with algebraic restrictions, Pisot substitutions, and their related objects of dynamical, fractal o combinatorial nature. We begin with the combinatorial study of some qualitative properties of the two-dimensional patterns generated by iterating a two-dimensional "dual" version of Pisot substitutions. We apply these results to study the infinite families of substitutions obtained by taking arbitrary products over a finite set of Pisot substitutions. Applications include dynamica properties of the associated symbolic Systems, some language theoretical characterization of some topological properties of their associated Rauzy fractals, some number-theoretical properties of their associated Pisot numbers, and some results in discrete geometry. Particular focus is set on the substitutions associated with the Arnoux-Rauzy, Brun and Jacobi-Perron multidimensional continued fraction algorithms Next we give explicit construction to give a complete description of the possible fondamental groups of planar Rauzy fractals in the case where the group is countable. In the last two chapters, we "step back" from the Pisot algebraic assumption to study some more general objects arising from the combinatorial tools used in the previous chapters, focusing on some computational (un)decidability questions

Une substitution sur un alphabet fini a est un endormorphisme, du monoide libre engendre par a, s'etendant par concatenation a a#n pour lequelle il existe une suite x e a#n telle que (x) = x. Le codage litteral du point fixe d'une substitution est appele suite substitutive. Dans le chapitre i nous introduisons une des notions centrales de cette these: le mot de retour. Le codage des suites substitutives par les mots de retour de permet de definir la notion de suite derivee et de donner la caracterisation suivante: une suite x est substitutive primitive si et seulement si l'ensemble de ses suites derivees est fini. Dans le chapitre ii nous etendons la version substitutive du theoreme de cobham. Soit x une suite qui est le codage litteral des points fixes des substitutions et. Si x est aperiodique alors les valeurs propres dominantes des matrices associees a et sont multiplicativement dependantes. Nous prouvons ensuite un resultat similaire pour les suites definissant le meme langage. Le chapitre iii rappelle des resultats connus explicitant le lien entre substitutions et systemes de numeration et applique les resultats du chapitre precedent aux systemes de numeration. Le chapitre iv est consacre aux systemes dynamiques engendres par des substitutions. Nous precisons un resultat obtenu par a. Forrest: la classe b des systemes de bratteli-vershik stationnaires minimaux est la reunion des systemes de substitutions primitives et des odometres. L'element nouveau apportes par notre preuve est un algorithme de calcul des systemes de bratteli-vershik associes aux systemes de substitutions et un calcul aise de leur groupe de dimension. Nous montrons que la classe b est stable par passage au facteur. Pour cela nous montrons que pour tout systeme de substitution primitive (x,t) il existe une constante d tel que toute chaine de facteurs cantor de (x,t) a une longueur inferieure a d. Le chapitre v etend certains resultars obtenus dans les chapitres precedents a une generalisation des suites substitutives (les suites s-adiques)

Les simulations numériques représentent un élément central du processus de conception d’un avion complétant les tests physiques et essais en vol. Elles peuvent notamment bénéficier de méthodes innovantes, telle que l’intelligence artificielle qui se diffuse largement dans l’aviation. Simuler une mission de vol complète pour plusieurs disciplines pose d’importants problèmes à cause des coûts de calcul et des conditions d’opérations changeantes. De plus, des phénomènes complexes peuvent se produire. Par exemple, des chocs peuvent apparaître sur l’aile pour l’aérodynamique alors que le mélange entre les écoulements du moteur et de l’air extérieur impacte fortement l’aérothermie autour de la nacelle et du mât. Des modèles de substitution peuvent être utilisés pour remplacer les simulations haute-fidélité par des approximations mathématiques afin de réduire le coût de calcul et de fournir une méthode construite autour des données de simulations. Deux développements sont proposés dans cette thèse : des modèles de substitution utilisant l’apprentissage automatique pour approximer des calculs aérodynamiques et l’intégration de modèles de substitution classiques dans un processus aérothermique industriel. La première approche sépare les solutions en sous-ensembles selon leurs formes grâce à de l’apprentissage automatique. En outre, une méthode de reéchantillonnage complète la base d’entrainement en ajoutant de l’information dans des sous-ensembles spécifiques. Le deuxième développement se concentre sur le dimensionnement du mât moteur en remplaçant les simulations aérothermiques par des modèles de substitution. Ces deux développements sont appliqués sur des configurations avions afin de combler l’écart entre méthode académique et industrielle. On peut noter que des améliorations significatives en termes de coût et de précision ont été atteintes
Numerical simulations provide a key element in aircraft design process, complementing physical tests and flight tests. They could take advantage of innovative methods, such as artificial intelligence technologies spreading in aviation. Simulating the full flight mission for various disciplines pose important problems due to significant computational cost coupled to varying operating conditions. Moreover, complex physical phenomena can occur. For instance, the aerodynamic field on the wing takes different shapes and can encounter shocks, while aerothermal simulations around nacelle and pylon are sensitive to the interaction between engine flows and external flows. Surrogate models can be used to substitute expensive high-fidelitysimulations by mathematical and statistical approximations in order to reduce overall computation cost and to provide a data-driven approach. In this thesis, we propose two developments: (i) machine learning-based surrogate models capable of approximating aerodynamic experiments and (ii) integrating more classical surrogate models into industrial aerothermal process. The first approach mitigates aerodynamic issues by separating solutions with very different shapes into several subsets using machine learning algorithms. Moreover, a resampling technique takes advantage of the subdomain decomposition by adding extra information in relevant regions. The second development focuses on pylon sizing by building surrogate models substitutingaerothermal simulations. The two approaches are applied to aircraft configurations in order to bridge the gap between academic methods and real-world applications. Significant improvements are highlighted in terms of accuracy and cost gains

Cette thèse, située à l’intersection de l’assimilation de données (AD) et de l’apprentissage profond (AP), introduit un concept nouveau : l’assimilation de données en espace latent. Elle permet une réduction considérable des coûts de calcul et des besoins mémoire, tout en offrant le potentiel d’améliorer la précision des résultats.Il existe de nombreuses façons d’intégrer l’apprentissage profond dans les algorithmes d’assimilation de données, chacune visant des objectifs différents (Loh et al., 2018; Tang et al., 2020; Laloyaux et al., 2020; Bonavita and Laloyaux, 2020; Brajard et al., 2020; Farchi et al., 2021b; Pawar and San, 2021; Leutbecher, 2019; Ruckstuhl et al., 2021; Lin et al., 2019; Deng et al., 2018; Cheng et al., 2024). Nous étendons davantage l'intégration de l'apprentissage profond, en repensant le processus même d’assimilation. Notre approche s’inscrit dans la suite des méthodes à espace réduit (Evensen,1994; Bishop et al., 2001; Hunt et al., 2007; Courtier, 2007; Gratton and Tshimanga, 2009; Gratton et al., 2013; Lawless et al., 2008; Cao et al., 2007), qui résolvent le problème d’assimilation en effectuant des calculs dans un espace de faible dimension. Ces méthodes à espace réduit ont été principalement développées pour une utilisation opérationnelle, car la plupart des algorithmes d’assimilation de données s'avèrent être excessivement coûteux, lorsqu’ils sont implémentés dans leur forme théorique originelle.Notre méthodologie repose sur l’entraînement conjoint d’un autoencodeur et d’un réseau de neurone surrogate. L’autoencodeur apprend de manière itérative à représenter avec précision la dynamique physique considérée dans un espace de faible dimension, appelé espace latent. Le réseau surrogate est entraîné simultanément à apprendre la propagation temporelle des variables latentes. Une stratégie basée sur une fonction de coût chaînée est également proposée pour garantir la stabilité du réseau surrogate. Cette stabilité peut également être obtenue en implémentant des réseaux surrogate Lipschitz.L’assimilation de données à espace réduit est fondée sur la théorie de la stabilité de Lyapunov qui démontre mathématiquement que, sous certaines hypothèses, les matrices de covariance d’erreur de prévision et a posteriori se conforment asymptotiquement à l’espace instable-neutre (Carrassi et al., 2022), qui est de dimension beaucoup plus petite que l’espace d’état. Alors que l’assimilation de données en espace physique consiste en des combinaisons linéaires sur un système dynamique non linéaire, de grande dimension et potentiellement multi-échelle, l’assimilation de données latente, qui opère sur les dynamiques internes sous-jacentes, potentiellement simplifiées, est davantage susceptible de produire des corrections significatives.La méthodologie proposée est éprouvée sur deux cas tests : une dynamique à 400 variables - construite à partir d'un système de Lorenz chaotique de dimension 40 -, ainsi que sur le modèle quasi-géostrophique de la librairie OOPS (Object-Oriented Prediction System). Les résultats obtenus sont prometteurs
This thesis, which sits at the crossroads of data assimilation (DA) and deep learning (DL), introduces latent space data assimilation, a novel data-driven framework that significantly reduces computational costs and memory requirements, while also offering the potential for more accurate data assimilation results.There are numerous ways to integrate deep learning into data assimilation algorithms, each targeting different objectives (Loh et al., 2018; Tang et al., 2020; Laloyaux et al., 2020; Bonavita and Laloyaux, 2020; Brajard et al., 2020; Farchi et al., 2021b; Pawar and San, 2021; Leutbecher, 2019; Ruckstuhl et al., 2021; Lin et al., 2019; Deng et al., 2018; Cheng et al., 2024). We extend the integration of deep learning further by rethinking the assimilation process itself. Our approach aligns with reduced-space methods (Evensen,1994; Bishop et al., 2001; Hunt et al., 2007; Courtier, 2007; Gratton and Tshimanga, 2009; Gratton et al., 2013; Lawless et al., 2008; Cao et al., 2007), which solve the assimilation problem by performing computations within a lower-dimensional space. These reduced-space methods have been developed primarily for operational use, as most data assimilation algorithms are prohibitively costly, when implemented in their full theoretically form.Our methodology is based on the joint training of an autoencoder and a surrogate neural network. The autoencoder iteratively learns how to accurately represent the physical dynamics of interest within a low-dimensional space, termed latent space. The surrogate is simultaneously trained to learn the time propagation of the latent variables. A chained loss function strategy is also proposed to ensure the stability of the surrogate network. Stability can also be achieved by implementing Lipschitz surrogate networks.Reduced-space data assimilation is underpinned by Lyapunov stability theory, which mathematically demonstrates that, under specific hypotheses, the forecast and posterior error covariance matrices asymptotically conform to the unstable-neutral subspace (Carrassi et al., 2022), which is of much smaller dimension than the full state space. While full-space data assimilation involves linear combinations within a high-dimensional, nonlinear, and possibly multi-scale dynamic environment, latent data assimilation, which operates on the core, potentially disentangled and simplified dynamics, is more likely to result in impactful corrections.We tested our methodology on a 400-dimensional dynamics - built upon a chaotic Lorenz96 system of dimension 40 -, and on the quasi-geostrophic model of the Object-Oriented Prediction System (OOPS) framework. We obtained promising results

Le crissement automobile est une nuisance sonore qui intéresse à la fois les chercheurs et les industriels. Ce phénomène fugace, perçu par les acquéreurs de véhicule comme gage de piètre qualité, induit un coût de plus en plus important pour les équipementiers automobiles dû aux réclamations-client. Par conséquent, il est primordial de proposer et développer des méthodes permettant de prédire avec efficacité l’occurrence de cette nuisance sonore grâce à des modèles de simulation numérique. Ainsi, cette thèse se propose de poursuivre les récents travaux montrant l’apport certain d’une intégration des incertitudes au sein des simulations numériques de crissement. L’objectif est de proposer une stratégie de propagation d’incertitudes pour des simulations de crissement en maintenant des coûts numériques acceptables (en phase d’avant-projet). Plusieurs méthodes numériques sont évaluées et améliorées pour permettre des calculs à la fois précis et dans des temps de calcul compatibles avec les contraintes de l’industrie. Après avoir positionné ce travail de thèse par rapport aux avancées des chercheurs travaillant sur la thématique du crissement, une nouvelle méthode d’amélioration des solutions propres d’un problème aux valeurs propres complexes est proposée. Pour réduire les coûts numériques de telles études, trois modèles de substitution (processus gaussien, processus gaussien profond et réseau de neurones profonds) sont étudiés et comparés pour proposer les stratégies optimales que ce soit en termes de méthode ou de paramétrage. La construction de l’ensemble d’apprentissage est un élément clé pour assurer les futures prédictions des modèles de substitution. Une nouvelle stratégie/méthode d’optimisation exploitant l’optimisation bayésienne est présentée pour cibler idéalement le choix des données de l’ensemble d’apprentissage, données potentiellement coûteuses d’un point de vue numérique. Ces méthodes sont ensuite exploitées pour proposer une technique de propagation des incertitudes selon une modélisation par sous-ensembles flous
The automotive squeal is a noise disturbance, which has won the interest of the research and industrialists over the year. This elusive phenomenon, perceived by the vehicle purchasers as a poor-quality indicator, causes a cost which becomes more and more important for the car manufacturers, due to client’s claims. Thus, it is all the more important to propose and develop methods allowing predicting the occurring of this noise disturbance with efficiency, thanks to numerical simulations. Hence, this thesis proposes to pursue the recent works that showed the certain contributions of an integration of uncertainties into the squeal numerical simulations. The objective is to suggest a strategy of uncertainty propagation, for squeal simulations, maintaining numerical cost acceptable (especially, for pre-design phases). Several numerical methods are evaluated and improved to allow precise computations and with computational time compatible with the constraints of the industry. After positioning this thesis work with respect to the progress of the researchers working on the squeal subject, a new numerical method is proposed to improve the computation of the eigensolutions of a large quadratic eigenvalue problem. To reduce the numerical cost of such studies, three surrogate models (gaussian process, deep gaussian process and deep neural network) are studied and compared to suggest the optimal strategy in terms of methodology or model setting. The construction of the training set is a key aspect to insure the predictions of these surrogate models. A new optimisation strategy, hinging on bayesian optimisation, is proposed to efficiently target the samples of the training set, samples which are probably expensive to compute from a numerical point of view. These optimisation methods are then used to present a new uncertainty propagation method, relying on a fuzzy set modelisation

Les propriétés du réseau et la conduction de BaTiO3 sont modifiées par la substitution en La et en Cu. Cette étude nous a permis la détermination du diagramme de phase ferroélectrique de BaTiO3:La jusqu'à 20% at. En lanthane. Il est possible de supprimer toute transition de phase pour des fortes concentrations. L'effet du La sur le réseau a été étudié aussi par diffusion Raman. Un mode supplémentaire à 840 cm-1 apparait. L'intensité de ce mode augmente avec le taux de La. Nous proposons le modelé de Cochran-Anderson. On met ainsi en évidence une diminution de la charge effective de l'oxygène et des forces élastiques. Il semble que cette substitution induise un transfert de charges de l'oxygène vers le titane. En même temps on assiste à un changement du caractère covalent de la liaison ti-o. Nos mesures en RPE ont mis en évidence un maximum de la densité d'électrons pour des faibles taux en la, ce qui est cohérent avec les études de la conductivité de batio3:la. Grace à un cristal transparent nous avons pu, pour la première fois, mesurer l'absorption optique de BaTio3:La. L'hypothèse retenue dans ce cas est la réduction partielle du titane. Cette hypothèse n'explique pas à elle seule le comportement de la conduction. L'augmentation de l'énergie d'activation, en fonction du taux de substitution, est une conséquence de la perturbation induite sur le site polaronique par le la. Une autre impureté intéressante du point de vue interaction électron-réseau est le cuivre. Nous avons confirmé l'augmentation de la conductivité de batio3, sous traitement réducteur. Celle-ci est due à l'accroissement exponentiel de la densité des défauts (Cu2+/Vo)

En combinatoire des mots, une méthode classique de construction de mots infinis est le modèle substitutif. Il consiste à itérer infiniment une transformation (une substitution) sur une lettre initiale. Le modèle substitutif a permis de créer et d'étudier des mots infinis possédant des structures répétitives fortes mais non périodiques. Introduites à la fin des années 1990, les représentations S-adiques forment une extension classique du modèle substitutif. Dans le modèle S-adique, plutôt qu'itérer une seule et même substitution, il est possible de choisir une substitution à chaque itération dans un ensemble fini. Les représentations S-adiques ont originellement été établies à des fins dynamiques, et caractérisent plusieurs familles classiques de mots comme les mots Sturmiens qui n'étaient pas complètement capturées par le modèle substitutif. Cette thèse s'intéresse à l'utilisation des représentations S-adiques à des fins combinatoires et algorithmiques.Dans une première partie, je propose une application dans le cadre de la théorie des ω-automates. L'objectif est de décider si un ω-automate faible accepte un mot Sturmien. Je développe une méthode, la désubstitution d'automates, qui permet de résoudre cette question, et de donner des propriétés combinatoires des ω-automates acceptant un mot Sturmien. Ces méthodes peuvent être généralisées à d'autres constructions substitutives (mot purement substitutif, point fixe d'une substitution) et aux autres familles de mots admettant une caractérisation S-adique. Il est possible d'utiliser ces méthodes pour résoudre différents problèmes annexes, comme le codage d'un mot Sturmien, ou, en géométrie discrète, le recollement de segments discrets. La deuxième partie est consacrée à l'étude des pièges à facteurs sur les mots bi-infinis. Elle résulte d'un travail collaboratif avec Hellouin et Gheeraert. Les pièges à facteurs viennent de la théorie de la compression, et sont un objet combinatoire permettant de mesurer la répétitivité d'un mot. Dans le cas mono-infini, seuls les mots ultimement périodiques admettent des pièges à facteurs finis. Nous prouvons que dans le cas bi-infini, ce résultat ne tient plus : nous exhibons et caractérisons les mots bi-infinis apériodiques admettant des pièges à facteurs finis. Il s'agit des mots Sturmiens caractéristiques, de leurs décalages finis, et de leurs images par des substitutions apériodiques. Nos méthodes reposent sur la caractérisation S-adique des mots Sturmiens, et consiste principalement en une adaptation de la désubstitution aux pièges à facteurs. Dans la troisième et dernière partie, j'explore les possibilités combinatoires des représentations S-adiques dans de nouveaux espaces. Je prouve que deux modèles exotiques de représentations S-adiques, les modèles d'Aubrun-Sablik et de Baraviera-Leplaideur, respectivement sur ℕᵈ et sur le monoïde libre à deux éléments, ne peuvent pas représenter toute configuration : ils ne sont pas universels. Enfin, j'étudie une variante du problème du domino, appelée le problème du X-domino, paramétré par un sous-shift ou une famille de mots X. Le but est d'appréhender la frontière d'indécidabilité entre une et deux dimensions. Je m'intéresse au cas où X est un sous-shift minimal, puis j'explore le cas des mots Sturmiens et des mots sans carré
In combinatorics on words, a classical method to construct infinite words is the substitutive model. It consists in iterating infinitely an operation (a substitution) on an initial letter. The substitutive model has made it possible to create and study infinite words exhibiting some repetitive structures that are still aperiodic. Introduced in the late 1990s, S-adic representations are a classical extension of the substitutive model. In the S-adic model, at each iteration, rather than always iterate a single substitution, one can iterate a substitution chosen in a finite set. S-adic representations were originally established for dynamic purposes, and characterize several classical word families such as Sturmian words, that were not fully captured by the substitutive model. This thesis focuses on the use of S-adic representations for combinatorial and algorithmic purposes. In a first part, I propose an application in the framework of ω-automata theory. The objective is to decide whether a weak ω-automaton accepts a Sturmian word. I develop a method, called automata desubstitution, that solves this question, and gives combinatorial properties of ω-automata accepting a Sturmian word. These methods can be generalized to other substitutive constructions (purely substitutive word, fixed point of a substitution) and to other word families admitting an S-adic characterization. These methods can be used to solve a number of related problems, such as the encoding of a Sturmian word or, in discrete geometry, the reconnection of discrete segments. The second part is devoted to the study of string attractors on bi-infinite words. It is the result of a collaboration with Hellouin and Gheeraert. String attractors come from text compression theory, and are a combinatorial object for measuring the repetitiveness of a word. In the mono-infinite case, only ultimately periodic words admit finite string attractors. We prove that in the bi-infinite case, this result no longer holds: we exhibit and characterize bi-infinite aperiodic words admitting finite string attractors. These are the characteristic Sturmian words, their finite shifts, and their images by aperiodic substitutions. Our methods are based on the S-adic characterization of Sturmian words, and consist mainly in an adaptation of desubstitution to string attractors.In the third and final part, I explore the combinatorial possibilities of S-adic representations in new spaces.I prove that two exotic models of S-adic representations, the Aubrun-Sablik and Baraviera-Leplaideur models, on ℕᵈ and the free monoid on two elements respectively, cannot represent every configuration: they are not universal. Finally, I study a variant of the domino problem, called the X-domino problem, parameterized by a subshift or a family of words X. The aim is to understand the undecidability boundary between one and two dimensions. I focus on the case where X is a minimal subshift, and then explore the case of Sturmian words and squarefree words

Le transfert de technologie est un processus d’innovation loin de se résumer à une simple relation émetteur / récepteur de connaissances. Il est complexe et de ce fait, les facteurs déterminants de son succès sont encore mal connus, sa modélisation reste à étudier et des principes de pilotage sont à établir.Cette thèse propose une modélisation descriptive du processus de transfert de technologie afin de mieux comprendre la dynamique des projets de transfert de technologie et de dégager des bonnes pratiques permettant de mieux le piloter. Dans le champ théorique, nous avons analysé les modèles de transfert de technologie existant dans la littérature et avons proposé un méta-modèle du point de vue de l’ingénierie système. Nous avons ensuite cherché à mieux comprendre les phénomènes in situ.Pour ce faire, une méthodologie d’observation pour la collecte des données au niveau « micro » a été mise au point. Nous avons suivi cinq projets de transfert durant une période allant de trois mois à deux ans. Deux dimensions ont été privilégiées : la dimension immatérielle et matérielle. Le concept d’Objet Intermédiaire de Transfert (OIT) est introduit à partir de la notion d’Objet Intermédiaire de Conception. Les données obtenues ont été analysées selon deux approches :- une approche comparative descriptive, permettant d’identifier les invariants et les phénomènes divergents entre les cinq processus. - une approche multicritère basée sur la théorie des ensembles approximatifs. Cette dernière approche fournit des informations utiles pour la compréhension du processus par l’intermédiaire des règles de connaissances. Elle a validé l’importance des OIT dans la dynamique du projet final
Technology transfer is an innovation process far from to be defined as a simple transmitter / receiver relationship of knowledge. It is complex. Thus the determinants of its success are still poorly understood and its modeling remains to be studied to a better management and optimization of the process.This thesis proposes a descriptive modeling of the technology transfer process. The aim is to have better understanding of the dynamics of technology transfer projects, and developing best practices to improve its management.In the theoretical field, we analyzed the models of the literature and proposed a meta-model of technology transfer from the point of view of systems engineering. We then sought to better understand the phenomena in situ.In order to reach our aim, an observation methodology for data collection at the micro level has been developed. We followed five transfer projects for a period ranging from three months to two years. Two dimensions have been emphasized: the immaterial and the material dimension. The concept of Intermediate Transfer Object (ITO) is introduced from the concept of design intermediary object.The data obtained were analyzed using two approaches:- a comparative descriptive approach, identifying invariants and divergent phenomena between the five processes. This has allowed us to propose best practices for technology transfer project management in the context of brazing.- a multicriteria approach based on the rough sets theory. This approach provides useful information for understanding the process through the decision rules. It validated the importance of the technology transfer object in the dynamics and the success of a project

Les travaux présentés dans ce manuscrit portent sur l'étude de la dynamique de vibration des noyaux de molécules triatomiques. Le problème est abordé avec une double approche. Tout d'abord, par des méthodes de calculs quantiques (variationnelles, DVR, transformations de contact) puis par des méthodes de dynamique non linéaire classiques (orbites périodiques, bifurcations) qui viennent mettre en lumière les résultats quantiques. La première partie de ce manuscrit présente quelques rappels de mathématiques concernant les systèmes dynamiques et la théorie des bifurcations. Une brève revue du traitement du problème vibrationnel en physique moléculaire est aussi donnée. La seconde partie de ce manuscrit traite de la dynamique de vibration des noyaux moléculaires à partir de modèles effectifs. Ces modèles consistent en des hamiltoniens effectifs construits par la méthode des transformations de contact. A partir de ces hamiltoniens quantiques effectifs on dérive des hamiltoniens classiques. On recherche alors les orbites périodiques de ces hamiltoniens et nous les comparons avec les fonctions d'onde quantiques. Enfin, la dernière partie discute de la dynamique vibrationnelle directement à partir de la surface d'énergie potentielle. Des calculs quantiques variationnels et DVR avec de larges bases sont menés. Une étude des orbites périodiques et de leurs bifurcations vient éclairer les résultats quantiques. On s'intéresse dans un premier temps aux molécules de symétrie C2v puis à l'effet de substitutions isotopiques qui brisent cette symétrie pour passer à la symétrie Cs
This thesis work is devoted to vibrational dynamics of triatomic molecules nucleus. For this problem we have a double approach. First, we make quantum calculations by variational, DVR and contact transformations methods. Then we use nonlinear dynamics methods to interpret quantum results. The first part recalls some mathematics about dynamical systems and bifurcation theory. A review of the problem of vibrations in molecular physics is also given. The second part concerns dynamics of vibration with effective models. These models consist of effective hamiltonians built by contact transformations methods. A correspondence principle is used to obtain classical hamiltonians and then make a periodic orbit analysis. These periodic orbits are systematically compared with quantum wave functions. Finally, the last part discusses the dynamics of vibration directly from the potential energy surface. We lead quantum variational and DVR calculations with large basis. The study of periodic orbits brings to light the quantum results. In a first time we are interested in C2v symmetry group molecules. Then we are interested in isotopic substitions who break the symmetry from C2v to Cs

La maladie de Gaucher (MG) est une maladie génétique rare. Différents biomarqueurs sont altérés et les patients présentent également des événements osseux (EO). Un traitement enzymatique substitutif est disponible. Pour analyser l'évolution des biomarqueurs, des modèles non linéaires à effets mixtes sont utilisés et pour la survenue d'EO des modèles à fragilité. Ces modèles nécessitent des méthodes d'estimation particulières que nous avons évaluées par simulation. Nous avons comparé l'algorithme SAEM implémenté dans Monolix à la quadrature de Gauss adaptative (AGQ) implémenté dans SAS pour des modèles à fragilité. Nous avons aussi évalué les puissances du test de Wald et du test du rapport de vraisemblance d'une covariable binaire. Puis nous avons évalué l'algorithme SAEM pour des modèles joints de données longitudinales et d'événements répétées ainsi que la puissance des tests à détecter le lien entre les données longitudinales et les événements répétés. Les résultats obtenus pour l'estimation des paramètres nous donnent peu de biais et pour les modèles de fragilité des résultats comparables entre SAEM et AGQ. Nous avons réalisé une description épidémiologique du registre français de la MG. Sur le groupe de patients traités, nous avons décrit l'évolution des biomarqueurs sous traitement par un modèle physiopathologique et avons analysés la survenue des EO répétés. Le lien entre les biomarqueurs et la survenue des EO a été évalué. Le fait d'avoir un EO avant traitement multiplie par trois le risque sous traitement. Nous allons poursuivre ces travaux par l'utilisation du modèle développé afin d'individualiser les posologies du traitement
Gaucher disease (GD) is a rare genetic disease. Different biomarkers are altered and patients also have bone events (BE). An enzymatic substitution treatment is available. To analyze the evolution of biomarkers, nonlinear mixed effects models are used and, for BE, frailty models. Those models require specific estimation methods that we assessed by simulation. For frailty models, we compared SAEM algorithm implemented in Monolix to the adaptative Gaussian quadrature (AGQ) implemented in SAS. We also evaluated the powers of the Wald test and the likelihood ratio test of a binary covariate. We then evaluated SAEM algorithm for joint models of longitudinal data and repeated events and evalue the power to detect the link between longitudinal data and repeated events. Results obtained for the estimation of parameters give us few biases and, for frailty models, results are comparable between SAEM and AGQ. We performed an epidemiological description of the French registry of GD. In treated patients, we used a pathophysiological model to describe the evolution of biomarkers under treatment and we analyzed the occurrence of repeated BE. We tested the link between biomarkers and the occurrence of BE. To have a BE before treatment increased three-fold the risk during treatment. We will continue this work with the use of the model we developed to individualize treatment doses

Un sous-décalage de type fini est un ensemble de pavages d'un groupe sujet à un nombre fini de contraintes locales, où le groupe agit par translation. Ces dernières années, de nombreux progrès ont été réalisés dans la compréhension de leurs propriétés dynamiques et calculatoires. Le but de cette thèse est de poursuivre cette étude sur la manière dont les propriétés algébriques et géométriques du groupe sous-jacent influencent les propriétés des sous-décalages de type fini définis sur le groupe. Les résultats sont regroupés en trois grandes catégories : décidabilité, apériodicité et substitutions. Dans la première partie, nous étudions le problème du domino, ses variantes, et les conséquences de son indécidabilité sur de nombreux groupes de type fini. Nous classifions la calculabilité du Problème du Domino à Première Tuile Fixée, du Problème du Domino Récurrent, du Problème k-SAT, et des Problèmes du Domino Serpent pour de nombreuses classes de groupes bien connues. En particulier, ils sont tous décidables pour des groupes virtuellement libres. Cette classification est obtenue par des réductions utilisant des constructions SFT, la théorie des automates, et la logique monadique du second ordre. A la fin de la première partie, nous prenons une tangente pour étudier l'ensemble des marches auto-évitantes bi-infinies sur les graphes de Cayley. Cet ensemble apparaît naturellement dans l'étude du problème du serpent infini et est un sous-décalage de ℤ. Nous classifions les groupes pour lesquels ce sous-décalage est apériodique, de type fini, et sofique. Nous étudions également son entropie et sa relation avec la constante connective du graphe de Cayley. La deuxième partie traite de l'existence de sous-décalages de type fini fortement et faiblement apériodiques. Nous commençons par une étude de l'état de l'art de ces problèmes et explorons les parallèles avec des problèmes de probabilité et de combinatoire. Nous examinons ensuite quels sous-groupes d'un groupe peuvent être réalisés en tant que stabilisateurs de sous-décalages de type fini, en établissant des conditions algébriques et calculatoires pour que cela se produise. Dans ce même cadre, nous introduisons la classe des groupes périodiquement rigides, c'est-à-dire des groupes où chaque sous-décalage de type fini faiblement apériodique est fortement apériodique. Nous terminons cette partie en construisant, à partir des travaux d'Aubrun et de Kari, les premiers exemples de sous-décalages de type fini fortement apériodiques sur des groupes de Baumslag-Solitar non résolubles et sur Fₙ x ℤ. Par des théorèmes de Whyte et Cohen, nous obtenons l'existence de tels sous-décalages pour les groupes de Baumslag-Solitar généralisés non cycliques. La dernière partie de cette thèse introduit de nouvelles notions de substitutions, de systèmes S-adiques, et leurs sous-décalages correspondants pour les groupes dénombrables. Nous identifions trois classes de groupes. Premièrement, nous définissons les groupes S-décomposables. Ces groupes ont la structure hiérarchique appropriée pour définir des systèmes S-adiques généraux. Deuxièmement, nous étudions les groupes ccc introduits par Gao, Jackson et Seward, car ils permettent de définir des systèmes S-adiques à forme constante. Troisièmement, nous introduisons les groupes monoformes. Ces groupes permettent de définir des substitutions à forme constante. Nous fournissons des exemples pour les trois classes et des exemples pour leurs systèmes S-adiques correspondants. Nous terminons par l'étude des propriétés dynamiques des sous-décalages définis par ces systèmes. Nous montrons qu'en général, ils sont minimaux sous des conditions de primitivité, et que pour certains groupes ccc moyennables, ils ont une entropie nulle et sont uniquement ergodiques
A subshift of finite type is a set of tilings of a group subject to a finite number of local constraints, where the group acts by translation. In recent years, much progress has been made in understanding their dynamical and computational properties. The goal of this thesis is to continue the study of how the algebraic and geometric properties of the underlying group influence the properties of subshifts of finite type defined on the group. The results are divided into three broad categories: decidability, aperiodicity, and substitutions. For the first part, we study the Domino Problem, its variants, and the consequences of its undecidability on many finitely generated groups. We classify the computability of the Seeded Domino Problem, the Recurring Domino Problem, the k-SAT Problem, and Domino Snake Problems for many well-known classes of groups. In particular, they are all decidable for virtually free groups. This classification is obtained through reductions involving SFT constructions, automata theory, and Monadic Second Order Logic. At the end of the first part, we go on a tangent to study the set of bi-infinite self-avoiding walks on Cayley graphs. This set appears naturally in the study of the Infinite Snake Problem and is a ℤ-subshift. We classify for which groups this subshift is aperiodic, of finite type, and sofic. We also study its entropy and its relation to the connective constant of the Cayley graph. The second part tackles the existence of strongly and weakly aperiodic subshifts of finite type. We begin with a survey on the state of the art of these problems and explore parallels with problems from probability and combinatorics. We then look at which subgroups of a group can be realized as the stabilizers of subshifts of finite type, establishing both algebraic and computational conditions for this to happen. Within this same framework, we introduce the class of periodically rigid groups, i.e. groups where every weakly aperiodic subshift of finite type is strongly aperiodic. We end this part by building upon the work of Aubrun and Kari to construct the first examples of strongly aperiodic subshifts of finite type on non-solvable Baumslag-Solitar groups and on Fₙ x ℤ. By theorems of Whyte and Cohen, we obtain the existence of such subshifts for non-cyclic generalized Baumslag-Solitar groups. The final part of the thesis introduces new notions of substitutions, S-adic systems, and their corresponding subshifts for countable groups. We identify three classes groups. First, we define S-decomposable groups. These groups have the appropriate hierarchical structure for defining general S-adic systems. Second, we study ccc groups introduced by Gao, Jackson, and Seward, as they allow the definition of constant-shape S-adic systems. Third, we introduce monoform groups. These groups allow for the definition of constant-shape substitutions. We provide examples for all three classes and examples for their corresponding S-adic systems. We finish studying the dynamical properties of the subshifts defined by these systems. We show that, in general, they are minimal under primitivity conditions, and that for some amenable ccc groups, they have zero entropy and are uniquely ergodic

Ce mémoire s'inscrit dans le contexte général des opérateurs aléatoires discrets unidimensionnels. Dans ce cadre (chapitre 1), nous dégageons des éléments remarquables du système dynamique conduisant à des opérateurs ayant le même spectre. D'autre part, les principales propriétés spectrales des des opérateurs de Schrödinger sont décrites. En particulier la densité intégrée d'états est explicitement donnée pour un opérateur à potentiel périodique. Dans le chapitre 2, nous introduisons à partir du 2-odomètre, un nouveau potentiel, dit odométrique, qui est limite périodique et de type Gordon. Une approximation de la mesure de Lebesgue du spectre de tous ces opérateurs est obtenue. Enfin le chapitre 3 est consacré à l'étude des propriétés spectrales d'une nouvelle famille d'opérateurs, les opérateurs creux, définis par Hp = Sp + S-p + V (où S désigne l'opérateur décalage sur l2(Z), p un entier non nul, et V un potentiel). Dans certains cas particuliers, nous montrons que la nature du spectre de presque tous ces opérateurs ne dépend pas de p. Nous donnons des applications lorsque le potentiel est périodique, aléatoire, puis substitutif.

Les architectures dynamiques orientées services ( D-SOA) se concentrent sur les interactions client-serveur à couplage faible, où les deux peuvent apparaître et disparaître à l'exécution. Notre objectif est de concevoir des systèmes de surveillance pour ces architectures. Comme les systèmes de surveillance classiques sont statiquement injectés dans les services surveillés, ils ne peuvent pas gérer correctement le cycle de vie des services d'exécution. En outre, quand un service est remplacé par un autre service, d'autres services peuvent toujours utiliser l'ancienne référence. Cette référence vers un service absent, lorsqu'elle est gardée en mémoire, peut induire des comportements non désirés. Cette thèse contribue à la conception d'un système de surveillance de l'utilisation des services, qui soit résistant à la dynamique de la plateforme et qui soit en mesure de faire face à l'utilisation des références obsolètes. Ce but est atteint en trois étapes. Tout d'abord, en considérant le caractère dynamique des systèmes SOA dans un environnement ouvert, nous concevons une approche de monitoring résistant au la dynamique de la plateforme. Nous identifions deux propriétés clés du système de surveillance à couplage faible: résilience à la dynamicité, c'est-à-dire qu'un moniteur d'interface et son état sont maintenus en mémoire et transférés à un nouveau service lors de la disparition d'un service utilisé, et exhaustivité, c'est-à-dire qu'un service surveillé ne peut pas contourner les observations du moniteur. Ensuite, pour éviter l'usage de références vers des services qui ne sont plus actifs, nous proposons un service de sécurité côté client (SSU Layer), qui permet de traiter ce problème de manière transparente. Si un service utilisé disparaît, la couche SSU peut soit substituer le service de manière transparente, soit lever une exception pour avertir explicitement le client. Cette couche SSU est basée sur une approche transactionnelle qui vise à préserver la cohérence des services actifs. Enfin, nous proposons d'intégrer les deux approches dans un nouveau système de surveillance (NewMS). Les NewMS hérite des principes des deux systèmes précédents: la résilience à la dynamicité, l'exhaustivité et la tolérance aux fautes. Il peut dynamiquement surveiller l'utilisation de services et traiter les références obsolètes de manière transparente. Ces trois propositions sont implémentées dans la plateforme OSGi. Nous avons développé une application simple qui simule un système de réservation de place, qui est monitoré par notre systèmes. Nous avons également proposé différentes spécifications pour ce système. Nos résultats démontrent que le coût d'observation de notre moniteur est proche du coût d'un monitor classique, ne prenant pas en compte les problématiques liées à la dynamique.