• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 12
  • 10
  • Tagged with
  • 19
  • 11
  • 7
  • 6
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Internal wave attractors : from geometrical focusing to non-linear energy cascade and mixing / Attracteurs d’ondes internes : de la focalisation géométrique à la cascade d’énergie non-linéaire et au mélange

Brouzet, Christophe 01 July 2016 (has links)
La cascade d’énergie qui a lieu dans les océans, depuis les grandes vers les petites échelles, est capitale pour comprendre leur dynamique et le mélange irréversible associé. Les attracteurs d’ondes internes font partie des mécanismes conduisant potentiellement à une telle cascade. Dans ce manuscrit, nous étudions expérimentalement les attracteurs d’ondes internes, dans une cuve trapézoïdale remplie d’un fluide stratifié linéairement en densité. Dans cette géométrie, les ondes peuvent être focalisées vers un cycle limite : l’attracteur. Nous montrons que la formation de l’attracteur est purement linéaire : des petites échelles sont donc créées grâce à la focalisation des ondes. Les principales caractéristiques de l’attracteur dépendent uniquement de la géométrie trapézoïdale de la cuve. A l’échelle de l’océan, nous montrons que les attracteurs d’ondes internes sont très probablement instables. En effet, ceux-ci sont sujets à une instabilité de résonance triadique, qui transfère de l’énergie depuis l’attracteur vers un couple d’ondes secondaires. Cette instabilité et ses principales caractéristiques sont décrites en fonction de la géométrie du bassin. Pour des expériences de longue durée, l’instabilité produit plusieurs paires d’ondes secondaires, créant une cascade d’instabilités triadiques et transférant l’énergie injectée à grandes échelles vers des échelles plus petites. Nous montrons, pour la première fois de façon expérimentale, de très fortes signatures de turbulence d’ondes internes. Au delà de cet état, la cascade atteint un régime de mélange partiel du fluide stratifié. Cet ultime régime apparait indépendant de la géométrie trapézoïdale du bassin, et donc, universel. Cette thèse est complétée par une étude sur la masse ajoutée et l’amortissement par émission d’ondes d’objets oscillant horizontalement dans un fluide stratifié en densité. Cela a des applications concernant la conversion de l’énergie des marées en ondes internes. / A question of paramount importance in the dynamics of oceans is related to the energy cascade from large to small scales and its contribution to mixing. Internal wave attractors may be one of the possible mechanisms responsible for such a cascade. In this manuscript, we study experimentally internal wave attractors in a trapezoidal test tank filled with linearly stratified fluid. In such a geometry, the waves can form closed loops called attractors. We show that the attractor formation is purely linear: small scales are thus created by wave focusing. The attractor characteristics are found to only depend on the trapezoidal geometry of the tank. At the ocean scale, we show that attractors are very likely to be unstable. Indeed, internal wave attractors are prone to a triadic resonance instability, which transfers energy from the attractor to a pair of secondary waves. This instability and its main characteristics are described as a function of the geometry of the basin. For long-term experiments, the instability produces several pairs of secondary waves, creating a cascade of triadic interactions and transferring energy from large-scale monochromatic input to multi-scale internal-wave motion. We reveal, for the first time, experimental convincing signatures of internal wave turbulence. Beyond this cascade, we have a mixing regime, which appears to be independent of the trapezoidal geometry and, thus, universal. This manuscript is completed by a study on added mass and wave damping coefficient of bodies oscillating horizontally in a stratified fluid, with applications to tidal conversion.
12

Étude de modèles de champ de phase de type Caginalp / Study of Caginalp type phase-field models

Doumbé Bangola, Brice Landry 03 May 2013 (has links)
Ce rapport de thèse est consacré à l'étude de modèles de champ de phase de type Caginalp. Nous considérons ici, deux modèles : le premier étant une généralisation du modèle de champ de phase de Caginalp basée sur une généralisation de la loi de Maxwell-Cattaneo et le second une généralisation provenant de la théorie de la conduction de chaleur introduite par Chen et Gurtin. L'étude du premier modèle est faite aussi bien dans un domaine borné (avec un potentiel régulier puis dans le cas d'un potentiel non régulier), que dans un domaine non borné, en l'occurrence R3. Le second modèle est un problème de champ de phase avec un couplage (linéaire et non linéaire). Tout d'abord, l'existence, l'unicité et la régularité des solutions sont analysées aux moyens d'arguments classiques. Ensuite, l'existence d'ensembles bornés absorbants et compacts attractifs est établie, assurant ainsi l'existence de l'attracteur global. Enfin, dans certains cas, l'existence d'attracteurs exponentiels, ainsi que le comportement spatial des solutions lorsque le domaine spatial est un cylindre semi-infini tri-dimensionnel, sont analysés. / This thesis report is dedicated to the study of Caginalp type phase-field Models. Here, we consider two models: the first one being a generalization of the field phase Caginalp based on a generalization of the Maxwell-Cattaneo law and the second one coming from the theory of heat conduction involving two temperatures. We study the first model in bounded (with regular and irregular potentials) and unbounded (i.e. R3) domains. The second model is a phase-field one with coupling term (linear and nonlinear). Firstly, the existence, uniqueness and regularity of solutions are analyzed by means of classical arguments. Secondly, the existence of bounded absorbing sets and attractive compact is established. Such results ensures the existence of the global attractor. Finally, in some cases, the existence of exponential attractors, as well as the spatial behavior of solutions when the spatial domain is a three-dimensional semi-infinite cylinder, are analyzed.
13

Étude asymptotique de modèles en transition de phase / Asymptotic study of phase transition models

Wehbe, Charbel 05 December 2014 (has links)
Ce rapport de thèse est consacré à l'étude de modèles de champ de phase de type Caginalp. Nous considérons ici, deux parties : la première étant une généralisation du modèle de champ de phase de Caginalp basée sur la loi de Maxwell-Cattaneo et la seconde traite le même modèle dans sa version conservative. L'étude dans les deux parties est faite dans un domaine borné. De plus, dans la première partie on distingue les cas de conditions aux bords de type Dirichlet ainsi que Neumann, tandis que dans la deuxième partie le modèle est étudié uniquement avec les conditions Dirichlet (avec un potentiel régulier puis un potentiel singulier). Tout d'abord, l'existence, l'unicité, et la régularité des solutions sont analysées aux moyens d'arguments classiques. Ensuite, l'existence d'ensembles bornés absorbants est établie. Enfin, dans certains cas, l'existence de l'attracteur global et d'attracteurs exponentiels sont analysés. / This thesis report is devoted to the study of Caginalp type phase-field Models. Here, we consider two parts : the first is a generalization of the Caginalp type phase-field model based on a generalization of the Maxwell-Cattaneo law and the second with the same model in its conservative version. The study in the two parts is made in a bounded domain. In addition, in the first part we distinguish cases of boundary conditions of Dirichlet and Neumann, while in the second part the model is studied only with Dirichlet conditions (with a regular potential and a singular potential). First, the existence, uniqueness, and regularity of solutions are analyzed by means of classical arguments. Then, the existence of bounded absorbing sets is established. Finally, in some cases, the existence of the global attractor and exponential attractors are analyzed.
14

Modélisation qualitative des réseaux biologiques pour l'innovation thérapeutique / Qualitative modeling of biological networks for therapeutic innovation

Poret, Arnaud 01 July 2015 (has links)
Cette thèse est consacrée à la modélisation qualitative des réseaux biologiques pour l'innovation thérapeutique. Elle étudie comment utiliser les réseaux Booléens, et comment les améliorer, afin d'identifier des cibles thérapeutiques au moyen d'approches in silico. Elle se compose de deux travaux : i) un algorithme exploitant les attracteurs des réseaux Booléens pour l'identification in silico de cibles dans des modèles Booléens de réseaux biologiques pathologiquement perturbés, et ii) une amélioration des réseaux Booléens dans leur capacité à modéliser la dynamique des réseaux biologiques grâce à l'utilisation des opérateurs de la logique floue et grâce au réglage des arrêtes. L'identification de cibles constitue l'une des étapes de la découverte de nouveaux médicaments et a pour but d'identifier des biomolécules dont la fonction devrait être thérapeutiquement modifiée afin de lutter contre la pathologie considérée. Le premier travail de cette thèse propose un algorithme pour l'identification in silico de cibles par l'exploitation des attracteurs des réseaux Booléens. Il suppose que les attracteurs des systèmes dynamiques, tel que les réseaux Booléens, correspondent aux phénotypes produits par le système biologique modélisé. Sous cette hypothèse, et étant donné un réseau Booléen modélisant une physiopathologie, l'algorithme identifie des combinaisons de cibles capables de supprimer les attracteurs associés aux phénotypes pathologiques. L'algorithme est testé sur un modèle Booléen du cycle cellulaire arborant une inactivation constitutive de la protéine du rétinoblastome, tel que constaté dans de nombreux cancers, tandis que ses applications sont illustrées sur un modèle Booléen de l'anémie de Fanconi. Les résultats montrent que l'algorithme est à même de retourner des combinaisons de cibles capables de supprimer les attracteurs associés aux phénotypes pathologiques, et donc qu'il réussit l'identification in silico de cibles proposée. En revanche, comme tout résultat in silico, il y a un pont à franchir entre théorie et pratique, requérant ainsi une utilisation conjointe d'approches expérimentales. Toutefois, il est escompté que l'algorithme présente un intérêt pour l'identification de cibles, notamment par l'exploitation du faible coût des approches computationnelles, ainsi que de leur pouvoir prédictif, afin d'optimiser l'efficience d'expérimentations coûteuses. La modélisation quantitative en biologie systémique peut s'avérer difficile en raison de la rareté des détails quantitatifs concernant les phénomènes biologiques, particulièrement à l'échelle subcellulaire, l'échelle où les médicaments interagissent avec leurs cibles. Une alternative permettant de contourner cette difficulté est la modélisation qualitative étant donné que celle-ci ne requiert que peu ou pas d'informations quantitatives. Parmi les méthodes de modélisation qualitative, les réseaux Booléens en sont l'une des plus populaires. Cependant, les modèles Booléens autorisent leurs variables à n'être évaluées qu'à vrai ou faux, ce qui peut apparaître trop simpliste lorsque des processus biologiques sont modélisés. En conséquence, le second travail de cette thèse propose une méthode de modélisation dérivée des réseaux Booléens où les opérateurs de la logique floue sont utilisés et où les arrêtes peuvent être réglées. Les opérateurs de la logique floue permettent aux variables d'être continues, et ainsi d'être plus finement évaluées qu'avec des méthodes de modélisation discrètes tel que les réseaux Booléens, tout en demeurant qualitatives. De plus, dans le but de considérer le fait que certaines interactions peuvent être plus lentes et/ou plus faibles que d'autres, l'état des arrêtes est calculé afin de moduler en vitesse et en force le signal qu'elles véhiculent. La méthode proposée est illustrée par son implémentation sur un petit échantillon de la signalisation du récepteur au facteur de croissance épidermique... [etc] / This thesis is devoted to the qualitative modeling of biological networks for therapeutic innovation. It investigates how to use the Boolean network formalism, and how to enhance it, for identifying therapeutic targets through in silico approaches. It is composed of two works: i) an algorithm using Boolean network attractors for in silico target identification in Boolean models of pathologically disturbed biological networks, and ii) an enhancement of the Boolean network formalism in modeling the dynamics of biological networks through the incorporation of fuzzy operators and edge tuning. Target identification, one of the steps of drug discovery, aims at identifying biomolecules whose function should be therapeutically altered in order to cure the considered pathology. The first work of this thesis proposes an algorithm for in silico target identification using Boolean network attractors. It assumes that attractors of dynamical systems, such as Boolean networks, correspond to phenotypes produced by the modeled biological system. Under this assumption, and given a Boolean network modeling a pathophysiology, the algorithm identifies target combinations able to remove attractors associated with pathological phenotypes. It is tested on a Boolean model of the mammalian cell cycle bearing a constitutive inactivation of the retinoblastoma protein, as seen in cancers, and its applications are illustrated on a Boolean model of Fanconi anemia. The results show that the algorithm returns target combinations able to remove attractors associated with pathological phenotypes and then succeeds in performing the proposed in silico target identification. However, as with any in silico evidence, there is a bridge to cross between theory and practice, thus requiring it to be used in combination with wet lab experiments. Nevertheless, it is expected that the algorithm is of interest for target identification, notably by exploiting the inexpensiveness and predictive power of computational approaches to optimize the efficiency of costly wet lab experiments. Quantitative modeling in systems biology can be difficult due to the scarcity of quantitative details about biological phenomenons, especially at the subcellular scale, the scale where drugs interact with there targets. An alternative to escape this difficulty is qualitative modeling since it requires few to no quantitative information. Among the qualitative modeling approaches, the Boolean network formalism is one of the most popular. However, Boolean models allow variables to be valued at only true or false, which can appear too simplistic when modeling biological processes. Consequently, the second work of this thesis proposes a modeling approach derived from Boolean networks where fuzzy operators are used and where edges are tuned. Fuzzy operators allow variables to be continuous and then to be more finely valued than with discrete modeling approaches, such as Boolean networks, while remaining qualitative. Moreover, to consider that some interactions are slower and/or weaker relative to other ones, edge states are computed in order to modulate in speed and strength the signal they convey. The proposed formalism is illustrated through its implementation on a tiny sample of the epidermal growth factor receptor signaling pathway. The obtained simulations show that continuous results are produced, thus allowing finer analysis, and that modulating the signal conveyed by the edges allows their tuning according to knowledge about the modeled interactions, thus incorporating more knowledge. The proposed modeling approach is expected to bring enhancements in the ability of qualitative models to simulate the dynamics of biological networks while not requiring quantitative information. The main prospect of this thesis is to use the proposed enhancement of Boolean networks to build a version of the algorithm based on continuous dynamical systems...[etc]
15

Attracteurs d’ondes internes de gravité : des résonances en cascade : une approche expérimentale des régimes linéaire et non linéaire / Internal gravity waves attractors : from linear resonance to wave turbulence

Davis, Géraldine 01 October 2019 (has links)
Les ondes internes jouent un rôle essentiel dans la dynamique de l'atmosphère et de l'océan. Elles sont entres autres invoquées pour expliquer le mélange irréversible de ce dernier. Dans des géométries particulières, ces ondes sont susceptibles de converger vers des trajectoires limites appelées attracteurs. Dans cette thèse, nous étudions expérimentalement ces attracteurs dans une cuve trapézoïdale. Dans un premier temps, nous nous intéressons à leur bilan énergétique, en mesurant les différentes dissipations ainsi que la puissance injectée par le générateur d'onde. Si cette puissance est suffisante, l'attracteur est susceptible de se déstabiliser par interactions triadiques. Nous quantifions la part de dissipation portée par ces ondes secondaires ainsi générées. La mesure de la puissance injectée en régime linéaire a montré qu'elle est plus importante pour les attracteurs. Cette résonance, observée jusqu'ici sous une excitation monochromatique, est ici observée en étudiant la réponse du système à une impulsion. Un développement théorique est proposé et permet de comparer quantitativement les deux méthodes. Enfin, nous étudions le régime non linéaire des attracteurs, qui présente des spectres temporel et spatial très riches. Après avoir caractérisé le régime non linéaire, nous exhibons deux comportements non linéaires très différents et apportons des pistes d'explication à leur existence / Internal waves are very important to atmospheric and oceanic dynamics. Among others, they might explain the irreversible mixing of the oceans. In particular geometries, these waves can focus on limit cycles called attractors. Firstly, we investigate the energy budget of these attractor by measuring the different dissipative terms and the injected power coming from the waves source. If this power is sufficient, the attractor destibilise throught triadic instabilities. We quantify how much these secondary are important to the global dissipation rate.The measurement of injected power in the linear regime has shown that it is bigger for the attractors. This resonance, which had been observed under a monochromatic excitation, is here study by analysing the response of the system to an impulse. A theoretical development is proposed to compare quantitatively these two methods. Finally, we study the non linear regime of attractors, which present some complex spatial and temporal spectrum. We caracterise this non linear regime and show that two very different non linear beahviors exist. We bring up some explanation to these behaviors
16

Analyse mathématique et numérique de plusieurs problèmes non linéaires / Mathematical and numerical analysis of some nonlinear problems

Peng, Shuiran 07 December 2018 (has links)
Cette thèse est consacrée à l’étude théorique et numérique de plusieurs équations aux dérivées partielles non linéaires qui apparaissent dans la modélisation de la séparation de phase et des micro-systèmes électro-mécaniques (MSEM). Dans la première partie, nous étudions des modèles d’ordre élevé en séparation de phase pour lesquels nous obtenons le caractère bien posé et la dissipativité, ainsi que l’existence de l’attracteur global et, dans certains cas, des simulations numériques. De manière plus précise, nous considérons dans cette première partie des modèles de type Allen-Cahn et Cahn-Hilliard d’ordre élevé avec un potentiel régulier et des modèles de type Allen-Cahn d’ordre élevé avec un potentiel logarithmique. En outre, nous étudions des modèles anisotropes d’ordre élevé et des généralisations d’ordre élevé de l’équation de Cahn-Hilliard avec des applications en biologie, traitement d’images, etc. Nous étudions également la relaxation hyperbolique d’équations de Cahn-Hilliard anisotropes d’ordre élevé. Dans la seconde partie, nous proposons des schémas semi-discrets semi-implicites et implicites et totalement discrétisés afin de résoudre l’équation aux dérivées partielles non linéaire décrivant à la fois les effets élastiques et électrostatiques de condensateurs MSEM. Nous faisons une analyse théorique de ces schémas et de la convergence sous certaines conditions. De plus, plusieurs simulations numériques illustrent et appuient les résultats théoriques. / This thesis is devoted to the theoretical and numerical study of several nonlinear partial differential equations, which occur in the mathematical modeling of phase separation and micro-electromechanical system (MEMS). In the first part, we study higher-order phase separation models for which we obtain well-posedness and dissipativity results, together with the existence of global attractors and, in certain cases, numerical simulations. More precisely, we consider in this first part higher-order Allen-Cahn and Cahn-Hilliard equations with a regular potential and higher-order Allen-Cahn equation with a logarithmic potential. Moreover, we study higher-order anisotropic models and higher-order generalized Cahn-Hilliard equations, which have applications in biology, image processing, etc. We also consider the hyperbolic relaxation of higher-order anisotropic Cahn-Hilliard equations. In the second part, we develop semi-implicit and implicit semi-discrete, as well as fully discrete, schemes for solving the nonlinear partial differential equation, which describes both the elastic and electrostatic effects in an idealized MEMS capacitor. We analyze theoretically the stability of these schemes and the convergence under certain assumptions. Furthermore, several numerical simulations illustrate and support the theoretical results.
17

Détection de nouveauté pour le monitoring vibratoire des structures de génie civil : Approches chaotique et statistique de l'extraction d'indicateurs

Clément, Antoine 21 November 2011 (has links) (PDF)
Le suivi vibratoire de l'état des ouvrages de génie civil vise à anticiper une défaillance structurale par la détection précoce d'endommagement. Dans ce contexte, la détection de nouveauté constitue une approche particulièrement adaptée à l'analyse des signaux compte tenu des difficultés à modéliser une structure unique et soumise à de nombreux facteurs extérieurs influant sur la dynamique vibratoire. Une telle approche présente un double intérêt consistant à éviter de formuler des hypothèses a priori sur le comportement dynamique et à intégrer tous les facteurs de variabilité. Ce travail de thèse poursuit ainsi deux objectifs. Le premier objectif consiste à observer dans quelle mesure la détection de nouveauté parvient à détecter un endommagement dans un contexte fortement perturbé par des variations environnementales d'une part, et par une excitation de nature impulsionnelle, d'autre part. Le deuxième objectif est de proposer et d'étudier un nouvel indicateur vectoriel, désigné par JFV (pour Jacobian Feature Vector). Le calcul du JFV s'appuie sur la reconstruction de la trajectoire du système dynamique observé dans son espace des phases. Cette approche exploite les développements scientifiques récents réalisés en théorie des systèmes dynamiques non linéaires, parfois qualifiée de théorie du chaos. Le JFV est comparé aux coefficients de modèles auto-régressifs (AR), couramment utilisés en analyse des séries temporelles. Pour réaliser ce travail de thèse, plusieurs cas d'études expérimentaux sont utilisés dont notamment une maquette de structure en bois sur laquelle l'excitation est contrôlée et des variations environnementales sévères sont imposées. \indent Les indicateurs AR et JFV sont extraits des signaux vibratoires relatifs aux différents cas d'études et normalisés par le biais du concept de distance de Mahalanobis. Les résultats expérimentaux montrent que, pour les deux indicateurs vectoriels, la détection de l'endommagement est favorisée par une sollicitation comportant une composante de bruit. Une excitation purement instationnaire, constituée de séquences aléatoires d'impulsions, dégrade de façon significative les performances de détection. Les variations environnementales génèrent une forte variabilité des indicateurs, rendant difficile l'ajustement d'un modèle statistique robuste dédié à la discrimination des dégradations. Seuls les niveaux d'endommagement extrêmes sont repérés dans la configuration d'essai la plus pénalisante. L'analyse comparée des coefficients AR et du JFV met en évidence une dispersion beaucoup plus grande des composantes de ce dernier, conduisant à une sensibilité plus faible. Une étude paramétrique montre cependant que la sensibilité du JFV peut être améliorée par une optimisation des méthodes de sélection des paramètres de reconstruction de l'espace des phases. Face aux performances limitées des indicateurs AR et JFV dans certains cas très défavorables, un autre indicateur est proposé, basé sur la corrélation croisée des informations portées par une paire de capteurs. Cet indicateur présente une performance intéressante sur un cas d'étude complexe combinant variations environnementales fortes et sollicitation purement instationnaire. Une discussion est également proposée sur la façon de répartir les mesures de référence dans les différentes bases de données nécessaires à l'application de la démarche de détection de nouveauté. Enfin, différentes approches de modélisation statistique des indicateurs normalisés sont mises en oeuvre dans le but de comparer leurs aptitudes respectives à la définition d'un seuil de classification robuste.
18

Towards fast and certified multiple-precision librairies / Vers des bibliothèques multi-précision certifiées et performantes

Popescu, Valentina 06 July 2017 (has links)
De nombreux problèmes de calcul numérique demandent parfois à effectuer des calculs très précis. L'étude desystèmes dynamiques chaotiques fournit des exemples très connus: la stabilité du système solaire ou l’itération à longterme de l'attracteur de Lorenz qui constitue un des premiers modèles de prédiction de l'évolution météorologique. Ons'intéresse aussi aux problèmes d'optimisation semi-définie positive mal-posés qui apparaissent dans la chimie oul'informatique quantique.Pour tenter de résoudre ces problèmes avec des ordinateurs, chaque opération arithmétique de base (addition,multiplication, division, racine carrée) demande une plus grande précision que celle offerte par les systèmes usuels(binary32 and binary64). Il existe des logiciels «multi-précision» qui permettent de manipuler des nombres avec unetrès grande précision, mais leur généralité (ils sont capables de manipuler des nombres de millions de chiffres) empêched’atteindre de hautes performances. L’objectif majeur de cette thèse a été de développer un nouveau logiciel à la foissuffisamment précis, rapide et sûr : on calcule avec quelques dizaines de chiffres (quelques centaines de bits) deprécision, sur des architectures hautement parallèles comme les processeurs graphiques et on démontre des bornesd'erreur afin d'être capables d’obtenir des résultats certains. / Many numerical problems require some very accurate computations. Examples can be found in the field ofdynamical systems, like the long-term stability of the solar system or the long-term iteration of the Lorenz attractor thatis one of the first models used for meteorological predictions. We are also interested in ill-posed semi-definite positiveoptimization problems that appear in quantum chemistry or quantum information.In order to tackle these problems using computers, every basic arithmetic operation (addition, multiplication,division, square root) requires more precision than the ones offered by common processors (binary32 and binary64).There exist multiple-precision libraries that allow the manipulation of very high precision numbers, but their generality(they are able to handle numbers with millions of digits) is quite a heavy alternative when high performance is needed.The major objective of this thesis was to design and develop a new arithmetic library that offers sufficient precision, isfast and also certified. We offer accuracy up to a few tens of digits (a few hundred bits) on both common CPU processorsand on highly parallel architectures, such as graphical cards (GPUs). We ensure the results obtained by providing thealgorithms with correctness and error bound proofs.
19

Mises à jour de réseaux d'automates / Updating Automata Networks

Noual, Mathilde 22 June 2012 (has links)
Cette thèse s'intéresse aux évènements et aux ordonnancements d'évènements se produisant au sein de réseaux d'éléments conceptuels prédéterminés. Dans ces réseaux, les éléments, appelés plutôt "automates", s'incitent les uns les autres à changer d'état en accord avec des règles prédéfinies qui, précisément, définissent le (fonctionnement du) réseau. Lorsqu'un automate se conforme effectivement aux influences qu'il reçoit de la part des autres, on dit que son état est mis à jour. Les évènements élémentaires considérés sont les changements d'états des automates. Définir un mode de mise à jour pour l'ensemble des automates d'un réseau permet de sélectionner certains évènements parmi l'ensemble de ceux qui sont a priori possibles. Cela permet aussi d'organiser et d'ordonner les évènements les uns par rapport aux autres de façon, par exemple, à imposer que des évènements indépendants se produisent simultanément ou simplement, de manière assez rapprochée pour qu'aucun autre événement ne puisse se produire pendant leur occurrence. Informellement, les modes de mise à jour peuvent donc être interprétés comme l'expression d'influences extérieures au réseau interdisant certains changements, ou alors comme la formalisation d'une version relâchée et relative de l'écoulement de temps. Cette thèse propose d'étudier leur influence sur le comportement des réseaux. Et afin de distinguer cette influence de celle de la structure des réseaux, elle commence par mettre en évidence le rôle de certains motifs structurels. Après ça, elle s'intéresse en particulier à l'information "encodée" dans une séquence de mises à jour et à l'impact du synchronisme dans celles-ci. / This thesis is concerned with the events and the organisation of events that take place within networks of abstract predetermined elements called "automata". In these networks, automata incite one another to switch states in agreement with predefined rules which, precisely, define the net-work. When an automaton effectively conforms to the influences it receives from others, its state is said to be updated. The elementary events that are considered here are thus automata state changes. To define an update mode for all the automata of a network allows to select some events among all those that are a priori possible. It also allows to organise and order the events relatively so as to impose, for example, that independent events occur simultaneously or so that simply, they happen close enough to disallow the occurrence of any other events in between. Informally, update modes can be interpreted as the expressions of influences incoming from outside the network, forbidding certain changes, or else, as the formalisation of a relaxed and relative version of time flow. This thesis proposes to study their influences on network behaviours. And to distinguish their influences from that of network structures, it starts by highlighting the role of certain structural motives. After that, it explores in particular the information that is "encoded" in a sequence of updates as well as the general impact of synchronism in updates.

Page generated in 0.0653 seconds