|
E- Vectoorc Project Introduction
Machan, J. ; Nedoma, P. ; Plíhal, Jiří
This paper introduces the current state of research project related to yaw moment control, anti-lock braking and traction control through the employment of effective torque vectoring strategies for fully electric vehicles. In particular, the adoption of individually controlled electric powertrains with the aim of tuning the vehicle dynamic characteristics in steady-state and transient conditions is discussed. This subject is currently investigated within the European Union (EU) funded Seventh Framework Programme (FP7) consortium E-VECTOORC, focused on the development and experimental testing of novel control strategies. Triennial project is solved by consortium research public and private institutions/companies University of Surrey, Ilmenau University of Technology, Jaguar and Land Rover, Flanders' Drive, Inverto, Fundacion CIDAUT, Instituto Tecnológico de Aragón, ŠKODA AUTO a.s.,VIF Kompetenzzentrum - Das virtuelle Fahrzeug, Forschungsgesellschaft mbH and TRW Automotive Lucas Varity GmbH.
|
|
Analysis of the EU regulations in the field of Information and Telecommunication technologies and their effect on the single market
Hart, Ludvík ; Procházka, Pavel (advisor) ; Strejček, Ivo (referee)
The bachelor thesis describes the EU regulations in the field of information and communication technologies (ICT), particularly the Digital agenda for Europe strategy. These regulations are then tested for their influence on the European single market. The major question answered here is whether the EU regulations in field of ICT have a positive impact on the EUs single market. Answer to this question helps us evaluate the ongoing Digital agenda strategy. The impact of the regulations is analysed by induction of the following indicators, international trade, ratio of population buying online, DESI index and NRI index. With this method it is possible to tackle the wide range of fields the Digital agenda covers. I conclude this work with the statement, that European ICT regulations do have a positive impact on the single market, although are problematic due to the slow legislative process and low efficiency in addressing the regulated issue.
|
|
Řízení IS/ICT se zaměřením na sourcing služeb informačního systému
Šebesta, Michal ; Voříšek, Jiří (advisor) ; Havlíček, Zdeněk (referee) ; Příklenk, Oldřich (referee) ; Král, Jaroslav (referee)
Research on outsourcing has been around for several decades, while recent evolution in the information systems discipline towards ICT service commoditization significantly changes the context of decision-making. Services that are available on-demand via the Internet allow organizations implementing functions they demand in a fraction of time. This trend represents a chance for organizations seeking to use advanced ICT services without a need of major investments. Problem is the current lack of guidelines and tools for managing ICT services and their outsourcing. Given the trends on the ICT service market, it is expected that much of the IT management in the future will encompass the ICT services and utilize service-level structures. Methods currently available are either too broad or encompass only small part of the whole problem. Ad-hoc or unsound decisions in this area might cause major complications in terms of quality, usability, integration, and consequently influence total cost of organizational IT. Organizations need to either revise existing models or propose and implement completely new models to manage their IS/ICT. This thesis deals with the management of IS/ICT with focus on the ICT services outsourcing. It discusses available sourcing models in the literature and links them to the various interconnected areas. Based on these areas, it presents an integrated view on IT outsourcing strategies. Most importantly the thesis proposes an original concept for decision-making about outsourcing of ICT services named the SOURCER framework. This approach utilizes the presented outsourcing strategies, and introduces a complex methodology and decision-making criteria that will assist organizations with selection of ICT services in order to maintain and manage a most suitable ICT service portfolio. The decision-making is based on four essential viewpoints: function, costs, time, and quality. These viewpoints are discussed, individually analyzed, and serve as a basis for further research. The whole framework is developed and validated according to Design Science Research Methodology (DSRM). Individual components are evaluated using a survey among a group of selected IT managers. Proof of concept is then established by a case study on framework use in a real organization. This case study covers strategy specification, business--IT alignment, specifying service architecture and its interconnections, outsourcing, and management of the ICT service portfolio.
|
|
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
|
|
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.
|
|
CRM as a supporting marketing tool
DOLEŽAL, Pavel
The aim of this paper is to characterize software solution of CRM system BlueJet, product of the Compekon software company and evaluate its benefits for business companies which are using it. The next aim was to find out problems of these companies which were solved by using the system, conduct cost-benfit analysis in selected company and propose some recomendation for extending the profit of Compekon company.These objectives have been met.
|
|
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.
|
|
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.
|
|
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.
|
guest ::
