|
Španělsko jako destinace cestovního ruchu
Zbořilová, Kristýna ; Abrhám, Josef (vedoucí práce) ; Havlíčková, Blanka (oponent)
Tato bakalářská práce se zabývá cestovním ruchem ve Španělsku. Jelikož se jedná o velmi široké téma, hlavním cílem práce je zhodnocení cestovního ruchu ve zcela odlišných regionech, a to v Andalusii a Baskicku. První kapitola se věnuje základním pojmům cestovního ruchu, které jsou potřebné k pochopení souvislostí v bakalářské práci. Zde je objasněn například pojem turismus a jeho typologie. Druhá kapitola se zabývá celým Španělskem. Nejdříve je tato země představena, a to i z hlediska historie, dále je zhodnocen její cestovní ruch a na závěr jsou prezentovány nejatraktivnější místa. Předposlední a poslední kapitola jsou ve svojí stavbě totožné, aby bylo možno dosáhnout srovnání. V první části u každé kapitoly dochází k charakteristice regionu, dále je zhodnocen turismus z hlediska statistik přijíždějících turistů a na závěr je z výše uvedených informací provedena SWOT analýza.
|
|
Výběr a implementace open source nástroje pro řízení portfolia projektů
Marek, Jan ; Chlapek, Dušan (vedoucí práce) ; Kučera, Jan (oponent)
Metody a způsoby realizace změn a inovací v podnicích pomocí projektů jsou v dnešní společnosti již zažité. Jsou dobře známé metodiky, postupy i nástroje pro řízení jednotlivých projektů. Nicméně ve své praxi projektového manažera jsem se často setkával s tím, že společnosti často velmi intuitivním způsobem řeší řízení celkového portfolia projektů, což samo o sobě často vede k předčasně ukončeným projektům, řešení nesprávných projektů, případně řešení správných projektů, ale v nesprávný čas. Velmi často jsem se také setkal se situací, že chybí povědomí o tom, že existují i Open Source aplikace, které mohou s organizací portfolia pomoci. Tato práce se zabývá definováním požadavků, vyhledáváním a výběrem a následně i návrhem implementací takové OSS aplikace. V prvé části práce definuji teoretický rámec pro řízení portfolia a na jeho základě následně identifikuji a ověřím set požadavků pro výběr aplikace. Následná část řeší již samotné hledání vhodných aplikací z různých zdrojů, jejich vyhodnocení vůči požadavkům a následný výběr. Následně je pak připraven návrh implementačního projektu, který má za cíl sloužit dalším kolegům v oblasti projektového řízení jako jedna z možných implementačních cest. Výstupy jsou následně průběžně konfrontovány s experty na problematiku projektů v oboru IT tak, aby se podařilo co nejvíce skloubit teorii a následnou praxi. Prakticky ve všech metodikách projektového řízení je kladen značný důraz na přebírání již odzkoušených postupů, proto za hlavní přínos této práce pro praxi považuji fakt, že obsahuje nejen návrh implementačního projektu, ale zároveň i popisuje logickou cestu, jak jsem k němu došel. Práce je tak využitelná při řešení jakéhokoli projektu implementace PPM aplikace.
|
|
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í....
|
|
Bílá vrána v černém šatě. Životní pouť Františka Jana Kroihera (1871-1948)
CUKR, Jiří
Předkládaná rigorózní práce se zabývá osobností Františka Jana Kroihera (1871-1948). Ve své době představoval velmi angažovanou postavu ve veřejném prostoru, jejíž činnost byla nesmírně rozsáhlá a sahala od drobné práce na venkově po styky s příslušníky nejvyšších církevních a politických kruhů. Jednotlivé kapitoly sledují postupně Kroiherovo dětství a studia, dráhu jihočeského kněze, zapojení do reformních snah českého duchovenstva, práci v družstevní a hospodářské sféře, kariéru politika v agrární straně a jeho rozsáhlou činnost publicistickou a mecenášskou. Závěrečné části patří zhodnocení Kroiherovy osobnosti, nechybí seznam použitých pramenů a literatury, seznam zkratek, jmenný rejstřík a přílohy. Rigorózní práce vznikla na základě prospekce množství archivního materiálu, dobových tiskovin a odborné literatury.
|
|
Hodnocení efektivnosti výuky odborných předmětů v závislosti na fyzické zátěži před vyučováním.
Janošíková, Martina ; Hanušová, Marie (vedoucí práce)
Období přechodu na střední školu přináší výrazné změny v požadavcích na studijní povinnosti, samostatnost, komunikaci, vyjadřování, nebo odloučení od rodiny v podobě pobytu na internátu. Žáci zařazeni do sportovních center mládeže se kromě těchto změn potýkají ještě s povinnostmi spojenými se sportem. Protože se jedná o žáky prvních až čtvrtých ročníků středních škol a středních odborných učilišť, tedy ve věku, kdy obraz sebepojetí-jsem to, v co věřím, vzniká v interakcích s okolním světem a vlastní zkušeností, hraje zde velmi důležitou roli vliv prostředí, kolektivu, vychovatelů, učitelů a trenérů, se kterými žáci tráví prakticky většinu času. Tato práce nahlíží na žáky komplexně z pohledu rozvoje osobnosti jako multifaktoriální biopsychosociální jednotky, z pohledu poznávacích a motivačních procesů, stavů a vlastností, z pohledu sociální psychologie zabývající se interakcí, vztahy a komunikací, psychologií jedince v rámci sociální skupiny a jejího významu pro vývoj jedince. Sleduje podmínky a výsledky vzdělávacího procesu z pohledu pedagogické psychologie, zabývá se formováním vlastností, názorů, postojů a hodnotové orientace z pohledu psychologie výchovy.
|
|
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.
|
|
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.
|
|
Packet Classification Algorithms
Puš, Viktor ; Lhotka,, Ladislav (oponent) ; Dvořák, Václav (vedoucí práce)
This thesis deals with packet classification in computer networks. Classification is the key task in many networking devices, most notably packet filters - firewalls. This thesis therefore concerns the area of computer security. The thesis is focused on high-speed networks with the bandwidth of 100 Gb/s and beyond. General-purpose processors can not be used in such cases, because their performance is not sufficient. Therefore, specialized hardware is used, mainly ASICs and FPGAs. Many packet classification algorithms designed for hardware implementation were presented, yet these approaches are not ready for very high-speed networks. This thesis addresses the design of new high-speed packet classification algorithms, targeted for the implementation in dedicated hardware. The algorithm that decomposes the problem into several easier sub-problems is proposed. The first subproblem is the longest prefix match (LPM) operation, which is used also in IP packet routing. As the LPM algorithms with sufficient speed have already been published, they can be used in out context. The following subproblem is mapping the prefixes to the rule numbers. This is where the thesis brings innovation by using a specifically constructed hash function. This hash function allows the mapping to be done in constant time and requires only one memory with narrow data bus. The algorithm throughput can be determined analytically and is independent on the number of rules or the network traffic characteristics. With the use of available parts the throughput of 266 million packets per second can be achieved. Additional three algorithms (PFCA, PCCA, MSPCCA) that follow in this thesis are designed to lower the memory requirements of the first one without compromising the speed. The second algorithm lowers the memory size by 11 % to 96 %, depending on the rule set. The disadvantage of low stability is removed by the third algorithm, which reduces the memory requirements by 31 % to 84 %, compared to the first one. The fourth algorithm combines the third one with the older approach and thanks to the use of several techniques lowers the memory requirements by 73 % to 99 %.
|
|
Point and Line Parameterizations Using Parallel Coordinates for Hough Transform
Juránková, Markéta ; Kälviäinen, Heikki (oponent) ; Kittler, Josef (oponent) ; Herout, Adam (vedoucí práce)
This thesis focuses on usage of parallel coordinates for line and point parameterizations. The parallel coordinate system represents the space with axes which are mutually parallel. A point from two-dimensional Euclidean space is in parallel coordinates represented by a line and a line is represented by a point. This property can by used for the Hough transform - a method, where the points of interest vote in parameter space for possible hypotheses. Parameterizations by the parallel coordinates require only rasterization of lines, therefore it is very fast and accurate. In this thesis, the parameterizations are used for matrix code and vanishing points detection.
|
|
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 ::
