but.committee	prof. Ing. Lukáš Sekanina, Ph.D. (předseda) prof. RNDr. Petr Jančar, CSc. (člen) doc. RNDr. Jan Kofroň, Ph.D. (člen) prof. RNDr. Mojmír Křetínský, CSc. (člen) doc. RNDr. Jan Strejček, Ph.D. (člen)	cs
but.defence	Student přednesl cíle a výsledky, kterých v rámci řešení disertační práce dosáhl. V rozpravě student odpověděl na otázky komise a oponentů a hostů. Diskuze je zaznamenána na diskuzních lístcích, které jsou přílohou protokolu. Počet diskuzních lístků: 4 Komise se v závěru jednomyslně usnesla, že student splnil podmínky pro udělení akademického titulu doktor. Komise a oponenti se shodli, že práce svou výbornou kvalitou odpovídá kvalitním pracem na špičkových světových institucích. Komise jednomyslně doporučuje, aby studentovi byla udělena cena za výjimečně kvalitní disertační práci.	cs
but.jazyk	angličtina (English)
but.program	Výpočetní technika a informatika	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Vojnar, Tomáš	en
dc.contributor.author	Havlena, Vojtěch	en
dc.contributor.referee	Jančar, Petr	en
dc.contributor.referee	Mayr, Richard	en
dc.contributor.referee	Esparza, Javier	en
dc.date.accessioned	2022-02-24T07:54:32Z
dc.date.available	2022-02-24T07:54:32Z
dc.date.created	2021	cs
dc.description.abstract	Tato práce se zabývá vývojem efektivních technik pro konečné automaty a jejich aplikace. Zejména se věnujeme konečným automatům použitých pří detekci útoků v síťovém provozu a automatům v rozhodovacích procedurách a verifikaci. V první části práce navrhujeme techniky přibližné redukce nedeterministických automatů, které snižují spotřebu zdrojů v hardwarově akcelerovaném zkoumání obsahu paketů. Druhá část práce je je věnována automatům v rozhodovacích procedurách, zejména slabé monadické logice druhého řádů k následníků (WSkS) a teorie nad řetězci. Navrhujeme novou rozhodovací proceduru pro WS2S založenou na automatových termech, umožňující efektivně prořezávat stavový prostor. Dále studujeme techniky předzpracování WSkS formulí za účelem snížení velikosti konstruovaných automatů. Automaty jsme také aplikovali v rozhodovací proceduře teorie nad řetězci pro efektivní reprezentaci důkazového stromu. V poslední části práce potom navrhujeme optimalizace rank-based komplementace Buchiho automatů, které snižuje počet generovaných stavů během konstrukce komplementu.	en
dc.description.abstract	This thesis develops efficient techniques for finite automata and their applications. In particular, we focus on finite automata in network intrusion detection and automata in decision procedures and verification. In the first part of the thesis, we propose techniques of approximate reduction of nondeterministic automata decreasing consumption of resources of hardware-accelerated deep packet inspection. The second part is devoted to automata in decision procedures, in particular, to weak monadic second-order logic of k successors (WSkS) and the theory of strings. We propose a novel decision procedure for WS2S based on automata terms allowing one to effectively prune the state space. Further, we study techniques of WSkS formulae preprocessing intended to reduce the sizes of constructed intermediate automata. Moreover, we employ automata in a decision procedure of the theory of strings for efficient handling of the proof graph. The last part of the thesis then proposes optimizations in rank-based Buchi automata complementation reducing the number of generated states during the construction.	cs
dc.description.mark	P	cs
dc.identifier.citation	HAVLENA, V. Efektivní automatové techniky a jejich aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.	cs
dc.identifier.other	140953	cs
dc.identifier.uri	http://hdl.handle.net/11012/203936
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	Konečné automaty	en
dc.subject	přibližná redukce	en
dc.subject	minimalizace	en
dc.subject	stromové automaty	en
dc.subject	rozhodovací procedury	en
dc.subject	WSkS	en
dc.subject	automatové termy	en
dc.subject	antiprenexní forma	en
dc.subject	teorie řetězců	en
dc.subject	kvadratické rovnice nad slovy	en
dc.subject	komplementace Buchiho automatů	en
dc.subject	rank-based komplementace	en
dc.subject	Finite automata	cs
dc.subject	approximate reduction	cs
dc.subject	minimization	cs
dc.subject	tree automata	cs
dc.subject	decision procedures	cs
dc.subject	WSkS	cs
dc.subject	automata terms	cs
dc.subject	antiprenexing	cs
dc.subject	theory of strings	cs
dc.subject	quadratic word equations	cs
dc.subject	Buchi automata complementation	cs
dc.subject	rank-based complementation	cs
dc.title	Efektivní automatové techniky a jejich aplikace	en
dc.title.alternative	Efficient Automata Techniques and Their Applications	cs
dc.type	Text	cs
dc.type.driver	doctoralThesis	en
dc.type.evskp	dizertační práce	cs
dcterms.dateAccepted	2021-12-09	cs
dcterms.modified	2021-12-09-14:14:19	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	140953	en
sync.item.dbtype	ZP	en
sync.item.insts	2022.02.24 08:54:31	en
sync.item.modts	2022.02.24 08:13:25	en
thesis.discipline	Výpočetní technika a informatika	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Doktorský	cs
thesis.name	Ph.D.	cs

Efektivní automatové techniky a jejich aplikace

Files

Original bundle

Collections