Rozšíření nástroje PRISM o analýzu Markovových řetězců spojitého času s fixními událostmi – Bc. Adrian Farmadin
Bc. Adrian Farmadin
Diplomová práce
Rozšíření nástroje PRISM o analýzu Markovových řetězců spojitého času s fixními událostmi
Transient analysis for CTMC with fixed-delay events in PRISM
Anotace:
Markovovy retazce sa dajú využiť ako štatistický model pre viaceré procesy zo skutočného sveta. Čas v procesu môže byť diskrétny (DTMC), spojitý (CTMC) alebo spojitý s fixnými udalosťami (FDCTMC). PRISM podporuje analýzu Markovovských reťazcov s diskrétnym aj spojitým časom. V téjto práci vysvetlím ako FDCTMC pracuje. Potom predstavím algoritmus pre počítanie transientnej pravdebodobnosti v danom kroku …víceAbstract:
Markov chains can be used as statistical models of many real-world processes. The time parameter of the process can be discrete (DTMC), continuous (CTMC) or continuous with fixed-delays (FDCTMC). PRISM supports analysis of discrete and continuous time Markov chains. In this thesis I will explain how FDCTMC works. Then I introduce an algorithm which can compute a transient probability in given step …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 25. 5. 2015
Identifikátor:
https://is.muni.cz/th/kgyh6/
Obhajoba závěrečné práce
- Obhajoba proběhla 26. 6. 2015
- Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
- Oponent: RNDr. Petr Novotný
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Bezpečnost informačních technologií
Práce na příbuzné téma
-
Statistical analysis of selected marketing database
Elizaveta Ushakova -
Formal Analysis of Stochastic Discrete Event Systems
Jan Krčál -
Benchmark of Stochastic Models
Mário Uhrík