Latest

whatsapp (+234)07060722008
email sales@graciousnaija.com

Sunday, 7 January 2018

FORMAL AND OPERATIONAL STUDY OF P-DEVS

ABSTRACT
Discrete Event System Specification (DEVS) is a sound formal modeling and simulation (M&S) structure based on generic dynamic system concepts. PDEVS (Parallel Discrete Event System Specification) is a well-known formalism for the specification of complex concurrent systems organized as an interconnection of atomic and coupled interacting components. The abstract simulator of a PDEVS model is normally founded on the assumption of maximal parallelism: multiple components are allowed to undertake at the same time an independent state transition. Our work is to study PDEVS formalism, its operational semantics through various implementation strategies, the cleaning of the thread-less and the threaded implementations proposed in the PDEVS simulation engine, bench marking of the two implementations and formal analysis of the simulation protocol.

CHAPTER 1: INTRODUCTION
1.1 Introduction to Modeling and Simulation
A computer simulation is a computer program, or network of computers, that attempts to generate the behaviour of an abstract mode l of a particular system. Computer simulations have become a useful part of mathematical modeling of many natural systems in computational physics, astrophysics, chemistry and biology, human systems in economics, psychology, social science, and engineering. Simulations can be used to explore and gain new insights into new technology, and to estimate the performance of systems too complex for analytical solutions.
Computer simulations vary from computer programs that run a few minutes, to network-based groups of computers running for hours, to ongoing simulations that run for days. The scale of events being simulated by computer simulations has far exceeded anything possible using the traditional paper-and-pencil mathematical modeling.
Modeling and simulation (M&S) is the use of models, including emulators, prototypes, simulators, and stimulators, either statically or over time, to develop data as a basis for making managerial or technical decisions. The use of modeling and simulation (M&S) within engineering is well recognized. Simulation technology belongs to the tool set of engineers of all application domains and has been included into the body of knowledge of engineering management. M&S has already helped to reduce costs and increase the quality of products and systems.
Modeling and Simulation is a discipline for developing a level of understanding of the interaction of the parts of a system, and of the system as a whole. The level of understanding which may be developed via this discipline is seldom achievable via any other discipline.
A system is understood to be an entity which maintains its existence through the interaction of its parts.
A model is a simplified representation of the actual system intended to promote understanding. Whether a model is a good model or not depends on the extent to which it promotes understanding. Since all models are simplifications of reality there is always a trade-off as to what level of detail is included in the model. If too little detail is included in the model one runs the risk of missing relevant interactions and the resultant model does not promote understanding. If too much detail is included in the model, the model may become overly complicated and actually preclude the development of understanding. One simply cannot develop all models in the context of the entire universe.
A simulation generally refers to a computerized version of the model which is run over time to study the implications of the defined interactions. Simulations are generally iterative in their development. One develops a model, simulates it, learns from the simulation, revises the model, and continues the iterations until an adequate level of understanding is obtained.

Department: Computer Science (M.Sc Thesis)
Format: MS Word
Chapters: 1 - 5, Preliminary Pages, Abstract, References, Appendix.
No. of Pages: 64

Price: 20,000 NGN
In Stock



No comments:

Post a Comment

Add Comment