|
|
Knihovna operací nad konečnými automaty
Bartůněk, Petr ; Puš, Viktor (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce se zabývá dvěma základními operacemi nad konečnými automaty. Determinizací nedeterministických konečných automatů a minimalizací deterministických konečných automatů. Pro obě tyto operace jsem navrhoval sekvenční algoritmy, které jsou paralelizovatelné. Zabývám se hledáním zrychlení především pomocí SSE instrukcí nebo pomocí knihovny openMP. Trendem dnešní doby je především zvyšování počtu procesorů, proto budu navrhovat paralelní algoritmy pro více procesorů. Při hledání optimálního řešení budu zkoumat další možnosti, jak dosáhnout zrychlení, např. efektivním uložením datových struktur v paměti.
|
|
|
Korektor diakritiky
Veselý, Lukáš ; Sumec, Stanislav (oponent) ; Smrž, Pavel (vedoucí práce)
Cílem předkládané práce je návrh a implementace aplikace, umožňující doplňování a naopak odstranění diakritiky v česky psaném textu. Popsána je použitá vyhledávací struktura trie a její vztah s konečnými automaty. Dále je předveden algoritmus minimalizace konečného automatu a diskutovány různé metody pro doplňování diakritiky. V praktické části je uvedena samotná implementace programu v programovacím jazyce Java s využitím objektově orientovaného přístupu. Na závěr je provedeno vyhodnocení a analýza dosažených výsledků.
|
|
|
Hodnocení a minimalizace rizik v oblasti BOZP u stavebních společností
Albrecht, Daniel ; Beneš, Martin (oponent) ; Popelová, Barbora (vedoucí práce)
Diplomová práce se zaměřuje na vyhodnocení a minimalizaci rizik v oblasti bezpečnosti a ochrany zdraví při práci (BOZP), konkrétně na rizika ve stavebnictví. Provedená analýza současného stavu hodnotí problematiku současné BOZP z evropského a národního hlediska, definuje pojmy a obsahuje základní zásady bezpečné práce se stavebními stroji. Hlavním úkolem práce je na modelovém příkladu provést analýzu rizik spojená s prováděnou činností a navrhnout vhodná opatření k jejich minimalizaci včetně finančního zhodnocení.
|
|
|
Porovnání různých způsobů zakládání porostů kukuřice seté
Dubový, Miloslav
Kukuřice je jednou z nejpěstovanějších plodin na světě. Má velké využití jak v živočišné výrobě, potravinářství, tak i v průmyslovém využití. V poslední době, kdy docházelo k úbytku zvířat v živočišné výrobě, bylo zastoupení množství kukuřice v osevním sledu omezováno. S nástupem především bioplynových stanic pro výrobu zejména elektřiny se její zastoupení zvýšilo. Jelikož kukuřice je širokořádková plodina, tak při jejím pěstování, kdy většina půdy není pokryta, dochází k erozím půdy. Tomuto jevu se snažíme zabránit používáním minimalizačních a půdoochranných technologií, a to především na svažitějších pozemcích. Touto problematikou se právě zabývá tato práce, která shromažďuje informace o různých metodách pěstování kukuřice. Dále jsou zde tyto technologie srovnány v poloprovozním pokusu, a to jak z ekonomického hlediska, tak z technického.
|
|
| |
|
| |
|
|
Vliv rozdílné technologie zpracování půdy na výskyt plevelných druhů v obilninách
JANUROVÁ, Eliška
Bakalářská práce se zabývá působením herbicidních přípravků z hlediska regulace plevelů v ozimé pšenici. Jedná se zejména o výskyt jednoletých dvouděložných plevelů, trávovitých a vytrvalých plevelných druhů. Z vybraných herbicidních přípravků byla zjištěna nejlepší účinnost u herbicidu Mustang Forte v konvenčním systému hospodaření a nižší účinnost u přípravku Biathlon 4D při hodnocení v minimalizačním způsobu hospodaření. Největší herbicidní efekt zaznamenal přípravek Biathlon 4D vůči heřmánkovitým plevelům.
|
|
|
Efficient Automata Techniques and Their Applications
Havlena, Vojtěch ; Jančar, Petr (oponent) ; Mayr, Richard (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
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.
|
|
|
Reducing Size of Nondeterministic Automata with SAT Solvers
Šedý, Michal ; Havlena, Vojtěch (oponent) ; Holík, Lukáš (vedoucí práce)
Nondeterministic finite automata (NFA) are widely used in computer science fields, such as regular languages in formal language theory, high-speed network monitoring, image recognition, hardware modeling, or even in bioinformatic for the detection of the sequence of nucleotide acids in DNA. They are also used in regular mode checking, in string solving, in verification of pointer manipulating programs, for construction of linear arithmetic equations and inequalities, for decision in WS1S and WS2S logic, and many others. Automata minimization is a fundamental technique that helps to decrease resource claims (memory, time, or a number of hardware components) of implemented automata and speed up automata operations. Commonly used minimization techniques, such as state merging, transition pruning, and saturation, can leave potentially minimizable automaton subgraphs with duplicit language information. These fragments consist of a group of states, where the part of language of one state is piecewise covered by the other states in this group. The thesis describes a new minimization approach, which uses SAT solver, which provides information for efficient minimization of these so far nonminimizable automaton parts. Moreover, the newly investigated method, which only uses solver information and state merging, can minimize the automaton similarly and on automata with low transition count faster than a tool RABIT/Reduce, which uses state merging and transition pruning.
|
|
|
Hodnocení utuženosti půdy v kolejových řádcích za použití minimalizačních technologií
Daněk, Tomáš
Tato práce popisuje a kvantifikuje rozdíly půdních fyzikálních vlastností v kolejových řádcích v pšenici ozimé a řepce ozimé. Obě plodiny byly pěstovány na sousedních pozemcích, které mají shodnou BPEJ. Odběr probíhal jednou během vegetace a podruhé těsně po sklizni u řepky a těsně před sklizní u pšenice. V každém termínu odběru byly odebírány vzorky ve 3 opakováních u každého pozemku. Vzorky se odebíraly v koleji, v prostoru mezi kolejemi a kontrola byla mezi jednotlivými jízdami. U obou plodin se používá ke zpracování půdy před setím minimalizace. Rozdíly jsou očekávány jak v rámci jednoho pozemku se stejnou plodinou, tak i rozdíly mezi plodinami. Díky odlišné agrotechnice řepky a pšenice, kde je do řepky více vjezdů mechanizací, očekáváme větší utužení v kolejových řádcích řepky.
|
host ::
RSS.