|
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.
|
|
Confidence Cycles and Liquidity Hoarding
Audzei, Volha
Důvěra na trzích se během minulých ekonomických krizí ukázala být důležitým faktorem. Přesto mnoho existujících modelů všeobecné rovnováhy neuvažuje očekávání ekonomických subjektů, volatilitu trhů nebo příliš pesimistické výhledy investorů. V této práci je do modelu DSGE zakomponován model mezibankovního trhu, přičemž úroková sazba na mezibankovním trhu a objem půjček záleží na tržní důvěře a vnímání rizika spojeného s protistranou. K úvěrové krizi v modelu dojde při vnímání nárůstu rizika protistrany. Výsledky naznačují, že změny v důvěře na trzích mohou generovat úvěrové krize a přispívat k hloubce ekonomických recesí. V článku jsou také provedeny simulace napodobující některé měnové politiky centrálních bank: cílované a necílované poskytování likvidity a snížení měnověpolitických sazeb. Výsledky naznačují, že bez ovlivnění očekávání ekonomických subjektů mají tyto politiky na nabídku úvěrů pouze omezený dopad. Zajímavé je také zjištění, že nízké úrokové míry v tomto modelu zhoršují ekonomickou recesi skrze negativní dopad na bilance bank. Poskytování likvidity mírně stimuluje úvěry, ale efektivita tohoto kroku je podrývána hromaděním likvidity.
Plný text:  PDF
|
|
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.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Měření fonologického povědomí – test skládání hlásek na počátku školní docházky: porovnání klasického přístupu a teorie odpovědi na položku
Gorčíková, M. ; Šafr, Jiří
Cílem příspěvku je ukázat výhody a limity dvou přístupů klasické teorie měření (CCT) a teorie odpovědi na položku (IRT) k posouzení úrovně diagnostického nástroje pro hodnocení fonologického povědomí (FP) mezi žáky prvních tříd. FP bylo měřeno testem skládání hlásek v rámci longitudinálního výzkumu 25 škol v Praze a Středočeském kraji (N=439). Výhodou přístupu IRT oproti klasické testové teorie je především pojetí nezávislosti položek v testu. Pravděpodobnost určité odpovědi je tak závislá na úrovni latentní schopnosti žáka a charakteristikách konkrétní položky. Pokud tedy známe parametry položek (obtížnost) lze na základě odpovědí žáka odhadnout úroveň měřené lingvistické schopnosti uplatnitelné v praktické diagnostice. Výsledky poukázaly na vhodnost úpravy testu skládání hlásek (zejména pro konec první třídy) tak, aby adekvátně měřil velkou dynamiku růstu úrovně schopnosti FP během první třídy.
|
|
Analýza zásob a možnosti optimalizace zásob ve společnosti TE Connectivity
Kocourková, Blanka ; Pánková, Ludmila (vedoucí práce)
Práce se zabývá možnostmi optimalizace zásob ve společnosti TE Connectivity. Cílem práce je zanalyzovat stávající způsob řízení zásob a najít optimální způsob zásobování a skladování, tak aby se minimalizoval kapitál spojený se zásobami. První část práce popisuje teorii zásob od pořízení přes uskladnění k vlastní spotřebě a distribuci, kde jsou vysvětleny nejdůležitější termíny. Praktická část se věnuje již konkrétnímu podniku, o kterém práce pojednává. Během následného představení společnosti je prozkoumán stávající systém zásobování ve společnosti. Pomocí analýzy ABC jsou zásoby rozděleny na více a méně významné. Se skupinami A, B, C je nutno nadále pracovat: doporučit minimální objednací množství, propočítat výše pojistných zásob s ohledem na plynulost výrobního procesu. Poslední část obsahuje shrnutí a doporučené metody včetně finančního přínosu doporučených změn.
|
|
Vliv environmentálnách faktorů na střety zvěře s motorovými vozidly na pozemních komunikacích v Západočeském kraji.
Přigrodský, Milan ; Šmíd, Petr (vedoucí práce) ; Vykouk, Martin (oponent)
Pod vlivem dlouhodobého rozvoje dálniční a silniční sítě a stále se zvyšující intenzity silničního provozu v ČR dochází k častým dopravním nehodám. Mezi příčiny dopravních nehod, lze zařadit některé environmentální faktory, jejichž působení se může podílet na jejich vzniku i jejich závažnosti např. povětrnostní podmínky, okolí komunikací, případně denní doba, ale i jejich kombinace.
K významným faktorům environmentálního charakteru lze zařadit střety se zvěří, přičemž hmotnost jedinců některých živočišných druhů může být příčinou dopravní nehody. Dopravní komunikace se stává překážkou v pohybu zvěře, kterou musí překonávat v souvislosti s migrací nebo při pravidelném pohybu v krajině. Pokud nejsou při jejich budování nebo rekonstrukci předem zvážena opatření, která by zamezila pohybu nebo omezila pohyb zvěře příp. přijata opatření informující řidiče motorových vozidel o příslušném nebezpečí, může mít střet fatální následky.
Tato bakalářská práce popisuje problematiku střetů motorových vozidel se zvěří, analýzu událostí souvisejících s danou problematikou na komunikacích Západočeského kraje, zejména jejich příčin a účinnosti stávajících opatření a vlastní návrh k zajištění dostatečné prevence v místech, s nejvyšším výskytem střetů.
|
|
Post-projektová analýza v procesu EIA Administrativního centra Pankrác
Franclová, Alena ; Keken, Zdeněk (vedoucí práce) ; Karel, Karel (oponent)
Diplomová práce hodnotí problematiku procesu posuzování vlivů na životní prostředí, a to s důrazem na post-projektovou analýzu pro administrativní objekt Pankrác. Post-projektové hodnocení je jednou z nejdůležitějších praxí, prostřednictvím které může EIA naplnit celý svůj potenciál. Jeho významný přínos spočívá především ve zpětné vazbě, kdy lze porovnat skutečný vliv stavby s vlivem predikovaným a lze se z něho poučit a do budoucna se vyvarovat možným nedostatkům v rámci v budoucnu realizovaných EIA hodnocení. Metodicky práce vychází z mezinárodních standardů EIA follow-up správné praxe, které by vždy měly odpovídat specifickým okolnostem posuzovaného projektu a konkrétnímu kontextu. Mezi hlavní principy patří přístup orientovaný na výsledky, vzdělávání, institucionální závazky a odpovědnost. Hlavní výzkumnou otázkou je zhodnocení procedury posuzování vlivů záměru na životní prostředí a veřejné zdraví pomocí post-projektové analýzy. Práce hodnotí implementace hlavních připomínek k jednotlivým fázím posuzování do fází následujících, dále se zabývá analýzou názorů a změnami názorů účastníků EIA procesu, a to ve fázích realizace a provozu. Další dílčí část obsahuje komparaci hlukové zátěže před realizací a po realizaci záměru a analytickou část uzavírá zhodnocení dodržení obecně platných zásad správné praxe. Výsledky práce zachycují komplexní hodnocení EIA procesu, ze kterého je patrné, že v tomto konkrétním případě byl proces EIA velmi významným přínosem a dokázal celý záměr, při velmi kladné spolupráci s investorem, velmi efektivně zformovat, co se týče ochrany životního prostředí zájmového území. Do budoucna by bylo vhodné věnovat větší úsilí jak samotným realizacím post-projektových analýz, tak hlavně osvětě o jejich existenci a pozitivních dopadech na celý proces EIA a také na ochranu životního prostředí a veřejného zdraví.
|
host ::
