Název předmětu: |
Simulace systémů diskrétních událostí |
|
|
|
Ústav: |
445 - Ústav počítačové a řídicí techniky |
|
|
|
Přednášející: |
Ing. Vladimír Hanta, CSc. |
|
|
|
Zástupce: |
Ing. Filip Michálek |
|
|
|
Typ předmětu: |
povinný |
|
|
|
Rozsah / zakončení: |
1/3 z,Zk |
|
|
|
Kredity |
4 |
|
|
|
Doporučený ročník / semestr: |
1/2 |
|
|
|
Povinné předcházející předměty: |
|
|
|
|
|
|
|
|
|
Doporučené předcházející předměty: |
|
|
|
|
|
|
|
|
|
Souhrn: |
|
|
|
|
Předmět se zabývá modelováním, simulací a
optimalizací systémů diskrétních událostí. V těchto systémech nedochází ke
změnám spojitě, ale pouze při výskytu diskrétních událostí důležitých z
hlediska chování systému. Jsou to zejména systémy várkové a kusové výroby a
logistické, dopravní a obslužné systémy. K modelování těchto systémů a
provádění simulačních a optimalizačních experimentů je využíván systém
Witness. Zvláštní pozornost je věnována modelování náhodných jevů jako jsou
poruchy a neplánované opravy. Předmět je zaměřen prakticky, ale poskytuje i
dostatečný teoretický základ založený na teorii front, Petriho sítí a
diskrétní optimalizaci. |
|
|
|
|
|
|
|
Anotace: |
|
|
|
|
1 |
Základní principy modelování a simulace.
Spojité vs. diskrétní modely. Deterministické a stochastické modely. Srovnání
principů matematického modelování, interaktivního modelování v grafickém
prostředí a experimentování na reálných systémech. |
|
|
|
2 |
Interaktivní grafické modelování a simulace a
jejich počítačová podpora, přehled některých programů pro simulaci systémů
diskrétních událostí. |
|
|
|
3 |
Prostředí simulačního programu Witness.
Interaktivní ovládání modelu a práce se simulačními prvky. Simulační
projekty, tvorba simulačních modelů. |
|
|
|
4 |
Tři
stupně vytváření modelu (definice, vlastnosti, zobrazení). Základní simulační
prvky: součásti, stroje a zásobníky. Knihovna simulačních elementů. Naivní
simulace jednoduchého systému. |
|
|
|
5 |
Modelování materiálových toků systémem, vstupní
a výstupní pravidla. Modelování pracovních sil zdrojů, přerušování práce.
Modelování směn. Použití hlavních směn a podsměn. |
|
|
|
6 |
Programovací jazyk WCL. Akce, okamžité akce,
uživatelské akce. Atributy součástí. Univerzální a uživatelské atributy.
Proměnné a systémové proměnné. Funkce. Knihovna návrhářských elementů,
submodely a moduly. Interaktivní tvorba pravidel |
|
|
|
7 |
Způsoby prezentace vstupních a výstupních dat.
Propojení s jinými programy (Excel apod.). Grafická reprezentace modelů.
Ikony a galerie obrázků, editor ikon. |
|
|
|
8 |
Modelování prostojů. Poruchy a seřízení.
Detaily strojů a součástí: pracovní postupy, stroje s vícenásobným cyklem.
Modelování dopravních systémů: dopravníky, dráhy, vozíky. Nakládání a
vykládání vozíků. Alokace vozíků. |
|
|
|
9 |
Spojité simulační prvky. Procesory, tanky,
tekutiny a potrubí. Spolupráce spojitých a diskrétních prvků. Plnění a
vyprazdňování obalů. |
|
|
|
10 |
Systémy diskrétních událostí, teorie front
(systémy hromadné obsluhy), Kendallova klasifikace systémů, modely hromadné
obsluhy a náhodné procesy, exponenciální systémy jednoduché a vícenásobné
obsluhy. |
|
|
|
11 |
Petriho sítě. Základní koncepty a definice.
Typy Petriho sítí. Vlastnosti Petriho sítí. Modely a analýza Petriho sítí. |
|
|
|
12 |
Simulační experimenty. Použití optimalizačního
modulu. Principy metod diskrétní optimalizace. Metoda simulovaného žíhání,
metoda zakázaných směrů (tabu search). Výpočetní složitost. Kombinatorické
algoritmy, NP-úplné problémy. |
|
|
|
13 |
Simulační projekty. Stanovení cílů, rozsah a
detailnost projektu. Sběr dat. Tvorba a testování modelu: struktura modelu,
interaktivní tvorba modelu. Verifikace a validace modelu. |
|
|
|
14 |
Dokumentace, použití modulu Documentor.
Prezentace a implementace výsledků simulačního projektu. |
|
|
|
|
|
|
|
Literatura: |
|
|
|
|
[1] |
Maňas M.: Matematické modely v ekonomii. SNTL, Praha 1989 |
|
|
|
[2] |
Peredo, C. H.: Learning Witness. Lanner Group, Houston 1998 [on line] |
|
|
|
[3] |
Peterson J. L.: Petri Net Theory and the Modeling of Systems.
Prentice-Hall, Englewood Cliffs 1981 |
|
|
|
[4] |
Robinson S.: Successful Simulation. McGraw-Hill, London 1994 |
|
|
|
[5] |
Videcká,
Z.: Witness 2000. Uživatelská příručka. VUT, Brno 2001 [on line] |
|
|
|
[6] |
Leemis L.M., Park S.K.: Discrete-Event Simulation: A First Course.
Pearson Prentice Hall, 2006 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|