|
|
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.
|
|
|
Různé technologie zpracování půdy a zakládání porostů ječmene v zemědělském podniku
Dvořák, Martin
Bakalářská práce se věnuje porovnání různého zpracování půdy a jeho vliv na výnos ječmene. Práce se opírá o jednoletý poloprovozní pokus v zemědělském podniku ZEPO Bořitov, družstvo. Pokus byl založen ve dvou variantách. Varianty byly konvenční zpracování půdy za použití pluhu a minimalizační zpracování za pomocí talířového podmítače. Výnos zrna z obou variant byl měřen ve čtyřech opakováních. Literární přehled seznamuje s problematikou zpracování půdy a pěstování ječmene. V metodice je popsán poloprovozní pokus a nasledně jsou zhodnoceny výsledky. Výsledky pokusu nebyly statisticky prokazatelné.
|
|
|
Minimalizace operačního systému CentOS
Vashkevich, Pavel ; Caha, Tomáš (oponent) ; Komosný, Dan (vedoucí práce)
Účelem této práce je provést redukci operačního systému Linux. Pro minimalizaci byla zadaná linuxová distribuce CentOS 8, která je vytvořena na základě otevřených zdrojových kódů. Tyto jsou šířeny společností Red Hat. Teoretická část práce popisuje základní součásti operačního systému, mezi které patří linuxové jádro, ovladače a grafické rozhraní. Praktická část popisuje návrh metody pro minimalizaci operačního systému. Tato metoda zahrnuje i porovnání minimalistických webových prohlížečů. Výsledná velikost po provedení redukce je 731 MB. Software pro automatizaci minimalizace je zveřejněn v osobním repozitáře na GitHub pod licencí MIT.
|
host ::
RSS.