The course deals with modelling, simulation and optimization of discrete event systems. These systems do not change continuously but only at occurrence of discrete events important from the system behaviour point of view. These are mainly batch and piece productions and logistics, transport and service systems. Witness simulation system is used to model these systems and to carry out simulation and optimization experiments. Special attention is paid to modelling random phenomena such as breakdowns and unplanned repairs. The course is oriented practically but gives a sufficient theoretical ground based on queueing theory, Petri nets and discrete optimization.
Last update: SMIDOVAL (15.12.2012)
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.
Aim of the course -
Last update: Hanta Vladimír Ing. CSc. (26.06.2013)
Students will be able to:
analyze production, service and logistics processes
create their simulation models as discrete event systems
perform simulation experiments on models and find the optimum variant of processes
automatically monitor, record and process actions ongoing in modelled processes
prepare a complex project from analysis of requirements to implementation proposals
Last update: Hanta Vladimír Ing. CSc. (25.06.2013)
Studenti budou umět:
analyzovat výrobní, obslužné a logistické procesy
vytvořit jejich simulační model jako systém diskrétních událostí
provádět na modelu simulační experimenty, nalézt optimální variantu procesu
automaticky sledovat, zapisovat a zpracovávat děje probíhající v modelovaném procesu
zpracovat komplexní projekt od analýzy požadavků až návrhy pro realizaci
Literature -
Last update: Hanta Vladimír Ing. CSc. (01.07.2013)
R: Leemis L.M., Park S.K.: Discrete-Event Simulation: A First Course. Pearson Prentice Hall, 2006, 0-13-142917-5
A: Peterson J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs 1981, 0-13-661983-5
Witness Getting Started Materials. http://moodle.vscht.cz/mod/resource/view.php?id=2769
Teaching methods - Czech
Last update: Hanta Vladimír Ing. CSc. (13.11.2012)
Analýza vybraných modelových procesů.
Tvorba simulačního modelu, jeho validace a verifikace.
Simulační experimenty, optimalizace procesu.
Řešení vzorových projektů pod vedením.
Samostatná práce na individuálních projektech.
Syllabus -
Last update: Hanta Vladimír Ing. CSc. (22.06.2009)
1. Basic principles of modelling and simulation. Continuous vs. discrete models. Deterministic and stochastic models. Comparison of principles of mathematical modelling, interactive modelling in graphical interface and experimentation on real systems.
2. Interactive graphical modelling and simulation and their computer support, overview of programs for discrete event systems simulation.
3. Graphical interface of Witness simulation system. Interactive control of models and working with simulation elements. Simulation projects, development of simulation models.
4. Three stages of model development (definition, detail, display). Basic simulation elements: parts, machines and buffers. Library of simulation elements. Naive simulation of a simple system.
5. Modelling of material flows though a system, input and output rules. Modelling resources, labour, work interruption and labour pre-empting. Shift modelling. Use of main shifts and sub-shifts.
6. Actions, immediate actions, user actions. Parts attributes. Universal and user attributes. Variables and system variables. Functions. Library of designer elements, submodels and modules. Interactive visual definition of rules.
7. Ways of input and output data presentation. Interconnection with other programs (Excel, etc.). Graphical representation of models. Icons and picture gallery, icon editor.
8. Modelling of stoppages. Breakdowns and set-ups. Detailing machines and parts" working routines, multi-cycle machines. Modelling of transportation systems: conveyors, tracks, vehicles and paths. routing. Vehicle loading and unloading. Allocation of vehicles.
9. Continuous simulation elements. Processors, tanks, fluids and pipes. Cooperation of continuous and discrete elements. Filling and emptying of packaging.
10. Discrete event systems, queueing theory, Kendall classification of systems, models of queue and random processes, single- and multiple-servers queue systems.
11. Petri nets. Basic concepts and definition. Types of Petri nets, their properties. Model and analysis of Petri nets.
12. Simulation experiments. Use of optimization module. Principles of discrete optimization methods. Simulated annealing, taboo search. Computational complexity. Combinatorial algorithms, NP-complete problems.
13. Simulation projects. Aims, scope and details of projects. Data collection. Development and testing of models: model structure, interactive creation of models. Model verification and validation.
14. Documentation, use of Documentor module. Presentation and implementation of simulation project results.
Last update: SMIDOVAL (15.12.2012)
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.
Registration requirements -
Last update: Hanta Vladimír Ing. CSc. (26.06.2013)
Applications of Computer Science, Algorithms and Programming
Last update: Hanta Vladimír Ing. CSc. (13.11.2012)
Aplikace výpočetní techniky, Algoritmizace a programování
Teaching methods
Activity
Credits
Hours
Účast na přednáškách
0.5
14
Práce na individuálním projektu
2
56
Účast na seminářích
1.5
42
4 / 4
112 / 112
Coursework assessment
Form
Significance
Regular attendance
25
Report from individual projects
35
Continuous assessment of study performance and course -credit tests