Informační systém Masarykovy univerzity 

Archiv závěrečné práce Petr Slovák FI N-IN PDS

česky | in English

Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

magisterský studijní program/obor:
Informatika/Paralelní a distribuované systémy

Práce na příbuzné téma

Zobrazit popisek

Bc. Petr Slovák

Použití metody Monte Carlo pro verifikaci stochastických systémů se spojitým časem

Monte Carlo methods in verification of continuous time stochastic systems

Anotace: Diplomová práce se zabývá analýzou možností využití metod Monte Carlo ve verifikaci systémů se spojitým časem. Po přehledu základních technik Monte Carlo analýzy se práce zaměřuje na konkrétní formalismus, "DTA-observed" systémy, který byl nedávno vytvořen skupinou prof. Kučery. Zejména analyzujeme možnosti použití Monte Carlo pro výpočet dosažitelnosti a stacionární distribuce. Práce přináší …více

Abstract: This thesis gives an initial analysis of the possibilities offered by Monte Carlo techniques in verification of continuous-time stochastic systems. After a general overview of the core ideas in Monte Carlo, we focus on a new formalism called DTA-observed systems, which was presented in a recent paper by our group. In particular, we analyse how Monte Carlo methods can be utilized in reachability problems …více

Monte Carlo methods stochastic systems continuous time verification

Zadání: Cílem práce je prostudovat použitelnost metody Monte Carlo ve verifikaci stochastických systémů se spojitým časem. Práce by nejprve měla poskytnout obecný přehled oblasti. Poté by měla studovat základní teoretické otázky spojené s použitím metody Monte Carlo pro verifikaci automatové specifikace Markovových procesů (odhady na délku simulace, výpočtová složitost simulace, apod.). Dosažené teoretické výsledky by měly být ilustrovány na vhodně zvolených příkladech.

Jazyk práce: angličtina

  • Zadáno/změněno 9. 2. 2011 16:38, Tomáš Navrátil
  • Záznam založen 14. 12. 2010 09:35, Eva Drštková
  • Zveřejnit od 10. 1. 2011 09:29, Eva Drštková
  • Práce převzata 10. 1. 2011 09:29, Eva Drštková

Obhajoba diplomové práce

  • Proběhla 9. 2. 2011, práce byla úspěšně obhájena.

Vedoucí:

  • doc. RNDr. Tomáš Brázdil, Ph.D., KTP FI MU

Oponent:

Plný text práce

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX | Wikipedie

Kontrola závěrečné práce

Práce zkontrolována: 11. 1. 2011 10:13, doc. RNDr. Tomáš Brázdil, Ph.D.


Nástroje.Seřadit vzestupně.Seřadit sestupně. Spočítat nepřečtené soubory ve složkách. Spočítat velikost složek. Zobrazit mapu souborů. Napřed složky, pak soubory.Seřadit vzestupně.Seřadit sestupně. Složka či souborSeřadit vzestupně.Seřadit sestupně. Vložil/aSeřadit vzestupně.Seřadit sestupně. VloženoSeřadit vzestupně.Seřadit sestupně. Expirace: Seřadit vzestupně.Expirace: Seřadit sestupně.
Nástroje.Tato složka.  Archiv závěrečné práce Petr Slovák FI N-IN PDS /fi_m/Slovák, P. 7.  1. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor annotation_english.txt, 601 B, holý textAnotace anglicky annotation_english.txtSlovák, P. 7.  1. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor annotation.txt, 510 B, holý textAnotace česky annotation.txtSlovák, P. 7.  1. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor keywords.txt, 70 B, holý textKlíčová slova keywords.txtSlovák, P. 7.  1. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor slovak.pdf, 44,9 KB, PDF Soubor slovak.txt, 4,6 KB, holý textPosudek oponent slovak.pdfObdržálek, J. 2.  2. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Soubor je nepřístupný.Posudek vedoucí posudek_vedouciho_jlxlwzhh.pdfBrázdil, T. 2.  2. 2011
Číst smí:
• kdokoliv přihlášený v ISu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor thesis-for-screen.pdf, 764,5 KB, PDF Soubor thesis-for-screen.txt, 171,9 KB, holý textthesis-for-screen.pdfSlovák, P. 7.  1. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor thesis-printed-copy.pdf, 764,6 KB, PDF Soubor thesis-printed-copy.txt, 171,9 KB, holý textthesis-printed-copy.pdfSlovák, P. 7.  1. 2011
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Prohlédnout tuto složku po přihlášení do ISu (znáte-li svoje heslo do ISu, můžete zde vidět více souborů)

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 24. 9. 2017 12:12, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému