|
|
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.
|
|
|
Různé technologie zpracování půdy a zakládání porostů ječmene v zemědělském podniku
Dvořák, Martin
The bachelor thesis concerns with comparison of different soil tillage and influence on barley yield. Thesis is based on one year field experiment in agriculture company ZEPO Bořitov, družstvo. The experiment was based on two variants. Variants were conventional tillage with use plow and reduced tillage with use disc harrow. Grain yields from both variants were measured in four replicates. The literature review deals with the problems of soil tillage and barley cultivation. The methodology describes a field experiment and then evaluates the results. The results of the experiment were not statistically verifiable.
|
|
|
Reduction of CentOS operating system
Vashkevich, Pavel ; Caha, Tomáš (referee) ; Komosný, Dan (advisor)
The goal of this bachelor's thesis is to perform a reduction of the Linux operating system. For minimalization was entered the Linux distribution CentOS 8, which is created on the basis of open-source code. This code are spread by Red Hat. The theoretical part describes the basic components of the operating system, including the Linux kernel, drivers and graphical interface. The practical part describes the suggestion of a method for minimizing the operating system. This method also includes a comparison of lightweight web browsers. The resulting size after reduction is 731 MB. Minimization automation software is published in the personal repository on GitHub under the MIT license.
|
guest ::
