Implementace pokročilé simulace v automatové knihovně Mata
| but.committee | doc. Ing. Richard Růžička, Ph.D., MBA (předseda) prof. Ing. Tomáš Vojnar, Ph.D. (člen) Ing. Tomáš Milet, Ph.D. (člen) doc. Ing. František Zbořil, CSc. (člen) Ing. Jaroslav Dytrych, Ph.D. (člen) doc. Ing. Lukáš Burget, Ph.D. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných, např. ohledně autorů upravovaného algoritmu, prezentovaných časů experimentálních běhů algoritmu a velikosti testovaných konečných automatů. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A - výborně. | cs |
| but.jazyk | angličtina (English) | |
| but.program | Informační technologie a umělá inteligence | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Holík, Lukáš | en |
| dc.contributor.author | Kocourek, Tomáš | en |
| dc.contributor.referee | Lengál, Ondřej | en |
| dc.date.created | 2024 | cs |
| dc.description.abstract | Cílem této práce je studium pokročilého algoritmu, který počítá simulační relaci nad přechodovými systémy, a implementace jeho modifikace v automatové knihovně Mata. Autor pozměnil algoritmus tak, aby pracoval a nedeterministickými konečnými automaty. Rovněž navrhl několik efektivních datových struktur, které usnadňují klíčové operace prováděné v rámci algoritmu. Autor si také všiml zásadní chyby v původním algoritmu, která v některých případech vedla k nesprávnému výsledku. Navrhl modifikaci, u níž nebyl žádný nedostatek v tomto směru nalezen. Nebylo ovšem formálně dokázáno, že takto upravený algoritmus funguje správně. Experimentální vyhodnocení ukázalo, že algoritmus implementovaný v knihovně Mata pracuje významně rychleji než studovaný algoritmus. | en |
| dc.description.abstract | The goal of this thesis is to study an advanced algorithm which computes a simulation relation over transition systems and implement its modification in the Mata automata library. The author modified the algorithm so it operates over nondeterministic finite automata. In the thesis, we proposed several efficient data structures which facilitate the crucial operations within the algorithm. The author also detected an error with the former algorithm which caused incorrect results in some cases. They provided a modification which seems to work properly. However, it has not been formaly proven yet. The experimental evaluation shown that the algorithm which is already implemented in Mata works significantly faster than the studied algorithm. | cs |
| dc.description.mark | A | cs |
| dc.identifier.citation | KOCOUREK, T. Implementace pokročilé simulace v automatové knihovně Mata [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024. | cs |
| dc.identifier.other | 155177 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/249602 | |
| dc.language.iso | en | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | simulační relace | en |
| dc.subject | simulační redukce | en |
| dc.subject | konečné automaty | en |
| dc.subject | kvaziuspořádání | en |
| dc.subject | dvojice rozklad-relace | en |
| dc.subject | rozklad | en |
| dc.subject | automatová knihovna Mata | en |
| dc.subject | simulation relation | cs |
| dc.subject | simulation reduction | cs |
| dc.subject | finite automata | cs |
| dc.subject | preorder | cs |
| dc.subject | partition-relation pair | cs |
| dc.subject | partition | cs |
| dc.subject | automata library Mata | cs |
| dc.title | Implementace pokročilé simulace v automatové knihovně Mata | en |
| dc.title.alternative | Implementation of Advanced Simulation in the Mata Automata Library | cs |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2024-08-28 | cs |
| dcterms.modified | 2024-08-28-11:55:44 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 155177 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:38:37 | en |
| sync.item.modts | 2025.01.15 19:53:16 | en |
| thesis.discipline | Matematické metody | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |