Dissertations / Theses: 'Model Synchronisation'

1

Vasilaki, Eleni. "A biologically inspired dynamic model for vision." Thesis, University of Sussex, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.288864.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Fischer, Jost Leonhardt. "Nichtlineare Kopplungsmechanismen akustischer Oszillatoren am Beispiel der Synchronisation von Orgelpfeifen." Phd thesis, Universität Potsdam, 2014. http://opus.kobv.de/ubp/volltexte/2014/7197/.

Full text

Abstract:

In dieser Arbeit werden nichtlineare Kopplungsmechanismen von akustischen Oszillatoren untersucht, die zu Synchronisation führen können. Aufbauend auf die Fragestellungen vorangegangener Arbeiten werden mit Hilfe theoretischer und experimenteller Studien sowie mit Hilfe numerischer Simulationen die Elemente der Tonentstehung in der Orgelpfeife und die Mechanismen der gegenseitigen Wechselwirkung von Orgelpfeifen identifiziert. Daraus wird erstmalig ein vollständig auf den aeroakustischen und fluiddynamischen Grundprinzipien basierendes nichtlinear gekoppeltes Modell selbst-erregter Oszillatoren für die Beschreibung des Verhaltens zweier wechselwirkender Orgelpfeifen entwickelt. Die durchgeführten Modellrechnungen werden mit den experimentellen Befunden verglichen. Es zeigt sich, dass die Tonentstehung und die Kopplungsmechanismen von Orgelpfeifen durch das entwickelte Oszillatormodell in weiten Teilen richtig beschrieben werden. Insbesondere kann damit die Ursache für den nichtlinearen Zusammenhang von Kopplungsstärke und Synchronisation des gekoppelten Zwei-Pfeifen Systems, welcher sich in einem nichtlinearen Verlauf der Arnoldzunge darstellt, geklärt werden. Mit den gewonnenen Erkenntnissen wird der Einfluss des Raumes auf die Tonentstehung bei Orgelpfeifen betrachtet. Dafür werden numerische Simulationen der Wechselwirkung einer Orgelpfeife mit verschiedenen Raumgeometrien, wie z. B. ebene, konvexe, konkave, und gezahnte Geometrien, exemplarisch untersucht. Auch der Einfluss von Schwellkästen auf die Tonentstehung und die Klangbildung der Orgelpfeife wird studiert. In weiteren, neuartigen Synchronisationsexperimenten mit identisch gestimmten Orgelpfeifen, sowie mit Mixturen wird die Synchronisation für verschiedene, horizontale und vertikale Pfeifenabstände in der Ebene der Schallabstrahlung, untersucht. Die dabei erstmalig beobachteten räumlich isotropen Unstetigkeiten im Schwingungsverhalten der gekoppelten Pfeifensysteme, deuten auf abstandsabhängige Wechsel zwischen gegen- und gleichphasigen Sychronisationsregimen hin. Abschließend wird die Möglichkeit dokumentiert, das Phänomen der Synchronisation zweier Orgelpfeifen durch numerische Simulationen, also der Behandlung der kompressiblen Navier-Stokes Gleichungen mit entsprechenden Rand- und Anfangsbedingungen, realitätsnah abzubilden. Auch dies stellt ein Novum dar.
In this work non-linear coupling mechanisms in acoustic oscillator systems are examined which can lead to synchronization phenomena. This mechanisms are investigated in particular on organ pipes. Building up on the questions of preceding works the elements of the sound generation are identified using detailed experimental and theoretical studies, as well as numerical simulations. Furthermore the organ pipes interaction mechanisms of the mutual coupling are developed. This leads to a non-linear coupled oscillator model which is developed on the aeroacoustical and fluiddynamical first principles. The carried out model calculations are compared to the experimental results from preceding works. It appears that the sound generation and the coupling mechanisms are properly described by the developed nonlinear coupled model of self-sustained oscillators. In particular the cause can be cleared with it for the non-linear edges of the Arnold tongue of the coupled two-pipe system. With the new knowledge the influence of various space geometries on the sound generation of organ pipes is investigated. With numerical simulations the interaction of an organ pipe and different space geometries, like plane, convex, concave, and ridged geometry is studied. Also the influence of so called swell boxes on the sound generation and the sound pattern of the organ pipe is studied. In further new synchronization experiments with precisely equally tuned pairs of organ pipes, as well as with mixtures the synchronization is examined for various grids of horizontal and vertical pipe distances in the 2D-plane of sound radiation. The spatial discontinuities observed in the oscillation behaviour of the coupled pipe systems, point to changes between anti-phase and in-phase regimes of sychronization depending on pipes distances. Finally the possibility is documented to describe the phenomenon of the synchronization of two organ pipes realisticaly by solving the compressible Navier-Stokes equations numerically.

APA, Harvard, Vancouver, ISO, and other styles

3

Liu, Yi. "Dynamics, Synchronization and Spin Squeezing in a Two-Spin Model." Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112216.

Full text

Abstract:

Cette thèse se concentre sur la dynamique d'un système atomique froid qui se composede deux états internes d'atomes piégés dans un potentiel magnétique . La motivation decette thèse est une série d'expériences sur ce système réalisées en 2010, où un grandtemps de cohérence surprenante entre les deux états internes ont été observés. Cephénomène a été expliqué par la théorie cinétique qui a utilisé une approche de champmoyen. Dans cette thèse, nous essayons d'utiliser une approche différente et étudier leseffets de corrélations quantiques dans la dynamique du système. De plus, nous sommeségalement intéressés au phénomène de compression de spin qui est la redistribution desfluctuations quantiques dans le système de spin. Afin d'étudier les effets des corrélationsquantiques, nous proposons un modèle simplifié qui divise les atomes froids en deuxgroupes en fonction de leurs énergies de mouvement orbital dans le potentiel de piégeageet traitons chaque groupe comme un macro-spin. Les principaux ingrédients de ce modèlesont l'inhomogénéité du champ externe qui déphase les deux macro-spins et l'interactiond'échange entre les deux macro-spins, qui imite l'effet de rotation des spins identiques(ISRE), avec la condition initiale que les deux spins sont parallèle dans le plan transversaldu champ externe. Ensuite, nous étudions la dynamique du système classique où ladynamique ne dépendent pas de la taille des spins et une transition de synchronisation esttrouvée lorsque l'interaction d'échange est plus grande que le seuil , la moitié de l'inhomogénéité du champ externe. Une analyse de l'espace de phase révèle que cettetransition de synchronisation est liée à une transition de bifurcation et de la conditioninitiale. Ensuite, la dynamique quantique est étudiée où la taille de spin joue un rôleimportant dans la dynamique. Il n'y a pas de transition de synchronisation dans lessystèmes quantiques et du comportement dynamique très riche est trouvée. Dans ladynamique quantique , plusieurs échelles de temps caractéristiques apparaissent commela taille de spin augmente, ce qui est d'origine quantique. Ces échelles de temps dépendde la taille de spin et tous deviennent infinies lorsque la taille de spin est infinie. De cettefaçon, la limite classique est récupéré. Basé sur l’intensité de l'interaction d'échange ,deux modèles effectifs sont proposés pour calculer les échelles du temps quantiques lesplus petites, ce qui coïncide bien avec les résultats numériques. La compression de spinest également étudié avec ces modèles effectifs
This thesis focuses on the dynamics of a cold atomic system which consists of two internalstates of atoms trapped in a magnetic trapping potential. The motivation of this thesis is aseries of experiments on such system carried out in 2010, where a surprising longcoherence time between the two internal states were observed. This phenomenon wasexplained by the kinetic theory which has used a mean-field approach. In this thesis, wetry to use a different approach and study the effects of quantum correlations in thedynamics of the system. In addition to that, we are also interested in the phenomenon ofspin squeezing which is the redistribution of quantum fluctuations in the spin system. Inorder to study the effects of the quantum correlations, we propose a simplified which splitsthe cold atoms into two groups based on their orbital movement energies in the trappingpotential and treat each group as a macro-spin. The main ingredients in this model are theinhomogeneity of the external field which dephases the two macro-spins and theexchange interaction between the two macro-spins, which mimics the identical spinrotation effect (ISRE), with the initial condition that the two spins lie parallel in thetransverse plane of the external field. Then we study the classical dynamics of the systemwhere the dynamics do not depend on the size of the spins and a synchronizationtransition is found when the exchange interaction is larger than the threshold, the half ofthe inhomogeneity of the external field. A phase space analysis reveals that thissynchronization transition is related to a bifurcation transition and the initial condition. Thenthe quantum dynamics is studied where the spin size plays an important role in thedynamics. There is no synchronization transition in the quantum systems and very richdynamical behavior is found. In the quantum dynamics, many characteristic time scalesemerge as the size of spin is increased, which are of quantum origin. These time scales isdependent of the spin size and all become infinite when the size of spin is infinite. In theway, the classical limit is recovered. Based on the strength of the exchange interaction,two effective models are proposed to calculate the smallest quantum characteristic timescales, which give very good agreement with the numerical results. Spin squeezing is alsostudied with these effective models

APA, Harvard, Vancouver, ISO, and other styles

4

Colombini, Giulio. "Synchronisation phenomena in complex neuronal networks." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23904/.

Full text

Abstract:

The phenomenon of neural synchronisation, a simultaneous and repeated firing of clusters of neurons, underlies many physiological functions and pathological manifestations in the brain of humans and animals, ranging from information encoding to epileptic seizures. Neural synchronisation, as a general phenomenon, can be approached theoretically in the framework of Dynamical Systems on Networks. In the present work, we do so by considering complex networks of FitzHugh-Nagumo model neurons. In the first part we consider the most understood models where each neuron treats its presynaptic neurons all on an equal footing, normalising signals with its in-degree. We study the stability of the synchronous state by devising an algorithm that destabilises it by selecting and removing links from the network, so to obtain a bipartite network. The selection is performed using a perturbative expression, which can be regarded as a specialisation of a previously introduced Spectral Centrality measure. The algorithm is tested on Erdős-Renyi, Watts-Strogatz and Barabási-Albert networks, and its behaviour is assessed from a dynamical and from a structural point of view. In the second part we consider the less studied case in which each neuron divides equally its output among the postsynaptic neurons, so to reproduce schematically the situation where a fixed quantity of neurotransmitter is subdivided between several efferent neurons. In this context a self-consistent approach is formulated and its limitations are explored. In order to extend its application to larger networks, a Mean Field Approximation is presented. The predictivity of the Mean Field Approach is then tested on the different random network models, and the results are discussed in terms of the original network properties.

APA, Harvard, Vancouver, ISO, and other styles

5

Loy, Jens-Peter, and Christoph Weiss. "Synchronisation in multi-product firms. Evidence from german grocery prices." Inst. für Volkswirtschaftstheorie und -politik, WU Vienna University of Economics and Business, 2003. http://epub.wu.ac.at/300/1/document.pdf.

Full text

Abstract:

Using a unique panel data set for German grocery prices we find significant price synchronization within food retail chains as well as within individual food stores (between products). Price synchronization between chains appears to be less pronounced. Common shocks can only explain some synchronization, indicating that strategic motives as well as menu costs are of significant importance. (author's abstract)
Series: Working Papers Series "Growth and Employment in Europe: Sustainability and Competitiveness"

APA, Harvard, Vancouver, ISO, and other styles

6

Mitchell, S. E. "TAO - a model for the integration of concurrency and synchronisation in object-oriented programming." Thesis, University of York, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.282275.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Weidlich, Matthias, Jan Mendling, and Mathias Weske. "Propagating Changes between Aligned Process Models." Elsevier, 2012. http://epub.wu.ac.at/3497/1/JSS12%2Dchange.pdf.

Full text

Abstract:

There is a wide variety of drivers for business process modelling initiatives, reaching from organisational redesign to the development of information systems. Consequently, a common business process is often captured in multiple models that overlap in content due to serving different purposes. Business process management aims at exible adaptation to changing business needs. Hence, changes of business processes occur frequently and have to be incorporated in the respective process models. Once a process model is changed, related process models have to be updated accordingly, despite the fact that those process models may only be loosely coupled. In this article, we introduce an approach that supports change propagation between related process models. Given a change in one process model, we leverage the behavioural abstraction of behavioural profiles for corresponding activities in order to determine a change region in another model. Our approach is able to cope with changes in pairs of models that are not related by hierarchical refinement and show behavioural inconsistencies. We evaluate the applicability of our approach with two real-world process model collections. To this end, we either deduce change operations from different model revisions or rely on synthetic change operations.

APA, Harvard, Vancouver, ISO, and other styles

8

Zhang, H. E. "The sustainability of European Monetary Union : evidence from business cycle synchronisation, monetary policy effectiveness and the Euro fiscal dividend." Thesis, University of Bradford, 2014. http://hdl.handle.net/10454/7319.

Full text

Abstract:

EMU as the only functioning single currency area has been criticised as a non-optimal currency area since the Treaty on European Union was signed. Despite this, it has been seen as, probably, the most complete economic project that has ever been conducted by any group of governments. Through Dynamic Factor model and Panel VAR method, we are focusing on the issues of business cycle synchronisation, effectiveness of ECB monetary policy and the euro fiscal dividend, thus to advances the current studies on EMU through assessing whether it can be a sustainable system. For example, whether economic fluctuations can be effectively managed by implementing a single ECB monetary policy and financial market can be relied upon as a monitoring and enforcing device to discipline fiscal behaviour of Eurozone countries. Overall, we concluded that EMU could be more sustainable if it was just formed by its core members, leaving the periphery outside the single currency area. However, since the EU has recently conducted many rescue measures to save the Eurozone, we are unlikely to see those troubled countries to quit EMU, at least, at the present time. The sustainability of the current EMU can be improved if more intra-trade can be promoted to enhance business cycle convergence; hence, it will be more likely to have a union-wide appropriate monetary policy. This will also reduce the requirement of depending upon using fiscal measures to compensate the loss of monetary sovereignty. Moreover, fiscal activities can also be better monitored/enforced since the financial market has begun to adequately adjust the long-term interest rates on Eurozone government bonds according to the development in those countries fiscal stance.

APA, Harvard, Vancouver, ISO, and other styles

9

Giese, Holger, and Stephan Hildebrandt. "Efficient model synchronization of large-scale models." Universität Potsdam, 2009. http://opus.kobv.de/ubp/volltexte/2009/2928/.

Full text

Abstract:

Model-driven software development requires techniques to consistently propagate modiﬁcations between different related models to realize its full potential. For large-scale models, efﬁciency is essential in this respect. In this paper, we present an improved model synchronization algorithm based on triple graph grammars that is highly efﬁcient and, therefore, can also synchronize large-scale models sufﬁciently fast. We can show, that the overall algorithm has optimal complexity if it is dominating the rule matching and further present extensive measurements that show the efﬁciency of the presented model transformation and synchronization technique.
Die Model-getriebene Softwareentwicklung benötigt Techniken zur Übertragung von Änderungen zwischen verschiedenen zusammenhängenden Modellen, um vollständig nutzbar zu sein. Bei großen Modellen spielt hier die Effizienz eine entscheidende Rolle. In diesem Bericht stellen wir einen verbesserten Modellsynchronisationsalgorithmus vor, der auf Tripel-Graph-Grammatiken basiert. Dieser arbeitet sehr effizient und kann auch sehr große Modelle schnell synchronisieren. Wir können zeigen, dass der Gesamtalgortihmus eine optimale Komplexität aufweist, sofern er die Ausführung dominiert. Die Effizient des Algorithmus' wird durch einige Benchmarkergebnisse belegt.

APA, Harvard, Vancouver, ISO, and other styles

10

Legendre, Anthony. "Ingénierie système et Sûreté de fonctionnement : Méthodologie de synchronisation des modèles d'architecture et d'analyse de risques." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLC083/document.

Full text

Abstract:

L'organisation classique en silos disciplinaires des industries atteint ses limites pour maîtriser la complexité. Les problèmes sont découverts trop tard et le manque de communication entre les experts empêche l'émergence précoce de solutions. C'est pourquoi, il est urgent de fournir de nouvelles approches collaboratives et des moyens d' interactions entre les disciplines d'ingénierie, au début et tout au long du cycle de développement. Dans ce contexte, nous avons étudié l'approche synchronisation de modèles entre deux domaines d'ingénierie : la conception d'architecture de systèmes et la sûreté de fonctionnement. Elle a pour but de construire et maintenir la cohérence entre les modèles.Ces travaux proposent, étudient et analysent une démarche collaborative de synchronisation de modèles. Ils tiennent compte des contextes d’études, des processus, des méthodes appliqués et des points de vue produits par les ingénieurs. Les contributions répondent à des problématiques au niveau des pratiques, des concepts, de la mise en œuvre, des applications et l’implémentation de la synchronisation de modèles
Classical organization in disciplinary silos in the industry reaches its limits to manage and control complexity. Problems are discovered too late and the lack of communication between experts prevents the early emergence of solutions. This is why it is urgent to provide new collaborative approaches and ways to exchange the models contents between various engineering fields, early and all along the development cycle. In this context, we are particularly interested in a synchronization approach of models between two engineering fields: system architecture design and dependability analysis.This work proposes a collaborative approach of synchronization of models. It takes into account the study contexts, applied processes, applied methods and viewpoint produced by engineers. Contributions address issues at levels of practices, concepts, implementation, applications and implementation of model synchronization

APA, Harvard, Vancouver, ISO, and other styles

11

Figueiredo, Almeida Sofia José. "Synchronisation d'oscillateurs biologiques : modélisation, analyse et couplage du cycle cellulaire et de l’horloge circadienne." Thesis, Université Côte d'Azur (ComUE), 2018. http://www.theses.fr/2018AZUR4239/document.

Full text

Abstract:

Le cycle de division cellulaire et l'horloge circadienne sont deux processus fondamentaux de la régulation cellulaire qui génèrent une expression rythmique des gènes et des protéines. Dans les cellules mammifères, les mécanismes qui sous-tendent les interactions entre le cycle cellulaire et l'horloge restent très mal connus. Dans cette thèse, nous étudions ces deux oscillateurs biologiques, à la fois individuellement et en tant que système couplé, pour comprendre et reproduire leurs principales propriétés dynamiques, détecter les composants essentiels du cycle cellulaire et de l'horloge, et identifier les mécanismes de couplage. Chaque oscillateur biologique est modélisé par un système d'équations différentielles ordinaires non linéaires et ses paramètres sont calibrés par rapport à des données expérimentales: le modèle du cycle cellulaire se base sur les modifications post-traductionnelles du complexe Cdk1-CycB et mène à un oscillateur de relaxation dont la dynamique et la période sont contrôlés par les facteurs de croissance; le modèle de l'horloge circadienne reproduit l'oscillation antiphasique BMAL1/PER:CRY et l'adaptation de la durée des états d'activation et répression par rapport à deux signaux d’entrée hormonaux déphasés. Pour analyser les interactions entre les deux oscillateurs nous étudions la synchronisation des deux rythmes pour des régimes de couplage uni- ou bi-directionnels. Les simulations numériques reproduisent les ratios entre les périodes de l'horloge et du cycle cellulaire, tels que 1:1, 3:2 et 5:4. Notre étude suggère des mécanismes pour le ralentissement du cycle cellulaire avec des implications pour la conception de nouvelles chronothérapies
The cell division cycle and the circadian clock are two fundamental processes of cellular control that generate cyclic patterns of gene activation and protein expression, which tend to be synchronous in healthy cells. In mammalian cells, the mechanisms that govern the interactions between cell cycle and clock are still not well identified. In this thesis we analyze these two biological oscillators, both separately and as a coupled system, to understand and reproduce their main dynamical properties, uncover essential cell cycle and clock components, and identify coupling mechanisms. Each biological oscillator is first modeled by a system of non-linear ordinary differential equations and its parameters calibrated against experimental data: the cell cycle model is based on post-translational modifications of the mitosis promoting factor and results in a relaxation oscillator whose dynamics and period are controlled by growth factor; the circadian clock model is transcription-based, recovers antiphasic BMAL1/PER:CRY oscillation and relates clock phases to metabolic states. This model shows how the relative duration of activating and repressing molecular clock states is adjusted in response to two out-of-phase hormonal inputs. Finally, we explore the interactions between the two oscillators by investigating the control of synchronization under uni- or bi-directional coupling schemes. Simulations of experimental protocols replicate the oscillators’ period-lock response and recover observed clock to cell cycle period ratios such as 1:1, 3:2 and 5:4. Our analysis suggests mechanisms for slowing down the cell cycle with implications for the design of new chronotherapies

APA, Harvard, Vancouver, ISO, and other styles

12

Werner, Christopher, Hendrik Schön, Thomas Kühn, Sebastian Götz, and Uwe Aßmann. "Role-based Runtime Model Synchronization." IEEE, 2018. https://tud.qucosa.de/id/qucosa%3A75310.

Full text

Abstract:

Model-driven Software Development (MDSD) promotes the use of multiple related models to realize a software system systematically. These models usually contain redundant information but are independently edited. This easily leads to inconsistencies among them. To ensure consistency among multiple models, model synchronizations have to be employed, e.g., by means of model transformations, trace links, or triple graph grammars. Model synchronization poses three main problems for MDSD. First, classical model synchronization approaches have to be manually triggered to perform the synchronization. However, to support the consistent evolution of multiple models, it is necessary to immediately and continuously update all of them. Second, synchronization rules are specified at design time and, in classic approaches, cannot be extended at runtime, which is necessary if metamodels evolve at runtime. Finally, most classical synchronization approaches focus on bilateral model synchronization, i.e., the synchronization between two models. Consequently, for more than two models, they require the definition of pairwise model synchronizations leading to a combinatorial explosion of synchronization rules. To remedy these issues, we propose a role-based approach for runtime model synchronization. In particular, we propose role-based synchronization rules that enable the immediate and continuous propagation of changes to multiple interrelated models (and back again). Additionally, our approach permits adding new and customized synchronization rules at runtime. We illustrate the benefits of role-based runtime model synchronization using the Families to Persons case study from the Transformation Tool Contest 2017.

APA, Harvard, Vancouver, ISO, and other styles

13

Giese, Holger, Stephan Hildebrandt, Stefan Neumann, and Sebastian Wätzoldt. "Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars." Universität Potsdam, 2012. http://opus.kobv.de/ubp/volltexte/2012/6018/.

Full text

Abstract:

During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this report, we present in an extended version of [Holger Giese, Stefan Neumann, and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, and B. Westfechtel, editors, Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555–579. Springer Berlin / Heidelberg, 2010.] how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner. In the appendix as extension to [19] the meta-models and all TGG rules for the SysML to AUTOSAR model synchronization are documented.
Bei der Entwicklung komplexer technischer Systeme werden verschiedene Modellierungssprachen verwendet. Zum Beispiel werden bei der Entwicklung von Systemen in der Automobilindustrie bereits früh im Entwicklungsprozess Systemmodelle verwendet, um die Anforderungen und die grobe Struktur des Gesamtsystems darzustellen. Später werden Softwaremodelle verwendet, um die konkrete Softwarearchitektur zu modellieren. Jedes Modell stellt spezifische Entwurfsaspekte mit Hilfe passender Notationen auf einem angemessenen Abstraktionsniveau dar. Wenn jedoch vom Systementwurf zum Softwareentwurf übergegangen wird, müssen die Entwicklungsingenieure sicherstellen, dass alle Entwurfsentscheidungen, die im Systemmodell enthalten sind, korrekt auf das Softwaremodell übertragen werden. Sobald danach auch noch Änderungen auftreten, muss die Konsistenz zwischen den Modellen in einem aufwändigen manuellen Schritt wiederhergestellt werden. In diesem Bericht zeigen wir, wie Modellsynchronisation und Konsistenzregeln zur Automatisierung dieses Arbeitsschrittes verwendet und die Konsistenz zwischen den Modellen sichergestellt werden können. Außerdem stellen wir einen allgemeinen Ansatz zur Modellsynchronisation vor. Neben der reinen Synchronisation umfasst unsere Lösung weiterhin Tool-Adapter, sowie Konsistenzregeln, die sowohl die Teile der Modelle abdecken, die synchronisiert werden können, als auch die restlichen Teile. Der Modellsynchronisationsalgorithmus basiert auf Tripel-Graph-Grammatiken und wird im Detail erläutert. An Hand einer konkreten Transformation zwischen SysML- und AUTOSAR-Modellen, die im Rahmen eines Industrieprojektes entwickelt wurde, wird der Ansatz demonstriert. Im Anhang des Berichts sind alle TGG-Regeln für die SysML-zu-AUTOSAR-Transformation dokumentiert.

APA, Harvard, Vancouver, ISO, and other styles

14

Hebig, Regina, and Holger Giese. "MDE settings in SAP : a descriptive field study." Universität Potsdam, 2012. http://opus.kobv.de/ubp/volltexte/2012/6019/.

Full text

Abstract:

MDE techniques are more and more used in praxis. However, there is currently a lack of detailed reports about how different MDE techniques are integrated into the development and combined with each other. To learn more about such MDE settings, we performed a descriptive and exploratory field study with SAP, which is a worldwide operating company with around 50.000 employees and builds enterprise software applications. This technical report describes insights we got during this study. For example, we identified that MDE settings are subject to evolution. Finally, this report outlines directions for future research to provide practical advises for the application of MDE settings.
Techniken der modellgetriebenen Entwicklung (MDE) werden mehr und mehr in der Praxis eingesetzt. Dabei gibt es wenige detaillierte Berichte darüber wie unterschiedliche MDE-Techniken kombiniert und in die Entwicklung integriert werden. Die vorliegende beschreibende Feldstudie dient dem Zweck, in SAP genutzte MDE-Ansätze detailliert zu beschreiben. SAP ist ein weltweit operierendes Unternehmen, hat ca. 50 000 Mitarbeiter und stellt Softwarelösungen für Firmen her. Der vorliegende technische Bericht beschreibt die Einblicke die wir in dieser Studie erhalten haben. Dazu gehört die Einsicht, dass MDE Ansätze einer Evolution unterliegen. Schließlich umreißt dieser Bericht mögliche Richtungen für zukünftige Forschung um praktische Ratschläge für die Gestaltung von MDE Ansätzen geben zu können.

APA, Harvard, Vancouver, ISO, and other styles

15

Tönjes, Ralf. "Pattern formation through synchronization in systems of nonidentical autonomous oscillators." Phd thesis, Universität Potsdam, 2007. http://opus.kobv.de/ubp/volltexte/2008/1597/.

Full text

Abstract:

This work is concerned with the spatio-temporal structures that emerge when non-identical, diffusively coupled oscillators synchronize. It contains analytical results and their confirmation through extensive computer simulations. We use the Kuramoto model which reduces general oscillatory systems to phase dynamics. The symmetry of the coupling plays an important role for the formation of patterns. We have studied the ordering influence of an asymmetry (non-isochronicity) in the phase coupling function on the phase profile in synchronization and the intricate interplay between this asymmetry and the frequency heterogeneity in the system. The thesis is divided into three main parts. Chapter 2 and 3 introduce the basic model of Kuramoto and conditions for stable synchronization. In Chapter 4 we characterize the phase profiles in synchronization for various special cases and in an exponential approximation of the phase coupling function, which allows for an analytical treatment. Finally, in the third part (Chapter 5) we study the influence of non-isochronicity on the synchronization frequency in continuous, reaction diffusion systems and discrete networks of oscillators.
Die vorliegende Arbeit beschäftigt sich in Theorie und Simulation mit den raum-zeitlichen Strukturen, die entstehen, wenn nicht-identische, diffusiv gekoppelte Oszillatoren synchronisieren. Wir greifen dabei auf die von Kuramoto hergeleiteten Phasengleichungen zurück. Eine entscheidene Rolle für die Musterbildung spielt die Symmetrie der Kopplung. Wir untersuchen den ordnenden Einfluss von Asymmetrie (Nichtisochronizität) in der Phasenkopplungsfunktion auf das Phasenprofil in Synchronisation und das Zusammenspiel zwischen dieser Asymmetrie und der Frequenzheterogenität im System. Die Arbeit gliedert sich in drei Hauptteile. Kapitel 2 und 3 beschäftigen sich mit den grundlegenden Gleichungen und den Bedingungen für stabile Synchronisation. Im Kapitel 4 charakterisieren wir die Phasenprofile in Synchronisation für verschiedene Spezialfälle sowie in der von uns eingeführten exponentiellen Approximation der Phasenkopplungsfunktion. Schliesslich untersuchen wir im dritten Teil (Kap.5) den Einfluss von Nichtisochronizität auf die Synchronisationsfrequenz in kontinuierlichen, oszillatorischen Reaktions-Diffusionssystemen und diskreten Netzwerken von Oszillatoren.

APA, Harvard, Vancouver, ISO, and other styles

16

Peng, Ji. "Synchronization in the second-order Kuramoto model." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät, 2015. http://dx.doi.org/10.18452/17355.

Full text

Abstract:

Synchonisation ist ein universelles Phänomen welches in den Natur- und Ingenieurwissenschaften, aber auch in Sozialsystemen vorkommt. Verschiedene Modellsysteme wurden zur Beschreibung von Synchronisation vorgeschlagen, wobei das Kuramoto-Modell das am weitesten verbreitete ist. Das Kuramoto-Modell zweiter Ordnung beschreibt eigenständige Phasenoszillatoren mit heterogenen Eigenfrequenzen, die durch den Sinus ihrer Phasendifferenzen gekoppelt sind, und wird benutzt um nichtlineare Dynamiken in Stromnetzen, Josephson-Kontakten und vielen anderen Systemen zu analysieren. Im Laufe der letzten Jahre wurden insbesondere Netzwerke von Kuramoto-Oszillatoren studiert, da sie einfach genug für eine analytische Beschreibung und denoch reich an vielfältigen Phänomenen sind. Eines dieser Phänomene, explosive synchronization, entsteht in skalenfreien Netzwerken wenn eine Korrelation zwischen den Eigenfrequenzen der Oszillatoren und der Netzwerktopolgie besteht. Im ersten Teil dieser Dissertation wird ein Kuramoto-Netzwerk zweiter Ordnung mit einer Korrelation zwischen den Eigenfrequenzen der Oszillatoren und dem Netzwerkgrad untersucht. Die Theorie im Kontinuumslimit und für unkorrelierte Netzwerke wird für das Modell mit asymmetrischer Eigenfrequenzverteilung entwickelt. Dabei zeigt sich, dass Cluster von Knoten mit demselben Grad nacheinander synchronisieren, beginnend mit dem kleinsten Grad. Dieses neue Phänomen wird als cluster explosive synchronization bezeichnet. Numerische Untersuchungen zeigen, dass dieses Phänomen auch durch die Zusammensetzung der Netzwerkgrade beeinflusst wird. Zum Beispiel entstehen unstetige Übergänge nicht nur in disassortativen, sondern auch in stark assortativen Netzwerken, im Gegensatz zum Kuramoto-Modell erster Ordnung.Unstetige Phasenübergänge lassen sich anhand eines Ordnungsparameters und der Hysterese auf unterschiedliche Anfangsbedingungen zurückführen. Unter starken Störungen kann das System von wünschenswerten in nicht gewünschte Zustände übergehen. Diese Art der Stabilität unter starken Störungen kann mit dem Konzept der basin stability quantifiziert werden. Im zweiten Teil dieser Dissertation wird die basin stability der Synchronisation im Kuramoto-Modell zweiter Ordnung untersucht, wobei die Knoten separat gestört werden. Dabei wurde ein neues Phänomen mit zwei nacheinander auftretenden Übergängen erster Art entdeckt: Eine \emph{onset transition} von einer globalen Stabilität zu einer lokalen Instabilität, und eine suffusing transition von lokaler zu globaler Stabilität. Diese Abfolge wird als onset and suffusing transition bezeichnet.Die Stabilität von Netzwerknoten kann durch die lokale Netzwerktopologie beeinflusst werden, zum Beispiel haben Knoten neben Netzwerk-Endpunkten eine geringe basin stability. Daraus folgend wird ein neues Konzept der partiellen basin stability vorgeschlagen, insbesondere für cluster synchronization, um die wechselseitigen Stabilitätseinflüsse von Clustern zu quantifizieren.Dieses Konzept wird auf zwei wichtige reale Beispiele angewandt: Neuronale Netzwerke und das nordeuropäische Stromnetzwerk. Die neue Methode erlaubt es instabile und stabile Cluster in neuronalen Netzwerken zu identifizieren und erklärt wie Netzwerk-Endpunkte die Stabilität gefährden.
Synchronization phenomena are ubiquitous in the natural sciences and engineering, but also in social systems. Among the many models that have been proposed for a description of synchronization, the Kuramoto model is most popular. It describes self-sustained phase oscillators rotating at heterogeneous intrinsic frequencies that are coupled through the sine of their phase differences. The second-order Kuramoto model has been used to investigate power grids, Josephson junctions, and other systems.The study of Kuramoto models on networks has recently been boosted because it is simple enough to allow for a mathematical treatment and yet complex enough to exhibit rich phenomena. In particular, explosive synchronization emerges in scale-free networks in the presence of a correlation between the natural frequencies and the network topology. The first main part of this thesis is devoted to study the networked second-order Kuramoto model in the presence of a correlation between the oscillators'' natural frequencies and the network''s degree. The theoretical framework in the continuum limit and for uncorrelated networks is provided for the model with an asymmetrical natural frequency distribution. It is observed that clusters of nodes with the same degree join the synchronous component successively, starting with small degrees. This novel phenomenon is named cluster explosive synchronization. Moreover, this phenomenon is also influenced by the degree mixing in the network connection as shown numerically. In particular, discontinuous transitions emerge not just in disassortative but also in strong assortative networks, in contrast to the first-order model. Discontinuous phase transitions indicated by the order parameter and hysteresis emerge due to different initial conditions. For very large perturbations, the system could move from a desirable state to an undesirable state. Basin stability was proposed to quantify the stability of a system to stay in the desirable state after being subjected to strong perturbations. In the second main part of this thesis, the basin stability of the synchronization of the second-order Kuramoto model is investigated via perturbing nodes separately. As a novel phenomenon uncovered by basin stability it is demonstrated that two first-order transitions occur successively in complex networks: an onset transition from a global instability to a local stability and a suffusing transition from a local to a global stability. This sequence is called onset and suffusing transition.Different nodes could have a different stability influence from or to other nodes. For example, nodes adjacent to dead ends have a low basin stability. To quantify the stability influence between clusters, in particular for cluster synchronization, a new concept of partial basin stability is proposed. The concept is implemented on two important real examples: neural networks and the northern European power grid. The new concept allows to identify unstable and stable clusters in neural networks and also explains how dead ends undermine the network stability of power grids.

APA, Harvard, Vancouver, ISO, and other styles

17

Alhakim, Rshdee. "Optimisation des performances de réseaux de capteurs dynamiques par le contrôle de synchronisation dans les systèmes ultra large bande." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENT101/document.

Full text

Abstract:

Dans cette thèse nous nous sommes principalement concentrés sur les transmissions impulsion radio Ultra Large Bande (UWB-IR) qui a plusieurs avantages grâce à la nature de sa bande très large (entre 3.1GHZ et 10.6GHz) qui permet un débit élevé et une très bonne résolution temporelle. Ainsi, la très courte durée des impulsions émises assure une transmission robuste dans un canal multi-trajets dense. Enfin la faible densité spectrale de puissance du signal permet au système UWB de coexister avec les applications existantes. En raison de toutes ces caractéristiques, la technologie UWB a été considérée comme une technologie prometteuse pour les applications WSN. Cependant, il existe plusieurs défis technologiques pour l'implémentation des systèmes UWB. A savoir, une distorsion différente de la forme d'onde du signal reçu pour chaque trajet, la conception d'antennes très larges bandes de petites dimensions et non coûteuses, la synchronisation d'un signal impulsionnel, l'utilisation de modulation d'onde d'ordre élevé pour améliorer le débit etc. Dans ce travail, Nous allons nous intéresser à l'étude et l'amélioration de la synchronisation temporelle dans les systèmes ULB
The basic concept of Impulse-Radio UWB (IR-UWB) technology is to transmit and receive baseband impulse waveform streams of very low power density and ultra-short duration pulses (typically at nanosecond scale). These properties of UWB give rise to fine time-domain resolution, rich multipath diversity, low power and low cost on-chip implementation facility, high secure and safety, enhanced penetration capability, high user capacity, and potential spectrum compatibility with existing narrowband systems. Due to all these features, UWB technology has been considered as a feasible technology for WSN applications. While UWB has many reasons to make it a useful and exciting technology for wireless sensor networks and many other applications, it also has some challenges which must be overcome for it to become a popular approach, such as interference from other UWB users, accurate modelling of the UWB channel in various environments, wideband RF component (antennas, low noise amplifiers) designs, accurate synchronization, high sampling rate for digital implementations, and so on. In this thesis, we will focus only on one of the most critical issues in ultra wideband systems: Timing Synchronization

APA, Harvard, Vancouver, ISO, and other styles

18

Pham, Van Cam. "Model-Based Software Engineering : Methodologies for Model-Code Synchronization in Reactive System Development." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS611/document.

Full text

Abstract:

Model-Based Software Engineering (MBSE) a été proposé comme une méthodologie prometteuse de développement de logiciels pour surmonter les limites de la méthodologie traditionnelle basée sur la programmation pour faire face à la complexité des systèmes embarqués. MBSE favorise l’utilisation de langages de modélisation pour décrire les systèmes d’une manière abstraite et fournit des moyens pour générer automatiquement de différents artefacts de développement, p.ex. code et documentation, à partir de modèles. Le développement d’un système complexe implique souvent de multiples intervenants qui utilisent différents outils pour modifier les artefacts de développement, le modèle et le code en particulier dans cette thèse. Les modifications apportées aux artefacts évoquent le problème de cohérence qui nécessite un processus de synchronisation pour propager les modifications apportées dans l’un artefact aux autres artefacts. Dans cette étude, le problème de la synchronisation des modèles d’architecture basés sur les éléments UML composite structure (UML-CS) et UML state machine (UML-SM) du langage de l’Unified Modeling Language (UML), et le code orienté objet est présenté. UML-CSs sont utilisés pour décrire l’architecture du logiciel basée sur les composants et UML-SMs pour les comportements discrets liés aux événements des systèmes réactifs. Le premier défi est de permettre une collaboration entre les architectes de logiciels et les programmeurs produisant de modèle et de code, en utilisant différents outils. Il soulève le problème de synchronisation où il existe de modifications simultanées des artefacts. En fait, il existe un écart de perception entre les langages à base de diagramme (langages de modélisation) et les langages textuels (langages de programmation). D’une part, les programmeurs préfèrent souvent utiliser la combinaison familière d’un langage de programmation et d’un environnement de développement intégré. D’autre part, les architectes logiciels, travaillant à des niveaux d’abstraction plus élevés, favorisent l’utilisation des modèles et préfèrent donc les langages à base de diagramme pour décrire l’architecture du système. Le deuxième défi est qu’il existe un écart d’abstraction significatif entre les éléments du modèle et les éléments du code: les éléments UML-CS et UML-SM sont au niveau d’abstraction plus élevé que les éléments du code. L’écart rend la difficulté pour les approches de synchronisation actuelles car il n’y a pas de façon facile de réflecter les modifications du code au modèle. Cette thèse propose une approche automatisée de synchronisation composée de deux principales contributions corrélées. Pour aborder le premier défi, on propose un patron méthodologique générique de synchronisation entre modèle et code. Il consiste en des définitions des fonctionnalités nécessaires et plusieurs processus qui synchronisent le modèle et le code en fonction de plusieurs scénarios définis où les développeurs utilisent différents outils pour modifier le modèle et le code. Cette contribution est indépendante de UML-CSs et UML-SMs. La deuxième contribution traite du deuxième défi et est basée sur les résultats de la première contribution. Dans la deuxième contribution, un mapping bidirectionnel est présentée pour réduire l’écart d’abstraction entre le modèle et le code. Le mapping est un ensemble de correspondances entre les éléments de modèle et ceux de code. Il est utilisé comme entrée principale du patron méthodologique générique de synchronisation entre modèle et code. Plus important, l’utilisation du mapping fournit les fonctionnalités définies dans la première contribution et facilite la synchronisation des éléments de UML-CS et UML-SM et du code. L’approche est évaluée au moyen de multiples simulations et d’une étude de cas
Model-Based Software Engineering (MBSE) has been proposed as a promising software development methodology to overcome limitations of traditional programming-based methodology in dealing with the complexity of embedded systems. MBSE promotes the use of modeling languages for describing systems in an abstract way and provides means for automatically generating different development artifacts, e.g. code and documentation, from models. The development of a complex system often involves multiple stakeholders who use different tools to modify the development artifacts, model and code in particular in this thesis. Artifact modifications must be kept consistent: a synchronization process needs to propagate modifications made in one artifact to the other artifacts. In this study, the problem of synchronizing Unified Modeling Language (UML)-based architecture models, specified by UML composite structure (UML-CS) and UML state machine (UML-SM) elements, and object-oriented code is presented. UML-CSs are used for describing the component-based software architecture and UML-SMs for discrete event-driven behaviors of reactive systems. The first challenge is to enable a collaboration between software architects and programmers producing model and code by using different tools. This raises the synchronization problem of concurrent artifact modifications. In fact, there is a perception gap between diagram-based languages (modeling languages) and text-based languages (programming languages). On the one hand, programmers often prefer to use the more familiar combination of a programming language and an Integrated Development Environment. On the other hand, software architects, working at higher levels of abstraction, tend to favor the use of models, and therefore prefer diagram-based languages for describing the architecture of the system. The second challenge is that there is a significant abstraction gap between the model elements and the code elements: UML-CS andUML-SM elements are at higher level of abstraction than code elements. The gap makes current synchronization approaches hard to be applied since there is no easy way to reflect modifications in code back to model. This thesis proposes an automated synchronization approach that is composed of two main correlated contributions. To address the first challenge, a generic model-code synchronization methodological pattern is proposed. It consists of definitions of necessary functionalities and multiple processes that synchronize model and code based on several defined scenarios where the developers use different tools to modify model and code. This contribution is independent of UML-CSs and UML-SMs. The second contribution deals with the second challenge and is based on the results from the first contribution. In the second contribution, a bidirectional mapping is presented for reducing the abstraction gap between model and code. The mapping is a set of correspondences between model elements and code elements. It is used as main input of the generic model-code synchronization methodological pattern. More importantly, the usage of the mapping provides the functionalities defined in the first contribution and eases the synchronization of UML-CS and UML-SM elements and code. The approach is evaluated by means of multiple simulations and a case study

APA, Harvard, Vancouver, ISO, and other styles

19

Egret, Paul. "Synchronisation des flux physiques et financiers : mise en évidence de l'échec du déploiement d'un ERP au travers d'une étude de cas." Phd thesis, Université Nice Sophia Antipolis, 2013. http://tel.archives-ouvertes.fr/tel-01059804.

Full text

Abstract:

La synchronisation des flux physiques a reçu une importante attention dans la littérature. Si le non flux physique a reçu une attention toute particulière dans des domaines tels que le SCM, le pendant financier a longtemps était délaissé. Plus inquiétant, les délais de paiement ont longtemps été perçus comme un moyen de réduction du besoin en fonds de roulement des grandes entreprises. La crise des Subprimes a eu de lourdes conséquences sur le financement des entreprises les plus modestes, mettant en danger l'existence même de ces dernières. Notre travail initial de synchronisation des flux physiques et financiers instruits dans la cadre d'un partenariat CIFRE visait à trouver des solutions à ces problématiques en proposant des modèles d'optimisation sous contraintes. Néanmoins, notre volonté de mettre en œuvre nos travaux fut vaine et notre sujet a progressivement drifté vers la découverte de l'échec du déploiement d'un système ERP. Notre enracinement au sein d'une grande entreprise du secteur de la défense française nous a permis de mettre en œuvre une recherche action canonique en trois phases distinctes et a débouché sur la production d'un modèle de diffusion de l'innovation appliqué à l'ERP. Ce modèle en 6 phases, décrits les étapes successives du déploiement, en mettant en exergue l'impact des forces politiques au sein de l'organisation.

APA, Harvard, Vancouver, ISO, and other styles

20

Gayraud, Fabrice. "Problème de tournées de véhicules avec contraintes de synchronisation dans le cadre de structures de maintien à domicile. Formalisation mathématique et hybridation à base de métaheuristique." Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22591/document.

Full text

Abstract:

Nous nous sommes intéressés à la problématique d’organisation des tournées de soins à domicile dans le cadre de structures de maintien à domicile comme par exemple les service d’Hospitalisation À Domicile ou les Services de Soins Infirmiers À Domicile. Les soins sont prodigués au domicile des patients par un ou deux soignants d’un type défini, comme médecin ou infirmier par exemple pendant une période de disponibilité du patient. Le patient est caractérisé par un niveau de dépendance et peut exprimer une préférence pour être soigné par un soignant plutôt qu’un autre. L’objectif est de construire les tournées des soignants en rendant visite à tous les patients tout en minimisant la longueur (ou durée) des tournées, en équilibrant les tournées suivant le niveau de dépendance des patients et en favorisant la préférence des patients. Après avoir réalisé un état de l’art des problèmes d’organisation de tournées de soins à domicile, nous proposons deux modélisations mathématiques de notre problème sous la forme d’un multiple Traveling Salesman Problem avec fenêtres de temps (m-TSPTW) auquel s’ajoute des contraintes spécifiques comme la synchronisation d’activités ou la prise en compte de types de ressource et des critères de performance propres au problème (équilibrage et préférence). Nous avons ensuite proposé des méthodes approchées basées sur des couplages métaheuristique - modèle de simulation testées sur des instances de la littérature d’un problème proche du nôtre et des instances adaptées à notre problème. Pour terminer, nous abordons trois perspectives de recherche :- la réorganisation des tournées suite à l’absence d’un soignant,- la prise en compte de temps de transport stochastique,- la localisation de structures de maintien à domicile et l’impact sur la construction des tournées
We are interested in a routing problem within the context of home health care. The cares are provided by one or two caregivers with the required type at the patient’s home during the patients’ availability. A type is doctor or nurse for instance. Each patient is characterized by a dependency level and may give a preference for a caregiver. The goal is to construct the tour for each caregiver visiting all patients, minimizing the length of the tours, balancing the workload of the caregivers and maximizing the satisfaction of the patients. We present a state of the art of the home health care problem. Then we propose two mathematical models of our problem based on the multiple Traveling Salesman Problem with Time Windows (m-TSPTW) with specific constraints like the activities’s synchronization or ressources’ type. The performance criteria are specific of our problem : workload balancing and patients’ satisfaction. We then propose approached methods based on combination between Metaheuristics and simulation model. This méthods have been tested on dataset from the literature and dataset adapted to our problem. We conclude with three research perspectives :- the reorganization of the tours when a caregiver is not available,- the integration of stochastic transport time,- the location of home support structure and its impact on the routes’ construction

APA, Harvard, Vancouver, ISO, and other styles

21

Berriche, Aroua. "Contribution à l’analyse de cohérence des modèles système, multi-physique et sûreté de fonctionnement." Thesis, CY Cergy Paris Université, 2020. http://www.theses.fr/2020CYUN1105.

Full text

Abstract:

Le développement d'un système mécatronique implique la collaboration de différents concepteurs qui ont, normalement, des points de vue différents sur le système global pour gérer sa complexité. Par conséquent, de multiples modèles sont créés pour les divers domaines tels que le génie mécanique, l’électronique, le logiciel, etc. Ces modèles utilisent différents formalismes, différents langages de modélisation et divers outils pour répondre à des préoccupations spécifiques. Ceci pose le problème de la bonne collaboration entre les différentes équipes pluridisciplinaires pour pouvoir mener à terme l’opération de conception. Pour gérer ce problème, il est impératif d'identifier et de résoudre les incohérences potentielles entre les modèles afin de minimiser les coûts et le temps de développement avant les phases de vérification et de validation. Le présent travail de thèse propose une nouvelle méthodologie de collaboration qui aura pour objectif de maintenir la cohérence entre les différentes disciplines d'ingénierie tout au long du cycle de développement des systèmes mécatroniques. Nous proposons une approche de synchronisation pour vérifier la cohérence des modèles d’un même système de manière continue pendant le processus de conception multidisciplinaire. Notre contribution dans cette thèse consiste à démontrer comment les techniques de transformation des modèles peuvent être utilisées ; premièrement, pour abstraire divers modèles d'ingénierie dans un formalisme commun basé sur la théorie des graphes et, deuxièmement, pour mettre à jour les modèles avec les changements appropriés évalués par un chef de projet. Les méthodes développées permettent également de détecter automatiquement les différences et de proposer les séquences où la prise des décisions entre les différents choix possibles est essentielle pour résoudre les incohérences
The development of a mechatronic system involves different designers having various viewpoints on the overall system to handle its complexity. Consequently, multiple models are created from a variety of domains such as mechanical, electronic, and software engineering. These models use different formalisms, modeling languages, and tools to address specific concerns. The major challenge of this approach is to identify and solve any potential inconsistency between models in order to minimize costs and development time before the verification and validation phases. This paper proposes a new collaborative methodology to maintain consistency between different engineering disciplines at an early stage of the development cycle of mechatronic systems. We apply a model synchronization approach to actively check for model consistency in a continuous way during the multidisciplinary design process. As a novel contribution of this thesis, we demonstrate how model transformation techniques can be employed; firstly, to abstract various engineering models in a common formalism based on graph theory and, secondly, to update models with appropriate changes evaluated by a project manager. We also show how to detect the differences automatically, and we discuss where designer decisions are essential

APA, Harvard, Vancouver, ISO, and other styles

22

Ameling, Michael. "Systemunterstützung für den Abgleich von Geschäftsobjekten zwischen Anwendungsservern über WebServices." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2009. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-24568.

Full text

Abstract:

Geschäftsanwendungen wie Supply Chain Management (SCM) oder Customer Relationship Management (CRM) werden repliziert, um eine hohe Skalierbarkeit und schnellen lokalen Zugriff zu erreichen. Die Geschäftsobjekte als Datencontainer der Anwendungen müssen infolge von Änderungen synchronisiert werden. Diese Arbeit leistet einen Beitrag zur Effizienzsteigerung des Synchronisationsprozesses durch die Reduzierung der Anzahl der Synchronisationsnachrichten sowie der zu übertragenden Datenmenge - auch unter Berücksichtigung des entstehenden Mehraufwands durch zusätzliche Verarbeitungsprozesse
Business applications such as supply chain management (SCM) or customer relationship management (CRM) are replicated in order to reach high scalability and fast local access. The business objects representing the data containers have to be synchronized to stay consistent across the application servers. This thesis provides a contribution to reach more efficiency during the synchronization process by reducing the amount of synchronization messages and the amount of data to be transmitted. The additional effort due to further processing steps is taken into account via a proper cost model

APA, Harvard, Vancouver, ISO, and other styles

23

Baier, Christel, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, and Marcus Völp. "A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-129917.

Full text

Abstract:

Probabilistic-Write/Copy-Select (PWCS) is a novel synchronization scheme suggested by Nicholas Mc Guire which avoids expensive atomic operations for synchronizing access to shared objects. Instead, PWCS makes inconsistencies detectable and recoverable. It builds on the assumption that, for typical workloads, the probability for data races is very small. Mc Guire describes PWCS for multiple readers but only one writer of a shared data structure. In this paper, we report on the formal analysis of the PWCS protocol using a continuous-time Markov chain model and probabilistic model checking techniques. Besides the original PWCS protocol, we also considered a variant with multiple writers. The results were obtained by the model checker PRISM and served to identify scenarios in which the use of the PWCS protocol is justified by guarantees on the probability of data races. Moreover, the analysis showed several other quantitative properties of the PWCS protocol.

APA, Harvard, Vancouver, ISO, and other styles

24

Lanoix, Arnaud. "Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés." Phd thesis, Université de Franche-Comté, 2005. http://tel.archives-ouvertes.fr/tel-00011649.

Full text

Abstract:

L'augmentation en taille et en complexité des systèmes réactifs font que leur vérification est de plus en plus difficile à comprendre et à appréhender. Dans cette thèse, une approche est proposée pour spécifier et vérifier compositionnellement certains de ces systèmes.

Cette approche est basée sur un principe de décomposition supportant un raffinement compositionnel au niveau des composants et au niveau de leur produit synchronisé~: une méthode est présentée pour vérifier le raffinement d'un système à composants à partir du raffinement de ses composants.

Les propriétés LTL sont préservées par le raffinement compositionnel présenté ici. De plus, certaines propriétés -- comme les invariants et les propriétés LTL de sûreté -- peuvent être vérifiées compositionnellement durant la phase de vérification du raffinement.

Un outil, nommé SynCo, implante cette approche de vérification compositionnelle. Les différents aspects de ce travail sont illustrés par plusieurs exemples~: un robot industriel, un système d'essuyage et un porte-monnaie électronique.

APA, Harvard, Vancouver, ISO, and other styles

25

Schütze, Jana. "Synchronisation und räumliche Ausbreitung von glykolytischen Oszillationen." Berlin Logos, 2009. http://d-nb.info/1001251318/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Uhl, Claude. "Architecture de machine pour la simulation d'objets physiques en temps réel." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0107.

Full text

Abstract:

Les algorithmes de simulation, base du modeleur simulateur d'objets physiques cordis-anima, necessitent des performances et une architecture particuliere pour la machine qui va les executer. La conception et la mise en uvre des conditions materielles de la simulation constituent un axe majeur des travaux de l'acroe. L'objectif de ce travail a ete de developper une architecture de machine efficace permettant l'interaction multisensorielle et en temps-reel entre un operateur et un objet simule par modele physique. Les contraintes liees a ce type de simulation sont multiples: les frequences de simulation varient de 1 khz a 44 khz selon la nature de l'objet modelise ; le mode d'execution des algorithmes est necessairement synchrone et de duree constante ; un bon rendu des objets simules exige des puissances de calcul de 500 mflops a 1 gflops. D'autre part, compte tenu du haut degre d'interconnexion entre modules dans la plupart des objets physiques cordis-anima, seule une architecture parallele dont chaque nud fournit une puissance de calcul tres elevee peut solutionner la problematique de simulation physique temps-reel. Suite a l'etude de diverses solutions processeurs, nous avons opte pour un compromis alliant performances, portabilite, facilite de programmation et cout: le processeur r8000 de mips. Les processeurs de calcul sont connectes aux transducteurs de sortie (ecran, clavier gestuel a retour d'effort et haut-parleur) par des cartes specifiques pour le geste, le son et l'image. La synchronisation temps-reel entre les differents elements de l'implantation est realisee par une horloge externe unique. Cette architecture a permis de developper quelques exemples de simulations qui mettent en evidence, a 1 khz, une grande richesse des modeles simules

APA, Harvard, Vancouver, ISO, and other styles

27

Xu, Jinshan. "Dynamics and synchronization in biological excitable media." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2012. http://tel.archives-ouvertes.fr/tel-00776373.

Full text

Abstract:

This thesis investigates the origin of spontaneous activity in the uterus. This organ does not show any activity until shortly before delivery, where fast and efficient contractions are generated. The aim of this work is to provide insight into the origin of spontaneous oscillations and into the transition from asynchronous to synchronized activity in the pregnant uterus. One intriguing aspect in the uterus is the absence of any pacemaker cell. The organ is composed of muscular cells, which are excitable, and connective cells, whose behavior is purely passive; None of these cells, taken in isolation, spontaneously oscillates. We develop an hypothesis based on the observed strong increase in the electrical coupling between cells in the last days of pregnancy. The study is based on a mathematical model of excitable cells, coupled to each other on a regular lattice, and to a fluctuating number of passive cells, consistent with the known structure of the uterus. The two parameters of the model, the coupling between excitable cells, and between excitable and passive cells, grow during pregnancy.Using both a model based on measured electrophysiological properties, and a generic model of excitable cell, we demonstrate that spontaneous oscillations can appear when increasing the coupling coefficients, ultimately leading to coherent oscillations over the entire tissue. We study the transition towards a coherent regime, both numerically and semi-analytically, using the simple model of excitable cells. Last, we demonstrate that, the realistic model reproduces irregular action potential propagation patterns as well as the bursting behavior, observed in the in-vitro experiments.

APA, Harvard, Vancouver, ISO, and other styles

28

Rauschert, Peter. "Beiträge zur Synchronisation in drahtlosen Multihop-ad-hoc-Netzwerken neue Algorithmen, Simulationen und Aspekte der Synchronisation eines Software-defined-Radios." Berlin Logos-Verl, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2919292&prov=M&dok_var=1&dok_ext=htm.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Lenez, Thierry. "Synchronisation et égalisation en communication numérique : application au modem VDSL." Grenoble INPG, 2001. http://www.theses.fr/2001INPG0058.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Oukil, Walid. "Systèmes couplés et morphogénèse auto-organisation de systèmes biologiques." Thesis, Bordeaux, 2016. http://www.theses.fr/2016BORD0459/document.

Full text

Abstract:

On s’intéresse dans cette thèse à des systèmes couplés de type champ moyen en étudiant l’existence de l’état de synchronisation qui se caractérise par une distance uniformément bornée dans le temps entre chaque paire de composantes d’une solution. L’étude se base sur une méthode perturbative. Néanmoins les résultats obtenus ne sont pas évidents dans le cas non-perturbé. En outre dans le cas où le système couplé est périodique et grâce au Théorème du point fixe on montre l’existence d’une solution périodique sur le tore. L’étude de stabilité et de stabilité exponentielle est établie dans le cas linéaire et appliquée à ce type de systèmes couplés
We study in this thesis a class of a perturbed interconnected mean-field system, also known as a coupled systems. Under some assumptions we prove the existence of an invariant open set by the flow of the perturbed system ; in other word, we prove that the distance between the components of an orbit is uniformly bounded, this property is also called synchronization. We use the perturbation method to obtain the result. However the result is not trivial for the not perturbed system. We use the fixed point theorem to prove the existence of a periodic orbit in the torus. We study in addition the stability and the exponential stability of such systems by studying the stability of a linear systems

APA, Harvard, Vancouver, ISO, and other styles

31

Sahloul, Ahmed. "Study of Egyptian macroeconomic fluctuations (1974-2010)." Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1G002.

Full text

Abstract:

Cette thèse étudie les fluctuations macroéconomiques égyptiennes et compare leurs sources avec celles de certains pays du Moyen-Orient et Afrique du Nord (MENA). Un large éventail de méthodes économétriques sont utilisées pour examiner la synchronisation entre les cycles classiques et de croissance égyptiens et ceux de la région MENA, et de quantifier leurs sources de fluctuations ainsi que leurs réponses à ces sources de chocs. Nous ne trouvons aucune preuve de la synchronisation entre les cycles égyptiens et ceux de la région MENA et des pays développés. Les sources des fluctuations égyptiennes sont presque également réparties entre les chocs internes et étrangers, et les chocs du prix du pétrole semblent être le principal moteur de fluctuations de la production. En outre, la capacité de l'économie à contenir l'impact domestique des chocs externes négatifs à travers les chocs domestiques de l'offre et la demande est positive
This thesis studies Egyptian macroeconomic fluctuations and compares their sources to those of some Middle East and North African (MENA) countries. A wide range of econometric methods are used to investigate the synchronization among Egyptian and MENA classical and growth cycles, and to quantify their sources of fluctuations along with their responses to these sources of shocks. We find no evidence of synchronization between Egyptian cycles and those of MENA and of developed countries. The sources of Egyptian macroeconomic fluctuations are almost equally divided among domestic and foreign shocks, and oil prices shocks appear to be the main driver behind output fluctuations. Moreover, domestic supply and demand shocks play a positive role in moderating negative foreign shocks affecting the economy

APA, Harvard, Vancouver, ISO, and other styles

32

Cantin, Guillaume. "Étude de réseaux complexes de systèmes dynamiques dissipatifs ou conservatifs en dimension finie ou infinie. Application à l'analyse des comportements humains en situation de catastrophe." Thesis, Normandie, 2018. http://www.theses.fr/2018NORMLH16/document.

Full text

Abstract:

Cette thèse est consacrée à l'étude de la dynamique des systèmes complexes. Nous construisons des réseaux couplés à partir de multiples instances de systèmes dynamiques déterministes, donnés par des équations différentielles ordinaires ou des équations aux dérivées partielles de type parabolique, qui décrivent un problème d'évolution. Nous étudions le lien entre la dynamique interne à chaque nœud du réseau, les éléments de la topologie du graphe portant ce réseau, et sa dynamique globale. Nous recherchons les conditions de couplage qui favorisent une dynamique globale particulière à l'échelle du réseau, et étudions l'impact des interactions sur les bifurcations identifiées sur chaque nœud. Nous considérons en particulier des réseaux couplés de systèmes de réaction-diffusion, dont nous étudions le comportement asymptotique, en recherchant des régions positivement invariantes, et en démontrant l'existence d'attracteurs exponentiels de dimension fractale finie, à partir d'estimations d'énergie qui révèlent la nature dissipative de ces réseaux de systèmes de réaction-diffusion. Ces questions sont étudiées dans le cadre de quelques applications. En particulier, nous considérons un modèle mathématique pour l'étude géographique des réactions comportementales d'individus, au sein d'une population en situation de catastrophe. Nous présentons les éléments de modélisation associés, ainsi que son étude mathématique, avec une analyse de la stabilité des équilibres et de leurs bifurcations. Nous établissons l'importance capitale des chemins d'évacuation dans les réseaux complexes construits à partir de ce modèle, pour atteindre l'équilibre attendu de retour au comportement du quotidien pour l'ensemble de la population considérée, tout en évitant une propagation du comportement de panique. D'autre part, la recherche de solutions périodiques émergentes dans les réseaux d'oscillateurs nous amène à considérer des réseaux complexes de systèmes hamiltoniens pour lesquels nous construisons des perturbations polynomiales qui provoquent l'apparition de cycles limites, problématique liée au XVIème problème de Hilbert
This thesis is devoted to the study of the dynamics of complex systems. We consider coupled networks built with multiple instances of deterministicdynamical systems, defined by ordinary differential equations or partial differential equations of parabolic type, which describe an evolution problem.We study the link between the internal dynamics of each node in the network, its topology, and its global dynamics. We analyze the coupling conditions which favor a particular dynamics at the network's scale, and study the impact of the interactions on the bifurcations identified on each node. In particular, we consider coupled networks of reaction-diffusion systems; we analyze their asymptotic behavior by searching positively invariant regions, and proving the existence of exponential attractors of finite fractal dimension, derived from energy estimates which suggest the dissipative nature of those networks of reaction-diffusion systems.Our framework includes the study of multiple applications. Among them, we consider a mathematical model for the geographical analysis of behavioral reactions of individuals facing a catastrophic event. We present the modeling choices that led to the study of this evolution problem, and its mathematical study, with a stability and bifurcation analysis of the equilibria. We highlight the decisive role of evacuation paths in coupled networks built from this model, in order to reach the expected equilibrium corresponding to a global return of all individuals to the daily behavior, avoiding a propagation of panic. Furthermore, the research of emergent periodic solutions in complex networks of oscillators brings us to consider coupled networks of hamiltonian systems, for which we construct polynomial perturbationswhich provoke the emergence of limit cycles, question which is related to the sixteenth Hilbert's problem

APA, Harvard, Vancouver, ISO, and other styles

33

Shivaprasad, Mala A. "Dynamic Dealy Compensation and Synchronisation Services for Continuous Media Streams." Thesis, Indian Institute of Science, 1995. http://hdl.handle.net/2005/144.

Full text

Abstract:

Multimedia' nature of an application refers to the presence of several media streams in parallel. Whether it is receiving real-time data or retrieving stored data, there exists an end-to-end delay in data transfer from source to destination over the network. This delay experienced can be split into a fixed part and a variable part. Data processing time like coding and decoding at the source and destination are the fixed delays experienced. The variable delay occurs mainly due to queuing at the intermediate nodes during its flow through the network. The variable or unequal delays introduce gaps or discontinuities within a stream. In multi-stream applications where each stream may flow on different routes based on the bandwidth availability experiencing different delays, mismatch between them can also occur. These discontinuities and skews result in poor quality of playout. Clock drift and variations in drift rates between the source/s and destination/s, clock also lead to poor quality of play out. To eliminate these skews and discontinuities, there must be mechanisms, viz., and synchronisation services to convey, reintroduce and maintain the temporal relationship between the media streams for presentation throughout the playout, at the destination. The reintroduction of this lost temporal relationship within a stream and between various media streams for presentation at the destination is the object of multimedia synchronisation and is the subject matter of this thesis. In the presence of synchronised clocks, the main cause of asynchronies between media streams is the difference in delays experienced and the jitter. In this work, to convey the temporal relationship between streams of an application to the playout site, each stream is assigned a priority л, based on its importance to the user. The media streams are then divided into synchronisation units called 'Groups' based on that stream's characteristics which has the highest priority л. A group may therefore consist of one video frame and other data which were generated in that interval. Or may consist of silence and talk-spurt periods of the voice stream with data units of other streams generated in the same interval. Since the quality of playout of temporally related delay-sensitive streams depends upon the delay-experienced, the concept of QoS can be extended to describe the presentation requirements of uch data. Depending on the user perception and the delay experienced, an application can have a range of playout times, giving the best performance. The presentation of many real-time applications can be considered satisfactory even when the delay bound is exceeded by a small amount for a short period of time under varying network conditions. This property can be exploited by defining two sets of QoS parameters, namely QoS optimum and QoSlimit for each real-time application. As the delay and its variations increase, the optimum playout time range decreases. QoS optimum specifies the performance parameters required to perceive 'realtime'. Multimedia data can be played out at its QoSlimit with a deterioration in quality under poor network conditions still maintaining the synchronisation between streams. To control the playout at two levels of QoS, and maintain intra-media and inter-media synchronisation, stream controllers and super stream controllers have been used. The dynamic delay compensation algorithm and synchronisation services were simulated using network delay models and performances studied. It is shown that the proposed algorithm not only synchronised media streams and smoothened jitter but also optimised buffer space and buffer occupancy time while meeting the desired quality of service requirements

APA, Harvard, Vancouver, ISO, and other styles

34

Nalis, Julia. "Synchronisation respiratoire en tomographie par émission de positions couplée à un tomodensitomètre : étude des paramètres d'acquisition et comparaison de deux systèmes de synchronisation." Toulouse 3, 2009. http://thesesups.ups-tlse.fr/674/.

Full text

Abstract:

En Tomographie par Emission de Positons, la quantification du signal recueilli doit être la plus précise possible si l'on veut suivre l'évolution de la maladie d'un patient, particulièrement s'il s'agit d'évaluer l'efficacité d'un traitement. Cependant, le signal détecté par le TEP est entaché de plusieurs biais, dont un flou lié aux mouvements respiratoires que l'on peut observer notamment au niveau pulmonaire et hépatique. La tendance actuelle cherche donc à prendre en compte la respiration des patients lors de l'acquisition des images TEP-TDM : cette technique appelée couramment " TEP-TDM à 4 dimensions " a été au centre du travail présenté ici. Notre étude a constitué tout d'abord à l'élaboration d'un montage expérimental permettant d'étudier les paramètres pouvant avoir une influence lors de l'acquisition des données TEP synchronisées à la respiration. L'utilisation du mode liste a ainsi pu être validée pour l'acquisition de données TEP 4D. Ce montage a également permis de définir les domaines d'application de la synchronisation respiratoire : nous préconisons d'appliquer le 4D lorsque le déplacement de la structure étudiée est supérieur à son rayon le plus grand. Dans un second temps, nous avons comparé deux systèmes de synchronisation respiratoire : le SpiroDynr'X et le RPM(r). Nous avons pu montrer que les images TEP 4D obtenues avec le SpiroDynr'X permet d'obtenir des images de qualité au moins équivalente en termes de quantification du signal et d'estimation des volumes à celles obtenues avec le RPM(r). Enfin, nous avons pu définir un protocole d'acquisition des images TEP 4D qui sera applicable dans le cadre d'un protocole de recherche clinique
It is now widely admitted that Positron Emission Tomography has a major interest in oncology for disease follow-up and particularly if treatment efficacy evaluation is needed. Thus, signal quantification has to be as accurate as possible. However, PET detected signal is subject to different bias, one of which is a blur effect due to respiratory movements. Respiratory gated acquisitions are called "4D imaging" and this technique is the topic of this work. In a first time, an experimental assembly was developed to study parameters impacting 4D PET data acquisition. The first result was the validation of list mode acquisition mode. Secondly, application field of 4D imaging was determined: our conclusion is that gated acquisitions are required when structure of interest displacement is superior to its larger radius. In a second part, two rival respiratory synchronization devices were compared: the SpiroDynr'X and the RPM(r) system. We demonstrated that 4D PET images obtained using SpiroDynr'X lead to a similar or better quantification accuracy and volume determination than data gated with the RPM(r) device. Finally, we defined a 4D PET routine acquisition protocol which will be used for a clinical trial

APA, Harvard, Vancouver, ISO, and other styles

35

Fries, Torsten. "Synchronisation in der emotionalen Kommunikation Vergleich zwischen traumatisierten Patienten, Fibromyalgie-Patienten und Gesunden /." [S.l. : s.n.], 2004. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11103973.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Raffin, Bruno. "Un modele structure de communication et de synchronisation pour le parallelisme de taches." Orléans, 1997. http://www.theses.fr/1997ORLE2055.

Full text

Abstract:

Cette these est consacree a l'etude de modeles de programmation parallele permettant l'expression de communications et de synchronisations structurees par la syntaxe. Nous proposons un modele intermediaire entre le parallelisme de taches et le data parallelisme, associant une expression structuree des communications a un modele d'execution faiblement synchronise. Il repose sur un codage de la precedence des instructions par un ordonnancement lexicographique de compteurs multi-niveaux, appeles horloges structurelles. L'introduction de plusieurs niveaux de comptage permet de controler aisement la desynchronisation des structures dynamiques comme les boucles while. Le modele autorise l'expression des schemas de dependances imprevisibles ou irreguliers tout en garantissant l'absence de blocage et le determinisme des programmes. Nous demontrons qu'il est possible de definir un modele de programmation synchrone donnant une vision semantique simple, favorisant par la meme la maitrise, l'optimisation et la validation formelle des programmes. Des applications presentant differents niveaux d'irregularite, issues des calculs sur les matrices creuses, des reseaux de neurones, des bases de donnees ou des systemes temps-reel, illustrent l'interet de l'approche. Comparees a une bibliotheque a passage de messages comme mpi, les implantations realisees mettent en evidence la conservation des performances et des gains substantiels concernant la facilite d'ecriture et la mise au point des applications irregulieres.

APA, Harvard, Vancouver, ISO, and other styles

37

Halimi, Meriem. "Observation et détection de modes pour la synchronisation des systèmes chaotiques : une approche unifiée." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00942426.

Full text

Abstract:

Le travail développé dans ce manuscrit porte sur la synchronisation des systèmes chaotiques. Il est articulé autour de deux axes principaux : la synthèse d'observateur et la détection de modes. Dans un premier temps, quelques rappels sur le chaos et les principales architectures de systèmes de chi ffrement chaotiques sont e ffectués. Ensuite, nous montrons comment les systèmes chaotiques à non linéarité polynomiale ou affi nes à commutation peuvent se réécrire sous forme LPV polytopique. Une revue des principaux résultats sur la synthèse d'observateurs LPV polytopiques reposant sur l'utilisation des LMI est faite. Une extension des résultats aux observateurs polytopiques à entrées inconnues, à la fois dans le cas déterministe, bruité ou incertain est proposée. Ces observateurs assurent la synchronisation du chaos et donc le déchiff rement dans les systèmes de chiff rement "modulation paramétrique", "commutation chaotique", "transmission à deux canaux" et "chiff rement par inclusion". Pour les systèmes a ffines à commutation utilisés en tant que générateur du chaos, le cas où l'état discret n'est pas accessible est considéré. Une présentation unifi ée des méthodes fondées sur les espaces de parité, proposées dans la littérature pour les systèmes linéaires et affi nes à commutation à temps discret, est réalisée. Le problème de discernabilité fait l'objet d'une étude approfondie. Une approche pour estimer les retards variables des systèmes a ffines et affi nes à commutation à temps discret, formulée en termes de détection de modes, est proposée en tant que solution à l'estimation de retard pour le chiff rement par injection de retard.

APA, Harvard, Vancouver, ISO, and other styles

38

Dimassi, Habib. "Synchronisation des systèmes chaotiques par observateurs et applications à la transmission d'informations." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00856590.

Full text

Abstract:

Dans ce travail de thèse, nous développons des méthodes de synchronisation des systèmes chaotiques pour les applications de transmission d'informations. La première méthode de synchronisation que nous proposons est basée sur les observateurs adaptatifs à entrées inconnues pour une classe des systèmes chaotiques présentant des incertitudes paramétriques et des perturbations dans leurs dynamiques et du bruit dans les signaux de sortie (bruit dans le canal de communication). La méthode développée repose sur les techniques adaptatives pour la compensation des non-linéarités et des incertitudes paramétriques et pour la restauration des messages transmis. Elle se base également sur les méthodes de synthèse d'observateurs à entrées inconnues pour supprimer l'influence des perturbations et du bruit. Ensuite, nous développons une deuxième méthode de synchronisation utilisant un observateur adaptatif à ''modes glissants" pour une classe des systèmes chaotiques présentant des entrées inconnues et dont les signaux de sortie sont bruités. La synthèse de l'observateur s'appuie sur la théorie des modes glissants, les techniques de synthèse d'observateurs singuliers et les techniques adaptatives dans le but d'estimer conjointement l'état et les entrées inconnues malgré la présence du bruit dans les équations de sortie. Cette approche de synchronisation est ensuite employée dans un nouveau schéma de communication chaotique sécurisée dont l'objectif est d'augmenter le nombre et l'amplitude des messages transmis, améliorer le niveau de sécurité ainsi que la robustesse aux bruits présents dans le canal de communication. En outre, le scénario de présence des retards de transmission est étudié en élaborant une troisième approche de synchronisation à base d'observateurs adaptatifs pour une classe des systèmes chaotiques de Lur'e avec des non-linéarités à pente restreinte et des signaux de sortie retardés. En se basant sur la théorie de Lyapunov-Krasovskii et en utilisant une hypothèse d'excitation persistante, l'observateur adaptatif proposé garantit la synchronisation maitre-esclave et la restauration des informations transmises malgré l'existence des retards de transmission. Les résultats théoriques obtenus dans ce travail de thèse sont vérifiés à travers des applications de transmission d'informations utilisant différents modèles des systèmes chaotiques tout en étudiant les différents scénarios et cas de figure pouvant se présenter en pratique et en analysant les aspects de sécurité de ces systèmes.

APA, Harvard, Vancouver, ISO, and other styles

39

Doan, John. "Analysis of the modified Cramer Rao bound for burst mode symbol clock synchronisation." University of Western Australia. School of Electrical, Electronic and Computer Engineering, 2007. http://theses.library.uwa.edu.au/adt-WU2007.0117.

Full text

Abstract:

This thesis presents an analysis of the Modified Cramer Rao Bound (MCRB) for synchroniser performance in burst mode communication applications. This is accomplished by introducing the topic of burst mode communications and its practical applications, discussing the importance of synchronisation, presenting a model through which the mathematical analysis of this thesis is based upon, deriving a set of equations which can be used to calculate the MCRB and finally by performing various calculations of the MCRB with different parameters to examine their effects on the MCRB. The methods presented in this thesis are different from those presented in existing literature, which generally do not address the issue of burst mode synchronisation directly. The differences between the methods presented in this thesis and those of existing literature is also discussed.

APA, Harvard, Vancouver, ISO, and other styles

40

El, Ati Ali. "Synchronization analysis of complex networks of nonlinear oscillators." Thesis, Paris 11, 2014. http://www.theses.fr/2014PA112362/document.

Full text

Abstract:

Cette thèse porte sur l'analyse de la synchronisation des grands réseaux d'oscillateurs non linéaires et hétérogènes à l'aide d'outils et de méthodes issues de la théorie du contrôle. Nous considérons deux modèles de réseaux; à savoir, le modèle de Kuramoto qui considère seulement les coordonnées de phase des oscillateurs et des réseaux composés d'oscillateurs non linéaires de Stuart-Landau connectés par un couplage linéaire.Pour le modèle de Kuramoto nous construisons un système linéaire qui conserve les informations sur les fréquences naturelles et sur les gains d'interconnexion du modèle original de Kuramoto. Nous montrons en suite que l'existence de solutions à verrouillage de phase du modèle de Kuramoto est équivalente à l'existence d'un tel système linéaire avec certaines propriétés. Ce système est utilisé pour formuler les conditions d'existence de solutions à verrouillage de phase et de leur stabilité pour des structures particulières de l'interconnexion. Ensuite, cette analyse s'est étendue au cas où des interactions attractives et répulsives sont présentes dans le réseau. Nous considérons cette situation lorsque les gains d'interconnexion peuvent être à la fois positif et négatif. Dans le cadre de réseaux d'oscillateurs de Stuart-Landau, nous présentons une nouvelle transformation de coordonnées du réseau qui permet de réécrire le modèle du réseau en deux parties: une décrivant le comportement de l'oscillateur « moyenne » du réseau et la seconde partie présentant les dynamiques des erreurs de synchronisation par rapport à cet oscillateur « moyenne ». Cette transformation nous permet de caractériser les propriétés du réseau en termes de la stabilité des erreurs de synchronisation et du cycle limite de l'oscillateur « moyenne ». Pour ce faire, nous reformulons ce problème en un problème de stabilité de deux ensembles compacts et nous utilisons des outils issus de la stabilité de Lyapunov pour montrer la stabilité pratique de ces derniers pour des valeurs suffisamment grandes du gain d'interconnexion
This thesis is devoted to the analysis of synchronization in large networks of heterogeneous nonlinear oscillators using tools and methods issued from control theory. We consider two models of networks; namely, the Kuramoto model which takes into account only phase coordinates of the oscillators and networks composed of nonlinear Stuart-Landau oscillators interconnected by linear coupling. For the Kuramoto model we construct an auxiliary linear system that preserves information on the natural frequencies and interconnection gains of the original Kuramoto model. We show next that existence of phase locked solutions of the Kuramoto model is equivalent to the existence of such a linear system with certain properties. This system is used to formulate conditions that ensure existence of phase-locked solutions and their stability for particular structures of network interconnections. Next, this analysis is extended to the case where both attractive and repulsive interactions are present in the network that is we consider the situation where some of the interconnection gains are allowed to be negative. In the context of networks of Stuart-Landau oscillators, we present a new coordinate transformation of the network which allows to split the network model into two parts, one describing behaviour of an "averaged" network oscillator and the second one, describing dynamics of the synchronization errors relative to this "averaged" oscillator. This transformation allows us to characterize properties of the network in terms of stability of synchronization errors and limit cycle of the "averaged" oscillator. To do so, we recast this problem as a problem of stability of compact sets and use Lyapunov stability tools to ensure practical stability of both sets for sufficiently large values of the coupling strength

APA, Harvard, Vancouver, ISO, and other styles

41

Saviot, Alain-Frédéric. "Génération de faisceaux lasers de puissance à distribution d'éclairement homogénéisée par synchronisation intra-cavité des modes spatiaux." Limoges, 1994. http://www.theses.fr/1994LIMO0002.

Full text

Abstract:

Un faisceau laser est caracterise spatialement par sa repartition d'amplitude et de phase en sortie de l'oscillateur. Cette repartition transverse peut se definir comme une combinaison coherente ponderee d'ondes uniphases. En selectionnant ces ondes elementaires par filtrage intra-cavite, nous avons developpe une nouvelle methode de synthese d'onde qui permet d'imposer la repartition spatiale transverse d'amplitude et de phase du faisceau emis. Cette selection est assuree par un couple de masques diffractants, de transparence binaire, qui sont places dans deux plans de fourier de la cavite laser, choisie confocale. Associe a l'amplification du milieu laser, ce filtrage assure, dans certains cas, la construction d'ondes lasers stables, dont le profil resulte de la geometrie des masques. L'efficacite du processus de synthese a ete testee dans des lasers yag-nd fortement pompes, fonctionnant a cadence elevee, en regime declenche. L'onde laser obtenue en sortie du prototype est uniforme et uniphase sur une section circulaire de diametre 5 mm; son energie est de 200 mj et sa duree de 60 ns

APA, Harvard, Vancouver, ISO, and other styles

42

Marchandon, Mathilde. "Vers la compréhension des séquences sismiques sur un système de failles : de l’observation spatiale à la modélisation numérique. Application à la séquence du Nord-Est Lut, Iran." Thesis, Université Côte d'Azur (ComUE), 2018. http://www.theses.fr/2018AZUR4055/document.

Full text

Abstract:

De nombreuses études montrent que les transferts de contrainte co- et postsismiques jouent un rôle majeur dans l’occurrence des séquences de séismes. Cependant, la grande majorité de ces études implique des systèmes de failles à la configuration géométrique simple (e.g. failles parallèles ou colinéaires). Dans cette thèse, nous étudions une séquence de séismes s’étant produite au sein d’un système de failles à la configuration géométrique plus complexe (i.e. failles conjuguées), la séquence du NE Lut (1939-1997, NE Iran), afin d’évaluer (1) si les transferts de contrainte favorisent la succession de séismes de la séquence et (2) s’ils permettent sur le long-terme de synchroniser les ruptures des failles du système. Pour cela, nous mesurons d’abord les déformations de surface produites par la séquence afin de mieux contraindre par la suite la modélisation des transferts de contrainte. A partir de la technique de corrélation subpixel d'images optiques, nous mesurons les champs de déplacements de surface horizontaux produits par les séismes de Khuli-Boniabad (Mw 7.1, 1979) et de Zirkuh (Mw 7.2, 1997). Nous montrons que ces séismes sont caractérisés par la rupture de plusieurs segments dont les limites sont corrélées avec les complexités géométriques des failles. Nous interprétons les différences de leurs caractéristiques de rupture (longueur de rupture, glissement moyen, nombre de segments rompus) comme étant dues à des différences de maturité des failles de Dasht-e-Bayaz et d’Abiz. Nous détectons également les déplacements produits par un séisme historique modéré, le séisme de Korizan (Mw 6.6, 1979). C’est la première fois que les déplacements produits par un séisme historique de si petite taille sont mesurés par corrélation d’images optiques. Ensuite, en combinant le champ de déplacements InSAR déjà publié avec les données optiques proche-faille précédemment acquises, nous estimons un nouveau modèle de source pour le séisme de Zirkuh (Mw 7.2, 1997). Nous montrons que les données proche-faille sont essentielles pour mieux contraindre la géométrie de la rupture et la distribution du glissement en profondeur. Le modèle estimé montre que le séisme de Zirkuh a rompu trois aspérités séparées par des barrières géométriques où les répliques du séisme se localisent. Seul le segment central de la faille présente un déficit de glissement en surface que nous interprétons comme étant dû à de la déformation distribuée dans des dépôts quaternaires non consolidés. Enfin, à partir des informations précédemment acquises, nous modélisons les transferts de contrainte au cours de la séquence du NE Lut. Nous montrons que ceux-ci ont favorisé l’occurrence de 7 des 11 séismes de la séquence et que modéliser précisément la géométrie des ruptures est essentiel à une estimation robuste des transferts de contrainte. De plus, nous montrons que l’occurrence du séisme de Zirkuh (Mw 7.2, 1992) est principalement favorisée par les séismes modérés de la séquence. Pour finir, la simulation d’une multitude de cycles sismiques sur les failles du NE Lut montre que les transferts de contrainte, en particulier les transferts postsismiques liés à la relaxation viscoélastique de la lithosphère, sont le principal processus permettant la mise en place répétée de séquences de séismes sur les failles du NE Lut. Enfin, d'après les simulations réalisées, l'ordre dans lequel se sont produits les séismes majeurs durant la séquence du NE Lut est assez exceptionnel
Many studies show that static and postseismic stress transfers play an important role in the occurrence of seismic sequences. However, a large majority of these studies involves seismic sequences that occurred within fault systems having simple geometric configurations (e.g. collinear or parallel fault system). In this thesis, we study a seismic sequence that occurred within a complex fault system (i.e. conjugate fault system), the NE Lut seismic sequence (1939-1997, NE Iran), in order to assess if (1) stress transfers can explain the succession of earthquakes in the sequence and (2) stress transfers can lead to the synchronization of the NE Lut faults over multiple seismic cycles. To this end, we first measure the surface displacement field produced by the sequence in order to precisely constrain the stress transfer modeling afterwards. We use optical correlation technique to measure the surface displacement fields of the Khuli-Boniabad (Mw 7.1, 1979) and Zirkuh earthquake (Mw 7.2, 1997). We find that these earthquakes broke several segments limited by geometrical complexities of the faults. We interpret the differences in failure style of these earthquakes (i.e. rupture length, mean slip and number of broken segments) as being due to different level of structural maturity of the Dasht-e-Bayaz and Abiz faults. Furthermore, we succeed to detect offsets produced by the 1979 Mw 6.6 Korizan earthquake. It is the first time that surface displacements for such a small historical earthquake have been measured using optical correlation. Then, combining previously published intermediate-field InSAR data and our near-field optical data, we estimate a new source model for the Zirkuh earthquake (Mw 7.2, 1997). We show that near-field data are crucial to better constrain the fault geometry and the slip distribution at depth. According to our source model, the Zirkuh earthquake broke three asperities separated by geometrical barriers where aftershocks are located. No shallow slip deficit is found for the overall rupture except on the central segment where it could be due to off-fault deformation in quaternary deposits. Finally, we use the information acquired in the first parts of this work to model the stress transfers within the NE Lut sequence. We find that 7 out of 11 earthquakes are triggered by the previous ones and that the precise modeling of the rupture geometry is crucial to robustly estimate the stress transfers. We also show that the Zirkuh earthquake is mainly triggered by the moderate earthquakes of the NE Lut sequence. Lastly, the simulation of multiple seismic cycles on the NE Lut fault system shows that stress transfers, in particular postseismic stress transfers due to viscoelastic relaxation, enhance the number of seismic sequences and synchronize the rupture of the faults. The simulations also show that the order in which the Mw>7 earthquakes occurred during the NE Lut sequence is quite exceptional

APA, Harvard, Vancouver, ISO, and other styles

43

Leonard, Pierre. "Etude et expérimentation des mécanismes de synchronisation du travail collaboratif sur réseaux de postes de travail." Versailles-St Quentin en Yvelines, 1997. http://www.theses.fr/1997VERS0007.

Full text

Abstract:

Depuis 1992, l'équipe telesia, de l'INRIA Rocquencourt intègre les multiples aspects du multimédia anime sur les postes de travail connectés en réseau. Elle anime régulièrement sur le réseau Internet et le fmbone les diffusions des séminaires Aristote qui se déroulent dans le cadre du collège de l'école polytechnique. Cette activité d'expérimentation in situ, par son caractère régulier et par l'approche d'activité de métier, est un contexte rare pour l'étude et le développement des connaissances sur le travail coopératif et les technologies de support. Elle a permis de promouvoir le réseau Renater, les plaques régionales, en démontrant la validité des techniques de l'Internet pour la synchronisation des activités humaines. La nécessité de la multi-diffusion dans l'organisation de l'activité de groupe a permis de coordonner le déploiement du fmbone, sous l'impulsion de l'association Aristote et avec les moyens techniques et humains de l'INRIA. Cette conjonction de moyens, et d'expérimentations in situ ont impacte fortement les choix d'intégration et de développement de l'application telesia. Cette thèse présente, à travers cette forte implication dans l'expérimentation, une analyse des moyens de coordination, de synchronisation des activités humaines en réseau. Qu'est-ce qu'une activité de groupe, locale ou à distance ? Comment s'exprime-t-elle avec les moyens informatiques disponibles ? Quelle est l'influence des composants de la chaîne de transmission sur la qualité de la mise en relation et donc sur l'activité de groupe ?. . .

APA, Harvard, Vancouver, ISO, and other styles

44

Conteville, Laurie. "Analyse de la stabilité des réseaux d'oscillateurs non linéaires, applications aux populations neuronales." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00904403.

Full text

Abstract:

Il est bien connu que la synchronisation de l'activité oscillatoire dans les réseaux de neurones joue un rôle important dans le fonctionnement du cerveau et pour le traitement des informations données pas les neurones. Cette thèse porte sur l'analyse de l'activité de synchronisation en utilisant des outils et des méthodes issues de la théorie du contrôle et de la théorie de la stabilité. En particulier, deux modèles ont été étudiés pour décrire l'activité oscillatoire des réseaux de neurones : le modèle de Kuramoto et le modèle de Hindmarsh-Rose. Une partie de ce manuscript est consacrée à l'étude du modèle de Kuramoto, qui est un des systèmes les plus simples utilisé pour modéliser un réseau de neurones, avec une connexion complète (all-to-all). Il s'agit d'un modèle classique qui est utilisé comme une version simplifiée d'un réseau de neurones. Nous construisons un système linéaire qui conserve les informations sur les fréquences naturelles et sur les gains d'interconnexion du modèle original de Kuramoto. Les propriétés de stabilité de ce modèle sont ensuite analysées et nous montrons que les solutions de ce nouveau système linéaire convergent vers un cycle limite périodique et stable. Finalement, nous montrons que contraint au cycle limite, les dynamiques du système linéaire coïncident avec le modèle de Kuramoto. Dans une seconde partie, nous avons considéré un modèle de réseau de neurones plus proche de la réalité d'un point de vue biologique, mais qui est plus complexe que le modèle de Kuramoto. Plus précisément, nous avons utilisé le modèle de Hindmarsh-Rose pour décrire la dynamique de chaque neurone que nous avons interconnecté par un couplage diffusif (c'est à dire linéaire). A partir des propriétés de semi-passivité du modèle de Hindmarsh- Rose, nous avons analysé les propriétés de stabilité d'un réseau hétérogène de Rindmarsh-Rose. Nous avons également montré que ce réseau est pratiquement synchronisé pour une valeur suffisamment grande du gain d'interconnexion. D'autre part, nous avons caractérisé le comportement limite des neurones synchronisés et avons établi une approximation de ce comportement par une moyenne des dynamiques de tous les neurones.

APA, Harvard, Vancouver, ISO, and other styles

45

Essaadi, Essahbi. "Integration and interdependency : identification of the ruptures in the case of East-Asian countries." Thesis, Lyon 2, 2011. http://www.theses.fr/2011LYO22022.

Full text

Abstract:

Cette thèse analyse la faisabilité d'une union monétaire en Asie de l'Est dans une vision dynamique et utilise les outils appropriés qui correspondent à l'histoire de l'économie régionale de la région. A partir de la littérature de la ZMO, nous testons quatre critères où chaqu'un d'eux sera traiter dans un chapitre. Dans le premier chapitre, nous présentons un fait stylisé pour différents arrangements financiers régionaux. Suite à la littérature existence, nous testons la dynamique de l'intégration financière par le biais de l'interdépendance des marchés boursiers. Le deuxième chapitre présente des perspectives à long terme des taux de change en Asie de l'Est avec une recommandation de la politique de ciblage d'inflation comme une politique monétaire régionale. L'adoption de cette politique assure un équilibre interne et maintient la stabilité de la compétitivité par la stabilité du taux de change. Nous étudions la synchronisation des cycles à l'Asie de l'Est au troisième chapitre. Une nouvelle mesure de la synchronisation des cycles économiques fondés sur l'analyse spectrale a été introduite. Notre méthodologie empirique renforce ceux des chapitres précédents qui prouvent une intégration économique croissante dans la région essentiellement durant cette dernière décennie. Le dernier chapitre examine la réaction d'un choc externe et un choc monétaire aux différents dates pour certaines économies de l'Asie de l'Est
This thesis analyzes the feasibility of a monetary union in East Asia in a dynamic view and employ the appropriate tools which are close to the specific way of the regional economy trajectory in the region. Starting from OCA literature, we test four main criteria in four separate chapter. In the first chapter, we present a stylized fact for different regional financial arrangement. Following existence literature, we test dynamic of financial integration through stock market index interdependence proxy. The second Chapter presents long term perspective of exchange rate in East Asia with a recommendation of Inflation Targeting policy as a common regional monetary policy. The adoption of such policy insures an internal equilibrium and maintains stability of competitiveness through the stability of exchange rate. We investigate in the third Chapter business cycles synchronization in East Asia. A new measure of business cycle synchronization based on spectral analysis has been introduced. Our empirical methodology reinforces previous chapter finds of a clear economic integration in the region for the last decade. The last Chapter thoroughly investigates the reaction of an external shock and a monetary shock at different period for some East Asia economies

APA, Harvard, Vancouver, ISO, and other styles

46

Bisiaux, Alexis. "Définition, conception et réalisation d'un modem vectoriel large bande utilisable dans la gamme hautes fréquences." Rennes 1, 2001. http://www.theses.fr/2001REN10053.

Full text

Abstract:

Les ondes HF (3-30 MHz) se propagent dans l'ionosphère en suivant des trajets différents, et les interférences qui en résultent perturbent les transmissions. L'originalité de la thèse est d'utiliser un réseau d'antennes colocalisées en réception pour séparer les ondes selon leur direction d'arrivée et leur polarisation. La mise en pratique de ce concept a nécessité l'établissement d'une liaison expérimentale. L'exploitation des données comporte deux aspects majeurs. Le premier concerne les techniques de communications numériques : les problèmes liés notamment à la synchronisation sont abordés. Le second est relatif au traitement d'antennes vectoriel. Différentes méthodes ont été mises en oeuvre pour supprimer au mieux les interférences, parmi lesquelles l'algorithme LMS s'est révélé le plus efficace. Il a permis d'établir des transmissions très performantes en termes de débit et de taux d'erreurs (jusqu'à 15 kbits/s dans 3 kHz de bande contre 2,4 kbits/s pour les modems classiques).

APA, Harvard, Vancouver, ISO, and other styles

47

Gastin, Paul. "Un modele distribue." Paris 7, 1987. http://www.theses.fr/1987PA077072.

Full text

Abstract:

Le modele presente s'inspire de la theorie des langages. Son originalite est le refus de representer le parallelisme par intercalage des actions concurrentes. Les idees fortes reprises dans ce travail sont issues des langages csp et estelle. Il s'agit principalement de l'independance totale des processus en dehors des synchronisations, ces dernieres etant des rendez-vous. Un element du modele distribue sera en consequence un vecteur d'histoires (un four chaque processus) et un ensemble de synchronisations

APA, Harvard, Vancouver, ISO, and other styles

48

Sirovich, Roberta. "Mathematical models for the study of synchronization phenomena in neuronal networks." Université Joseph Fourier (Grenoble), 2006. http://www.theses.fr/2006GRE10027.

Full text

Abstract:

Le train des spikes, la séquence des temps des potentiels d'action d'une cellule, est le donné habituellement analysé dans les enregistrementsélectrophysiologiques pour la description du pattern de décharge qui on suppose caractérisant les cellules neuronales. Nous présentons les résultats obtenus décrivant l'activité de décharge d'un petit réseau neuronal avec un modèle mathématique de saut-diffusion. Le potentiel membranaire du neurone en fonction du temps est donné par la somme d'un processus stochastique de diffusion et de deux processus de point qui provoquent des sauts d'amplitude constante à temps aléatoires discrètes. Différentes distributions sont considérées. Deux résultats principaux émergent. Le premier est que les histogrammes des intervalles entre potentiels d'action successifs montrent plus d'un maximum et un comportement de type resonnant. Ce fait suggère qu'en correspondance de chaque maximum la cellule ait une probabilité plus élevée de se décharger, de manière que le temps du potentiel d'action est un temps caractéristique de la cellule qui pourrait etre modulé en conditions physiologiques. Le deuxième résultat principal est que les afférences inhibitrices peuvent faciliter la transmission des potentiels d'action déchargés par l'unité afferente inhibitrice. Ce fait suggère que les cellules inhibitrices ne soient pas seulement impliquées en gardant équilibré l'excitabilité des toutes les neurones mais aussi dans le processus de l'information. La simulation de ce type de modèles exige une amélioration des algorithmes classiques. Dans ce cadre, la deuxième partie est dédiée àune étude purement théorique sur les processus bridge multidimensionnels
The spike train, i. E. The sequence of the action potential timings of a single unit, is the usual data that is analyzed in electrophysiological recordings for the description of the firing pattern which is supposed to characterize a certain type of cell. . We present the results obtained describing the firing activity of a small network of neurons with a mathematical jump diffusion model. That is the membrane potential as a function of time is given by the sum of a stochastic diffusion process and two counting processes that provoke jumps of constant sizes at discrete random times. Different distributions are considered for such processes. Two main results emerge. The first one is that interspike intervals (ISI) histograms show more than one peak (multimodality) and exhibit a resonant like behavior. This fact suggests that in correspondence of each mode (i. E. The lag of the maxima) the cell has a higher probability of firing such that the the lags become characteristic times of the cell which could be modulated under physiological conditions. The second main result concerns the role of inhibition in neuronal coding. Indeed we show that the inhibitory inputs may facilitate the transmission of the spikes generated by the excitatory inputs. This fact suggests that inhibitory cells are not only involved in keeping balanced the excitability of the cell but that they may also play a key role in the information process. Such kind of models requires to improve the algorithms to simulate the first passage time through a threshold of a stochastic process. So that the second part of this manuscript is dedicated to a a purely theoretical study on multidimensional bridge processes

APA, Harvard, Vancouver, ISO, and other styles

49

Rio, Maxime. "Modèles bayésiens pour la détection de synchronisations au sein de signaux électro-corticaux." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00859307.

Full text

Abstract:

Cette thèse propose de nouvelles méthodes d'analyse d'enregistrements cérébraux intra-crâniens (potentiels de champs locaux), qui pallie les lacunes de la méthode temps-fréquence standard d'analyse des perturbations spectrales événementielles : le calcul d'une moyenne sur les enregistrements et l'emploi de l'activité dans la période pré-stimulus. La première méthode proposée repose sur la détection de sous-ensembles d'électrodes dont l'activité présente des synchronisations cooccurrentes en un même point du plan temps-fréquence, à l'aide de modèles bayésiens de mélange gaussiens. Les sous-ensembles d'électrodes pertinents sont validés par une mesure de stabilité calculée entre les résultats obtenus sur les différents enregistrements. Pour la seconde méthode proposée, le constat qu'un bruit blanc dans le domaine temporel se transforme en bruit ricien dans le domaine de l'amplitude d'une transformée temps-fréquence a permis de mettre au point une segmentation du signal de chaque enregistrement dans chaque bande de fréquence en deux niveaux possibles, haut ou bas, à l'aide de modèles bayésiens de mélange ricien à deux composantes. À partir de ces deux niveaux, une analyse statistique permet de détecter des régions temps-fréquence plus ou moins actives. Pour développer le modèle bayésien de mélange ricien, de nouveaux algorithmes d'inférence bayésienne variationnelle ont été créés pour les distributions de Rice et de mélange ricien. Les performances des nouvelles méthodes ont été évaluées sur des données artificielles et sur des données expérimentales enregistrées sur des singes. Il ressort que les nouvelles méthodes génèrent moins de faux-positifs et sont plus robustes à l'absence de données dans la période pré-stimulus.

APA, Harvard, Vancouver, ISO, and other styles

50

Stein, Sebastian [Verfasser], Ulrich [Akademischer Betreuer] [Gutachter] Parlitz, and Reiner [Gutachter] Kree. "Synchronisation Behaviour of Viscoelastically Coupled Self-Sustained Oscillators as Models for Oscillations of Premature Cardiomyocytes / Sebastian Stein ; Gutachter: Reiner Kree, Ulrich Parlitz ; Betreuer: Ulrich Parlitz." Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2017. http://d-nb.info/114529233X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Model Synchronisation'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles