|
Model adaptivních schopností pro vývoj českých posuzovacích škál u dětí
Chadimová, L. ; Urbánek, Tomáš ; Seifert, M. ; Ivanková, K.
Představujeme výsledky shlukové analýzy, která byla provedena v rámci vývoje českých posuzovacích škál adaptivních schopností u dětí a adolescentů. V rámci činnosti NÚV byla svolána skupina 8 odborníků na oblast adaptivních schopností z akademické a výzkumné oblasti i poradenské praxe. Každý člen skupiny obdržel v rámci jednoho setkání celkem 300 otázek, které byly inspirovány některými ze zahraničních či místních nástrojů hodnotících adaptivní schopnosti. Úkolem skupiny bylo rozdělit otázky do kategorií, které se jim z hlediska konstruktu adaptivních schopností a jeho projevů v českém prostředí zdají smysluplné. Na základě výsledků kategorizace byl zpracován výsledný model adaptivních schopností, který se stane podkladem pro strukturování vytvářených posuzovacích škál. Tento model ve svém příspěvku porovnáme s aktuálně užívaným modelem adaptivních schopností dle DSM-V.\n
|
|
Výšková měření v severní oblasti dobývacích prostorů Doubrava a Karviná Doly I 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 srpnu a listopadu 2016 se uskutečnily měřické kampaně plánované v tomto roce, během kterých bylo prováděno výškové zaměření celkem 4 vzájemně navazujících nivelačních tras, které jsou těmito body tvořeny. Výškové body jsou v zájmové oblasti stabilizovány několika způsoby - nejčastěji v provedení ocelových výškových značek na objektech, dále pak ve formě železných svorníků zabetonovaných v zemi nebo pomocí hřebů zaražených do betonového základu, případně jiným alternativním způsobem. Rozložení bodů v zájmové oblasti je orientačně zachyceno v mapové příloze. Stávající dohledané a zaměřené body jsou označeny zeleně, dohledané nepřístupné body žlutě, nově zaměřené body červeně a fialově body, u kterých došlo k jejich dlouhodobému znepřístupnění či zničení. Každý ze zaměřovaných bodů je za účelem jeho dohledání v terénu pečlivě zdokumentován (GPS souřadnice, fotografie, textový popis) a zaevidován. Tyto podklady jsou k dispozici u zhotovitele.
|
|
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
|
|
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í....
|
|
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í.
|
|
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.
|
| |
|
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.
|
|
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.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
host ::
