|
Lecturer(s)
|
-
Kavička Antonín, prof. Ing. Ph.D.
-
Strádal Oktavián, doc. Ing. Ph.D.
-
Bažant Michael, doc. Ing. Ph.D.
|
|
Course content
|
Architectures of monolithic simulation models: event-driven, process-driven, agent-based (message-oriented). Agent-based architectures of simulation model, paradigm of intelligent agents, reactive agents. ABAsim architecture of simulation models, internal agent structure, hierarchical organization of agents and models, communication mechanism, case study. P/T and coloured Petri nets - formal description of internal logic related to simulator's components, basic principles: (i) duality (ii) locality (iii) concurrency (iv) graphical representation (v) algebraic representation. Architectures of distributed simulation models, logical process, lookahead, causality constraint, local virtual time. Conservative synchronization methods of distributed simulation, C/M/B algorithm, barrier synchronization, null-messages, deadlock. Optimistic approach to synchronization of distributed simulation, time warp algorithm, rollback, anti-messages, livelock, transient messages, global virtual time, HLA architecture. Real-time/on-line simulation models, off-line versus on-line simulation, reactive planning, proactive planning, training simulators. Simulation of technological processes. Simulation of transportation and logistic processes.
|
|
Learning activities and teaching methods
|
|
Monologic (reading, lecture, briefing), Dialogic (discussion, interview, brainstorming), Skills training
|
|
Learning outcomes
|
The main goal of the course is to familiarise students with advanced approaches related to experimental method of modelling & discrete simulation on digital computers.
Passing the course enables to manage advanced simulation techniques and design construction of simulation models.
|
|
Prerequisites
|
unspecified
|
|
Assessment methods and criteria
|
Oral examination, Written examination, Home assignment evaluation
Given assignment confirms that a student has attended lessons to the extent required and fulfilled qualified requirements (elaboration of three simulation models focused on training of advanced simulation techniques). Form, contents and length of the exam are determined in accordance with Study and Examining Rules of University of Pardubice. The exam consists of two parts, a written test and a theoretical exam. Student passes successfully the written test as well as the theoretical part of the exam if he/she obtains at minimum 50% of possible points in each part.
|
|
Recommended literature
|
-
Banks, J. Handbook of Simulation: Principles, Methodology, Advances, Applications, and Practice. New York, John Wiley & Sons, 1998. ISBN 0-471-13403-9.
-
Jensen, K. Coloured Petri nets - basic concepts. Berlin: Springer Verlag, 1997. ISBN 978-0387582764.
-
Kavička, Antonín. Agentovo orientovaná simulácia dopravných uzlov. Žilina: EDIS - vydavatel'stvo ŽU, 2005. ISBN 80-8070-477-5.
-
Kelton, W. et al. Simulation with Arena. New York, McGraw-Hill, 2004. ISBN 0-07-285694-7.
-
Křivý, I., Kindler, E.:. Simulace a modelování, skripta Ostravské univerzity, 2001.
|