|
|
Fine-Grain Noise-Injection Heuristics for SearchBestie Infrastructure
Kozák, David ; Smrčka, Aleš (referee) ; Křena, Bohuslav (advisor)
The main topic of this thesis is testing of concurrent Java programs. Concurrency errors often manifest rarely. To increase a chance to spot such errors, a technique called noise injection can be used. This technique inserts extra instruction into the application under test to disturb the scheduler and thus to explore less common thread scheduling. Because noise injection can be parameterized in many ways, a tool called SearchBestie was created to handle noise-based testing as a search problem. SearchBestie used a tool called Contest for bytecode instrumentation and test execution. However, the development of ConTest has been discontinued and therefore an alternative tool was necessary. In the first part of this thesis, SearchBestie was connected with a tool called RoadRunner, which replaced ConTest. Afterwards new fine-grain noise-injection heuristics have been proposed and implemented. Experiments proved that these heuristics achieve better results in most cases.
|
|
|
Indexing of Big Text Data and Searching in the Indexed Data
Kozák, David ; Smrž, Pavel (referee) ; Dytrych, Jaroslav (advisor)
Tématem této práce je sémantické vyhledávání ve velkých textových datech. Cílem je navrhnout a implementovat vyhledávač, který se bude efektivně dotazovat nad sémanticky obohacenými dokumenty a prezentovat výsledky uživatelsky přívětivým způsobem. V práci jsou nejdříve analyzovány současné sémantické vyhledávače, spolu s jejich silnými a slabými stránkami. Poté je přednesen návrh nového vyhledávače s vlastním dotazovacím jazykem. Tento systém se skládá z komponent pro indexaci a dotazování se nad dokumenty, management serveru, překladače pro dotazovací jazyk a dvou klientských aplikací, webové a konzolové. Vyhledávač byl úspěšně navržen, implementován i nasazen a je veřejně dostupný na Internetu. Výsledky práce umožňují široké veřejnosti využívat sémantického vyhledávání.
|
|
|
Inductive Controller Synthesis for POMDPs with Respect to Steady-State Properties
Jarolím, Antonín ; Kozák, David (referee) ; Češka, Milan (advisor)
Tato práce se zabývá syntézou konečných automatů pro částečně pozorovatelné Markovovské rozhodovací procesy s ohledem na vlastnosti v ustáleném stavu. Množina přípustných kontrolérů je prozkoumávána pomocí state-of-the-art syntézních metod. Metoda Abstraction-Refinement (AR) prozkoumává tuto množinu tím, že bere v úvahu rodiny kontrolérů najednou. Byl navržen nový algoritmus generující proti-příklady vzhledem ke vlastnostem v ustáleném stavu, pomocí principů metody counterexample-guided inductive synthesis. V experimentální části se porovnává metoda AR se základní one-by-one metodou. Ukáže se, že metoda AR je rychlejší o několik řádů ve většině případů, s výjimkou jednoho, kde nízké hodnoty přechodů snížily její rychlost. Není k dispozici žádný jiný nástroj, který umí provádět takovou syntézu, takže porovnání s jinými přístupy nebylo možné.
|
|
|
The Antagonism problematics of Galician Peasant Revolt and Kraków Uprising in the year of 1846
Kozák, David ; Stellner, František (advisor) ; Valkoun, Jaroslav (referee)
(anglicky) The bachelor's thesis is going to examine causes of a defeat of Cracow Uprising for national independence of Polish state, chiefly a failure of Polish insurgents' endeavour to obtain a support of Galician peasantry for their cause. The thesis is going to focus on the analysis of Polish insurgents' political program, with the main attention dedicated to its solution of the agrarian question and the social status of peasantry, and afterwards will clarify the key causes of the failure of establishing a cooperation with the peasantry. The aim of this thesis is to present the ideological program of Cracow Uprising and to describe the circumstances leading to its failure. The information and documentation of the thesis will be based on the study of published sources and relevant professional literature, primarily of Polish provenance. Klíčová slova (anglicky) 1846, Free City of Cracow, Galicia, Polish Democratic Society, Agrarian Question
|
|
|
Indexing of Big Text Data and Searching in the Indexed Data
Kozák, David ; Smrž, Pavel (referee) ; Dytrych, Jaroslav (advisor)
Tématem této práce je sémantické vyhledávání ve velkých textových datech. Cílem je navrhnout a implementovat vyhledávač, který se bude efektivně dotazovat nad sémanticky obohacenými dokumenty a prezentovat výsledky uživatelsky přívětivým způsobem. V práci jsou nejdříve analyzovány současné sémantické vyhledávače, spolu s jejich silnými a slabými stránkami. Poté je přednesen návrh nového vyhledávače s vlastním dotazovacím jazykem. Tento systém se skládá z komponent pro indexaci a dotazování se nad dokumenty, management serveru, překladače pro dotazovací jazyk a dvou klientských aplikací, webové a konzolové. Vyhledávač byl úspěšně navržen, implementován i nasazen a je veřejně dostupný na Internetu. Výsledky práce umožňují široké veřejnosti využívat sémantického vyhledávání.
|
|
|
Fine-Grain Noise-Injection Heuristics for SearchBestie Infrastructure
Kozák, David ; Smrčka, Aleš (referee) ; Křena, Bohuslav (advisor)
The main topic of this thesis is testing of concurrent Java programs. Concurrency errors often manifest rarely. To increase a chance to spot such errors, a technique called noise injection can be used. This technique inserts extra instruction into the application under test to disturb the scheduler and thus to explore less common thread scheduling. Because noise injection can be parameterized in many ways, a tool called SearchBestie was created to handle noise-based testing as a search problem. SearchBestie used a tool called Contest for bytecode instrumentation and test execution. However, the development of ConTest has been discontinued and therefore an alternative tool was necessary. In the first part of this thesis, SearchBestie was connected with a tool called RoadRunner, which replaced ConTest. Afterwards new fine-grain noise-injection heuristics have been proposed and implemented. Experiments proved that these heuristics achieve better results in most cases.
|
|
| |
|
| |
|
|
Australia and New Zealand: a special position between Asia-Pacific and Europe
Kozák, David ; Cihelková, Eva (advisor) ; Frostová, Věra (referee)
Ú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.
|
guest ::
RSS feed.