|
|
Přesné heuristiky pro vkládání šumu v nástroji SearchBestie
Kozák, David ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.
|
|
|
Indexing of Big Text Data and Searching in the Indexed Data
Kozák, David ; Smrž, Pavel (oponent) ; Dytrych, Jaroslav (vedoucí práce)
The topic of this thesis is semantic searching over big textual data. The goal is to design and implement a search engine that queries the semantically enhanced documents efficiently and has a user friendly interface for working with the results. Firstly, state of the art solutions along with their strengths and shortcomings are analyzed. Then a design for new search engine is presented along with a specialized query language. The system consists of components for indexing and searching the documents, management server, compiler for the query language and two clients, web based and command line. The engine has been successfully designed, developed and deployed and is available via the Internet. As a result of that, the possibility of using of the semantic searching is available to a wide audience.
|
|
|
Inductive Controller Synthesis for POMDPs with Respect to Steady-State Properties
Jarolím, Antonín ; Kozák, David (oponent) ; Češka, Milan (vedoucí práce)
This thesis considers the problem of synthesizing finite-state controllers (FSC) for partially observable Markov decision processes wrt. steady-state properties. The set of candidate FSCs (design-space) is explored using state-of-the-art synthesis methods. The Abstraction-Refinement (AR) method prunes the design-space by considering families of FSCs at once. The novel algorithm generating counter-examples regarding steady-state properties using principles of the counterexample-guided inductive synthesis method is proposed. The experimental evaluation compares the AR method with a one-by-one exploration. It shows that the AR method is faster by orders of magnitude in all but one example, where the low transition rates reduced the speed of the AR method. No other tool is capable of performing such synthesis, so a comparison with other approaches is not available.
|
|
|
Problematika antagonismu haličského rolnického a krakovského povstání v roce 1846
Kozák, David ; Stellner, František (vedoucí práce) ; Valkoun, Jaroslav (oponent)
(česky) V bakalářské práci budou zkoumány příčiny porážky krakovského povstání za nezávislost polského státu, primárně selhání snahy polských povstalců získat pro svou věc podporu haličských rolníků. Práce se zaměří na rozbor politického programu povstalců, přičemž zásadní pozornost bude věnována řešení agrární otázky a sociálního postavení rolnictva, a poté na zvolených příkladech objasní klíčové příčiny neúspěchu o navázání spolupráce s rolníky. Cílem práce je nastínění ideologického programu krakovského povstání a popis okolností vedoucích k jeho selhání. Informace a podklady pro práci budou čerpány ze studia vydaných pramenů a z příslušné odborné literatury primárně polské provenience. Klíčová slova (česky) 1846, Svobodné město Krakov, Halič, Polská demokratická společnost, Agrární otázka
|
|
|
Indexing of Big Text Data and Searching in the Indexed Data
Kozák, David ; Smrž, Pavel (oponent) ; Dytrych, Jaroslav (vedoucí práce)
The topic of this thesis is semantic searching over big textual data. The goal is to design and implement a search engine that queries the semantically enhanced documents efficiently and has a user friendly interface for working with the results. Firstly, state of the art solutions along with their strengths and shortcomings are analyzed. Then a design for new search engine is presented along with a specialized query language. The system consists of components for indexing and searching the documents, management server, compiler for the query language and two clients, web based and command line. The engine has been successfully designed, developed and deployed and is available via the Internet. As a result of that, the possibility of using of the semantic searching is available to a wide audience.
|
|
|
Přesné heuristiky pro vkládání šumu v nástroji SearchBestie
Kozák, David ; Smrčka, Aleš (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá efektivními způsoby testování vícevláknových programů psaných v jazyce Java. Pro zvýšení šance na odhalení časově závislých chyb se využívá techniky vkládání šumu, kdy dochází ke vložení dalších instrukcí do testované aplikace za účelem prozkoumání netypických proložení událostí. Pro nalezení vhodných konfigurací pro vkládání šumu byl navržen nástroj SearchBestie, který využíval nástroj ConTest pro spouštění testů a instrumentaci bytecodu. Jelikož vývoj ConTestu byl zastaven, bylo třeba najít vhodnou alternativu. V průběhu této bakalářské práce bylo dokončeno propojení SearchBestie s nástrojem RoadRunner, který ConTest nahradil. Dále došlo k navržení a implementaci nových heuristik, které umožňují šum vkládat na přesně zvolená místa v kódu. Experimenty prokázaly, že ve většině případů skutečně přesné heuristiky dosahují lepších výsledků než heuristiky využívající náhodnosti.
|
|
| |
|
| |
|
|
Austrálie a Nový Zéland: specifická pozice mezi asijským Tichomořím a Evropou
Kozák, David ; Cihelková, Eva (vedoucí práce) ; Frostová, Věra (oponent)
Ústředním tématem diplomové práce je analýza role Austrálie a Nového Zélandu v rozvoji vztahů mezi regionem asijského Tichomoří a Evropskou unií. Výsledkem zkoumání dosavadního vývoje a rozvoje vztahů mezi Austrálií, Novým Zélandem a EU je posouzení možnosti využití těchto vztahů pro posílení pozice Evropské unie v asijském Tichomoří. Diplomová práce se dále zabývá integračními seskupeními regionu asijského Tichomoří (ASEAN, APEC, ASEM) a na pozici Austrálie, Nového Zélandu a EU v těchto uskupeních. Austrálie a Nový Zéland lze považovat za budoucí most spojující EU a asijské Tichomoří pouze v případě, že spolupráce mezi Austřálií, Novým Zélandem a EU bude posílena a bude pro ní stanoven hmotnější rámec. Pro toto posílení je nezbytná reforma společné zemědělské politiky EU, jelikož obchod zemědělskými produkty je podstatným tématem téměř všech jednání mezi EU a těmito zeměmi.
|
host ::
RSS.