|
Fluidized-bed Combustion of Dry Stabilized Sewage Sludge in Oxy-fuel Mode
Moško, Jaroslav ; Pohořelý, Michael ; Durda, Tomáš ; Zach, Boleslav ; Šyc, Michal ; Svoboda, Karel
Sewage sludge is an inevitable waste stream from wastewater treatment and its disposal is complicated due to specific characteristics of its composition. Sewage sludge combustion/incineration is the only suitable way for disposal of large volumes of sewage sludge containing POPs and some heavy metals. Sewage sludge combustion reduces the volume of such waste and causes destruction of organic contaminants. Oxy-fuel combustion is a technology for simplifying CO2 sequestration from the flue gas by using nearly pure oxygen instead of air for the combustion. In order to control the combustion temperature, part of the flue gas is recycled to combustion chamber. The paper brings information about investigation of the effects of combustion temperature and concentration of oxygen in inlet combustion media on the emissions of NOx, N2O and SO2 in FB combustion of sewage sludge. The experimental results have shown that an increase in combustion temperature leads to an increase in NOx and to a decrease in N2O emissions in the temperature range 750–930 °C. The lowest SO2 emissions were measured in the temperature interval from 800 to 820 °C in all experiments with different oxygen concentration in inlet gas. It was found that when the oxygen concentration in inlet gas increased, the emissions of SO2 increased while emissions of NOx slightly decreased.
Fulltext: content.csg -  PDF
Plný tet: SKMBT_C22016112214480 - PDF
|
|
Determination of content substances for selected species and varieties of roses.
Slavíková, Eva ; Sus, Josef (advisor) ; Súkeníková, Tereza (referee)
This bachelor's work is focused on comparing the most significant content substance, vitamin C, in fruits of chosen rose kinds species and varieties. Herbal products are often seen by people as products of "second choice", when failure of allopathic treatment occurs, which is focused especially on suppressing symptoms of illness, but it ignores health of the human body as whole. That's why are herbal products often alternative for therapy of chronic diseases. The base of this work is extensive literary research and results of laboratory measurings. Literary part of this work includes description of botanical classification of rose plants. There is stated basic characteristic of individual rose species and their morphological features. In following chapters is composed overview of effective substances in rose fruits and their effect on human health. In practical part of this work are included results of laboratory tests for determining ascorbic acid content for chosen samples of rose species and it also includes results of weighing and measuring of fruit samples of chosen rose species. There are also stated chosen rose species and shortly their origin and description, in the beginning of practical part. For practical part were chosen samples of species. Results of practical part are compiled into statistic tables and graphs and it confirms high content of ascorbic acid in rose fruits. This content is in range of cca 300 - 900 mg.100 g-1. Due to growing interest in alternative treatment options and "clean" natural product, it can be assumed, that many plants of Rosaceae family will keep its place in treatment practice. Those plants will be used not only for treatment of acute and chronic diseases, but also for cosmetic products production, thanks to its large effects and process options.
|
|
Effect of snowpack on runoff generation during rain on snow event.
Juras, Roman ; Máca, Petr (advisor) ; Ladislav , Ladislav (referee)
During a winter season, when snow covers the watershed, the frequency of rain-on-snow (ROS) events is still raising. ROS can cause severe natural hazards like floods or wet avalanches. Prediction of ROS effects is linked to better understanding of snowpack runoff dynamics and its composition. Deploying rainfall simulation together with hydrological tracers was tested as a convenient tool for this purpose. Overall 18 sprinkling experiments were conducted on snow featuring different initial conditions in mountainous regions over middle and western Europe.
Dye tracer brilliant blue (FCF) was used for flow regime determination, because it enables to visualise preferential paths and layers interface. Snowpack runoff composition was assessed by hydrograph separation method, which provided appropriate results with acceptable uncertainty. It was not possible to use concurrently these two techniques because of technical reasons, however it would extend our gained knowledge. Snowmelt water amount in the snowpack runoff was estimated by energy balance (EB) equation, which is very efficient but quality inputs demanding. This was also the reason, why EB was deployed within only single experiment.
Timing of snowpack runoff onset decrease mainly with the rain intensity. Initial snowpack properties like bulk density or wetness are less important for time of runoff generation compared to the rain intensity. On the other het when same rain intensity was applied, non-ripe snowpack featuring less bulk density created runoff faster than the ripe snowpack featuring higher bulk density. Snowpack runoff magnitude mainly depends on the snowpack initial saturation. Ripe snowpack with higher saturation enabled to generate higher cumulative runoff where contributed by max 50 %. In contrary, rainwater travelled through the non-ripe snowpack relatively fast and contributed runoff by approx. 80 %.
Runoff prediction was tested by deploying Richards equation included in SNOWPACK model. The model was modified using a dual-domain approach to better simulate snowpack runoff under preferential flow conditions. Presented approach demonstrated an improvement in all simulated aspects compared to the more traditional method when only matrix flow is considered.
|
|
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.
|
|
E-learning support for lifelong training
Žažo, David ; Husa, Jiří (advisor) ; Marek, Marek (referee)
The bachelor thesis deals with the process of creating an e-learning course for the personnel operating with the camera system of the municipal police in Chomutov. This course is created on the base of need to introduce the controlling software IndigoVison Control Center to the current employees and also to the new employees. During the course, the participants get familiar with the features, options, and operating principles of the software. At the end of the course, the knowledge gained by completing the course is validated by the final test. The entire course is evaluated, based on test results and interviews with the participants. The theoretical part deals with e-learning, it mentions the advantages and disadvantages as well as the specifics associated with adult education. The practical part is a detailed presentation of the course, which is fully implemented in an environment of MoodleCloud and it is practical result of the thesis.
|
| |
|
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.
|
guest ::
