|
Nivelační měření na nově stabilizovaných výškových bodech v KÚ Dětmarovice v roce 2016
Kajzar, Vlastimil ; Waclawik, Petr ; Staš, Lubomír
V severní oblasti dobývacích prostorů Doubrava a Karviná Doly I na hranici KÚ Dětmarovice a Doubrava se realizují dobývací práce. Z toho důvodu jsou za účelem zjišťování možných důlních vlivů na povrch a povrchové objekty pravidelně dvakrát ročně výškově zaměřovány body v této oblasti stabilizované. Od roku 2014 byl za zhotovitele těchto prací vybrán Ústav geoniky AV ČR, v.v.i., Ostrava. Výsledky měření jsou každoročně prezentovány v závěrečné zprávě - Výšková měření v severní oblasti dobývacích prostorů Doubrava a Karviná Doly I. V roce 2016 byla stávající síť výškových bodů v KÚ obce Dětmarovice rozšířena o 11 nových bodů. Nové body jsou stabilizovány formou ocelových výškových značek na objektech. Výškový bod poblíž domu č.p. 713 je stabilizován formou měřící opěry zabetonované v ocelové pažnici.\n
|
|
Podpora kultury v městských částech v Praze
Mokrá, Jolana ; KAŠPAR, David (vedoucí práce) ; PROKOP, Petr (oponent)
Diplomová práce „Podpora kultury v městských částech v Praze” zkoumá současný stav strategického řízení a podpory kultury ve všech pražských městských částech. Úvod práce ukazuje význam jednotlivých úrovní samospráv při správě a podpoře kultury, a to formou představení kulturních politik i zákonem definovaných povinností. První část výzkumu podává zprávu o tom, jak je téma kultury vnímáno na úrovni městských částí a jak se s ním pracuje v rámci strategických dokumentů. Druhá se pak věnuje městským částem, které ke kultuře přistupují koncepčním způsobem a považují ji za důležitou pro rozvoj lokality. Zkoumá nástroje, které tyto MČ používají k realizaci svých strategických cílů. V závěru práce dokazuje, proč může role MČ při správě, tvorbě, podpoře a realizaci kultury být zásadní.
|
|
Manažerské dovednosti
Červinková, Barbora ; Kříž, Josef (vedoucí práce) ; Zdeněk, Zdeněk (oponent)
Teoretická východiska v této práci vysvětlují pojmy blízce související s managementem a manažerskými dovednostmi. Úvodní část se týká přiblížení samotného pojmu manažer a management, dále jsou rozepsány manažerské funkce, které jsou souvisle rozvity do popisu dalších schopností, jako jsou komunikace, stanovování cílů, kompetence i koučování. Stěžejním bodem je přiblížení pojmů soft a hard dovednosti, které by manažeři měli vlastnit, anebo kterým by se měli v průběhu své praxi naučit. Jen díky správnému ovládání obou těchto skupin dovedností lze docílit kvalitního vedení organizace. Pro zřetelnější vysvětlení je v části manažerských dovedností obsažen grafický náhled, který přibližuje rozdělení dovedností. V druhé části práce, tedy praktické části, je popsána situace s dosavadními dovednostmi manažerů ve zvolené společnosti. Díky dotazníku je možné změřit současnou úroveň získaných dovedností manažerů na třech úrovních a dále lze vyhodnotit, jaký je zájem o zvyšování jednotlivých dovedností, anebo zda se manažeři cítí dostatečně kvalifikování na výkon své pracovní pozice.
|
|
Individuální lidský pach jako kriminalistická stopa vytvořená kontaktním nebo bezkontaktním přenosem a jeho odolnost vůči fyzikálním vlivům
Santariová, Milena ; Bartoš, Luděk (vedoucí práce) ; Chmelíková, Eva (oponent)
Disertační práce je tvořena čtyřmi vědeckými publikacemi, které se zabývají tématy týkající se vlastností lidského pachu a schopností speciálně vycvičených psů lidské pachy ztotožňovat. První tři práce se zaměřují na odolnost pachové stopy vůči fyzikálním vlivům, čtvrtá publikace je věnována tématu vzniku pachové stopy bezkontaktním způsobem.
Cílem první studie bylo ověřit perzistenci pachové stopy na předmětu vystaveného vlivu proudící vody. Vzhledem k vlastnostem chemických látek obsažených v lidském pachu byla stanovena hypotéza, že psi budou schopni pachovou stopu, zajištěnou z předmětu vytaženého z vody, ztotožňovat. Tato hypotéza byla potvrzena a pach vystavený účinkům proudící vody po dobu jedné hodiny je stále způsobilý k pachové identifikaci pomocí speciálně cvičených psů.
V druhé studii byla ověřována účinnost procesu parní sterilizace při odstraňování pachové stopy. Tento proces je rutinně používaný v kriminalistické praxi a předpokladem bylo, že psi vzorek ošetřený parní sterilizací ztotožňovat nebudou. Stanovená hypotéza nebyla potvrzena, výsledky potvrdily, že psi jsou schopni ztotožnit pach prošlý procesem parní sterilizace.
Třetí studie se zabývala perzistencí pachů vůči sálavému teplu. Jelikož teplota varu organických látek nepřesahuje 400 °C, nepředpokládalo se, že by psi byli schopni komparace pachu vystaveného vyšší teplotě, než je zmiňovaná teplota varu. Tento předpoklad se překvapivě nepotvrdil a psi byli schopni komparovat vzorky vystavené teplotě až 900 °C.
Čtvrtá studie řešila možnost vytvoření pachové stopy bezkontaktním způsobem. Přestože minulé studie tuto možnost jednoznačně neprokázaly, výsledky našeho experimentu zcela jasně ukazují, že speciálně vycvičení psi na metodu pachové identifikace jsou schopni ztotožňovat pachovou stopu vytvořenou spadem s ruky držené po dobu třech minut ve výšce 5 cm nad pachovým nosičem.
|
| |
|
Systém ukazatelů zdanění mezinárodních společností v České republice
Janský, Petr
Metodika definuje soubor ukazatelů hodnotících zdanění mezinárodních společností působících v České republice. Tyto ukazatele identifikují možné způsoby snižování daňového základu firem a převádění zisků do zahraničí, což umožňuje rozpoznat firmy, jejichž daňová politika nemusí být v souladu s nejlepší praxí. Extrémní hodnoty ukazatelů mohou sloužit jako podnět pro další šetření firmy ze strany státních orgánů. Metodika tak doplňuje stávající analytické nástroje Generálního finančního ředitelství v oblasti zdanění mezinárodních společností.
|
|
Analýza rizika posouzení nosné ŽB konstrukce
Bohatec, Jiří ; Laníková, Ivana (oponent) ; Šimůnek, Petr (vedoucí práce)
Diplomová práce se zabývá hodnocením rizik v průběhu zesilování železobetonového sloupu. Popisuje hodnocení existujících konstrukcí dle normy ČSN ISO 13822, rozebírá nebezpečí, která mohou nastat při určení únosnosti stávající konstrukce. Dále práce popisuje jednotlivé fáze zesilování ocelovou bandáží, jejich působení a vliv na celkovou únosnost. Také ukazuje výpočetní postup zesilování železobetonového sloupu, pomocí ocelové bandáže, vycházející z normy ČSN EN 1992-1-1 a ČSN EN 1998-3. Na konkrétním příkladu zesílení je ukázán postup stanovení únosnosti a poté je navrženo její zvýšení. Na dvou příkladech je provedena analýza rizika pomocí univerzální maticové analýzy rizik, která identifikuje a kvantifikuje význam jednotlivých nebezpečí spojených s výpočtem a realizací projektu.
|
|
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.
|
|
Simulační architektura založená na službách
Polášek, Petr ; Sklenář, Jaroslav (oponent) ; Kavička,, Antonín (oponent) ; Češka, Milan (vedoucí práce)
Tato práce se zabývá problematikou návrhu, modelování a simulace heterogenních systémů, s důrazem na systémy založené na diskrétních událostech. Mezi hlavní přínosy této práce patří návrh simulační architektury založené na službách a vytvoření chybějícího formátu pro popis diskrétních modelů. Možnosti navržené architektury jsou představeny na použití jejích nejdůležitějších komponent v případových studiích. V neposlední řadě práce mapuje oblast systémů založených na diskrétních událostech, se zaměřením na jejich návrh, modelování a simulaci včetně existujících podpůrných prostředků a nástrojů a jejich vzájemnou integraci.
|
|
Network-wide Security Analysis
de Silva, Hidda Marakkala Gayan Ruchika ; Šafařík,, Jiří (oponent) ; Šlapal, Josef (oponent) ; Švéda, Miroslav (vedoucí práce)
The objective of the research is to model and analyze the effects of dynamic routing protocols. The thesis addresses the analysis of service reachability, configurations, routing and security filters on dynamic networks in the event of device or link failures. The research contains two main sections, namely, modeling and analysis. First section consists of modeling of network topology, protocol behaviors, device configurations and filters. In the modeling, graph algorithms, routing redistribution theory, relational algebra and temporal logics were used. For the analysis of reachability, a modified topology table was introduced. This is a unique centralized table for a given network and invariant for network states. For the analysis of configurations, a constraint-based analysis was developed by using XSD Prolog. Routing and redistribution were analyzed by using routing information bases and for analyzing the filtering rules, a SAT-based decision procedure was incorporated. A part of the analysis was integrated to a simulation tool at OMNeT++ environment. There are several innovations introduced in this thesis. Filtering network graph, modified topology table, general state to reduce the state space, modeling devices as filtering nodes and constraint-based analysis are the key innovations. Abstract network graph, forwarding device model and redistribution with routing information are extensions of the existing research. Finally, it can be concluded that this thesis discusses novel approaches, modeling methods and analysis techniques in the area of dynamic networks. Integration of these methods into a simulation tool will be a very demanding product for the network designers and the administrators.
|
host ::
