| |
|
Evropské fondy a jejich využitelnost pro logistické projekty v ČR
Číhalová, Denisa ; Jirsák, Petr (vedoucí práce) ; Joura, Adam (oponent)
Diplomová práce pojednává o problematice veřejných logistických center a možnosti čerpání fondů EU na jejich výstavbu. Téma je velice aktuální, neboť současným programovým obdobím 2014-2020 započala v Operačním programu Doprava zásadní změna týkající se podpory multimodální nákladní dopravy. Cílem práce je zjistit, zda ze strany výrobních společností působících v automobilovém průmyslu existuje poptávka po těchto veřejných logistických centrech. Potřebné informace byly získávány na základě hloubkových rozhovorů výrobních společností nacházejících se v kraji Vysočina.
|
|
Postoje dnešních mladých žen k interrupci
VYSKOČILOVÁ, Tereza
Problematika interrupcí představuje v současné době etický problém a společnost se rozděluje na dva tábory, které mají naprosto odlišné názory na toto téma. Na jedné straně jsou zastánci práva na interrupce a na opačné straně stojí odpůrci interrupcí, kteří jsou zastánci myšlenky, že od již od početí se vyvíjí lidský jedinec, který má právo na život a interrupci považují za zabití člověka. Práce je rozdělena na dvě části, první částí je teoretická část, která je utříděná do jednotlivých kapitol, které se zabývají vymezením základních pojmů, rozlišením druhů potratu, metodami provedení interrupce, riziky interrupce, psychologickou problematikou interrupcí, možnými důvody interrupcí, řešením nechtěného těhotenství, počátkem lidského života, právními úpravami, právem na život, postoji jednotlivých náboženství k interrupcím, interrupcemi ve světě, historií interrupcí v České republice až po současnost a rozdílností názorů na interrupce, jež tvoří hnutí, která podporují interrupce nebo naopak bojují proti interrupcím. Prvním cílem bakalářské práce bylo zjistit, jaký je postoj mladých žen k interrupcím. Na základě tohoto cíle byla stanovena výzkumná otázka: Jaký postoj zaujímají dnešní mladé ženy k interrupci? Druhým cílem bylo zjistit, jaké jsou nejčastější důvody, proč ženy podstupují interrupci. Na základě tohoto cíle byla zvolena výzkumná otázka: Jaké jsou nejčastější důvody pro rozhodnutí k interrupci? Výzkum byl veden kvalitativní metodou pomocí polostrukturovaných rozhovorů. Sběr dat probíhal v období od listopadu 2013 do dubna 2014. Výzkumný soubor tvořilo 15 respondentek, které byly na základě zkušeností s interrupcí rozděleny do tří souborů. Soubor A tvořily mladé ženy, které nemají žádnou zkušenost s interrupcí. Soubor B tvořily mladé ženy, které mají osobní zkušenost s interrupcí a soubor C tvořily ženy, které mají zkušenosti s interrupcí, potratovou komisí a jaký dopad měl tento výkon na jejich život. Jednotlivá data byla zaznamenána prostřednictvím audiozáznamu nebo písemně, výsledky byly poté přepsány. Dále proběhlo kódování dat, pro snadnější nalezení hlavních významových kategorií. Při tlumočení dat, byly použity citace respondentek. Výzkumné otázky byly zpracované u každého souboru jednotlivě a na závěr výzkumného šetření bylo vytvořeno shrnutí výsledků z jednotlivých souborů respondentek na výzkumné otázky. Z výzkumného šetření vyplynulo, že postoj mladých žen k interrupci je převážně kladný. Devět respondentek se také domnívá, že každá žena má právo se rozhodovat, zda interrupci podstoupí nebo své dítě přivede na svět. Tři respondentky měly opačný názor, z toho jedna respondentka měla striktně negativní postoj a nepovolila by interrupci za žádných okolností. Další tři respondentky zaujímají neutrální postoj k celé problematice a shodují se s respodentkami s kladným postojem, že by měla být svoboda volby pro každou ženu, která přemýšlí o interrupci. Z výsledků v otázce nejčastějších důvodu, proč ženy podstupují interrupce, vyplynulo, že nejčastějším důvodem jsou zdravotní indikace, tento důvod byl ve shodě devíti respondentek. Dalším důvodem podle 8 respondentek byly sociální problémy, které v sobě zahrnují špatnou finanční situaci a neschopnost zabezpečit svou rodinu. Třetím nejčastěji zmiňovaným důvodem byla nepřipravenost na těhotenství, která v sobě zahrnovala nedostatečnou zralost k rodičovství. Tento důvod byl zaznamenán u 3 respondentek. Výsledky výzkumného šetření ukazují, že je potřeba se této problematice věnovat více, aby byly všechny ženy informované a byly schopné si vytvořit vlastní postoj a názor na celou tuto problematiku. Tato bakalářská práce by mohla přispět k lepší informovanosti žen, které se zajímají o tuto problematiku, dále jako zdroj informací pro porodní asistentky a zároveň jako studijní materiál pro studentky oboru porodní asistence.
|
|
Profil a reflexe tanečního oddělení Julliard school
Červinka, Marek ; JANEČEK, Václav (vedoucí práce) ; KŘENKOVÁ, Mahulena (oponent)
Tato bakalářská práce s názvem Profil a reflexe tanečního oddělení Juilliard School se nejprve stručně věnuje klíčovým událostem v dějinách klasického i moderního tance první poloviny 20. století a dále historii The Bennington School of the Dance, která je považována za předchůdce The Juilliard School. Po všeobecných informacích ohledně historie, vzdělávacích cílů a studijních programů The Juilliard School se zbytek práce detailně zaměřuje na její Taneční fakultu. Popisuje její historii, světoznámé pedagogy, studijní program a přijímací řízení. Všechny tyto informace společně s rozhovory, které poskytl český choreograf a pedagog Jarek Cemerek a současný student čtvrtého ročníku Brennan Clost, se staly podklady pro závěrečnou reflexi této fakulty. Ta obsahuje srovnání The Juilliard School s českým tanečním školstvím.
|
|
Sítě aktérů regionálního rozvoje v Místní akční skupině Pošumaví
Petříková, Lenka ; Perlín, Radim (vedoucí práce) ; Maříková, Pavlína (oponent)
Předkládaná práce se zabývá problematikou sítí aktérů regionálního rozvoje v Místní akční skupině Pošumaví (MAS). Cílem práce je zhodnotit fungování sítí v rámci Místní akční skupiny Pošumaví se zaměřením na existenci sítí, na jejich aktivitu a prostupnost a na způsob a intenzitu zapojení aktérů regionálního rozvoje do těch sítí. V kontextu rámcových institucionálních podmínek místní akční skupiny bylo analyzováno dotazníkové šetření společně s řízenými rozhovory s aktéry MAS. Z výsledků výzkumu vyplývá, že v současném programovacím období se v Místní akční skupině Pošumaví zformovaly sítě, ale spolupráce v nich zatím příliš intenzivně neprobíhá. Na druhou stranu se část aktérů regionálního rozvoje chce do budoucna do spolupráce v MAS více zapojit, což může vést k rozšíření nebo prohloubení stávající spolupráce.
|
|
Rozhodování o rodinném bydlení
Kačírková, Petra ; Brožová, Helena (vedoucí práce) ; Adam, Adam (oponent)
Tato diplomová práce se zabývá výběrem nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru pro rodinu s dětmi. Rodině měla být vybrána nemovitost v okolí svého momentálního bydliště a poté jí měl být doporučen k této nemovitosti nejvýhodnější hypoteční úvěr. Výběr nemovitosti byl ovlivněn požadavky všech členů rodiny a následný hypoteční úvěr byl vybrán z produktů nabízených na českém trhu v listopadu roku 2016. Práci lze tematicky rozčlenit do tří hlavních částí. První část obsahuje literární rešerši, která je rozdělena do dvou oblastí. Nejprve jsou popsány metody vícekriteriálního rozhodování, které budou použity v procesu rozhodování. Společně s těmito metodami obsahuje literární rešerše i teoretickou část z oblasti programu Super Decisions, který bude využit v praktické části. Dále jsou teoreticky zachyceny pojmy týkající se hypotečních úvěrů, podle nichž jsou poté stanovena kritéria pro hodnocení hypotečních úvěrů. Druhá část práce obsahuje již praktický pohled na problematiku rodiny, což zahrnuje tedy výběr nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru za pomoci programu Super Decisions. Třetí část práce zahrnuje shrnutí práce a interpretaci výsledků získaných díky programu Super Decisions.
|
|
Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů
Tulach, David ; Lačev, Alek (vedoucí práce) ; Hochel, Matej (oponent)
Tato práce, Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů, se zabývá otázkou, zdali je možné a přínosné, aby střední školy spolupracovaly s firmami na přípravě či úpravě svých vzdělávacích programů za cílem zlepšení kvality vzdělávání. Po prvotních příspěvcích ze strany odborníků, které na tuto otázku odpovídaly negativně, byl pohled zaměřen na kořen věci - na čem stojí historické pilíře školství a pedagogiky, co o učení se a výuce říká věda, jak pedagogika reaguje na krizi věd. Při porovnání literárních zdrojů a závěrů z rozhovorů s odborníky v kombinaci s analýzou stop a výsledků činnosti odborníků dalších byla stanovena teorie, že veřejné školství dospívá do bodu krize, ve své podstatě se od svého vzniku nezměnilo a nejlepším řešením může být vytvoření alternativních vzdělávacích institucí.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
|
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 %.
|
host ::
