|
|
Library for Operations over Finite Automata
Bartůněk, Petr ; Puš, Viktor (referee) ; Kaštil, Jan (advisor)
This work deals with two basic operations over finite automata. Determination of nondeterministic finite automata and minimization of deterministic finite automata. For these two operations I proposed sequential algorithms that are parallelizable. I deal mainly with finding the speedup of SSE instructions, or use the OpenMP library. The trend today is mainly in increasing the number of processors, so I propose parallel algorithms for multiple processors. When searching for the optimal solution, I will be to examine other ways to achieve speedup, for example efficient saving of the data structures in memory.
|
|
|
Automatic Generator of Diacritics
Veselý, Lukáš ; Sumec, Stanislav (referee) ; Smrž, Pavel (advisor)
The goal of this diploma work is the suggestion and the implementation of the application, which allows adding / removing of diacritics into / from Czech written text. Retrieval "trie" structure is described along with its relation to finite state automata. Further, algorithm for minimization of finite state automata is described and various methods for adding diacritics are discussed. In practical part the implementation in Java programming language with usage of object-oriented approach is given. Achieved results are evaluated and analysed in the conclusion.
|
|
|
Risk Assessment and Minimization in OSH in Construction Companies
Albrecht, Daniel ; Beneš, Martin (referee) ; Popelová, Barbora (advisor)
This diploma thesis focuses on the evaluation and minimization of risks in the area of occupational health and safety (OSH), specifically on risks in the construction industry. The analysis of the current state evaluates the issue of current OSH from the European and national point of view, defines terms and contains basic principles of safe work with construction machines. The main task of this work is to analyze the risk associated with the performed activity on a model example and propose suitable measures for their minimization including financial evaluation.
|
|
|
Porovnání různých způsobů zakládání porostů kukuřice seté
Dubový, Miloslav
Maize is one of the most produced crops globally. It has many uses in livestock farming, food production, and industry. With the recent decline in livestock production, the amount of maize in crop rotation has been reduced. However, the production increased again with the arrival of electricity-generating biogas plants. Since most of the land is not covered when cultivating maize in rows, soil erosion occurs. Minimum tillage and soil conservation technologies are used to prevent this side effect, especially on sloping land. The thesis deals with these issues, collects information on various methods of maize cultivation, and compares these technologies in a semi-operational experiment, both from an economic and technical point of view.
|
|
| |
|
| |
|
|
Influence of different tillage technology on the occurrence of weed species in cereals
JANUROVÁ, Eliška
The bachelor's thesis deals with the action of herbicides in terms of weed control in winter wheat. This is especially the occurrence of annual dicotyledonous weeds, herbaceous and perennial weed species. Of the selected herbicides, the best efficacy was found for the herbicide Mustang Forte in the conventional farming system and lower efficacy for Biathlon 4D when evaluated in a minimized mode of farming. The greatest herbicidal effect was recorded by Biathlon 4D against chamomile weeds.
|
|
|
Efficient Automata Techniques and Their Applications
Havlena, Vojtěch ; Jančar, Petr (referee) ; Mayr, Richard (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
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.
|
|
|
Reducing Size of Nondeterministic Automata with SAT Solvers
Šedý, Michal ; Havlena, Vojtěch (referee) ; Holík, Lukáš (advisor)
Nedeterministické konečné automaty (NKA) jsou široce využívány v počítačové vědě, například v oblasti formálních jazyků pro reprezentaci regulárních jazyků, k monitorování vysokorychlostních sítí, rozpoznávání obrazu, modelování hardware, nebo dokonce v bioinformatice pro vyhledávání sekvencí nukleotidových kyselin v DNA. NKA jsou také používány v abstraktním regulárním model checkingu, dále ve verifikaci programů manupulujících s řetězci, ve verifikaci programů využívajících ukazatele, pro konstrukci lineárních rovnic a nerovnic, v rozhodovacích procedurách WS1S a WS2S logiky a mnohých dalších. Minimalizace automatů je základní technikou, která pomáhá snižovat nároky na zdroje (paměť, čas nebo množství hardwarových komponentů) a urychlovat operace prováděné na automatech. Běžně používané minimalizační techniky, jakými jsou slučování stavů, odstraňování hran přechodů nebo saturace, mohou v automatech zanechat potenciální minimalizovatelné podgrafy obsahující duplicitní jazykovou informaci. Tyto fragmenty sestávají ze skupiny stavů, kde je již část jazyka jednoho stavu pokryta jazyky ostatních stavů z této skupiny. Tato práce popisuje novou techniku využívající SAT solver, který poskytuje informaci umožňující minimalizovat tyto doposud neminimalizovatelné části automatů. Nově vyvíjená metoda, která využívá pouze informaci od SAT solveru a slučování stavů minimalizuje automaty podobně efektivně, a v případě automatů s nízkým počtem přechodů dokonce rychleji než nástroj RABIT/Reduce, který využívá slučování stavů a odstraňování hran.
|
|
|
Hodnocení utuženosti půdy v kolejových řádcích za použití minimalizačních technologií
Daněk, Tomáš
This paper describes and quantifies the differences soil physical properties in rail lines in winter wheat and winter rape. Both crops were grown on adjacent land, which have the same BPEJ. Sampling was conducted once during the growing season and the second time just after the harvest of rape, and just before harvest wheat. In each term sampling, samples were taken at 3 repetitions for each plot. Samples were taken in the track in the space between the rails and the control was between sessions. Both crops are used to process the soil before sowing minimization. The differences are expected to land in one of the same crop, as well as differences between crops. Due to different agrotechnics rape and wheat, where the entrances to rape more mechanization, we expect more consolidation in the tramlines rape.
|
guest ::
