|
|
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.
|
|
|
Srovnání výkonu a vlastností objektově orientovaných databází
Kozák, Daniel ; Burget, Radek (oponent) ; Zelený, Jan (vedoucí práce)
V této práci čtenáře seznámím se základními modely, jenž se používají pro ukládání dat v databázových systémech. Dále čtenáři popíši způsoby ukládání objektů jazyka Java, kde mu nadále vysvětlím pojmy jako objektově relační mapování, reflexe a introspekce. Následně zde představím existující implementace, které se v jazyce Java používají pro ukládání ob- jektových dat. Poté popíši metodiku pro testování výkonu jednotlivých řešení. Podle této metodiky provedu testování a nakonec zhodnotím získané výsledky.
|
|
|
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.
|
|
|
Vliv lesnického hospodaření na přítomnost mikrostanovišť významných pro biodiverzitu lesních organismů
Heřmánková, Valentýna ; Hofmeister, Jan (vedoucí práce) ; Kozák, Daniel (oponent)
Velká část ubývající lesní biodiverzity (saproxylický hmyz, ptáci, houby, mechorosty, lišejníky atd.) je vázána na mikrostanoviště, které vznikají na strukturách typických pro staré lesy a jsou poměrně vzácná v lesích hospodářských. V posledních desetiletích se pomalu prosazují alternativní, přírodě bližší způsoby hospodaření, jejichž vliv na mikrostanoviště, a tak i jejich potenciální hodnota pro lesní biodiverzitu dosud nebyly hodnoceny. Proto jsem provedla srovnání výskytu a kvality mikrostanovišť na 4 lesních plochách (s rozlohou 8,3 až 42,5 ha) reprezentujících odlišné způsoby lesnického hospodaření (tradiční pasečné hospodaření, alternativní výběrné hospodaření a rezervace v době sběru dat 65 let bez zásahu) v přírodních podmínkách pahorkatin středních Čech. Na plochách jsem pomocí převzatých metodik provedla inventarizaci přítomnosti mikrostanovišť na živých stromech a inventarizaci mrtvého dřeva a jejich zhodnocení. Nejvyšší zastoupení a kvalita mikrostanovišť a mrtvého dřeva byly v rezervaci, která zároveň zcela vyčerpala gama diverzitu všech zkoumaných ploch. Výskyt mikrostanovišť v pasečných a výběrných hospodářských lesích byl srovnatelný a většinou i srovnatelně nízký. Jako pozitivní faktory ovlivňující přítomnost a heterogenitu mikrostanovišť se ukázaly absence lesnického hospodaření,...
|
|
|
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.
|
|
|
Srovnání výkonu a vlastností objektově orientovaných databází
Kozák, Daniel ; Burget, Radek (oponent) ; Zelený, Jan (vedoucí práce)
V této práci čtenáře seznámím se základními modely, jenž se používají pro ukládání dat v databázových systémech. Dále čtenáři popíši způsoby ukládání objektů jazyka Java, kde mu nadále vysvětlím pojmy jako objektově relační mapování, reflexe a introspekce. Následně zde představím existující implementace, které se v jazyce Java používají pro ukládání ob- jektových dat. Poté popíši metodiku pro testování výkonu jednotlivých řešení. Podle této metodiky provedu testování a nakonec zhodnotím získané výsledky.
|
|
|
Subjektivizace zvukového vjemu ve filmu
Patríková, Michaela ; ČENĚK, Jan (vedoucí práce) ; Kozák, Dušan (oponent)
Hlavním záměrem diplomové práce je přiblížení charakterizace subjektivního zvuku
ve filmu. Práce je rozdělena na několik částí. Úvodní kapitola shrnuje principy vnímání
zvuku a obrazu z hlediska psychologie, fyziologie a technologie. Další část práce
přibližuje subjektivní zobrazení ve filmu obecně. Následně se práce věnuje tématu
subjektivizace vnímání zvuku a vysvětlení termínu Point of Audition (POA). Poté
následuje vymezení druhů POA v audiovizuálním díle, doplněné o konkrétní příklady
a jejich rozbor ve vybraných filmech. Poslední část práce ústí v popis tvůrčího ztvárnění
POA (v praxi). Práce je doplněna ukázkami na DVD.
|
host ::
RSS.