Vyučující
|
-
Kavička Antonín, prof. Ing. Ph.D.
-
Strádal Oktavián, doc. Ing. Ph.D.
-
Bažant Michael, doc. Ing. Ph.D.
|
Obsah předmětu
|
Paradigma autonomních agentů (základních charakteristika agenta, multigentové systémy, strategie komunikace a kooperace, míra delegované inteligence, princip emergence). ABAsim - agentově orientovaná architektura simulačního modelu (dekompozice simulačního modelu na autonomní agenty, dekompozice agenta, vrstvové MPE/ABAsim modely, režimy adresování zpráv, synchronizace simulačního výpočtu kombinovaného diskrétně-spojitého simulátoru). Petriho sítě - formalismus popisu dynamiky systémů (základní charakteristiky, grafická a algebraická reprezentace, evoluční pravidla, klasifikace Petriho sítí, P/T Petriho sítě, barvené a časované Petriho sítě, hierarchické Petriho sítě, aplikace na formální popis komponent simulátorů). Real-time/on-line simulace (operativní plánování - reaktivní versus iniciativní přístup). Distribuovaná simulace (monolitické a distribuované architektury simulačních modelů, logický proces, lokální virtuální čas, konzervativní metody synchronizace, problematika výhledu, uváznutí a zotavení, metoda bariéry, optimistické metody synchronizace, lokální a globální složky řízení, rollback, anti-zprávy, livelock, globální virtuální čas). Klasifikace simulačních programovacích jazyků a nástrojů. Simulace jako podpora taktického a strategické plánování systémů hromadné obsluhy. Principy modelování a simulace technologických procesů. Komplexní případová studie - agentově-orientovaný simulační model provozu dopravního uzlu.
|
Studijní aktivity a metody výuky
|
Monologická (výklad, přednáška, instruktáž), Dialogická (diskuze, rozhovor, brainstorming), Nácvik dovedností
|
Výstupy z učení
|
Seznámit posluchače s pokročilejšími partiemi diskrétní simulace na číslicových počítačích a uplatněním této experimentální metody při tvorbě simulačních modelů dopravních a logistických systémů, jakož i systémů hromadné obsluhy.
Posluchači získají znalosti, které využijí pri tvorbě simulačních modelů dopravních a logistických systémů, jakož i systémů hromadné obsluhy.
|
Předpoklady
|
nespecifikováno
|
Hodnoticí metody a kritéria
|
Ústní zkouška, Písemná zkouška, Posouzení zadané práce
Podmínkou k udělení zápočtu je úspěšné zpracování semestrálních prací (implementace komplexnějších simulačních modelů).
|
Doporučená literatura
|
-
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.
|