Добірка наукової літератури з теми "Modèles à évènements discrets"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Modèles à évènements discrets".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Modèles à évènements discrets":

1

de Palma and Thisse. "Les modèles de choix discrets." Annales d'Économie et de Statistique, no. 14 (1989): 151. http://dx.doi.org/10.2307/20075743.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Bara, Najat, Frédéric Gautier, and Vincent Giard. "Modélisation d’une chaîne logistique hybride par la simulation à évènements discrets." Logistique & Management 28, no. 1 (November 19, 2019): 72–87. http://dx.doi.org/10.1080/12507970.2019.1685919.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Stein, Christian. "L’historien et ses modèles." Articles hors thème 5, no. 2 (July 6, 2010): 227–79. http://dx.doi.org/10.7202/044084ar.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Résumé Parler des modèles en histoire est une affaire délicate, car le mot recouvre des pratiques historiennes différentes depuis son apparition dans la discipline, après la dernière guerre mondiale. Pour une minorité d’historiens surtout spécialisés en histoire économique, il correspond à une vision nouvelle de la discipline qui tenterait d’intégrer certaines démarches mathématiques, en particulier aujourd’hui la théorie des jeux. Pour d’autres, en revanche, parler de modèles relèverait surtout d’une évolution du vocabulaire, sans impliquer de véritable mutation disciplinaire. Les historiens construisent et utilisent surtout des modèles explicatifs, voire palliatifs quand ils ont de trop grandes difficultés avec leurs sources, afin de présenter leurs travaux et de permettre des comparaisons. Il en découle un certain nombre de situations dans lesquelles les historiens ont du mal à garder le contrôle des modèles qu’ils utilisent, ce qui affaiblit leurs résultats : ils sont parfois prisonniers de leurs modèles, dont le rapport à la réalité est parfois problématique, confondent parfois comparatisme et transposition des modèles, voire se font piéger par des modèles discrets, qu’ils utilisent sans s’en rendre vraiment compte.
4

Ben Boubaker, Bilel, Bernard Haussy, and Jean-François Ganghoffer. "Modèles discrets de structures tissées : Analyse de stabilité et de drapé." Comptes Rendus Mécanique 330, no. 12 (December 2002): 871–77. http://dx.doi.org/10.1016/s1631-0721(02)01544-9.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Thisse, Jacques-François, and Antoine Billot. "Modèles de choix individuels discrets : théorie et applications à la micro-économie." Revue économique 46, no. 3 (1995): 921–31. http://dx.doi.org/10.3406/reco.1995.409707.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Billot, Antoine, Jacques-François Thisse, and Jacques-Francois Thisse. "Modèles de choix individuels discrets: Théorie et applications à la micro-économie." Revue économique 46, no. 3 (May 1995): 921. http://dx.doi.org/10.2307/3502437.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

PAVE, A. "Modélisation et simulation d'écosystèmes. Des modèles déterministes aux simulations à événements discrets." Nature Sciences Sociétés 7, no. 4 (October 12, 1999): 60–61. http://dx.doi.org/10.1016/s1240-1307(00)86478-x.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Zhao, Mengxuan, Gilles Privat, Eric Rutten, and Hassane Halla. "Modèles génériques applicables à la synthèse de contrôleurs discrets pour l’internet des objets." Journal Européen des Systèmes Automatisés 47, no. 1-3 (May 30, 2013): 211–25. http://dx.doi.org/10.3166/jesa.47.211-225.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Bonnet, Céline. "Économétrie de la concurrence entre produits différenciés : théorie et méthodes empiriques*." L'Actualité économique 83, no. 4 (November 18, 2008): 555–80. http://dx.doi.org/10.7202/019392ar.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Résumé La concentration industrielle n’a cessé d’augmenter ces 20 dernières années. Cette concentration est présente autant chez les producteurs que chez les distributeurs. Il est donc devenu primordial de mesurer le pouvoir de marché des différents acteurs et d’analyser les interactions concurrentielles entre ces divers intermédiaires. Les méthodes d’économétrie structurelle permettent de mesurer empiriquement ce pouvoir de marché. Cet article propose donc une revue de la littérature sur les méthodologies structurelles permettant d’estimer les marges des acteurs du marché à partir de paramètres estimés de la demande et de tester différentes interactions stratégiques entre les membres de l’industrie. L’objectif est de faire le point sur les modèles utilisés pour estimer la demande, en l’occurrence les modèles de choix discrets tels que les logit multinomiaux, et de résumer les méthodes permettant d’obtenir les paramètres structurels des modèles de concurrence oligopolistique entre distributeurs et producteurs. Nous présenterons également les développements récents de la modélisation des interactions stratégiques et des relations verticales entre producteurs et distributeurs ainsi que les méthodes permettant de tester différentes hypothèses sur les relations horizontales et verticales.
10

Paquet, Marie-France, and Denis Bolduc. "Le problème des données longitudinales incomplètes : une nouvelle approche." Articles 80, no. 2-3 (October 24, 2005): 341–61. http://dx.doi.org/10.7202/011390ar.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Résumé Dans ce travail, nous suggérons l’utilisation de l’échantillonnage de Gibbs combiné à l’augmentation des données pour estimer des modèles à données longitudinales incomplètes, qui dans le cas extrême où l’échantillon est composé de coupes transversales indépendantes, correspond au cas de modèle de type pseudo-panel. Cette idée peut être appliquée dans plusieurs contextes : modèles statiques ou dynamiques de type linéaires, non linéaires, de choix discrets, avec régresseurs endogènes, etc. Pour présenter la méthode proposée, nous l’appliquons dans le cas d’un modèle linéaire à variable dépendante continue. Comme point de comparaison, nous utilisons les estimations par l’approche conventionnelle dite de pseudo-panel basée sur des moyennes calculées sur des cohortes. La technique proposée dans ce travail donne des résultats supérieurs, en terme d’efficacité, à la technique conventionnelle. Cette conclusion demeure valide quelle que soit la proportion des observations manquantes.

Дисертації з теми "Modèles à évènements discrets":

1

Garredu, Stéphane. "Approche de méta-modélisation et transformations de modèles dans le contexte de la modélisation et simulation à évènements discrets : application au formalisme DEVS." Thesis, Corte, 2013. http://www.theses.fr/2013CORT0003/document.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Cette thèse s’inscrit au carrefour du monde de la modélisation et simulation de systèmes d’une part et du monde de l’ingénierie logicielle d’autre part. Elle vise à faire bénéficier un formalisme de spécification de systèmes à évènements discrets (DEVS) des apports de l’ingénierie dirigée par les modèles (IDM) avec l’une de ses incarnations les plus populaires : MDA (Model Driven Architecture). Le formalisme DEVS de par son adaptabilité et son extensibilité permet l’expression et la simulation de modèles dans des domaines très variés, mais l’existence de plusieurs plateformes dédiées à ce langage nuit fortement à l’interopérabilité de ces modèles. Ces difficultés, si elles ne sont pas nouvelles, représentent cependant un défi d’autant plus important que les modèles considérés sont complexes (i.e composés en général de nombreux sous modèles et interagissant fortement entre eux). L’objectif de la thèse est de proposer une réponse à la problématique de l’interopérabilité des modèles DEVS, vis-À-Vis d’autres formalismes voisins de DEVS et également vis-À-Vis des différents simulateurs existants. Le cœur de notre travail est constitué par MetaDEVS, méta-Modèle offrant une représentation des modèles DEVS indépendante des plateformes. MetaDEVS est également le nom donné à l’approche globale qui vise à fournir des passerelles génériques entre différents formalismes et DEVS («Model-To-Model»). Cette approche montre également comment, à partir de modèles DEVS spécifiés selon MetaDEVS, du code orienté-Objet, simulable, peut être automatiquement généré («Model-To-Text»).Les formalismes choisis pour faire l’objet d’une transformation vers DEVS sont BasicDEVS, un petit formalisme pédagogique créé pour l’occasion, ainsi que les automates à états finis (FSM). La plateforme de destination choisie pour la génération de code est la plateforme éducative PyDEVS, compatible avec la plateforme DEVSimPy, utilisée par les chercheurs du projet TIC de l’Università di Corsica
This thesis takes place at the intersection between the world of modeling and simulation, and the world of software engineering. Its provides a contribution to a discrete-Event specification formalism (DEVS) using techniques of Model-Driven Engineering, with one of its most popular incarnations : MDA (Model Driven Architecture). The DEVS formalism, thanks to its adaptability and its extensibility, is able to express and simulate models in various domains. However, the existence of many dedicated platforms damages the interoperability of those models. Those difficulties, even if they are not new, are a challenge which is all the greater as the studied models are complex (i.e. usually composed of several submodels with a strong interaction).The main purpose of this thesis is to tackle the problem of the DEVS models interoperability, with respect to other formalisms close to DEVS, and also with respect to the different existing simulators. The core of our work is constituted by MetaDEVS, a metamodel that offers a platform-Independent representation of DEVS models. MetaDEVS is also the name given to the global approach which aims to provide generic bridges between different formalisms and DEVS (“Model-To-Model”). This approach also shows how, starting from DEVS models specified with MetaDEVS, object-Oriented code can be automatically generated (“Model-To-Text”).The formalisms chosen to be transformed into DEVS are BasicDEVS, a small pedagogical formalism create for our needs, and the finite state machines (FSM). The chosen target platform for the code generation is the educative framework PyDEVS, compliant with the DEVSimPy framework used by the researchers of the TIC project of the University of Corsica
2

Boufaied, Amine. "Contribution à la surveillance distribuée des systèmes à évènements discrets complexes." Toulouse 3, 2003. http://www.theses.fr/2003TOU30234.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Maia, Carlos Andrey. "Identification et commande de systèmes à évènements discrets dans l'algèbre (max,+)." Angers, 2003. http://www.theses.fr/2003ANGE0008.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Les Graphes d'Evénements Temporisés forment une sous-classe des Réseaux de Pétri appropriée pour la description de Systèmes à Evénements Discrets sujets à des phénomènes de synchronisation. Bien que ces systèmes aient un comportement non-linéaire dans l'algèbre conventionnelle, ils sont décrits par des équations linéaires dans l'algèbre des dioi͏̈des. Ce mémoire aborde les problèmes d'identification et de commande de ces systèmes. Le chapitre 3 propose une méthode d'estimation paramétrique de modèles (max,+)-linéaire mono-entrée mono-sortie. Supposant connue la structure d'un modèle de transfert entrée-sortie, un algorithme d'estimation paramétrique est développé. Le chapitre 4 aborde la commande de modèle de référence dans le contexte de juste-à-temps. Cette approche propose une structure de commande basée sur l'utilisation d'un pré-compensateur et d'un correcteur de type retour de sortie, ces deux correcteurs conjugués permettent d'obtenir les performances désirées pour le système corrigé. Il est montré que cette approche assure un comportement optimal du système en boucle fermée et que l'existence de ces correcteurs optimaux n'est pas dépendante du choix du modèle de référence (contrairement aux approches proposées antérieurement dans la communauté). Ces résultats sont appliqués pour résoudre le problème de stabilisation de graphes d'événements temporisés
Timed Event Graphs are a subclass of Petri nets suitable to describe Discrete Event Systems subject to synchronization phenomena. Although these systems have nonlinear time bahavior in conventional algebra they are described by linear equations in dioid algebra. This thesis deals with identification and control problems of such systems. The chapter 3 proposes a parametric estimation method for (max,+)-linear SISO models. The estimation algorithm is developed by assuming the knowledge of the structure of a model represented by an input-output transfer function. The chapter 4 deals with the model-reference control stated in a Just-in-Time context. This approach proposes a control structure based on a precompensator and a feedback controllers which allows to obtain the desired performances for the controlled system. It is shown That this approach always leads to an optimal bahavior of the closed-loop system and that the existence of the optimal controller is independent of the model reference choice (unlike previous approaches found in the literature). These results are used to solve the stabilization problem of timed event graphs
4

Pencolé, Yannick. "Diagnostic décentralisé de systèmes à évènements discrets : application aux réseaux de télécommunications." Rennes 1, 2002. https://tel.archives-ouvertes.fr/tel-00003581.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Damiba, Armand. "Simulation à évènement discrets de modèles Bond Graph." Aix-Marseille 3, 2000. http://www.theses.fr/2000AIX30079.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
L'objectif principal de cette thèse est de proposer une méthode de transformation de modèles continus en modèles à événements discrets en spécifiant l'environnement de simulation des modèles obtenus. Cette méthode est basée sur une approche originale d'abstraction à événements discrets, GDEVS (Genelarized Discrete Event System specification), qui est une extension du formalisme DEVS (Discrete Event System specification), GDEVS autorise la spécification de modèles à évènements discrets de systèmes dynamiques dont les trajectoires sont décrites par des polynômes de degré quelconque. Cela permet une meilleure approximation des trajectoires des modèles continus. La méthode proposée est une application de GDEVS à la transformation de modèles continus représentés par bond graphs. L'association des bond graphs et de GDEVS permet ainsi de disposer d'un langage de description de modèles continus et des techniques de simulation à événements discrets. .
The main objectif of the work presented in this thesis, is to propose a continuous to discrete event model transformation method, and also to specify a simulation environment of the obtained models. This method is based on an original discrete event approach named GDEVS (Genelarized Discrete Event System specification), which is an extension of DEVS (Discrete Event System specification) formalism, GDEVS allows the specification of discrete event models of dynamic systems with polynomial input/output trajectories. In fact polynomial trajectoreis allow a better approximation of continuous system trajectories. The proposed method is an application of GDEVS to transform bond graph models. This combination of the bond graph methodology and GDEVS forms a continuous modeling and discrete event environment. .
6

Bisgambiglia, Paul-Antoine. "Approche de modélisation approximative pour des systèmes à évènements discrets : application à l’étude de propagation de feux de forêt." Corte, 2008. http://www.theses.fr/2008CORT0003.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Dans ce rapport de thèse, nous présentons une approche de modélisation approximative pour les systèmes à évènements discrets. Le but de ces recherches est de définir des outils afin d’associer un formalisme de modélisation et de simulation à évènement discrets avec la logique floue. Cette nouvelle méthode appelée iDEVS permet de modéliser et simuler des systèmes à données imprécises. Tout au long de ce manuscrit, nous abordons diverses notions comme : la prise en compte d’imprécisions avec la théorie des sous ensembles flous ; la simulation imprécise avec des méthodes de défuzzification ; etc. Dans le premier chapitre, nous présentons les théories associées à la logique floue. Dans le second chapitre, nous décrivons les notions de modélisation et de simulation, et notamment le formalisme DEVS. Dans le troisième chapitre, nous détaillons la méthode iDEVS, et les outils développés afin de l’utiliser. Avant de conclure, nous proposons une application de l’approche iDEVS pour l’étude de la propagation de feux de forêt
In this thesis report, we present an approximate modeling approach for discrete events systems. The aim of this research is to develop tools to link modeling and simulation formalism, with fuzzy logic. This new method called iDEVS allows to model and to simulate inaccurate systems. Throughout the manuscript, we discuss various concepts such: take into account inaccuracies with fuzzy sets theory; fuzzy simulation with defuzzification methods…In the first chapter, we present the theories associated with fuzzy logic. In the second chapter, we describe the modeling and simulation concepts, including DEVS formalism. In the third chapter, we explain the method iDEVS, and the tools developed for use. Before concluding, we propose an application of the approach iDEVS to study the spread of forest fires
7

Dumery, Jean-Jacques. "Un langage de spécification pour la conception structurée de la commande des systèmes à évènements discrets." Châtenay-Malabry, Ecole centrale de Paris, 1999. http://www.theses.fr/1999ECAP0644.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Dans le cadre de l'ingénierie des systèmes automatisés de production, concevoir une commande de système à évènements discrets est une activité complexe. Elle nécessite souvent l'utilisation de méthodes qui mettent en œuvre un ensemble de langages de spécification. Par ailleurs, on observe que les représentations graphiques sont de plus en plus privilégiées par rapport aux représentations littérales et algébriques du fait de leur aptitude à servir de support de communication entre tous les intervenants. C'est dans cet esprit que le Grafcet a été conçu. Il est aujourd'hui largement enseigné, utilisé dans l'industrie, normalisé, et il est servi par de nombreuses publications. Toutefois, une critique classiquement faite au Grafcet est qu'il porte peu d'informations de structuration et qu'il permet difficilement d'exprimer formellement de la sémantique application. C'est cette problématique qui nous a amené à définir un langage de spécification du comportement de la commande des systèmes à évènements discrets basé sur le Grafcet, s'inspirant des Statecharts, appelé HyperGrafcet. Ce langage, s'appuyant sur le concept d'hyperétape, permet d'exprimer formellement la hiérarchie structurelle grâce à un mécanisme d'encapsulation et de la sémantique application (ou externe) grâce à des étiquettes. Un Meta modèle statique de l'HyperGrafcet a été élaboré. L'objectif de ce méta-modèle est de formaliser la syntaxe de l'HyperGrafcet, en mettant en évidence les concepts de base de ce langage de spécification et les liens entre ces différents concepts, et d'éviter les imprécisions dues à une description en langage naturel. Apres la formalisation statique de l'HyperGrafcet, une formalisation dynamique est proposée. Ceci nécessite la définition d'un cadre temporel à plusieurs échelles de temps, des règles d'évolution du langage, ainsi que d'un algorithme d'interprétation des règles d'évolution. Ces règles et l'algorithme d'interprétation associé privilégient le concept de situation. Nous avons en conséquence développé une algèbre permettant de manipuler les situations d'un développement d'Hyperétape et de les combiner. Nous définissons une fonction appelée test qui permet d'associer une valeur de vérité à l'établissement d'une situation ou d'une combinaison de tests sur situations. Ainsi, nous avons pu formaliser les mécanismes de positionnement de développement lors d'évolutions. Ce langage de spécification a été testé avec succès, notamment dans le cas de l'expression des modes de marche, sur diverses applications industrielles caractéristiques de productions de type continu, batch et manufacturier
8

Subias, Audine. "Approche multi-modèles pour la commande et la surveillance en temps réel des systèmes à évènements discrets." Toulouse 3, 1995. http://www.theses.fr/1995TOU30024.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Le travail presente s'integre dans le domaine de la surveillance en temps reel des systemes a evenements discrets. Une approche de la commande et de la surveillance dans le contexte particulier des ateliers flexibles de production manufacturiere y est proposee. Ayant mis en evidence la necessite de la modelisation du procede surveille, l'approche dite a modele de reference a ete retenue. Cette approche repose sur une structure hierarchique et modulaire dans laquelle chaque module contient des fonctions de commande et de surveillance. Notre travail montre qu'une telle approche presente un certain manque d'informations, necessaires pour developper un systeme de surveillance en temps reel, global et efficace. En particulier, dans le cas d'une propagation de defaillance d'une activite a une autre, il est necessaire de disposer non seulement d'un mecanisme de propagation ascendante du traitement de la defaillance, de maniere a mieux apprehender la defaillance, mais aussi d'un mecanisme de propagation descendante ayant pour but d'affiner le diagnostic etabli. Aussi l'approche presentee propose la mise en place d'un systeme d'information, veritable source de renseignements sur le procede, en parallele de la hierarchie de commande surveillance existante, et d'un centre de gestion assurant les differentes communications entre les deux elements precedents. La structure et le contenu du systeme d'information sont alors decrits. Un processus d'affinement du diagnostic est defini, mettant en jeu les differentes applications offertes par le systeme d'information (recherche, verification, mise a jour, recuperation). Le role du centre de gestion est mis en evidence ainsi que ses differentes taches (determination de chemin, declenchements des applications). Un exemple de taille industrielle permet d'eclairer les propositions effectuees. Le probleme de la realisation d'une telle approche est egalement aborde
9

Capocchi, Laurent. "Simulation concurente de fautes comportementales pour des systèmes à évènements discrets : application aux circuits digitaux." Corte, 2005. http://www.theses.fr/2005CORT3088.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
La Simulation Comparative et Concurrente (SCC) permet d'effectuer plusieurs simulations d'un système en une seule exécution. Une des premières applications de la SCC a été la simulation de Fautes Concurrente (SFC) permettant la simulation de fautes au sein des systèmes digitaux décrits au niveau portes logiques. De nos jours, les concepteurs de circuits évitent de travailler sur ces modèles logiques et préfèrent utiliser des descriptions plus abstraites basées sur des langages de description de matériel comme le VHDL (Very high speed integrated circuits Hardware Description Language). Ces langages permettent de modéliser et de simuler le comportement des circuits digitaux mais ils ne sont pas appropriés pour la simulation concurrente des comportements fautifs ou fautes. Les barrières au développement d'un simulateur concurrent de fautes comportementales sont le manque de modèles de fautes réalistes et la difficulté à mettre en oeuvre les algorithmes concurrents au sein d'un noyau de simulation. Pour répondre à cette problématique, nous proposons le formalisme BFS DEVS (Behavioral Fault Simulator for Discrete EVent system Specification). Ce formalisme permet de modéliser et de simuler les fautes comportementales sur des systèmes à événements discrets comme les circuits digitaux décrits en VHDL. Il dérive du formalisme DEVS (Discrete EVent system Specification) introduit par le professeur B. P. Zeigler à la fin des années 70. Le noyau de simulation BFS-DEVS intègre les algorithmes concurrents de la SFC et il s'appuie sur une technique de propagation de listes de fautes au sein des modèles du système. Cette technique améliore la rapidité du processus de simulation car elle permet la détection simultanée de plusieurs fautes et simplifie également l'observabilité des résultats en fin de simulation
The Concurrent and Comparative Simulation (CCS) allows several simulations on a system in one single pass. One of the first applications of CCS has been the Concurrent Fault Simulation (CFS) for fault simulation in digital systems described at the gate level. However, nowadays digital designers focus on more abstract languages such as VHDL (Very high speed integrated circuits Hardware Description Language) rather than on these logical models. Modeling and simulating digital circuits behaviors is possible using these languages, but they do not allow the concurrent simulation of faulty behaviors, also simply called faults. Technical barriers for the design of a concurrent fault simulator are on the one hand the Jack of realistic fault models and on the other hand the difficulty to integrate the concurrent algorithms into a simulation kernel. To reach this objective, we propose the BFS-DEVS formalism (Behavioral Fault Simulator for Discrete EVent system Specification). This formalism allows to model and simulate behavioral faults on discrete event system such as digital circuits described with VHDL. Its theoretical fundation is the DEVS (Discrete EVent system Specification) formalism introduced by Zeigler in the late 70's. The BFS-DEVS simulation kernel integrates the CFS concurrent algorithms and is based on a propagated fault lists technique inside the models of the system. This technique speeds up the simulation processus since it allows the simultaneous detection of several faults and also simplify results observability at the end of the simulation
10

Giaccone, Thierry. "Modèle structuré de spécification, de conception et de mise au point de systèmes à évènements discrets." Montpellier 2, 1991. http://www.theses.fr/1991MON20241.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
L'evolution actuelle du marche favorise une production industrielle diversifiee de qualite. Les systemes automatises de production (sap) doivent alors satisfaire une nouvelle contrainte: la flexibilite. Ces derniers devenant de plus en plus complexes, leur automatisation necessite de nouvelles methodes. Ce besoin est a l'origine d'un nouveau domaine, le genie automatique. L'objet de cette these est la realisation d'une methode structuree qui assure la coherence globale du processus de developpement. Elle permet de realiser entierement l'automatisation d'un sap, de sa specification jusqu'a son exploitation et sa maintenance tout en couvrant les aspects fonctionnels (utilisation de diagrammes de flots), traitement de donnees (utilisation d'un langage specialise) et comportement dynamique du systeme (utilisation du gracet norme iec 848 avec les extensions de forcage et de recherche de stabilite). L'integration de cette methode structuree dans un atelier de genie automatique centralisant l'information est le moyen de realiser un outil (ou modele) qui utilise ces principes et facilite le travail de specification, de conception et de mise au point en equipe multidisciplinaire

Книги з теми "Modèles à évènements discrets":

1

Erard, Pierre-Jean, and Pontien Déguénon. Simulation par évènements discrets. Concepts et réalisations en Simula, Ada, Smalltalk. Presses polytechniques et universitaires romandes, 1996.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Частини книг з теми "Modèles à évènements discrets":

1

Bony, Jean-Michel. "Existence globale et diffusion pour les modèles discrets de la cinétique des gaz." In First European Congress of Mathematics Paris, July 6–10, 1992, 391–410. Basel: Birkhäuser Basel, 1994. http://dx.doi.org/10.1007/978-3-0348-9328-2_12.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Bony, Jean-Michel. "Existence globale et diffusion pour les modèles discrets de la cinétique des gaz." In First European Congress of Mathematics, 391–410. Basel: Birkhäuser Basel, 1994. http://dx.doi.org/10.1007/978-3-0348-9110-3_12.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Moller, Pierre. "Théorême de Cayley-Hamilton dans les dioïdes et application à l’étude des sytèmes à évènements discrets." In Analysis and Optimization of Systems, 215–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/bfb0007559.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

ACHAZ, Guillaume, and Julien Y. DUTHEIL. "Évolution corrélée : modèles et méthodes." In Modèles et méthodes pour l’évolution biologique, 87–126. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9069.ch4.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Les différents caractères portés par les espèces évoluent simultanément au cours du temps. « Caractère » est pris ici au sens large : il peut s'agir de traits quantitatifs, comme la taille ou le poids, ou de traits discrets, comme les nucléotides présents en différents sites d'une macromolécule. Étudier le niveau de dépendance entre l'évolution de plusieurs caractères a motivé le développement d'approches spécifiques selon leurs types.
5

BASTIDE, Paul, Mahendra MARIADASSOU, and Stéphane ROBIN. "Modèles d’évolution de caractères continus." In Modèles et méthodes pour l’évolution biologique, 47–85. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9069.ch3.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
On s'intéresse ici à la probabilité de passer d'un état A à un état B mais dans le cas où le caractère d'intérêt est un trait quantitatif comme la taille ou le poids. Les modèles utilisés diffèrent du cas discrets et dérivent principalement du mouvement brownien. Ce chapitre présente les principaux modèles d'évolution de traits quantitatifs ainsi que les méthodes permettant de les appliquer dans le contexte évolutif.
6

PARDOUX, Étienne. "Modèles d’évolution pour les séquences et les caractères discrets." In Modèles et méthodes pour l’évolution biologique, 33–45. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9069.ch2.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Un modèle d'évolution permet d'associer une probabilité à l'évènement « passer de l'état A à l'état B en un temps donné » pour le caractère d'intérêt. Le calcul des arbres d'évolution repose pour l'essentiel sur des modèles d'évolution de séquences génétiques, où le caractère d'intérêt est le nucléotide ou l'acide aminé présent à un site donné. Ce chapitre présente les modèles de Markov en temps continu qui sont à la base des principaux modèles d’évolution de séquences et de caractères discrets.
7

LAURIN, Michel. "Fossiles et phylogénie." In Modèles et méthodes pour l’évolution biologique, 247–68. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9069.ch10.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
L'étude de l'évolution des taxons éteints pose des problèmes spécifiques, dus en particulier à l'absence de matériel génétique (sauf cas rares et récents) dans le registre fossile. Au-delà de leur intérêt propre, les fossiles constituent une source d'information essentielle pour l'étude du Vivant. En particulier, sans fossiles, il est très difficile de dater les divers évènements évolutifs.

До бібліографії