|
Právo na informace o životním prostředí a přístup k právní ochraně v otázkách životního prostředí v Irské a České republice
Vítková, Martina ; Stejskal, Vojtěch (vedoucí práce) ; Sobotka, Michal (oponent)
Shrnutí Tato diplomová práce pojednává o právu na informace o životním prostředí a právu na přístup k soudům v otázkách životního prostředí tak jak bylo zavedeno Aarhuskou úmluvou, v konkrétních podmínkách České a Irské republiky. Tato práva jsou velmi významným nástrojem ochrany životního prostředí. V době, kdy sami lidé ohrožují svou existenci negativními zásahy do životního prostředí, je třeba, aby existovaly účinné prostředky pro jeho ochranu. Těmito prostředky jsou právě právo na informace o životním prostředí a právo na přístup k soudům v otázkách životního prostředí, které společně můžeme označit jako environmentální procesní práva. Úvodní kapitola se zabývá prameny environmentálních procesních práv a sleduje jejich vývoj na mezinárodní, nadnárodní a národní úrovni. Nejdůležitějším mezinárodním dokumentem v této oblasti je Aarhuská úmluva, která byla přijata v roce 1998 většinou evropských států, a která mimo práva na informace o životním prostředí a práva na přístup k právní ochraně vymezuje také právo účasti veřejnosti na rozhodování v záležitostech životního prostředí. Na tuto úmluvu navazuje v právu Evropské unie několik směrnic, z nichž za nedůležitější je nutno považovat směrnici provádějící právo na informace o životním prostředí a směrnici provádějící právo účasti veřejnosti na rozhodování....
|
|
Úvod do bio artu
Šperanda, Nina ; SILVERIO, Robert (vedoucí práce) ; JANOŠČÍK, Václav (oponent)
Bio art je současný umělecký směr, který pracuje s živými organismy (kromě lidí), nebo je vytvářen ve spolupráci s živými organismy.
Je to relativně nové umělecké hnutí, které má své kořeny hluboko v historii evoluce. Vychází z domestikace zvířat a rostlin, technologických objevů, vývoje a vědy.
V minulosti nebylo umění, které by zpochybňovalo svou estetiku a etiku v tak hluboké míře způsobem molekulárním a submolekulárním, jak je tomu u bio umění.
V této práci se budu zabývat historickými vlivy a podmínkami, které vedly k současnému vývoji této oblasti. Pokusím se také vysvětlit problematiku toho, co je bio umění a současně vysvětlit terminologii s ním spojenou. Ve své práci zmíním průlomové objevy a díla současných umělců zabývajících se oborem bio artu.
V teorii bývá estetika bio artu často zastíněna diskuzí o etice, nicméně je velmi důležitou a nedílnou součástí tohoto uměleckého směru. Ve své práci se budu zabývat hlavně estetikou bio umění s odkazem na filosofii. Nastíním stručný přehled názorů současných autorů.
|
|
Taneční výchova hyperaktivních dětí předškolního věku
Lacková, Ivana ; LÖSSL, Jiří (vedoucí práce) ; FRIČOVÁ, Marie (oponent)
Tématem práce je Taneční výchova hyperaktivních dětí předškolního věku. Cílem výzkumu bylo popsat zvláštnosti výuky hyperaktivních dětí s ohledem na taneční výuku.
V první části je popsán syndrom ADHD. Jsou zde popsány zvláštní potřeby dětí s tímto syndromem s ohledem na výchovu.
Druhá část je zaměřena na praktickou taneční hodinu dětí s ADHD. Je zde popsána ukázková taneční hodina, která je založena na teoretických poznatcích a zkušenostech odborníků.
Výsledek výzkumu přinesl zjištění, že nabídka speciálních hodin je velmi omezená a je to velká škoda. V diplomové práci bylo zjištěno, že výuka se speciálním programem může pomoci dětem s ADHD a může být dobrým doplňkem ke standardní lékařské terapii.
|
|
Využití sociálních sítí v marketingu veřejné správy
Böhmová, Iva ; Lohr, Václav (vedoucí práce)
Marketing na sociálních sítích je velmi rozšířený. Zásady marketingu pronikají i do systémů veřejné správy.Tato diplomová práce se bude opírat jak o teoretické úvahy, tak o empirický výzkum zaměřený na uplatnění marketingu na sociálních sítích úřady veřejné správy. Součástí praktické části bude srovnání a zhodnocení současného stavu využívání sociálních sítí pro marketing mezi krajskými úřady v České republice.
|
|
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.
|
|
Úloha autority a princíp partnerstva pri tvorbe choreografického diela
Radačovský, Mário ; KAZÁROVÁ, Helena (vedoucí práce) ; WIESNER, Daniel (oponent)
V našom tanečnom umení je veľmi dôležité ak sa môžeme stretnúť s osobnosťami, ktoré ovplyvnia náš život natoľko či už pozitívne alebo negatívne ,že si tento ich odkaz nesieme celým naším umeleckým životom.
Princíp autority ktorá nás denne formuje ,ale aj partnerstva bez ktorého by to celé zrejme nebolo ani možné .Určitá forma partnerstva je viac ako potrebná v našom veľmi náročnom povolaní. Napriek tomu byť tanečníkom nie je povolanie ale skôr o poslanie .
Cieľom mojej práce je pokúsiť sa načrtnúť určite formy autorít na základe mojich osobných skúseností ako aj ponúknuť porovnanie medzi nimi cez vykreslenie určitých modelových situácií ,ktoré som mal možnosť osobne zažiť. Ponúknuť rozličné riešenia určitých situácií .
Vždy ide o nejaký cieľ spoločného snaženia sa naplniť ho. Rozdiel je inteligencií a spôsobe ako vytúžený úspech dosiahnuť. Nakoniec výsledok nie je aj tak to najdôležitejšie ale forma a hlavne ako sme ho dosiahli. Celá moja práca bola o zamyslení a paralelách a novom vnímaní už existujúcich prežitkov.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Obrazová analýza v tribotechnické diagnostice
Machalík, Stanislav ; Stodola,, Jiří (oponent) ; Tillová,, Eva (oponent) ; Zemčík, Pavel (vedoucí práce)
Obrazová analýza částic opotřebení je v práci využita ke klasifikaci jejich obrazů do tříd odpovídajících stanoveným typům opotřebení. Dává možnost získat informace nejen o základních parametrech otěrových částic, ale také údaje, které by při klasickém způsobu hodnocení bylo možné získat jen velmi obtížně. Na základě analýzy morfologických či obrazových charakteristik částic lze sledovat průběh opotřebení strojních součástí, a tím zabránit případné havárii motoru, případně stanovit optimální lhůty pro výměnu oleje. Cílem této práce je prozkoumat možnosti využití obrazové analýzy v kombinaci s metodou analytické ferrografie a na základě teoretických poznatků navrhnout nástroj pro automatickou klasifikaci částic. Současné metody analýzy částic opotřebení jsou založeny na vyhodnocení, které nedává přesnou představu o procesech probíhajících mezi třecími povrchy v motorové soustavě. Práce vychází z metody analytické ferrografie, která umožňuje zhodnotit stav sledovaného stroje z hlediska opotřebení. Přínosem klasifikátorů vytvořených v této práci je možnost automatického vyhodnocení výstupů analytické ferrografie; jejich použití odstraňuje zásadní nevýhodu ferrografické analýzy, kterou je její závislost na subjektivním hodnocení expertem provádějícím analýzu. Vytvořené klasifikátory jsou založeny na využití metod strojového učení. Na základě rozsáhlé databáze částic, která byla vytvořena v první fázi práce, byly klasifikátory natrénovány umožňují tak hodnotit ferrograficky separované otěrové částice, které pocházejí z olejů odebraných z mazaných soustav. Následně byly provedeny experimenty, z jejichž výsledků vyplynuly optimální nastavení klasifikátorů.
|
|
Síťová architektura a propojování vestavěných systémů
Trchalík, Roman ; Drábek, Vladimír (oponent) ; Srovnal, Vilém (oponent) ; Švéda, Miroslav (vedoucí práce)
Tato práce se věnuje architektuře vestavěných systémů. Shrnuje současný stav přijatých standardů z rodiny IEEE 1451, které se zabývají vytvářením prostředí pro senzory a jejich zapojení do různých komunikačních sítí. Tyto standardy popisují otevřenou a síťově nezávislou komunikační architekturu pro systém založený na senzorech. Těžištěm práce jsou architektury uvedené jako případové studie, které mohou být využity jako návrhové vzory vestavěných aplikací demonstrované na bezdrátové technologii ZigBee vhodné pro malá zařízení s velmi nízkou spotřebou elektrické energie. Na základě těchto studií jen navržena univerzální brána, která umožňuje aplikační propojení koncových uzlů z různých bezdrátových architektur určených pro senzorové sítě. Práce se dále zabývá modifikováním směrovacího protokolu v síti ZigBee s cílem snížit spotřebu elektrické energie na přenos jednoho datového paketu.
|
|
Optimalizace sledování síťových toků
Žádník, Martin ; Lhotka,, Ladislav (oponent) ; Matoušek, Radomil (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato disertační práce se zabývá optimalizací sledování síťových toků. Sledování síťových toků spočívá ve sledování jejich stavu a je klíčovou úlohou pro řadu síťových aplikací. S každým příchodem paketu je nutné aktualizovat hodnoty stavu, což zahrnuje přístupy do paměti. Vzhledem k vysoké propustnosti linek a obrovskému množství souběžných toků hraje přístup do paměti kritickou roli ve výkonnosti stavového zpracování síťového provozu. Tento problém se řeší různými technikami. Tyto techniky ale ve výsledku vždy požadují, aby nejblíže zpracování provozu byla nasazena paměť s nízkou odezvou, cache toků, schopná vyřídit všechny přístupy. Cache toků má proto omezenou kapacitu a její efektivní správa má zásadní vliv na výkonnost a výsledky zpracování síťového provozu. Vzhledem ke specifikům síťového provozu nemusí být stávající správy vhodné pro správu cache toků. Disertační práce se proto zabývá automatizovaným vývojem správy cache na základě reálného provozu dané sítě. Automatizace vývoje správy cache toků je realizována pomocí genetického algoritmu. Genetický algoritmus vyvíjí nová řešení a hodnotí je simulací nad vzorkem provozu z různých sítí. Navržený postup je ověřen na vývoji správ pro dva problémy. Prvním problémem je vývoj správy, která bude vykazovat celkově nízký počet výpadků stavů z cache toků. Druhým problémem je vývoj správy, která bude vykazovat velmi nízký počet výpadků u velkých toků. Optimalizace zakódování správy a experimenty s parametry genetického algoritmu ukázují, že je možné nalézt správy cache toků, které jsou optimalizované pro specifika daného nasazení. Nově vyvinuté správy poskytují lepší výsledky než ostatní testované správy. Z hlediska snížení celkového počtu výpadků je vyvinuta správa, která snižuje počet výpadků na konkrétní datové sadě až o deset procent vůči nejlepší porovnávané správě. Z pohledu snížení počtu výpadků u velkých toků je dosaženo vyvinutou správou až dvojnásobného snížení výpadků. Většina velkých toků (více než 90%) nezaznamenala při použití vyvinuté správy dokonce ani jeden výpadek. Rovněž během záplav nových toků, které se v síťovém provozu vyskytují v souvislosti se skenováním sítí a útoky, se ukazují velmi dobré vlastnosti vyvinuté správy. V rámci práce je rovněž navrženo rozšíření správy o využití doplňkové informace ze záhlaví příchozích paketů. Výsledky ukazují, že kombinací této informace lze počet výpadků u správ dále snižovat.
|
host ::
