|
International trade in a Kraft paper intended for contact with food
Vodičková, Martina ; Regnerová, Olga (advisor) ; Zdeněk, Zdeněk (referee)
The master´s thesis deals with international trade with packaging paper intended for contact with food.
The theoretical part concentrates on packaging types and functions, the history of the paper industry in the Czech Republic and the world market with packaging paper intended for contact with food. The legislation of each country is very important for this type of business, therefore the legislation in selected countries is briefly described, including internationally regarded certification.
In the practical part the author analyses the sales of the company Mondi Štětí a.s. in the years from 2010 to 2012 and defines countries with the highest purchasing of packaging paper for end-use with food contact.
The third part is devoted to evaluation of the market and the way the company trades on the market. There are contained proposals for optimization leading to the acceleration of trade in this commodity
|
|
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.
|
|
Statistical analysis of beekeeping in Vysočina region and prediction of it is future development
Musil, Radovan ; Prášilová, Marie (advisor) ; Anna, Anna (referee)
This diploma thesis analysis selected indicators from beekeeping in 2005-2015 in region Vysočina. Diploma thesis analysis, development of number of beehives, number of beekeepers, number of beehives per beekeeper and production of honey in region Vysočina. Diploma thesis calculate trends of development of these time series and predict their development to the future. These indicators are very interesting, not just because of production of honey and recreational function of beekeeping, but mainly because of pollination. Without bees crop yields would decrease rapidly and from landscape would disappear a lots of plants. That is why it is important to whole agriculture if they can count on pollination by bees. Diploma thesis also analysis numbers of beehives and numbers of beekeepers divided to groups by number of beehives per beekeeper in region Vysočina and their development between years 2010 and 2015. Thesis also contains questionnaire made in population of region Vysočina. This questionnaire finds out consumption of honey of population of Vysočina and their habits and preferences in shopping and consuming honey. Conclusion of thesis is prediction of development of beekeeping in Vysočina and recommendation of future steps for further development of this field.
|
|
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 .
|
|
Optical low dispersion rezonator as length sensor using optical frequency comb
Pravdová, Lenka ; Hucl, Václav ; Lešundák, Adam ; Lazar, Josef ; Číp, Ondřej
Ultra-high precis measurements are domain of lasers interferometers. An optical resonator measuring method using broad spectrum of radiation of an optical frequency comb was designed and experimentally verified at our workplace. The measuring of a quantity – a distance of resonator mirrors – is provided by its conversion to the value of repetition frequency of the pulse laser with mode-locked optical frequency comb. In this paper the comparison of the absolute scale of the optical resonator with an incremental interferometer scale is introduced. The incremental interferometer is implemented for verification of the optical resonator scale. The double beam incremental interferometer is operating at the wavelength of 633 nm and the measuring mirror with piezo actuator is used as one of its reflectors. It turns out that the major error signal is the reflection of the periodic nonlinearity of the incremental resonator scale. The relative resolution of our method reaches values up to 10-9 while maintaining measuring scale.
|
|
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.
|
|
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.
|
|
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.
|
|
Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (referee) ; Yamamura,, Akihito (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.
|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (referee) ; Zahradnický,, Tomáš (referee) ; Kolář, Dušan (advisor)
Práce je zaměřena na rozpoznávání specifického chování pomocí generického zpětného překladu. Generický zpětný překlad je proces, který transformuje spustitelné soubory z různých architektur a formátů objektových souborů na stejný jazyk na vysoké úrovni. Tento proces se vztahuje k nástroji Lissom Decompiler. Pro účely rozpoznání chování práce zavádí Language for Decompilation -- LfD. LfD představuje jednoduchý imperativní jazyk, který je vhodný pro srovnávaní. Konkrétní chování je dáno známým spustitelným souborem (např. malware) a rozpoznání se provádí jako najítí poměru podobnosti s jiným neznámým spustitelným souborem. Tento poměr podobnosti je vypočítán nástrojem LfDComparator, který zpracovává dva vstupy v LfD a rozhoduje o jejich podobnosti.
|
guest ::
