Detail předmětu

Systémy diskrétních událostí

FEKT-MSDUAk. rok: 2013/2014

Systémy diskrétních událostí, typy a příklady, modelování. Modelovací aparát. Petriho sítě, autonomní a barevné Petriho sítě. Sekvenční systémy. Markovovy řetězce a procesy, systémy hromadné obsluhy.

Jazyk výuky

čeština

Počet kreditů

5

Garant předmětu

prof. Ing. Pavel Václavek, Ph.D.

Zajišťuje ústav

Ústav automatizace a měřicí techniky (UAMT)

Výsledky učení předmětu

Absolvent předmětu je schopen:
- analyzovat chování systémů diskrétních událostí
- navrhovat modely pro jednoduché systémy diskrétních událostí
- vyjadřovat modely systémy diskrétnéch událostí pomocí různých reprezentací
- určit základní statistiky systémů hromadné obsluhy
- analyzovat chování jednoduchých Markovovských sítí

Prerekvizity

Jsou požadovány znalosti na úrovni bakalářského studia. Základní znalosti modelování systémů na úrovni kurzu BMOD.

Plánované vzdělávací činnosti a výukové metody

Metody vyučování zahrnují přednášky a cvičení na počítači. V rámci cvičení jsou vypracovávány testy pro ověření znalostí. Student odevzdává tři samostatné úlohy.

Způsob a kritéria hodnocení

Cvičení. projekt/testy na cvičení. Max. 30 bodů.
Písemná zkouška. Max. 70 bodů.

Podmínkou udělení zápočtu je účast na povinné části výuky a získání alespoň 10 bodů z projektu na cvičení.

Osnovy výuky

Systémy a modely
Automaty, základní koncepty
Jazyky a jejich vztah k automatu
Petriho sítě
Časované systémy
Hybridní systémy
Stochastické časované automaty
Řízení systémů diskrétních událostí
Markovovy řetězce s diskrétním časem
Markovovy procesy se spojitým časem
Systémy hromadné obsluhy
Řízení Markovovských řetězců a systémů hromadné obsluhy
Simulace systémů diskrétních událostí

Učební cíle

Předmět prezentuje problematiku systémů, které mají ze své podstaty diskrétní charakter (na rozdíl od diskrétního řízení systémů spojitých). Jedná se o systémy kusové výroby, hromadné obsluhy, dopravní systémy apod. Předmět se zabývá modelováním, řízením a optimalizací chování systémů diskrétních událostí. V náplni předmětu je i získání dovedností v práci se simulačním systémem Witness, který je špičkou v oblasti diskrétních simulačních prostředků.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

Vymezení kontrolované výuky a způsob jejího provádění stanoví každoročně aktualizovaná vyhláška garanta předmětu.

Základní literatura

Václavek, P.: Systémy diskrétních událostí, příklady. ET VUT FEKT, Brno, 2008. (CS)

Zařazení předmětu ve studijních plánech

  • Program EEKR-M magisterský navazující

    obor M-KAM , 2. ročník, zimní semestr, volitelný oborový

  • Program EEKR-M1 magisterský navazující

    obor M1-KAM , 2. ročník, zimní semestr, volitelný oborový

  • Program EEKR-CZV celoživotní vzdělávání (není studentem)

    obor ET-CZV , 1. ročník, zimní semestr, volitelný oborový

Typ (způsob) výuky

 

Přednáška

26 hod., nepovinná

Vyučující / Lektor

prof. Ing. Pavel Václavek, Ph.D.

Osnova

Systémy a modely
Automaty, základní koncepty
Jazyky a jejich vztah k automatu
Petriho sítě
Časované systémy
Hybridní systémy
Stochastické časované automaty
Řízení systémů diskrétních událostí
Markovovy řetězce s diskrétním časem
Markovovy procesy se spojitým časem
Systémy hromadné obsluhy
Řízení Markovovských řetězců a systémů hromadné obsluhy
Simulace systémů diskrétních událostí

Cvičení na počítači

26 hod., povinná

Vyučující / Lektor

Ing. Adam Chromý, Ph.D.

Osnova

Příklady systémů diskrétních událostí, generování náhody
Úvod do simulačního systému Witness, základní bloky, sestavení modelu
Modelování výrobních systémů
Modelování dopravních systémů
Řešení optimalizačních úloh
Vizualizační prostředky systému Witness
Zpracování projektu
Aplikace Petriho sítí
Petriho sítě a GRAFCET
Markovovy řetězce
Markovovy procesy
Systémy hromadné obsluhy, výpočet statistik (délka fronty, intenzita využití kanálu,...)
Simulace systémů hromadné obsluhy v prostředí Witness