|
Politická ekonomie v evropské bezpečnosti: Vliv industrialistů na formování ESDP
Vacík, Lukáš ; Střítecký, Vít (vedoucí práce) ; Bureš, Oldřich (oponent)
Diplomová práce si klade za cíl identifikovat vliv evropského obranného industriálního sektoru na proces vytváření evropské obrany, respektive na oblast iniciativ v obranné a bezpečnostní rovině (EBOP/SBOP). O problematice možného vlivu industriálního sektoru na proces vytváření politických rozhodnutí v evropském integračním procesu na poli obrany a bezpečnosti se příliš nemluví, což je možné označit za vcelku překvapivou skutečnost, a jako jeden ze zásadních aspektů pro výběru toho tématu. Text ve své první části analyzuje industriální sektor jako pojem samotný, všímá procesů tvorby vnitřního trhu v rámci Kulatého stolu evropských industrialistů, neopomíjí vojensko-průmyslový komplex a přináší vlastní definici "evropských obraných industrialistů". Teoretická reflexe zahraniční a bezpečnostní spolupráce evropské integrace v podobě klasických teoretických přístupů se ukáže jako nedostatečná a diplomová práce pomocí přístupů liberální ekonomie mapuje velmi specifické prostředí evropského industriálního sektoru, který vlivem liberalizačních tendencí vyúsťuje do založení Evropské obranné agentury a postupného budování společného trhu s obranným materiálem. Jako možnou alternativu na poukázání vlivu průmyslového sektoru na evropskou obranou a bezpečnostní spolupráci nabízím proces regionalizace evropské...
|
|
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.
|
|
Ú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.
|
|
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 %.
|
|
STATISTICAL LANGUAGE MODELS BASED ON NEURAL NETWORKS
Mikolov, Tomáš ; Zweig, Geoffrey (oponent) ; Hajič,, Jan (oponent) ; Černocký, Jan (vedoucí práce)
Statistical language models are crucial part of many successful applications, such as automatic speech recognition and statistical machine translation (for example well-known Google Translate). Traditional techniques for estimating these models are based on Ngram counts. Despite known weaknesses of N-grams and huge efforts of research communities across many fields (speech recognition, machine translation, neuroscience, artificial intelligence, natural language processing, data compression, psychology etc.), N-grams remained basically the state-of-the-art. The goal of this thesis is to present various architectures of language models that are based on artificial neural networks. Although these models are computationally more expensive than N-gram models, with the presented techniques it is possible to apply them to state-of-the-art systems efficiently. Achieved reductions of word error rate of speech recognition systems are up to 20%, against stateof-the-art N-gram model. The presented recurrent neural network based model achieves the best published performance on well-known Penn Treebank setup.
|
|
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.
|
|
Efektivní využití potenciálu bilingvního prostředí
HOVORKOVÁ, Eva
Disertační práce s názvem "Efektivní využití potenciálu bilingvního prostředí" je zaměřena na zmapování jak správných, tak špatných postupů při bilingvní výchově. Téma bilingvismu je v současné době velmi aktuální. V souvislosti s rostoucí globalizací společnosti je kladen stále větší důraz na výuku cizích jazyků. Lidé žijící ve smíšeném manželství však často nemají představu, jak své děti vychovávat a dopouštějí se mnohých chybných kroků, které později není možné napravit. Teoretická část podává přehled o bilingvismu, jeho rozdělení, typech a způsobech nabytí. Empirická část teorii prakticky demonstruje na různých příkladech. V rámci kvalitativního výzkumu bylo zpracováno 42 případových studií, které zachycují typické i netypické bilingvní respondenty. Výsledky výzkumu jsou porovnány s fakty uvedenými v odborné literatuře. Cílem disertační práce je podat přehled úspěšných i neúspěšných postupů a upozornit na ty, při kterých je potenciálu bilingvního prostředí využito co nejlépe. Současně také ukazuje, čemu se při bilingvní výchově vyhnout.
|
|
Společenské proměny československého venkova v první polovině 50. let na příkladu Sedlčanska
Čermáková, Hana ; Rákosník, Jakub (vedoucí práce) ; Pullmann, Michal (oponent)
Diplomová práce se snaží o zachycení změněného politického ovzduší po roce 1948 na československém venkově. Zkoumá jeden politický okres Sedlčany, který byl velmi specifický, co se týče průmyslové zaostalosti a vylidněnosti po 2. světové válce. Jeho specifika spočívala v mizivém podílu průmyslové výroby a nízké hustotě obyvatelstva. Východiskem a zároveň těžištěm práce je komunistická propaganda na okresní úrovni. Druhá kapitola se zabývá teoretickým vymezením a pojmoslovím, zejména propagandě jako sociokulturnímu pojmu, hledá její východiska, cíle a různá vymezení. Další kapitola řeší všeobecné dějiny Sedlčanska a regionální specifika. Čtvrtá a pátá kapitola se zaměřuje na místní strukturu OV KSČ a nižších složek strany v Sedlčanech, respektive celospolečenské sociální proměny v první polovině padesátých let na venkově. Druhá část diplomově práce se věnuje přímo vymezení působnosti propagačních strategií a prostředků. Nejobšírněji se práce zaobírá popsáním propagandy na okresní úrovni, sleduje práci OV KSČ, analyzuje články okresních Vesnických novin a zaznamenává vzpomínky pamětníků. Zbývající kapitoly tak pojednávají o praktické stránce propagandy, nakolik propagační strategie vlastně fungovaly v různých oblastech lidského života na venkově. Stěžejní část DP je tedy v kapitolách, věnujících se...
|
|
Řízení projektů ve vybraném podniku
POKORNÝ, Radek
Tato práce se zabývá projektovým řízením ve vybrané společnosti. Má dvě části. První část je teoretická, která je zaměřena na teoretické zpracování tématu. To vysvětluje, co je projekt, řízení projektů, organizace projektů, procesů projektového managementu, jaký je cíl projektu, komunikace, řízení, změny a rizika a další. V praktické části jsem se zaměřil na konkrétní společnost a jejich projektový management a následně jsem analyzoval konkrétní projekt. Název zmíněné společnosti je OHL ŽS, a.s. Je to Španělská, která působí po celém světě. V České republice má ředitelsví v Brně. Tato společnost má několik divizí a každý z nich je zaměřen na jiný typ stavebnictví. Vybral jsem si divizi pozemního stavitelství. Tato divize se zaměřuje na všechny druhy staveb. Mohla by to být výstavba nových budov nebo rekonstrukce. Při analýze vybraného projektu jsem použil různé obchodní dokumenty, smlouvy s investorem, nebo dodavateli, náklady na projekt, časový harmonogram. Také jsem využil své zkušenosti s tímto projektem, protože jsem se podílel na realizaci tohoto projektu po větší části jeho provádění. Název tohoto projektu je rekonstrukce obvodového pláště včetně výměny oken a zateplení. Při analýze projektu jsem našel pár zásadních nedostatků. Pokud by se nám podařilo vyhnout se těmto nedostatkům, mohli bychom zvýšit zisk. Tyto nedostatky jsou zejména chyby při řízení. Na začátku byli jmenováni dva dočasní stavbyvedoucí. Pracovníci na této pozici v podstatě nemají zájem na výsledku projektu, protože jejich vedoucí nemá žádné prostředky na ovlivnění výkonosti tohoto pracovníka. Chybí zde motivační systém. Nezáleží na výkonu, ale pracovník dostane vždy stejnou mzdu. Pro odstranění těchto nedostatků jsem navrhl několik návrhů na zlepšení. První návrh je modifikace a rozšíření motivačního systému. Nový motivační systém obsahuje osobní ohodnocení. Toto hodnocení je závislá na výkonu zaměstnance. Druhá část je odměna z nadzisku. Dalším návrhem je vytvoření nové pracovní pozice. Tato pozice se bude starat o kontrolu a projektové dokumentace. V průběhu stavebního projektu, a to zejména na konci je stavbyvedoucí velmi zaneprázdněn. To záleží na rozhodnutí stavbyvedoucího, jakým činnostem dá přednost. Zda se bude věnovat dokumentaci, nebo prováděným pracím a technologii. Navrhovaná pozice by se starala o faktury, skutečně provedené práce, projektovou dokumentaci a předávání skutečně odvedené práce. Třetím návrhem je nákup malého strojního zařízení, jako jsou bourací kladiva a vrtačky. V této době se pronajímají všechna zařízení. Nájemné je vyšší než kupní cena. Poslední návrh je použít leasing na obnovu vozového parku. V této době mají zastaralý vozový park, protože současný vozový park byl pořízen za hotovost. To není výhodné.
|
host ::
