|
Individual human odor as a forensic trail in criminal proceeding made by contact or contactless transmission and its resistance to physical agents
Santariová, Milena ; Bartoš, Luděk (advisor) ; Chmelíková, Eva (referee)
The dissertation thesis consists of four papers that have been published in scientific journals.
Study n. 1
The need to recover evidence from water is quite common in criminal investigation. The article deals with the possibility to collect human scent from such objects and with the ability of specially trained dogs to match such scent samples with scent samples collected from detained suspects. During an experiment, designed as a blind one, it has been proved, that human scent can survive on submerged objects and can be later used for scent identification.
Study n. 2
To collect odors the Czech Republic Police use special fabric sorbents manufactured under the registered mark ARATEX. Before use the fabric sorbent is treated by water vapor sterilization. After the scent identification the sorbent is destroyed. The goal of the study was to verify if the vapor sterilization is effective enough to remove human scent that has already penetrated into the sorbent structure or in other words if the sorbent can be exposed to vapor sterilization and then used again. Specially trained dogs were used to match starting odors with target odors in the line-ups. The results showed that dogs are able to correctly match human odors even after they have being exposed to vapor sterilization.
Study n. 3
The purpose of the study was to determine the temperature at which the human scent is degraded so that a dog would not be able to identify it. In contrast to expectations, eight dogs used in the experiment almost flawlessly identified human scents from five scent donors exposed to temperatures of 100°C, 200°C, 300°C, 400°C, 500°C, 600°C, 700°C, and 800°C. Only two of the dogs were able to identify 5 of 15 scent samples exposed to 900°C. No dog identified a scent exposed to 1000°C. Our study verified heat survivability of human scent far beyond existing expectations.
Study n. 4
We tested the hypothesis that if odor fallout (the release of a human odor onto an untouched object) in human subjects exists, then holding a hand above an absorbent will produce a detectable scent which will be subsequently matched in a detection test by trained dogs. Scents were collected from seven males to sterile cotton absorbent squares. The left hand was used to get the control scent and the right hand served as the target scent. Each experimental subject was sitting and his left hand was laid down on a cotton square for 3 min. The right hand was held 5 cm above another cotton square for 3 min. The scent identification was done by two specially trained police German shepherds. Both dogs performed 14 line-ups and correctly matched the collected scents of all test subjects. The results suggest the existence of human odor fallout, whereby a human scent trace is left by humans even if they do not touch an object.
|
|
The role of authority and form of partnership during creation of new choreographic dance piece
Radačovský, Mário ; KAZÁROVÁ, Helena (advisor) ; WIESNER, Daniel (referee)
In our dance life its very important that we meet time to time people who are so incredibly influencetial to us ether positive or negative ways. Some of them are able to influence us so much that we keep this impact which they have made on us for ever.Role of autority and partnership between these two elements is crucial.Its has impact on everyday of our working life.I ca not imagine what can happen if there is not existing somekind of form of partnership in the dance studio.To be dancer is very no simply just job .Is more ,its something truly special what not everyone can understand.The task of my work is to go back in my profesional past ,through out my own memories and profesional experiences to offer some situations when I truly felt presents of authority and partnership .Sometimes only autorithy .I this work Im trying to offer my small stories which I lived thourgh from my prospective and Im tring to analysed them through my own expierience of today.It always about something.We are creating because we want to say things.Journey is very important sometimes more then final outcome.
Now important during this journey is able to see how things are done how we comunicate them and autorities will appear .
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (referee) ; Vojnar, Tomáš (referee) ; Meduna, Alexandr (advisor)
V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. Nejprve je představeno zcela nové téma, které je založeno na omezení řezů a je zkoumána vyjadřovací síla takto omezené gramatiky. Poté je zkoumáno několik nových vlastností omezení kladeného na cestu derivačních stromů. Zejména je studován vliv vymazávacích pravidel na vyjadřovací sílu gramatik s omezenou cestou a pro tyto gramatiky jsou zavedeny dvě normální formy. Následně je popsána nová souvislost mezi gramatikami s omezenou cestou a některými pseudouzly. Dále je prezentován protiargument k vyjadřovací síle tohoto modelu, která byla dosud považována za dobře známou vlastnost. Nakonec je zavedeno zobecnění modelu s omezenou cestou na ne jednu, ale několik cest. Tento model je následně studován zejména z hlediska vlastností vkládání, uzávěrových vlastností a vlastností syntaktické analýzy.
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (referee) ; Šaloun, Petr (referee) ; Meduna, Alexandr (advisor)
Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou zavedena tři nová omezení na derivacích a je studován jejich vliv na vyjadřovací sílu těchto systémů. Poté, tato práce definuje dva automatové protějšky ke kanonickým multi-generatiním nonterminálem a pravi\-dlově synchronizovyným gramatickým systemům, generujících vektory řetězců, a ukazuje, že všechny tyto vyšetřované systemy si jsou vzájemně ekvivalentní. Dále táto práce tyto systémy zobecňuje a zakládá fundamentalní hierarchii n-jazyků (množin n-tic řetězců). V~souvislosti se zavedenými systémy tyto teze zavádí automatově-gramatický převodník založený na konečném automatu a bezkontextové gramatice. Tento převodník je pak studovaný a použitý jako nástroj přímého překladu. V~poslední části jsou v této práci zavedené automatové systémy jádrem pársovací metody založené na stromově řízených gramatikách s n omezenými cestami.
|
|
Navigation of mobile robots
Rozman, Jaroslav ; Matoušek,, Václav (referee) ; Šolc, František (referee) ; Zbořil, František (advisor)
Mobile robotics has been very discussed and wide spread topic recently. This due to the development in the computer technology that allows us to create better and more sophisticated robots. The goal of this effort is to create robots that will be able to autonomously move in the chosen environment. To achieve this goal, it is necessary for the robot to create the map of its environment, where the motion planning will occur. Nowadays, the probabilistic algorithms based on the SLAM algorithm are considered standard in the mapping in these times. This Phd. thesis deals with the proposal of the motion planning of the robot with stereocamera placed on the pan-and-tilt unit. The motion planning is designed with regard to the use of algorithms, which will look for the significant features in the pair of the images. With the use of the triangulation the map, or a model will be created. The benefits of this work can be divided into three parts. In the first one the way of marking the free area, where the robot will plan its motion, is described. The second part describes the motion planning of the robot in this free area. It takes into account the properties of the SLAM algorithm and it tries to plan the exploration in order to create the most precise map. The motion of the pan-and-tilt unit is described in the third part. It takes advantage of the fact that the robot can observe places that are in the different directions than the robot moves. This allows us to observe much bigger space without losing the information about the precision of the movements.
|
|
Optimization of network flow monitoring
Žádník, Martin ; Lhotka,, Ladislav (referee) ; Matoušek, Radomil (referee) ; Sekanina, Lukáš (advisor)
The thesis deals with optimization of network flow monitoring. Flow-based network traffic processing, that is, processing packets based on some state information associated to the flows which the packets belong to, is a key enabler for a variety of network services and applications. The number of simultaneous flows increases with the growing number of new services and applications. It has become a challenge to keep a state per each flow in a network device processing high speed traffic. A flow table, a structure with flow states, must be stored in a memory hierarchy. The memory closest to the processing is known as a flow cache. Flow cache management plays an important role in terms of its effective utilization, which affects the performance of the whole system. This thesis focuses on an automated design of cache replacement policy optimized to a deployment on particular networks. A genetic algorithm is proposed to automate this process. The genetic algorithm generates and evaluates evolved replacement policies by a simulation on obtained traffic traces. The proposed algorithm is evaluated by designing replacement policies for two variations of the cache management problem. The first variation is an evolution of the replacement policy with an overall low number of state evictions from the flow cache. The second variation represents an evolution of the replacement policy with a low number of evictions belonging to large flows only. Optimized replacement policies for both variations are found while experimenting with various encoding of the replacement policy and genetic operators. The newly evolved replacement policies achieve better results than other tested policies. The evolved replacement policy lowers the overall amount of evictions by ten percent in comparison with the best compared policy. The evolved replacement policy focusing on large flows lowers the amount of their evictions two times. Moreover, no eviction occurs for most of the large flows (over 90%). The evolved replacement policy offers better resilience against flooding the flow cache with large amount of short flows which are typical side effects of scanning or distributed denial of service activities. An extension of the replacement policy is also proposed. The extension complements the replacement policy with an additional information extracted from packet headers. The results show further decrease in the number of evictions when the extension is used.
|
|
The Introduction of Contact Ecotoxicity Tests for the Assessment of Terrestrial Ecosystems
Modlitbová, Pavlína ; Kráčmar, Stanislav (referee) ; Beklová, Miroslava (referee) ; Demnerová, Kateřina (referee) ; Vávrová, Milada (advisor)
This dissertation thesis is focus on using toxicity tests with testing organism - terrestrial isopod Porcellio scaber. This organism is use for toxicity assessment of selected anorganic compunds which could contaminate terrestrial ecosystem. This organism was selected for several reasons - sophisticated test methodology; well known biology of these animals and their ecological relevance. Besides classical endpoints such as mortality, change in mass of test specimens and the effect of the presence and concentration of contaminants onto food consumption; we monitored changes in the morphometric characteristics at the level of tissues and cells, the cytotoxicity and possibly bioaccumulation in various parts of the body of the organism. Selected test substance in this thesis were nanoparticles and inorganic salts. Wherein for chosen gold nanoparticles was carried out a complete study presents several levels of organization of living matter (organism, tissue, cell). For selected salts compound, this study was carried out on the behavior of organisms and classical endpoints.
|
|
The Pump with a Diffuser with Stochastic Blades (Runner and Diffuser)
Dobšáková, Lenka ; Melichar, Jan (referee) ; Veselý, Jindřich (referee) ; Haluza, Miloslav (advisor)
This doctoral thesis studies the non-uniform blade cascade for centrifugal pumps. Influence of non-uniform blade cascade is investigated on the impeller and diffuser. A non-uniform blading impeller of pumps in this doctoral thesis was examined in terms of influence on efficiency characteristic. The idea of using non-uniform blading is to obtain a flat efficiency characteristic. Then the centrifugal pump could be used on larger scale of power with achieving a sufficiently high efficiency. The work is based on experimental measurements and numerical simulations of non-uniform hydraulic pump components. Non-uniform impeller and the diffuser were newly designed for this research. A new measuring track of small submersible pumps was needed to design and build for measurements. Different pump combinations with conventional hydraulics on one working point and hydraulics with non-uniform were measured. All measurements were evaluated and characteristics of efficiency, head and power were obtained for each measured combination. Some of pump combinations (which were measured in experiment) were numerically simulated by program Ansys Fluent. Data needed to evaluate the characteristic of efficiency and specific energy were collected from each numerical simulation. A theoretical consideration concerns the influence of non-uniform blade cascade applied on diffuser. The suggestion how to decrease hydraulic losses in canals was done. The theoretical consideration how to make a flat efficiency characteristic was made.
|
guest ::
