Detail předmětu

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

FEKT-LSDUAk. 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ů

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í tutoriály a cvičení na počítači. Student odevzdává sedm samostatných úloh.

Způsob a kritéria hodnocení

Domácí úlohy 30 bodů
Kombinovaná 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 domácích úloh.

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-ML magisterský navazující

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

  • Program EEKR-ML1 magisterský navazující

    obor ML1-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

prof. Ing. Pavel Václavek, 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