|
Travel Behaviour of the Prague Suburb Population
Pergl, Ondřej ; Novák, Jakub (advisor) ; Marada, Miroslav (referee)
Travel behavior of Prague suburb population Abstract The hinterland of Prague is formed by the process of suburbanization, which influences the spatial structure of whole region. Changed spatial structure puts greater demand on the mobility of the population. The main aim of this work is the research of travel behavior of the Prague suburb population, who makes his movements primarily by the car. The work focuses on the factors influencing travel behavior, which are discussed in theoretical section. The next section discusses the measures against individual transport. The empirical part presents the results of survey in Prague southeast hinterland. Travel behavior is examined in terms of modal split and trip purpose. Further investagation is focused on citizens' satisfaction with the traffic situation in their municipality and reveals their sensitivity to various measures against car use. Key words: mobility, travel behavior, suburbanization, car use limiting, Prague
|
|
Stress load in a specific job
Stožický, František ; Michálek, Pavel (advisor) ; Daniel, Daniel (referee)
Objectives work
This thesis will deal with stress and its effects on the activity of driving city
mass transit. The work is described how stress is, how it can be managed, and how to prevent it.
Empirical part will deal with the effects of stress on the driver's performance and resistance to him.
methodics
The theoretical part will be based on a compilation of texts from literature. In the empirical part will be used method of standardized questionnaires. For research purposes is determined hypothesis, which will be checked by statistical methods. The results of empirical research will be commented and presented in the summary tables and graphs.
|
|
Arctic tundra dendrochronology
Lehejček, Jiří ; Svoboda, Miroslav (advisor) ; Monika, Monika (referee)
Historically unprecedented environmental change in the Arctic ecosystems is often given into the context of its past and possible future development. In the region where instrumental meteorological observations are scarce archives need to be investigated in order to address this issues. The comprehensive synthesis one of the archives: long-live circumpolar evergreen Juniperus communis L. shrub is presented here. 20 individuals from southwest Greenland were investigated at the cell anatomy level to understand the ecology of the species and unhide its potential for environmental and climate reconstructions. The findings are as follows:
i) Stop of exponential cross-sectional conduit-lumen widening with increasing age is in contrast with conduit-lumen nature of trees. This indicates that shrubs do not need to saturate their water and nutrient demands via traits of classical hydraulic conductivity law but rather developed different mechanisms. Extreme weather conditions result in prostrate growth form. However, different weather factors probably influence shrub growth differently: While snow and wind act mechanically (a), temperature influences the form of growth physiologically (b). a) So long as the young shrub stem has high resilience to bend back to an upright position after snow melt and so long as it can withstand the wind during the vegetation season it most likely grows upright and the conduit-lumens widen. b) Temperature, resp. freeze-thaw events are responsible for the shrubs preference of safety (finite size of conduit-lumens) over hydraulic efficiency, thus not allowing for more primary growth. All of these (and other) factors are apparently working together and the transition of vertical to more horizontal growth is gradual. As a consequence, the conduit-lumen sizes may not have to be further increased (due to ecophysiological restrictions possibly also must not) because water is no longer transported against gravity.
ii) Observed age/growth trend has to be taken into consideration for further employment of the wood anatomical parameter in paleoenvironmental studies. That is, shrub cell parameters can only be used for this purposes if correctly detrended. This allows for more accurate as well as longer reconstructions because youth trend was often neglected in reconstructions based on shrub annual-rings.
iii) The south-western Greenland Ice-Sheet (GrIS) melt rates reconstruction is presented for the whole 20th century. This part of GrIS is considered as the most active. According to the presented reconstruction current GrIS melt rates are not uncommon for the last century being comparable to first decades of 20th century. This finding is particularly important contribution to the debate on Atlantic meridional overturning circulation (AMOC). Too high fresh water inputs into the Northern Atlantic from GrIS melting may slow down or even stop the AMOC which would result in more continental climate in Europe. Presented results indicate that this threshold lies higher than observed current melt rates of GrIS.
Fascinating Juniperus comunnis species has shown to be able to address many ecological as well as environmental open questions and due to its longevity and abundant distribution has a great potential to become an important player in the Arctic research.
|
|
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.
|
|
Non-invasive methods for sex and steroid homones determination in gibbons of the genus Nomascus
Bolechová, Petra ; Bartoš, Luděk (advisor) ; Pavel, Pavel (referee)
The gibbon primates of the family Nomascus are classified as critically endangered species, and, to date, basic understanding and information about their biology is missing. With regard to the status of these animals in the wild and captive populations in zoos, being familiar with their reproduction, may improve captive breeding programs. Data collection in this study was to be carried out by the practical use of non-invasive methods (polymerase chain reaction for DNA extraction and enzyme immunoassays), using faecal samples for analysis. The first method, polymerase chain reaction, was used for sex determination in juveniles, because of their coat colour and visual similarity of secondary sex characteristic in both sexes; it is not possible to determinate sex without handling the animal. Another main purpose of this study is to try and answer the hypothesis regarding the ovarian cycle of females, factors influencing their hormone concentration and also the onset of sexual maturity in females and the timing of their fur colour change. Hypotheses were checked by monitoring the concentration of progesterone and oestrogen faecal metabolites and by evaluation of the composition of breeding groups of gibbons with the ZOO influence. During a four year period (from 2010 till 2014), there were a total of 51 animals analysed from 16 different zoos with a faecal sample count totalling 1618 samples. The results confirmed the use of noninvasive methods for sex determination, and thus ensuring the maximum welfare standards. Endocrinological analysis confirmed the hypothesis of the influence of the environment (ZOO) to the hormone concentrations and female´s pregnancy effect in conjunction with her age on the final results of the male - father hormone concentrations. The initial information in this study is the confirmation of the onset of ovarian cycle in young females without connection to their fur colour change and a significant factor of a mother´s impact and her territoriality. This study is the first to present a long term monitoring of ovarian cycles in females and hormone concentrations of other individuals, both male and female, and from various age groups. The results allow us to understand the possible impact of zoo environments on the reproductive status of these gibbons and contribute to the general improvement of breeding management.
|
|
Predicting asp and pikeperch recruitment in a riverine redervoir.
BLABOLIL, Petr
Recruitment of two species, asp (Leuciscus aspius) and pikeperch (Sander lucioperca), in a riverine reservoir was studied using a novel statistical approach. Both species are piscivorous and are stocked into reservoirs for biomanipulative purposes to reduce planktivore species. Long-term data series were used, but the number of potential predictors was high. Therefore, a novel informative statistical approach based on dimension reduction methods was applied. Quality of outputs was driven by sampling methods. Main factors affecting asp recruitment were zooplankton abundance, predator density and temperature. In terms of pikeperch fry measured with seine and trawls, the number of predators was the only important factor. Gillnets underestimate small fish and the data were unsuitable for statistical modelling.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Packet Classification Algorithms
Puš, Viktor ; Lhotka,, Ladislav (referee) ; Dvořák, Václav (advisor)
Tato práce se zabývá klasifikací paketů v počítačových sítích. Klasifikace paketů je klíčovou úlohou mnoha síťových zařízení, především paketových filtrů - firewallů. Práce se tedy týká oblasti počítačové bezpečnosti. Práce je zaměřena na vysokorychlostní sítě s přenosovou rychlostí 100 Gb/s a více. V těchto případech nelze použít pro klasifikaci obecné procesory, které svým výkonem zdaleka nevyhovují požadavkům na rychlost. Proto se využívají specializované technické prostředky, především obvody ASIC a FPGA. Neméně důležitý je také samotný algoritmus klasifikace. Existuje mnoho algoritmů klasifikace paketů předpokládajících hardwarovou implementaci, přesto však tyto přístupy nejsou připraveny pro velmi rychlé sítě. Dizertační práce se proto zabývá návrhem nových algoritmů klasifikace paketů se zaměřením na vysokorychlostní implementaci ve specializovaném hardware. Je navržen algoritmus, který dělí problém klasifikace na jednodušší podproblémy. Prvním krokem je operace vyhledání nejdelšího shodného prefixu, používaná také při směrování paketů v IP sítích. Tato práce předpokládá využití některého existujícího přístupu, neboť již byly prezentovány algoritmy s dostatečnou rychlostí. Následujícím krokem je mapování nalezených prefixů na číslo pravidla. V této části práce přináší vylepšení využitím na míru vytvořené hashovací funkce. Díky použití hashovací funkce lze mapování provést v konstantním čase a využít při tom pouze jednu paměť s úzkým datovým rozhraním. Rychlost tohoto algoritmu lze určit analyticky a nezávisí na počtu pravidel ani na charakteru síťového provozu. S využitím dostupných součástek lze dosáhnout propustnosti 266 milionů paketů za sekundu. Následující tři algoritmy uvedené v této práci snižují paměťové nároky prvního algoritmu, aniž by ovlivňovaly rychlost. Druhý algoritmus snižuje velikost paměti o 11 % až 96 % v závislosti na sadě pravidel. Nevýhodu nízké stability odstraňuje třetí algoritmus, který v porovnání s prvním zmenšuje paměťové nároky o 31 % až 84 %. Čtvrtý algoritmus kombinuje třetí algoritmus se starším přístupem a díky využití několika technik zmenšuje paměťové nároky o 73 % až 99 %.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Detekce objektů v počítačovém vidění je složítá úloha. Velmi populární a rozšířená metoda pro detekci je využití statistických klasifikátorů a skenovacích oken. Pro učení kalsifikátorů se často používá algoritmus AdaBoost (nebo jeho modifikace), protože dosahuje vysoké úspěšnosti detekce, nízkého počtu chybných detekcí a je vhodný pro detekci v reálném čase. Implementaci detekce objektů je možné provést různými způsoby a lze využít vlastnosti konkrétní architektury, pro urychlení detekce. Pro akceleraci je možné využít grafické procesory, vícejádrové architektury, SIMD instrukce, nebo programovatelný hardware. Tato práce představuje metodu optimalizace, která vylepšuje výkon detekce objektů s ohledem na cenovou funkci zadanou uživatelem. Metoda rozděluje předem natrénovaný klasifikátor do několika různých implementací, tak aby celková cena klasifikace byla minimalizována. Metoda je verifikována na základním experimentu, kdy je klasifikátor rozdělen do předzpracovací jednotku v FPGA a do jednotky ve standardním PC.
|
|
Location-aware data transfers scheduling for distributed virtual walkthrough applications.
Přibyl, Jaroslav ; Sochor, Jiří (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Důležitou součástí aplikací procházení distribuovanou virtuální scénou je proces plánování přenosu dat. Jeho hlavním úkolem je zajištění efektivního přenosu dat a maximální kvality renderovaného obrazu. Největší vliv na kvalitu renderované scény mají omezení síťového připojení. Tyto omezení lze redukovat pomocí multi-resolution reprezentace dat scény, určováním priorit stahování jednotlivých částí scény, a přednačítáním dat. Pokročilé metody pro určování priorit a přednačítání částí scény jsou založeny na predikci pohybu uživatele vycházející z matematického popisu jeho pohybu. Tyto metody jsou schopny predikovat následující pozici uživatele jen v krátké vzdálenosti od jeho aktuální polohy. V případě náhlých, ale pravidelných změn směru pohybu uživatele jsou tyto metody nedostatečné co do přesnosti i délky predikce. V této práci je navrhnut komplexní přístup k řešení plánování přenosu dat splňující i tyto požadavky. Navrhované řešení využívá predikci pohybu uživatele založenou na znalostech k určení priority stahování dat i předstahování částí scény. Provedené experimenty nad testovacími daty ukazují, že navržené schéma plánování přenosu dat umožňuje dosažení vyšší efektivity přenosu dat a vyšší kvality renderovaného obrazu během průchodu testovací scénou.
|
guest ::
