Search

Your search keyword '"DEVS formalism"' showing total 76 results
Start Over Descriptor "DEVS formalism"

Refine your results

more »

more »

more »
76 results on '"DEVS formalism"'

51. A discrete event system specification (DEVS)-based model of consanguinity

Author

Farah Mustafa, Muaz A. Niazi, Noreen Akhtar, and Amir Hussain

Subjects
FOS: Computer and information sciences, Male, Complex systems, Theoretical computer science, DEVS, J.3, Discrete Mathematics (cs.DM), J.4, Computer science, Artificial intelligence Computer programs, Quantitative Biology - Quantitative Methods, Computer Science - Computers and Society, Consanguinity, Congenital disorder, Marriage, Consanguineous marriages, Quantitative Methods (q-bio.QM), DEVS formalism, education.field_of_study, Applied Mathematics, Computer Science - Social and Information Networks, General Medicine, Modeling and Simulation, Female, General Agricultural and Biological Sciences, Simulation, Algorithms, Statistics and Probability, I.2, C.4, B.1.2, Population, Neural networks Computer science, Cultural issues, I.6, General Biochemistry, Genetics and Molecular Biology, Congenital Abnormalities, Computers and Society (cs.CY), Humans, Computer Simulation, Sex Distribution, education, Quantitative Biology - Populations and Evolution, Population Growth, Computational intelligence, Social and Information Networks (cs.SI), General Immunology and Microbiology, Models, Genetic, I.2.0, Populations and Evolution (q-bio.PE), FOS: Biological sciences, Computer Science - Discrete Mathematics
Abstract

Consanguinity or inter-cousin marriage is a phenomenon quite prevalent in certain regions around the globe. Consanguineous parents have a higher risk of having offspring with congenital disorders. It is difficult to model large scale consanguineous parental populations because of disparate cultural issues unique to regions and cultures across the globe. Although consanguinity, as a social problem has been studied previously, consanguinity from a biological perspective has yet to be modeled. Discrete Event System Specification (DEVS) formalism is a powerful modeling formalism for the study of intricate details of real-world complex systems. In this article, we develop a DEVS model to get an insight into the role of consanguineous marriages in the evolution of congenital disorders in a population. As proof-of-concept, we develop a consanguinity simulation model in Simio simulation software. Our results show the effectiveness of DEVS in the modeling of consanguinity effects in causing congenital defects., 41 pages, 10 figures

Published
2010

54. Comparaison avec Simulink

Author

Capocchi, Laurent, Sciences pour l'environnement (SPE), Centre National de la Recherche Scientifique (CNRS)-Université Pascal Paoli (UPP), and SPE UMR CNRS 6134

Subjects
Simulink environment, Python-DEVS, DEVSimPy, DEVS Formalism, Matlab Simulink, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Abstract

Ce rapport montre qu’il est possible de simuler le modèle mathématique d’une machine asynchrone triphasé avec leformalisme DEVS (Discrete EVent System Specification) et d’obtenir les mêmes résultats que ceux obtenus avec le logicielMatlab/Simulink.

Published
2007

55. Simulation DEVS d'une machine à induction triphasée

Author

Capocchi, Laurent, Sciences pour l'environnement (SPE), Centre National de la Recherche Scientifique (CNRS)-Université Pascal Paoli (UPP), and SPE UMR CNRS 6134

Subjects
Simulink environment, Python-DEVS, DEVSimPy, DEVS Formalism, Matlab Simulink, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Abstract

Ce rapport montre qu’il est possible de simuler le modèle mathématique d’une machine asynchrone triphasé avec leformalisme DEVS (Discrete EVent System Specification) et d’obtenir les mêmes résultats que ceux obtenus avec le logicielMatlab/Simulink.

Published
2007

56. Business Process Simulation by Management Consultants? Introduction of a new approach for business process modeling and simulation by management consultants

Author

Rust, I.J. (author) and Rust, I.J. (author)

Abstract

Business process simulation (BPS) provides the possibility to simulate and evaluate the dynamic behavior of business processes, without directly influencing or changing the processes. The main problem is that developing a simulation model is considered to be difficult, time-consuming and expensive. For management consulting companies, BPS could be a useful addition to their current practices. As BPS requires advanced skills to develop a simulation model, a new approach is however required to enable business process simulation by management consultants. A user-centered design approach is applied to increase the likelihood that a designed solution is finally found useful and usable by the management consultants. The new designed approach for modeling and simulation of business processes, is based on Model-Driven Development (MDD) principles. Furthermore, we defined a conceptual modeling language based on the Business Process Modeling Notation (BPMN) and we adapted it to connect with the consultant's mental model. For each modeling element, a corresponding DEVS-simulation component is defined. To support the transformation from conceptual model to simulation model, a set of model-transformation rules is defined. And finally, several output statistics are specified, related to for instance resource utilization and processing times of entities in a business process. As a proof of concept, a prototype is developed based on the MDD4MS framework. It includes a visual model builder, a set of formally defined model-transformation rules, and the simulation components implemented in Java programming language. The Distributed Simulation Object Library (DSOL) was selected to provide the simulation and execution functionalities of the prototype. The prototype is finally used to model and simulate a sample-case, as well as a usability evaluation with management consultants. We conclude that the proposed design is a fruitful possibility to enable business process simulation by manag, SEPAM, Systems Engineering, Technology, Policy and Management

Published
2011

57. Formal DEVS modelling and simulation of a Flow-Shop relocation method without interrupting the production

Author

Patrick Pujo, Norbert Giambiasi, Massimo Pedetti, Pujo, Patrick, Laboratoire des Sciences de l'Information et des Systèmes (LSIS), Centre National de la Recherche Scientifique (CNRS)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Université de Toulon (UTLN)-Aix Marseille Université (AMU), and Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS)

Subjects
Production line, 0209 industrial biotechnology, Engineering, DEVS, 0211 other engineering and technologies, 02 engineering and technology, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, Market segmentation, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Flow-shop relocation project management, Project management, Simulation, DEVS formalism, 021103 operations research, Facilities Relocation, business.industry, Flow shop scheduling, Industrial engineering, [SPI.AUTO] Engineering Sciences [physics]/Automatic, Hardware and Architecture, Modeling and Simulation, business, Relocation, [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering, Software
Abstract

International audience; This paper presents an organisational method to keep the production going during the removal of a flow-shop. Assume a flow-shop system is to be moved on a new site and its production has to continue, our method can be applied to follow requests for the removal period. The method works as follows: we segment the removals in groups of machines and move them ones after the others. This method can be successfully executed provided that a prime condition is met: envisaging sufficient stocks’ plug between each group. The role of the latter stocks is to ensure operations’ production continuity between the old and the new site, when the non-operational group is being removed. Removal is then renewed until the whole line is moved and is operational on the new site. To validate this approach, we have used simulation and developed a model of the flow-shop according to coupled DEVS formalism. Our model enables to segment a production line. As a consequence, we can simulate the sequential displacement of machines’ groups towards the new site. Among the solutions suggested, those starting with the final group (finished products) and while finishing with the first group are much more effective. In this paper, we present and discuss some simulation results of an industrial case study. The results demonstrate the compared effectiveness of various strategies of removal, and make possible for the industrialist to envisage a good estimated project management.

Published
2006

58. Transformation of VHDL Descriptions into DEVS Models for Fault Modeling and Simulation

Author

Capocchi, Laurent, Bernardi, Fabrice, Federici, Dominique, Bisgambiglia, Paul-Antoine, TIC, Sciences pour l'environnement (SPE), Centre National de la Recherche Scientifique (CNRS)-Université Pascal Paoli (UPP)-Centre National de la Recherche Scientifique (CNRS)-Université Pascal Paoli (UPP), Centre National de la Recherche Scientifique (CNRS)-Université Pascal Paoli (UPP), IEEE, and Capocchi, Laurent

Subjects
fault, VHDL descriptions, modeling, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, DEVS formalism
Abstract

International audience; We propose in this article an approach for the transformation of VHDL descriptions into DEVS models for an easy and fast fault simulation. VHDL allows description of the structure of a design, that is how it is decomposed into sub-designs, and how those designs are interconnected. The specification of the function of designs are performed using familiar programming language forms. One of the main problems is that today tools are unable to quickly and easily create and simulate fault models directly from the VHDL descriptions. A way to solve this problem is to encapsulate these descriptions in easily simulable and evolutive models. We propose to use the DEVS formalism to achieve this encapsulation.

Published
2005

59. Behavioral Fault Simulation for VHDL Description using DEVS Formalism

Author

Capocchi, Laurent, Bernardi, Fabrice, Bisgambiglia, Paul-Antoine, Federici, Dominique, TIC, Sciences pour l'environnement (SPE), Centre National de la Recherche Scientifique (CNRS)-Université Pascal Paoli (UPP)-Centre National de la Recherche Scientifique (CNRS)-Université Pascal Paoli (UPP), Centre National de la Recherche Scientifique (CNRS)-Université Pascal Paoli (UPP), and Capocchi, Laurent

Subjects
fault, Computer Science::Hardware Architecture, VHDL descriptions, modeling, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, DEVS formalism
Abstract

One of the main problems is that today the tools for test generation are unable to quickly and easily create and simulate behavioral fault models directly from the VHDL descriptions. A way to solve this problem is to encapsulate these descriptions in easily simulable and evolutive models using DEVS formalism and to define a Behavioral Fault Simulator based on fast fault list propagation technique allowing the reduction of the number of VHDL simulation.

Published
2004

60. Modelování agentů pro robotický fotbal

Author

Janoušek, Vladimír, Rozman, Jaroslav, Suchý, Václav, Janoušek, Vladimír, Rozman, Jaroslav, and Suchý, Václav

Abstract

Tato práce popisuje návrh modelu agenta robotického fotbalu s využitím DEVS formalizmu. Za tímto účelem je představena vlastní modifikace klasického DEVS simulátoru v podobě paralelního realtime simulátoru. Ten umožňuje v reálném čase simulovat chování DEVS komponent založených na paralelním zpracování informací. Funkčnost modelu a simulátoru je předvedena na implementaci klienta robotického fotbalu pro simulační server iniciativy RoboCup. Klient se stal také základem pro připravovanou knihovnu k usnadnění tvorby vlastních agentů robotického fotbalu RoboCup., This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.

61. Modelování agentů pro robotický fotbal

Author

Janoušek, Vladimír, Rozman, Jaroslav, Suchý, Václav, Janoušek, Vladimír, Rozman, Jaroslav, and Suchý, Václav

Abstract

Tato práce popisuje návrh modelu agenta robotického fotbalu s využitím DEVS formalizmu. Za tímto účelem je představena vlastní modifikace klasického DEVS simulátoru v podobě paralelního realtime simulátoru. Ten umožňuje v reálném čase simulovat chování DEVS komponent založených na paralelním zpracování informací. Funkčnost modelu a simulátoru je předvedena na implementaci klienta robotického fotbalu pro simulační server iniciativy RoboCup. Klient se stal také základem pro připravovanou knihovnu k usnadnění tvorby vlastních agentů robotického fotbalu RoboCup., This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.

62. Grafický editor simulačních modelů

Author

Peringer, Petr, Hrubý, Martin, Hořák, Jan, Peringer, Petr, Hrubý, Martin, and Hořák, Jan

Abstract

Tato práce obsahuje úvod do problematiky modelování a simulace pomocí formalismu DEVS. Definuje základní modely (atomický DEVS a složený DEVS), určuje způsob simulace a obsahuje příklady formalismů, které jsou na DEVS založeny (ParallelDEVS, DESS). Dále je popsán způsob zadávání DEVS modelu pomocí grafického editoru, stručný přehled existujících nástrojů a jejich výhody a nevýhody. Zvláštní část je určena k využití jazyka XML pro ukládání modelů a přibližuje formy validace a transformace XML dokumentů. Poté práce obsahuje návrh grafického editoru simulačních modelů, který specifikuje třídy použité pro reprezentaci modelu, pracovní plátno, rozhraní pro export modelu a hlavní aplikaci, inspirované návrhovými vzory. Rovněž je uveden formát XML dokumentu určeného k uložení DEVS modelu a jednoduchý DEVS simulátor. Implementační část se zabývá použitými knihovnami a prací s nimi. Vymezuje jejich klady a zápory. Dokument je uzavřen příkladem návrhu a implementace jednoduchého DEVS modelu ve vytvořeném grafickém editoru určeného pro DEVS modely., This paper contains brief introduction into modeling and simulation using Discrete Event Specified System (DEVS) formalism. It defines basic models (atomic and coupled DEVS) and shows how they are simulated. Examples of derived DEVS formalism like parallel DEVS or DESS are also presented. It is described how to create DEVS models using graphic modeling software and advantages and disadvantages of this approach. A short summary of known programs are also covered. Storing models in the XML language, validation of XML document and transformation capabilities by XSLT are discussed. The main section is dedicated to the design of a graphic editor for simulation models inspired by design patterns including classes for canvas, model representation, export module interface and main application. The XML document used for storing DEVS models and simple DEVS simulator are also described. Implementation section presents used programming libraries, reasons why they have been used and their advantages and disadvantages. Paper ends with an example of a simple DEVS model created by implemented graphic editor for simulation DEVS models.

63. Modelování agentů pro robotický fotbal

Author

Janoušek, Vladimír, Rozman, Jaroslav, Janoušek, Vladimír, and Rozman, Jaroslav

Abstract

Tato práce popisuje návrh modelu agenta robotického fotbalu s využitím DEVS formalizmu. Za tímto účelem je představena vlastní modifikace klasického DEVS simulátoru v podobě paralelního realtime simulátoru. Ten umožňuje v reálném čase simulovat chování DEVS komponent založených na paralelním zpracování informací. Funkčnost modelu a simulátoru je předvedena na implementaci klienta robotického fotbalu pro simulační server iniciativy RoboCup. Klient se stal také základem pro připravovanou knihovnu k usnadnění tvorby vlastních agentů robotického fotbalu RoboCup., This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.

64. Modelování agentů pro robotický fotbal

Author

Janoušek, Vladimír, Rozman, Jaroslav, Janoušek, Vladimír, and Rozman, Jaroslav

Abstract

Tato práce popisuje návrh modelu agenta robotického fotbalu s využitím DEVS formalizmu. Za tímto účelem je představena vlastní modifikace klasického DEVS simulátoru v podobě paralelního realtime simulátoru. Ten umožňuje v reálném čase simulovat chování DEVS komponent založených na paralelním zpracování informací. Funkčnost modelu a simulátoru je předvedena na implementaci klienta robotického fotbalu pro simulační server iniciativy RoboCup. Klient se stal také základem pro připravovanou knihovnu k usnadnění tvorby vlastních agentů robotického fotbalu RoboCup., This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.

65. Grafický editor simulačních modelů

Author

Peringer, Petr, Hrubý, Martin, Peringer, Petr, and Hrubý, Martin

Abstract

Tato práce obsahuje úvod do problematiky modelování a simulace pomocí formalismu DEVS. Definuje základní modely (atomický DEVS a složený DEVS), určuje způsob simulace a obsahuje příklady formalismů, které jsou na DEVS založeny (ParallelDEVS, DESS). Dále je popsán způsob zadávání DEVS modelu pomocí grafického editoru, stručný přehled existujících nástrojů a jejich výhody a nevýhody. Zvláštní část je určena k využití jazyka XML pro ukládání modelů a přibližuje formy validace a transformace XML dokumentů. Poté práce obsahuje návrh grafického editoru simulačních modelů, který specifikuje třídy použité pro reprezentaci modelu, pracovní plátno, rozhraní pro export modelu a hlavní aplikaci, inspirované návrhovými vzory. Rovněž je uveden formát XML dokumentu určeného k uložení DEVS modelu a jednoduchý DEVS simulátor. Implementační část se zabývá použitými knihovnami a prací s nimi. Vymezuje jejich klady a zápory. Dokument je uzavřen příkladem návrhu a implementace jednoduchého DEVS modelu ve vytvořeném grafickém editoru určeného pro DEVS modely., This paper contains brief introduction into modeling and simulation using Discrete Event Specified System (DEVS) formalism. It defines basic models (atomic and coupled DEVS) and shows how they are simulated. Examples of derived DEVS formalism like parallel DEVS or DESS are also presented. It is described how to create DEVS models using graphic modeling software and advantages and disadvantages of this approach. A short summary of known programs are also covered. Storing models in the XML language, validation of XML document and transformation capabilities by XSLT are discussed. The main section is dedicated to the design of a graphic editor for simulation models inspired by design patterns including classes for canvas, model representation, export module interface and main application. The XML document used for storing DEVS models and simple DEVS simulator are also described. Implementation section presents used programming libraries, reasons why they have been used and their advantages and disadvantages. Paper ends with an example of a simple DEVS model created by implemented graphic editor for simulation DEVS models.

66. Modelování agentů pro robotický fotbal

Author

Janoušek, Vladimír, Rozman, Jaroslav, Janoušek, Vladimír, and Rozman, Jaroslav

Abstract

Tato práce popisuje návrh modelu agenta robotického fotbalu s využitím DEVS formalizmu. Za tímto účelem je představena vlastní modifikace klasického DEVS simulátoru v podobě paralelního realtime simulátoru. Ten umožňuje v reálném čase simulovat chování DEVS komponent založených na paralelním zpracování informací. Funkčnost modelu a simulátoru je předvedena na implementaci klienta robotického fotbalu pro simulační server iniciativy RoboCup. Klient se stal také základem pro připravovanou knihovnu k usnadnění tvorby vlastních agentů robotického fotbalu RoboCup., This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.

67. Grafický editor simulačních modelů

Author

Peringer, Petr, Hrubý, Martin, Peringer, Petr, and Hrubý, Martin

Abstract

Tato práce obsahuje úvod do problematiky modelování a simulace pomocí formalismu DEVS. Definuje základní modely (atomický DEVS a složený DEVS), určuje způsob simulace a obsahuje příklady formalismů, které jsou na DEVS založeny (ParallelDEVS, DESS). Dále je popsán způsob zadávání DEVS modelu pomocí grafického editoru, stručný přehled existujících nástrojů a jejich výhody a nevýhody. Zvláštní část je určena k využití jazyka XML pro ukládání modelů a přibližuje formy validace a transformace XML dokumentů. Poté práce obsahuje návrh grafického editoru simulačních modelů, který specifikuje třídy použité pro reprezentaci modelu, pracovní plátno, rozhraní pro export modelu a hlavní aplikaci, inspirované návrhovými vzory. Rovněž je uveden formát XML dokumentu určeného k uložení DEVS modelu a jednoduchý DEVS simulátor. Implementační část se zabývá použitými knihovnami a prací s nimi. Vymezuje jejich klady a zápory. Dokument je uzavřen příkladem návrhu a implementace jednoduchého DEVS modelu ve vytvořeném grafickém editoru určeného pro DEVS modely., This paper contains brief introduction into modeling and simulation using Discrete Event Specified System (DEVS) formalism. It defines basic models (atomic and coupled DEVS) and shows how they are simulated. Examples of derived DEVS formalism like parallel DEVS or DESS are also presented. It is described how to create DEVS models using graphic modeling software and advantages and disadvantages of this approach. A short summary of known programs are also covered. Storing models in the XML language, validation of XML document and transformation capabilities by XSLT are discussed. The main section is dedicated to the design of a graphic editor for simulation models inspired by design patterns including classes for canvas, model representation, export module interface and main application. The XML document used for storing DEVS models and simple DEVS simulator are also described. Implementation section presents used programming libraries, reasons why they have been used and their advantages and disadvantages. Paper ends with an example of a simple DEVS model created by implemented graphic editor for simulation DEVS models.

68. Grafický editor simulačních modelů

Author

Peringer, Petr, Hrubý, Martin, Peringer, Petr, and Hrubý, Martin

Abstract

Tato práce obsahuje úvod do problematiky modelování a simulace pomocí formalismu DEVS. Definuje základní modely (atomický DEVS a složený DEVS), určuje způsob simulace a obsahuje příklady formalismů, které jsou na DEVS založeny (ParallelDEVS, DESS). Dále je popsán způsob zadávání DEVS modelu pomocí grafického editoru, stručný přehled existujících nástrojů a jejich výhody a nevýhody. Zvláštní část je určena k využití jazyka XML pro ukládání modelů a přibližuje formy validace a transformace XML dokumentů. Poté práce obsahuje návrh grafického editoru simulačních modelů, který specifikuje třídy použité pro reprezentaci modelu, pracovní plátno, rozhraní pro export modelu a hlavní aplikaci, inspirované návrhovými vzory. Rovněž je uveden formát XML dokumentu určeného k uložení DEVS modelu a jednoduchý DEVS simulátor. Implementační část se zabývá použitými knihovnami a prací s nimi. Vymezuje jejich klady a zápory. Dokument je uzavřen příkladem návrhu a implementace jednoduchého DEVS modelu ve vytvořeném grafickém editoru určeného pro DEVS modely., This paper contains brief introduction into modeling and simulation using Discrete Event Specified System (DEVS) formalism. It defines basic models (atomic and coupled DEVS) and shows how they are simulated. Examples of derived DEVS formalism like parallel DEVS or DESS are also presented. It is described how to create DEVS models using graphic modeling software and advantages and disadvantages of this approach. A short summary of known programs are also covered. Storing models in the XML language, validation of XML document and transformation capabilities by XSLT are discussed. The main section is dedicated to the design of a graphic editor for simulation models inspired by design patterns including classes for canvas, model representation, export module interface and main application. The XML document used for storing DEVS models and simple DEVS simulator are also described. Implementation section presents used programming libraries, reasons why they have been used and their advantages and disadvantages. Paper ends with an example of a simple DEVS model created by implemented graphic editor for simulation DEVS models.

69. Modelování agentů pro robotický fotbal

Author

Janoušek, Vladimír, Rozman, Jaroslav, Janoušek, Vladimír, and Rozman, Jaroslav

Abstract

Tato práce popisuje návrh modelu agenta robotického fotbalu s využitím DEVS formalizmu. Za tímto účelem je představena vlastní modifikace klasického DEVS simulátoru v podobě paralelního realtime simulátoru. Ten umožňuje v reálném čase simulovat chování DEVS komponent založených na paralelním zpracování informací. Funkčnost modelu a simulátoru je předvedena na implementaci klienta robotického fotbalu pro simulační server iniciativy RoboCup. Klient se stal také základem pro připravovanou knihovnu k usnadnění tvorby vlastních agentů robotického fotbalu RoboCup., This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.

70. Grafický editor simulačních modelů

Author

Peringer, Petr, Hrubý, Martin, Peringer, Petr, and Hrubý, Martin

Abstract

Tato práce obsahuje úvod do problematiky modelování a simulace pomocí formalismu DEVS. Definuje základní modely (atomický DEVS a složený DEVS), určuje způsob simulace a obsahuje příklady formalismů, které jsou na DEVS založeny (ParallelDEVS, DESS). Dále je popsán způsob zadávání DEVS modelu pomocí grafického editoru, stručný přehled existujících nástrojů a jejich výhody a nevýhody. Zvláštní část je určena k využití jazyka XML pro ukládání modelů a přibližuje formy validace a transformace XML dokumentů. Poté práce obsahuje návrh grafického editoru simulačních modelů, který specifikuje třídy použité pro reprezentaci modelu, pracovní plátno, rozhraní pro export modelu a hlavní aplikaci, inspirované návrhovými vzory. Rovněž je uveden formát XML dokumentu určeného k uložení DEVS modelu a jednoduchý DEVS simulátor. Implementační část se zabývá použitými knihovnami a prací s nimi. Vymezuje jejich klady a zápory. Dokument je uzavřen příkladem návrhu a implementace jednoduchého DEVS modelu ve vytvořeném grafickém editoru určeného pro DEVS modely., This paper contains brief introduction into modeling and simulation using Discrete Event Specified System (DEVS) formalism. It defines basic models (atomic and coupled DEVS) and shows how they are simulated. Examples of derived DEVS formalism like parallel DEVS or DESS are also presented. It is described how to create DEVS models using graphic modeling software and advantages and disadvantages of this approach. A short summary of known programs are also covered. Storing models in the XML language, validation of XML document and transformation capabilities by XSLT are discussed. The main section is dedicated to the design of a graphic editor for simulation models inspired by design patterns including classes for canvas, model representation, export module interface and main application. The XML document used for storing DEVS models and simple DEVS simulator are also described. Implementation section presents used programming libraries, reasons why they have been used and their advantages and disadvantages. Paper ends with an example of a simple DEVS model created by implemented graphic editor for simulation DEVS models.

71. Modelování agentů pro robotický fotbal

Author

Janoušek, Vladimír, Rozman, Jaroslav, Suchý, Václav, Janoušek, Vladimír, Rozman, Jaroslav, and Suchý, Václav

Abstract

Tato práce popisuje návrh modelu agenta robotického fotbalu s využitím DEVS formalizmu. Za tímto účelem je představena vlastní modifikace klasického DEVS simulátoru v podobě paralelního realtime simulátoru. Ten umožňuje v reálném čase simulovat chování DEVS komponent založených na paralelním zpracování informací. Funkčnost modelu a simulátoru je předvedena na implementaci klienta robotického fotbalu pro simulační server iniciativy RoboCup. Klient se stal také základem pro připravovanou knihovnu k usnadnění tvorby vlastních agentů robotického fotbalu RoboCup., This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.

72. Grafický editor simulačních modelů

Author

Peringer, Petr, Hrubý, Martin, Hořák, Jan, Peringer, Petr, Hrubý, Martin, and Hořák, Jan

Abstract

Tato práce obsahuje úvod do problematiky modelování a simulace pomocí formalismu DEVS. Definuje základní modely (atomický DEVS a složený DEVS), určuje způsob simulace a obsahuje příklady formalismů, které jsou na DEVS založeny (ParallelDEVS, DESS). Dále je popsán způsob zadávání DEVS modelu pomocí grafického editoru, stručný přehled existujících nástrojů a jejich výhody a nevýhody. Zvláštní část je určena k využití jazyka XML pro ukládání modelů a přibližuje formy validace a transformace XML dokumentů. Poté práce obsahuje návrh grafického editoru simulačních modelů, který specifikuje třídy použité pro reprezentaci modelu, pracovní plátno, rozhraní pro export modelu a hlavní aplikaci, inspirované návrhovými vzory. Rovněž je uveden formát XML dokumentu určeného k uložení DEVS modelu a jednoduchý DEVS simulátor. Implementační část se zabývá použitými knihovnami a prací s nimi. Vymezuje jejich klady a zápory. Dokument je uzavřen příkladem návrhu a implementace jednoduchého DEVS modelu ve vytvořeném grafickém editoru určeného pro DEVS modely., This paper contains brief introduction into modeling and simulation using Discrete Event Specified System (DEVS) formalism. It defines basic models (atomic and coupled DEVS) and shows how they are simulated. Examples of derived DEVS formalism like parallel DEVS or DESS are also presented. It is described how to create DEVS models using graphic modeling software and advantages and disadvantages of this approach. A short summary of known programs are also covered. Storing models in the XML language, validation of XML document and transformation capabilities by XSLT are discussed. The main section is dedicated to the design of a graphic editor for simulation models inspired by design patterns including classes for canvas, model representation, export module interface and main application. The XML document used for storing DEVS models and simple DEVS simulator are also described. Implementation section presents used programming libraries, reasons why they have been used and their advantages and disadvantages. Paper ends with an example of a simple DEVS model created by implemented graphic editor for simulation DEVS models.

73. Modelování agentů pro robotický fotbal

Author

Janoušek, Vladimír, Rozman, Jaroslav, Suchý, Václav, Janoušek, Vladimír, Rozman, Jaroslav, and Suchý, Václav

Abstract

Tato práce popisuje návrh modelu agenta robotického fotbalu s využitím DEVS formalizmu. Za tímto účelem je představena vlastní modifikace klasického DEVS simulátoru v podobě paralelního realtime simulátoru. Ten umožňuje v reálném čase simulovat chování DEVS komponent založených na paralelním zpracování informací. Funkčnost modelu a simulátoru je předvedena na implementaci klienta robotického fotbalu pro simulační server iniciativy RoboCup. Klient se stal také základem pro připravovanou knihovnu k usnadnění tvorby vlastních agentů robotického fotbalu RoboCup., This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.

74. Modelling of social influence with devs and cell-devs formalism

Author

Youssef Bouanan, Zacharewicz, G., Vallespir, B., and Bouanan, Youssef

Subjects
Human Behaviour Modelling, [SPI] Engineering Sciences [physics], Diffusion Models, Social Influence, DEVS Formalism
Abstract

The reactions of populations to the dissemination and propagation of information are, up to now, not modeled appropriately. There is however an interest in the ability to simulate and accurately measure the impact of information on population. The SICOMORES project objective is to provide solutions to artificially generate structured social networks of realistic population and simulate the effects of information on population, with a propagation algorithm of the effects across networks. The intention is to go further than current models that generally reduce the individuals of a population to simple obstacles or information transmitters without nuances enough in their behaviour and the influence they can have on a message. In this article, we recall first the use of discrete modelling approaches in the social influence. Then we present models for human information treatment and propagation using DEVS and Cell-DEVS (Cellular DEVS). Finally, we present a simulation of the impact of information on individuals using CD++, a simulation tool for DEVS and Cell- DEVS.

76. Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP)

Author

Youssef Bouanan, Mathilde Forestier, Judicael Ribault, Gregory Zacharewicz, Bruno Vallespir, and Bouanan, Youssef

Subjects
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [SPI] Engineering Sciences [physics], Human behavior, Modeling and simulation, [INFO.INFO-SI] Computer Science [cs]/Social and Information Networks [cs.SI], [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, DEVS Formalism, Information Propagation, Multidimensional social network
Abstract

The impact of information on individuals within a social network is, mostly, statically modeled and the dynamic is not frequently tackled. In addition, the work of modeling and simulation of the population’s reactions to the information do not use explicit specification languages to describe their models. These models are specified in the shape of graph or math formulas and then directly implemented and coded using classical programming languages. We propose to model the actions of influence in a multidimensional social network (MSN). Each graph layer corresponds to a predetermined social network based on one relationship. In this work, the use of the DEVS formalism has permitted to explicit M&S of human behavior and the interaction between individuals as a network. In more detail, we define a set of models of individuals characterized by a set of state variables (e.g., using Maslow’s theory [15] to construct the behavior of an individual) and the mesh between the individuals within a social network. Then, we introduce the platform architecture, sharing resources, specifically designed to simulate MSN. In the end, a scenario is used to validate our models using the platform based on DEVS Specification.

Catalog

Books, media, physical & digital resources
See catalog results