1. | | Systémy diskrétních událostí (SDU), typy a příklady |
2. | | Modelování SDU, účel a základní prostředky. Strukturální a dynamické modely |
3. | | Paralelismus v SDU, statická, kapacitní a precedenční omezení |
4. | | Grafy a sítě jako základní modelovací aparát |
5. | | Petriho sítě (PS), definice, typy, účel, PS jako modelovací nástroj |
6. | | Sekvenční systémy a jejich modelování pomocí PS, autonomní PS, barevné PS |
7. | | Časované PS, simulace funkce systému, odhalování kritických míst v systémech |
8. | | Optimalizační úlohy v SDU, problém rozvrhování, definice, typy úloh |
9. | | Výpočetní složitost algoritmů rozvrhování, třídy složitosti |
10. | | Klasické a heuristické metody, rozvrhování jako úloha splňování omezení |
11. | | Rozvrhování v systémech s jedním a více procesory, typy procesorů |
12. | | Rozvrhování v systémech "flow-shop","open-shop" a "job-shop", kritéria optimality |
13. | | Pružné systémy a rozvrhování v nich |
14. | | Inkrementální rozvrhování, reakce na poruchy a/nebo změnu parametrů systému |
1. | | Úvod, organizace a program cvičeni |
2. | | SDU v praktických úlohách, příklady |
3. | | Modelování SDU, nástroje pro strukturální a dynamické modelování |
4. | | Statické, kapacitní a precedenční omezující podmínky |
5. | | Základní algoritmy pro řešení grafových a síťových úloh |
6. | | Petriho sítě - využití v praktických úlohách 1 |
7. | | Petriho sítě - využití v praktických úlohách 2 |
8. | | Petriho sítě - využití v praktických úlohách 3 |
9. | | Petriho sítě - využití v praktických úlohách 4 |
10. | | Úlohy rozvrhování - definice a analýza problému |
11. | | Úlohy rozvrhování - řešení konkrétního problému 1 |
12. | | Úlohy rozvrhování - řešení konkrétního problému 2 |
13. | | Rozvrhování jako úloha pro CLP (logické programování s omezujícími podmínkami) |
14. | | Závěrečné zhodnocení kursu |