Závěrečná práce: Mário Uhrík: Benchmark of Stochastic Models
Bakalářská práce
Benchmark of Stochastic Models
Anotace
Deterministické a stochastické Petriho siete (DSPN) a Markovove reťazce v spojitom čase s fixnými udalosťami (fdCTMC) sú ekvivalentné formalizmy reprezentujúce triedu stochastických systémov užitočnú na modelovanie procesov z reálneho sveta. Dva z najnovších a aktívne vyvíjaných nástrojov sú Oris pre DSPN a fdPRISM pre fdCTMC. Cieľom tejto práce bolo vyvinúť ľahko použiteľnú zbierku modelov pre tieto …více
Abstract
Deterministic and stochastic Petri net (DSPN) and fixed-delay continuous-time Markov chain (fdCTMC) are equivalent formalisms that represent a class of stochastic systems useful in modeling real-world processes. Two of the newest and actively developed tools are Oris for DSPN and fdPRISM for fdCTMC. The purpose of this thesis was to develop easy to use benchmark for these two tools. The text of this …více
Zadání práce
Fixed-delay continuos-time Markov chain (FDCTMC) a deterministic and stochastic Petri nets (DSPN) sú ekvivalentné formalizmy na popis v praxi zaujímavej triedy stochastických systémov so spojitým časom. FDCTMC a DSPN sú už viac ako 30 rokov aktívne skúmané a existuje pre ne viacero verifikačných nástrojov. Medzi najnovšie a aktívne vyvíjané nástroje patria Oris pre DSPN a PRISM pre FDCTMC. Taktiež existuje mnoho stochastických systémov namodelovaných väčšinou ako DSPN. Cieľ bakalárskej práce je zozbierať existujúce modely systémov a prehľadne ich poskytnúť všetky na jednom mieste. Konkrétne úlohy študenta budú:
- nájsť relevantné modely systémov v literatúre,
- namodelovať ich v nástrojoch Oris a PRISM,
- vytvoriť verzovateľnú zbierku modelov,
- prehľadne a verejne poskytnúť vytvorenú zbierku modelov,
29. 5. 2017 11:02, Mgr. Ľuboš Korenčiak, Ph.D., učo 208317
- Zadáno/změněno 28. 6. 2017 16:41, Helena Kryštofová
- Záznam založen 5. 5. 2017 09:33, Jana Zemanová, učo 9619
- Zveřejnit od 29. 5. 2017 08:55, Eva Drštková
- Práce převzata 29. 5. 2017 08:55, Eva Drštková
angličtina
Konzultant
Práce na příbuzné téma
Žádné práce na příbuzné téma.
Složky
Soubory
-
Přidání souboru
Soubor nebo složku lze nahrát pomocí tlačítka Přidat. -
Další operace se soubory
Podrobnosti lze zjistit označením příslušného řádku. -
Pohled pro experty
Pro častou práci je možné zvolit režim Více možností. -
Vyhledávání souborů
Vyhledávaný výraz můžete zadat přímo do adresního řádku. -
Rychlý přístup k souborům
Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.