Vyučující
|
|
Obsah předmětu
|
Hlavní témata předmětu po jednotlivých týdnech (blocích): - Úvod modelování a simulace komplexních systémů - Základy diskrétních systémů řízené událostmi - Algoritmická kompozice konečných automatů - Přípustné jazyky a jejich kompozice - Teorie dozorčích automatů a algoritmizace návrhu - Základy Markovských řetězců - Výpočet očekávaných hodnot a způsoby podmiňování - Statistická simulace a metoda Monte Carlo - Rozšíření na Markov Chain Monte Carlo - Statistické metody validace - Pokročilé metody validace - Prezentace simulačních výsledků
|
Studijní aktivity a metody výuky
|
Přednáška s diskusí, Přednáška s praktickými aplikacemi, Individuální konzultace, Samostudium studentů, Samostudium literatury, Cvičení
- Kontaktní výuka
- 39 hodin za semestr
- Příprava prezentace (referátu) [3-8]
- 10 hodin za semestr
- Příprava na zkoušku [10-60]
- 50 hodin za semestr
- Příprava na souhrnný test [6-30]
- 35 hodin za semestr
- Praktická výuka [vyjádření počtem hodin]
- 26 hodin za semestr
|
Předpoklady |
---|
Odborné znalosti |
---|
studenti by měli mít základní znalosti z oblasti teorie systémů, algoritmizace a programování na úrovni úvodních vysokoškolských kurzů |
Odborné dovednosti |
---|
student má základní počítačové dovednosti v programu Matlab |
Obecné způsobilosti |
---|
mgr. studium: samostatně a odpovědně se na základě rámcového zadání rozhodují v souvislostech jen částečně známých, |
mgr. studium: srozumitelně a přesvědčivě sdělují odborníkům i laikům informace o povaze odborných problémů a vlastním názoru na jejich řešení, |
Výsledky učení |
---|
Odborné znalosti |
---|
porozumět metodám systémové analýzy a aplikovat je pro analýzu kybernetických systémů |
pochopit a uplatňovat obecné principy analýzy systémů |
analyzovat systémy s využitím strukturovaných metod |
analyzovat systémy s využitím objektově orientovaných metod |
využívat efektivně počítačovou podporu |
Odborné dovednosti |
---|
student umí převést diskrétní chování systému do souvísejícího jazyka |
student umí schématicky popsat jazyk pomocí konečného automatu |
student umí pomocí počítačovích nástrojů ověřit korektnost konečného automatu |
student umí vytvářet kompozice konečných automatů |
student umí navrhnout přípustné pravidla konečného automatu o ověřit jejich proveditelnost |
student umí navrhnout dozorčí automaty |
student umí navrhnout simulaci dle metody Monte Carlo |
student umí navrhnout a realizovat simulaci metodou Markov Chain Monte Carlo |
student umí validovat program simulace |
student umí validovat výsledky simulace oproti naměřeným hodnotám |
Obecné způsobilosti |
---|
mgr. studium: samostatně a odpovědně se rozhodují v nových nebo měnících se souvislostech nebo v zásadně se vyvíjejícím prostředí s přihlédnutím k širším společenským důsledkům jejich rozhodování, |
mgr. studium: srozumitelně a přesvědčivě sdělují odborníkům i širší veřejnosti vlastní odborné názory, |
mgr. studium: používají své odborné znalosti, odborné dovednosti a obecné způsobilosti alespoň v jednom cizím jazyce, |
mgr. studium: plánují, podporují a řídí s využitím teoretických poznatků oboru získávání dalších odborných znalostí, dovedností a způsobilostí ostatních členů týmu, |
Vyučovací metody |
---|
Odborné znalosti |
---|
Přednáška s diskusí, |
Cvičení (praktické činnosti), |
Samostudium, |
Individuální konzultace, |
Přednáška s aktivizací studentů, |
Odborné dovednosti |
---|
Přednáška založená na výkladu, |
Cvičení (praktické činnosti), |
Výuka podporovaná multimédii, |
Analyticko-kritická práce s textem, |
Skupinová výuka, |
Samostudium, |
Individuální konzultace, |
Diskuse, |
Obecné způsobilosti |
---|
Přednáška založená na výkladu, |
Cvičení (praktické činnosti), |
Výuka podporovaná multimédii, |
Analyticko-kritická práce s textem, |
Skupinová výuka, |
Samostudium, |
Individuální konzultace, |
Diskuse, |
Hodnotící metody |
---|
Odborné znalosti |
---|
Kombinovaná zkouška, |
Individuální prezentace, |
Odborné dovednosti |
---|
Výstupní projekt, |
Individuální prezentace, |
Písemná zkouška, |
Obecné způsobilosti |
---|
Demonstrace dovedností (praktická činnost), |
Individuální prezentace, |
Seminární práce, |
Písemná zkouška, |
Doporučená literatura
|
-
C. G. Cassandras. Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
|