|
Management rizika zemědělské techniky
Marek, Tomáš
Tato diplomová práce se zabývá managementem rizik a jeho aplikací. Cílem této práce je nejen tento management vysvětlit, ale také aplikovat v praxi. V první části se práce zabývá teoretickým výkladem historie inženýrství rizik. Dále se zabývá popisem moderních metod managementu rizik. V druhé části se práce zabývá, jak lze tento management využít v praxi. Pro tento účel byla zvolena válcová zkušebna traktorů a automobilů Mendelovy univerzity v Brně. Po prohlédnutí a prozkoumání této zkušebny byly nalezena rizika, které ohrožují nejen osoby ovládající zkušebnu, ale i osoby v blízkosti stroje. Následně byla tato rizika snížena pomocí ochranných opatřeních na akceptovatelná rizika. Ne všechna šla snížit, proto je třeba tyto rizika uvést obsluze stroje, aby nedošlo k ohrožení osob.
|
|
Differences and similarities on the approaches of buyers from X and Y generations regarding sustainable procurement
Lacour, Maxime ; Štěrbová, Ludmila (vedoucí práce) ; Geniaux, Isabelle (oponent)
Zodpovědné zásobování se stalo skutečnou výzvou pro firmy v návaznosti na současné trendy Corporate Social Responsibility (CSR) a pro další eticky orientované zákazníky. Na rozdíl od pojmu "zelené zásobování", tento pojem odpovědných zakázek podporuje společnosti k využívání etického a udržitelného zásobování. Obvyklá kritéria při zadávání veřejných zakázek jako je cena, výkony, inovace, termíny a doba splatnosti, jsou stále více spojovány s těmi více eticky orientovanými. Tato kritéria týkající se etiky kombinují jak sociální tak ekologickou odpovědnost dodavatelů a dalších stakeholders, jako jsou energetické úspory a dodržení určité certifikace. V současné době je mnoho výzev k předkládání nabídek stanovujících také ekologické požadavky na dodavatele nebo subdodavatele, a to i v kategorii nestrategického zásobování. Cílem této práce je porovnat tento přístup odpovědných zakázek mezi kupujícími z generace X a z generace Y: sdílejí stejné názory na zodpovědné zásobování? Jsou pro ně výhody a nevýhody odpovědného zásobování podobné?
|
|
Architektura bezserverových jednostránkových aplikací v jazyku JavaScript
Zikmund, Marian ; Pecinovský, Rudolf (vedoucí práce) ; Suchan, Vladimír (oponent)
Cílem diplomové práce je návrh a vývoj frameworku pro tvorbu moderních jednostránkových aplikací (Single Page Application) v programovacím jazyku JavaScript a popsání tohoto přístupu k vývoji. Součástí práce je taktéž jeho dokumentace pro pohodlnější využití a přizpůsobení. Obsah je rozdělen do osmi kapitol. Po úvodu následuje rešerše informačních zdrojů, představení programovacího jazyka JavaScript a vysvětlení problematiky tvorby jednostránkových aplikací, včetně popisu základních principů jejich fungování, motivace a odůvodnění, kdy a proč je tento přístup vhodný. Práce se primárně zaměřuje na problematiku jednostránkových aplikací, pro jejichž tvorbu je programovací jazyk JavaScript klíčový. Z toho důvodu je mu v práci poskytnuta jedna celá kapitola, je zde rozebrána i jeho historie a role v kontextu ostatních. Následuje přehled obecných vlastností jednostránkových aplikací, analýza aktuálně oblíbených řešení stavějících na knihovně ReactJS, z nichž vyplývají požadavky na vyvíjený framework, jehož tvorbou se zabývá následující kapitola. K vyvinutému frameworku je též vytvořena uživatelská příručka. Praktickým výstupem práce je open source framework pro tvorbu bezserverových jednostránkových aplikací, který lze podle požadavků díky své architektuře a dokumentaci vhodně přizpůsobovat.
|
|
Řízení IS/ICT se zaměřením na sourcing služeb informačního systému
Šebesta, Michal ; Voříšek, Jiří (vedoucí práce) ; Havlíček, Zdeněk (oponent) ; Příklenk, Oldřich (oponent) ; Král, Jaroslav (oponent)
Předmětem odborného výzkumu je sourcing již několik desítek let. Evoluce v oblasti informačních systémů v poslední době charakterizovaná především komoditizací ICT služeb však významně mění celkový kontext rozhodování. Služby dostupné na vyžádání přes Internet umožnují organizacím implementaci požadovaných funkcí oproti dřívější době za zlomek času. Tento trend znamená významnou šanci pro organizace, které by rády využily pokročilé ICT služby, bez nutnosti vysokých investic. Problémem je současný nedostatek metod a nástrojů pro řízení služeb informačního systému a jejich outsourcing. Vzhledem k vývoji a trendům na trhu ICT služeb lze očekávat, že v budoucnu velká část řízení IT bude zahrnovat ICT služby a strukturované řízení jejich úrovně. Současně dostupné metody jsou buď příliš široké, anebo naopak zahrnují pouze malou část celého problému. Nahodilá a nepodložená rozhodnutí v této oblasti mohou způsobit značné komplikace z hlediska kvality, využitelnosti, integrace, a v důsledku toho významně ovlivnit celkové náklady na IT daného podniku. Organizace musí buď revidovat existující modely, anebo navrhnout a zavést zcela nové modely řízení svého IS/ICT. Tato disertační práce se zabývá řízením IS/ICT se zaměřením na sourcing služeb informačního systému. Diskutuje dostupné sourcingové modely uváděné v literatuře a propojuje je se souvisejícím oblastmi. Na základě těchto oblastí pak prezentuje integrovaný pohled na možné strategie sourcingu IT. Především pak práce navrhuje originální concept rozhodování o sourcingu ICT služeb nazvaný SOURCER framework. Tento přístup navazuje na zmínené strategie sourcingu, a předkládá komplexní metodiku a kritéria pro rozhodování. Ty pomohou organizacím s výběrem ICT služeb s cílem udržování a řízení co nejvhodnějšího portfolia ICT služeb. Rozhodování je založeno na čtyřech základních pohledech: funkce, cena, čas, a kvalita. Tyto pohledy jsou diskutovány, individuálně analyzovány, a slouží jako základ pro další zkoumání. Celý framework je vyvíjen a validován s využitím přístupu Design Science Research Methodology (DSRM). Individuální komponenty jsou vyhodnoceny s využitím průzkumu mezi vybranými IT manažery. Další ověření přístupu je pak zajištěno realizováním případové studie, která mapuje reálné využití frameworku v organizaci. Tato případová studie zahrnuje specifikaci strategie, business--IT alignment, specifikace architektury služeb a její propojení, sourcing, and řízení portfolia ICT služeb.
|
|
Vliv sporu o Jihočínské moře na čínsko-vietnamské obchodní vztahy
Nguyen Hong, Viet ; Vlčková, Jana (vedoucí práce) ; Hasík, Gabriel (oponent)
Tato bakalářská práce zkoumá vliv sporu o Jihočínské moře na vzájemné vztahy mezi ČLR a Vietnamskou socialistickou republikou. Větší důraz klade práce na analýzu vzájemných obchodních vztahů. Cílem práce je zjistit zda spor o teritoriální oblast negativně ovlivnil vzájemné vztahy a do jaké míry. Bakalářská práce je proto rozčleněna do tří hlavních kapitol. V úvodní kapitole práce popisuje postavení a vývoj jednotlivých států. Poznatky z úvodní části jsou pak použity k analýze politicko-obchodních vztahů obou států ve druhé kapitole. Ta se ve stručnosti zaměřuje jak na historii vzájemných vztahů, tak hlavně na současné vzájemné vztahy u kterých je kladen větší důraz. K problematice Jihočínského moře se věnuje pak poslední část bakalářské práce. Tady byly charakterizovány důvody a příčiny tohoto sporu. V této části byl poskytnut náhled na průběh teritoriálního sporu a byly zanalyzovány dopady na vzájemné vztahy. Výstupy ze všech tří kapitol pomohly zformulovat následující závěr. Spor o Jihočínské moře měl vliv na vzájemné vztahy. Ve velké míře ovlivnil hlavně politické vztahy ČLR a Vietnamu, proto je tento spor v mediích tak často zmiňován. Na obchodní vztahy podle dostupných dat však tento spor větší efekt neměl. Vzájemný obchod obou zemí probíhal v době sporu bez větších omezený nebo bariér.
|
|
Na příkladu jednoduché hry demonstrujte principy vývoje aplikací pro platformu Android
Tatoušek, Petr ; Pecinovský, Rudolf (vedoucí práce) ; Oraný, Vladimír (oponent)
Diplomová práce ,,Demonstrace principů vývoje aplikací pro platformu Android na příkla-du jednoduché hry" popisuje v teoretické části Operační systém Android, stručně jeho his-torii a především architekturu s důrazem na relevantní části důležité pro praktickou část práce. Dále se též zaměřuje na obecnou architekturu aplikací pro tento operační systém. V praktické části popisuje tato diplomová práce demonstraci principů vývoje aplikací pro platformu Android za využití ukázkové aplikace. Praktickou částí diplomové práce je sa-motná implementace ukázkové hry formou textové adventury v jazyce Java. Ukázková aplikace využívá databázi SQLite pro uložení herních dat. Je vytvořen rámec hry, který umožňuje vkládat různá herní data do databáze, a tím hrát různé hry s rozdílným průbě-hem.
|
|
Dendrochronologie arktické tundry
Lehejček, Jiří ; Svoboda, Miroslav (vedoucí práce) ; Monika, Monika (oponent)
Historicky bezprecedentní environmentální změny arktických ekosystémů jsou často zasazovány do kontextu jejich vývoje; minulého, ale i očekávaného budoucího. V oblastech s nedostatečnými instrumentálními meteorologickými pozorováními je nutné studovat klimatické archivy, které jsou schopny zasadit probíhající environmentální změny do kontextu minulosti. Práce předkládá syntézu jednoho takového archivu jalovce obecného (Juniperus communis) dlouhověkého cirkumpolárního keře arktické tundry. Na úrovni anatomie buňky bylo prozkoumáno 20 keřů. Kromě ekologických nároků druhu se tím odkryl i jeho potenciál pro environmentální a klimatické rekonstrukce. Mezi klíčové výsledky patří následující:
i) Zastavení exponenciálního zvětšování plochy vodivého aparátu s věkem je v rozporu s přirozeným charakterem tohoto fenoménu u stromů. To naznačuje, že keře nepotřebují zajišťovat potřeby vody a živin klasickými cestami zákonů hydraulické konduktivity ale spíše pomocí jiných mechanismů. Extrémní podmínky tedy limitují výškový vzrůst rostlin, které kvůli nim mění převládající směr svého růstu z vertikálního na horizontální. Jednotlivé projevy počasí však na vzrůst působí pravděpodobně odlišně. Zatímco sníh a vítr ovlivňují růst kmene/větví mechanicky, pak teplota spíše fyziologicky. Až do věku, kdy je mladý keř schopen ustát silný vítr ve vzpřímené pozici a jeho kmínek/větve mají dostatečnou resilienci se po odtání sněhové pokrývky opět narovnat, roste vzhůru a plocha vodivého aparátu se zvětšuje. Současně s tím teplota, resp. cykly opakovaného mrznutí a rozmrzání, způsobuje konzervativní vývoj keře, který preferuje bezpečnost (limitní velikost plochy vodivého aparátu) před hydraulickou efektivitou, čímž se brání embólii, ale tím i dalšímu výškovému růstu. Všechny tyto (ale i další) faktory jsou zřejmě dohromady zodpovědné za postupný přechod od vertikálního ke kvazihorizontálnímu růstu. Od této chvíle již není potřeba (ani to není fyziologicky možné) dále zvětšovat plochu vodivého aparátu, jelikož voda přestává být transportována proti gravitaci.
ii) Tento věkový/růstový trend je nutné uvažovat při dalším využívání růstových parametrů v paleoenvironmentálních studiích. Buněčné parametry by tedy neměly být využívány k těmto účelům, pokud nejsou správně detrendovány. To umožní nejen přesnější ale i delší rekonstrukce, protože je možné využít celý život rostlin včetně často opomíjené juvenilní fáze.
iii) Předložena je i rekonstrukce tání jihozápadní části Grónského ledovcového štítu (GrIS) během 20. st. Tato oblast je považována v rámci celého GrIS za nejaktivnější. Dle naší rekonstrukce není míra současného tání GrIS v kontextu 20. st. neobvyklá, resp. je srovnatelná s prvními dekádami 20. st. Tento poznatek je významným přispěním do debaty o Atlantické meridionální zpětné cirkulaci (AMOC). A sice, příliš velký přítok sladké studené vody do severního Atlantiku v důsledku tání GrIS může zpomalit nebo dokonce zastavit AMOC, což by způsobilo prohloubení kontinentálního charakteru evropského klimatu. Naše výsledky tak ukazují, že tato hranice leží výše, než je současná míra tání GrIS.
Jalovec obecný je fascinující arktický keř, který prokázal schopnost zodpovědět množství ekologický a environmentálních otázek. Především díky své dlouhověkosti a četnosti má obrovský potenciál stát se významných účastníkem arktického výzkumu.
|
|
Vliv lučního managementu na migrační chování vybraných druhů motýlů
Bubová, Terezie ; Langrová, Iva (vedoucí práce) ; Farkač, Jan (oponent)
Migrace jsou klíčovým procesem a jednou ze základních biologických vlastností, které umožňují ohroženým druhům motýlů přežít ve fragmentovaných krajinách. V posledních desetiletích ubývají přirozená stanoviště pro motýly vlivem intenzivního zemědělství, průmyslu či urbanizace. Vhodné lokality jsou přeměněny na zemědělské plochy či zastavěny. Cílem disertační práce bylo vytvoření kompromisního řešení obhospodařování luk, tak aby byla možnost jejich komerčního využití a přesto bylo umožněno přežití vzácných lučních organismů. Hlavní myšlenka spočívala v cíleném působení na emigrační chování motýlů s cílem přesídlení populace v době letu imag na potencionálně vhodné stanoviště. Možnost cíleně manipulovat s emigracemi motýlů by znamenalo zásadní průlom v jejich ochraně.
Studovanými druhy byli ohrožení modrásci Phengaris nausithous (Bergsträsser, 1779) a Phengaris teleius (Bergsträsser, 1779), kteří jsou stěžejními druhy pro ochranu Evropských motýlů na otevřených loukách. Výzkum probíhal na lokalitě Dolní Labe v České republice v letových sezónách 2013 až 2015. Na lokalitě bylo sledováno 17 ploch. V těchto letech byla uprostřed letové sezóny záměrně pokosena zvolená plocha. Před a po pokosení plochy byly podrobně monitorovány emigrace metodou mark-release-recapture. Výsledky populačních a migračních charakteristik byly vypočteny pomocí programu MARK 8.1. Vliv kosení na vyvolání emigrace byl zpracován v programu Statistica 13, prostřednictvím porovnání výsledků emigrací před a po pokosení plochy.
Zvolené hypotézy vycházely z předpokladu, že ztráta zdrojů po pokosení louky zvýší emigrační aktivitu imag, čehož lze dosáhnout vhodným načasováním seče. Ve třech sledovaných letových sezónách došlo k navýšení emigrací po aplikování managementového zákroku pouze v letové sezóně 2015 u obou druhů. Statistické zpracování však ukázalo, že tento nárůst nemá průkazný vliv na efekt nárůstu emigrací po pokosení. Potvrzená byla hypotéza předpokládající kolonizaci nejblíže dostupných ploch po pokosení.
Vliv cíleného ovlivnění emigrací prostřednictvím managementových zákroků nebyl prokázán. Důležité zjištění však vyplynulo při současném sledování velikosti populace na kosené ploše. Kosení uprostřed letové sezóny působí na larvální mortalitu a ztrátu zdrojů. I přesto tyto známe argumenty, jsme z důvodu dlouhodobé znalosti lokality, aplikovali kosení na jedné z ploch. V průběhu tří letových sezón došlo na této ploše ke snížení skutečné velikosti populace. Snížení se neprojevilo na velikosti celkové populace. Razantní pokles byl zaznamenán u P. nausithous. U druhu P. teleius bylo snížení skutečné velikosti populace velmi nízké, tudíž se s podmínkami seče uprostřed letové sezóny dokázal vyrovnat lépe. V případě našeho výzkumu vyplývá jasný závěr o potřebě nastolení vhodných managementových zákroků pro ohrožené druhy motýlů. Ty se týkají hlavně nutnosti snížení kosení luk uprostřed letu imag a upravení režimů dle potřeb motýlů pro jejich ochranu.
|
|
Individuální lidský pach jako kriminalistická stopa vytvořená kontaktním nebo bezkontaktním přenosem a jeho odolnost vůči fyzikálním vlivům
Santariová, Milena ; Bartoš, Luděk (vedoucí práce) ; Chmelíková, Eva (oponent)
Disertační práce je tvořena čtyřmi vědeckými publikacemi, které se zabývají tématy týkající se vlastností lidského pachu a schopností speciálně vycvičených psů lidské pachy ztotožňovat. První tři práce se zaměřují na odolnost pachové stopy vůči fyzikálním vlivům, čtvrtá publikace je věnována tématu vzniku pachové stopy bezkontaktním způsobem.
Cílem první studie bylo ověřit perzistenci pachové stopy na předmětu vystaveného vlivu proudící vody. Vzhledem k vlastnostem chemických látek obsažených v lidském pachu byla stanovena hypotéza, že psi budou schopni pachovou stopu, zajištěnou z předmětu vytaženého z vody, ztotožňovat. Tato hypotéza byla potvrzena a pach vystavený účinkům proudící vody po dobu jedné hodiny je stále způsobilý k pachové identifikaci pomocí speciálně cvičených psů.
V druhé studii byla ověřována účinnost procesu parní sterilizace při odstraňování pachové stopy. Tento proces je rutinně používaný v kriminalistické praxi a předpokladem bylo, že psi vzorek ošetřený parní sterilizací ztotožňovat nebudou. Stanovená hypotéza nebyla potvrzena, výsledky potvrdily, že psi jsou schopni ztotožnit pach prošlý procesem parní sterilizace.
Třetí studie se zabývala perzistencí pachů vůči sálavému teplu. Jelikož teplota varu organických látek nepřesahuje 400 °C, nepředpokládalo se, že by psi byli schopni komparace pachu vystaveného vyšší teplotě, než je zmiňovaná teplota varu. Tento předpoklad se překvapivě nepotvrdil a psi byli schopni komparovat vzorky vystavené teplotě až 900 °C.
Čtvrtá studie řešila možnost vytvoření pachové stopy bezkontaktním způsobem. Přestože minulé studie tuto možnost jednoznačně neprokázaly, výsledky našeho experimentu zcela jasně ukazují, že speciálně vycvičení psi na metodu pachové identifikace jsou schopni ztotožňovat pachovou stopu vytvořenou spadem s ruky držené po dobu třech minut ve výšce 5 cm nad pachovým nosičem.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
host ::
