|
Prototypování mobilních aplikací a jejich testování v reálném prostředí
Ornst, Zdeněk ; Sigmund, Tomáš (vedoucí práce) ; Michaličová, Alexandra (oponent)
Diplomová práce se zabývá návrhem mobilních uživatelských rozhraní s ohledem na jejich kontext užití. V této souvislosti se věnuje oboru prototypování a jeho využití při návrhu. Dále se zabývá uživatelským testováním použitelnosti mobilních aplikací. Na základě teoretických poznatků je navrženo řešení pro testování prototypů v reálném prostředí s cílem zefektivnit proces návrhu kvalitních mobilních aplikací. Toto řešení je zrealizováno na praktickém případu a je vyhodnocena jeho úspěšnost.
|
|
Zhodnocení možností obchodní spolupráce ČR a Mexika
Michálková, Denisa ; Sato, Alexej (vedoucí práce) ; Halík, Jaroslav (oponent)
Diplomová práce se zabývá zhodnocením možností spolupráce mezi Českou republikou a Mexikem. Cílem práce je zjistit, zda se politické a ekonomické prostředí v Mexiku vyvíjí tak, aby zde Česká republika dosáhla cílů své proexportní politiky. Jednotlivé kapitoly budou věnovány analýze Exportní strategie 2012 - 2020, základních údajů o Mexiku, a obchodním vztahům mezi ČR a Mexikem. Součástí práce je také SWOT analýza.
|
| |
|
Marketingový mix fitness centra
Choutková, Aneta ; Khelerová, Vladimíra (vedoucí práce) ; Vojtíšek, Zdeněk (oponent)
Cílem diplomové práce je vymezit a zhodnotit marketingový mix fitness centra World Gym Fitness Group a.s. a doporučit změny, které by zvýšily efektivitu marketingového mixu. Teoretická část je rozdělena do dvou kapitola a zaměřuje se na téma marketingový mix služeb a marketingové prostředí. Výzkumná část je stěžejním výstupem diplomové práce a je založena na metodě přímého pozorování. V rámci praktické části byl proveden výzkum. Cílem bylo zjistit jaké je poslání společnosti a spokojenost klientů. Obsahem praktické části je nejdříve obecná charakteristika společnosti World Gym Fitness. Další kapitoly se zaobírají jednotlivými složkami marketingového mixu fitness centra, mezi něž patří služby, cena, propagace, distribuce, materiální prostředí a lidé. V závěru práce jsou všechny poznatky shrnuty do SWOT analýzy a jsou navržena doporučení ke zvýšení efektivity marketingového mixu fitness centra.
|
|
Mezinárodní obchod s čerstvým ovocem a zeleninou
Laketić, Aleksandar ; Štěrbová, Ludmila (vedoucí práce) ; Halík, Jaroslav (oponent)
Hlavním cílem této práce je zhodnocení dynamického prostředí mezinárodního obchodu s čerstvým ovocem a zeleninou. V první části jsem analyzoval význam produkce ovoce a zeleniny pro ekonomiky vybraných států a následně jsem popsal toky obchodovaného zboží v mezinárodním prostředí. Ve druhé části jsem charakterizoval platební podmínky a obchodní jednání v kontextu mezinárodního obchodu s čerstvým ovocem a zeleninou. Poté jsem provedl rozbor vývozních a dovozních omezení a pravidel Evropské unie. Z provedeného rozboru jsem vyvodil obecné závěry, platící pro obchodní politiky států či společenství. V poslední části jsou aplikovány poznatky z předchozích kapitol při analýze dvou případů. Prvním analyzovaným případem je situace ohledně importu pomela z Číny do Evropské unie, ve spojitosti s problematikou maximálních limitů reziduí. Druhým případem pak je dovoz citrusů z Jihoafrické republiky do Evropské unie, ve spojitosti s problematikou černých skvrn na kůře citrusů.
|
|
The current state and prospects for sustainable development of tourism in Slovakia.
Libantová, Silvia ; Indrová, Jarmila (vedoucí práce) ; Chaloupka, Radek (oponent)
Cestovní ruch přispívá k rozmachu destinací, kam přináší finanční prostředky, nová pracovní místa, vyšší úroveň služeb, či rozvoj infrastruktury. Ovšem pokud se cestovní ruch nerozvíjí udržitelně, doprovázejí ho i negativní faktory. Jde hlavně o negativní dopady na životní prostředí, jako například: znečištění vody, půdy, zvýšená hlučnost a přelidnění destinace během sezóny. Jako reakce na zhoršující se stav životního prostředí a možné neodvratitelné změny způsobené nezodpovědným lidským jednáním, nabývá na významu myšlenka udržitelného rozvoje. Teoretická část popisuje cestovní ruch na Slovensku a poukazuje na plány udržitelného rozvoje cestovního ruchu. V praktické části jsou zhodnoceny výsledky dotazníku, který se týká povědomí o udržitelném cestovním ruchu na Slovensku. Hlavním cílem diplomové práce je zhodnocení současného stavu v oblasti udržitelného cestovního ruchu a návrh možností jeho rozvoje do budoucna.
|
|
Politické a sociální aspekty územní samosprávy - participace obyvatel na veřejném životě obcí
Kučerová, Zuzana ; Kopřiva, Radek (vedoucí práce) ; Lenka, Lenka (oponent)
Východiskem práce je dosavadní teorie zapojení občanů do života municipalit a občanská společnost. Práce se soustředí na ověření uplatnitelnosti Nekolova konceptu, který je typologií forem účasti, na dvou vybraných obcích v České republice, a to Týnce nad Labem a Krakovan.
Práce se soustředí zejména na popis participačních forem a klade si otázku, jaké faktory stojí v pozadí rozdílů v účasti lidí. Ukazuje se, že Nekolův koncept je ve snaze porozumět důvodům účasti dobrým nástrojem. Zároveň práce přináší poznatek o rozdílech v účasti ve sledovaných obcích. Rozhodujícím rozdílovým činitelem je stabilita politického prostředí. V obci Krakovany je politické prostředí dlouhodobě etablované a je spojené s postavou starosty, který je důležitým iniciátorem rozvoje obce.
|
|
Neinvazivní metody pro stanovení pohlaví a stereoidních hormonů u gibonů rodu Nomascus
Bolechová, Petra ; Bartoš, Luděk (vedoucí práce) ; Pavel, Pavel (oponent)
Giboni rodu Nomascus patří ke kriticky ohroženému druhu, o kterém zároveň chybí velké množství základních biologických informací. Vzhledem ke statutu těchto zvířat ve volné přírodě i počtu chovaných jedinců v chovu zoologických zahrad je prioritní otázkou zlepšení managmentu chovu, kam patří i znalost reprodukce. Základním cílem této práce je praktické využití neinvazivních metod (polymerázová řetězová reakce k extrakci DNA a enzymové imunotesty), využívajících k analýzám vzorky výkalů. První metoda, polymerázová řetězová reakce, byla využita pro determinaci pohlaví u mláďat, protože kvůli jejich specifickému zbarvení a vzhledové podobnosti vnějších pohlavních orgánů, není diagnostika možná bez odchycení zvířete. Další částí je zodpovězení hypotéz týkajících se ovariálního cyklu samic a faktorů ovlivňujících jejich koncentrace včetně souvislosti nástupu pohlavního cyklu u samic a jejich změny barvy srsti. Hypotézy byly ověřeny sledováním výše koncentrací metabolitů progesteronu a estrogenu ve výkalech a vyhodnocením složení chovné skupiny gibonů a vlivu ZOO. Celkem bylo analyzováno během čtyř let (2010-2014) 51 zvířat z 16 zoologických zahrad v celkovém množství 1618 vzorků výkalů. Výsledky potvrdily využití neinvazivních metod pro determinaci pohlaví a tak zajištění maximálního welfare v chovech. Endokrinologické analýzy potvrdily hypotézy o vlivu prostředí (ZOO) na koncentraci hormonů a vliv březosti samice a jejího věku na výši koncentrace hormonů, ale také vliv březosti na koncentraci hormonů u samců-otců. Prvotní informací v této studii je potvrzení nástupu ovariálního cyklu u mladých samic bez návaznosti na jejich přebarvení a významný faktor vlivu matky a její teritoriality. Tato studie předkládá první dlouhodobější monitoring ovariálního cyklu u samic a koncentrace hormonů u ostatních jedinců ve všech věkových kategoriích i pohlaví. Výsledky umožňují pochopit vliv chovatelského prostředí na reprodukční postavení těchto gibonů a přispívají k celkovému zlepšení managementu chovu.
|
|
Dotační podpora trvale udržitelného odpadového hospodářství
BEDNÁŘOVÁ, Renata
Předmětem práce je problematika odpadového hospodářství se zvláštním zřetelem na oblast recyklace stavebních a demoličních odpadů a nakládání s nimi. Východiskem je rozbor klíčových nástrojů usměrňování činnosti a chování tržních subjektů v dané oblasti směrem k naplňování celospolečenských priorit a principů trvale udržitelného rozvoje, kdy zvláštní důraz je v textu kladen na oblast dotačních politik a programů. Cílem dizertační práce je u vybraného dotačního programu analyzovat a vyhodnotit nastavení systému dotační podpory v ČR z hlediska ekonomické a ekologické efektivnosti s akcentem na posouzení dopadu na příjemce. Předmětem zkoumání bude prioritní osa 4 "Zkvalitnění nakládání s odpady a odstraňování starých ekologických zátěží" v rámci Operačního programu Životní prostředí 2007 - 2013. V literární rešerši jsou definovány základní pojmy a důležité definice, načež následuje zevrubná a komplexní rešerše problematiky z různých úhlů pohledu. Nejprve je pojednáno o globálním hledisku ochrany životního prostřední, jsou zde shrnuty širší historické, legislativní, ekonomické i politické souvislosti, jež jsou nezbytným fundamentem pro pochopení aktuálních i budoucích problémů v celosvětovém měřítku i v jednotlivých regionech. V dalším textu následuje podrobnější deskripce situace Evropské unii, načež přehled je završen detailním náhledem na stav problematiky v České republice. Následné kapitoly jsou věnovány podrobnému rozboru oblasti odpadového hospodářství, a to opět z hlediska globálního, evropského i národního, kdy na závěr je pohled zaostřen na z hlediska zaměření práce klíčovou problematiku stavebních a demoličních odpadů. V aplikační části je prostřednictvím čtyř stanovených hypotéz řešeno naplnění stanoveného cíle dizertační práce. Hypotézy ověřují účinnost a vhodnost nastavení systému dotačních titulů v rámci sledovaného programu. Důraz je kladen na posouzení dopadu přidělených dotací soukromým subjektům na jejich ekonomickou a ekologickou efektivnost.
|
|
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.
|
host ::
