|
The GIS support to measures on the ground in case of leakage of liquid pollutant on the road
Kolejka, Jaromír ; Rapant, P. ; Zapletalová, Jana
Accidents on roads associated with the leakage of hazardous substances are one of the major challenges encountered by disaster management. Because of the impossibility of predicting the place and time of the event, then it is necessary in the event of such an accident to proceed in quick succession of steps. They are designed primarily to protect human life and health, and then to minimize to property and environment damage. The paper describes the response to this event using GIS tools and generally available geodata. The simulated accident on the D1 highway near Ostrava is applied as a demonstration example.
|
|
Key sequence in the films of directors who work with long sequence shots and with stylization
Ruzyak, Pavel ; BERNARD, Jan (advisor) ; KLEPIKOV, Milan (referee)
This thesis wants to explore long shots alongside with stylization in cinema.
Through three directors are explored possibility and problematic of cinematographic expression through long shots and stylization. Stylisation is connected mainly with mis-en-scène and particular aspects of it – acting, film decoration/props, film space, film sound,...
The terms stylisation and long shot (plan-séquence) are analysed and explored on its own and in the films of the chosen directors.
The main analysed directors are Andrei Tarkovsky, Carl Th. Dreyer and Béla Tarr and their three films (in the same order) - Sacrifice, Gertrud and Satantango.
The chosen directors are from my point of view the best example of the use of stylisation and long shots due to their artistic clarity and coherence.
I try to base this work mostly on my own analysis and thoughts about long shots and stylisation based on the literature, films and my own film works, although I also use quotations from directors/authors and quotations from theoretical works.
The thesis in its form is closest to the analytic and essay study.
|
|
Studio Damúza
Řezníková, Veronika ; PROKOP, Petr (advisor) ; SULŽENKO, Jiří (referee)
The bachelor thesis named Studio Damúza analyses the current state of the eponymous production unit, founded 17 years ago as an alternative stage to the DISK Theatre of Prague´sTheatre Faculty of the Academy od Performing Arts. The term "production unit" is explained on the example of several other production units, comparing the operation of Studio Damúza, Jedefrau.org and ART Prometheus. It gives a brief outline of Studio Damúza´s history. If further describes its current operation, financing and attemps at obtaining a production space run solely by Damúza. The poetics of Studio Damúza are characterised through the current repertoire. In the end, the thesis offers several possibilities of advancing the work of Studio Damúza. It looks for problems that create obstacles and tries to offer solutions.
|
|
Neural Networks Between Integer and Rational Weights
Šíma, Jiří
The analysis of the computational power of neural networks with the weight parameters between integer and rational numbers is refined. We study an intermediate model of binary-state neural networks with integer weights, corresponding to finite automata, which is extended with an extra analog unit with rational weights, as already two additional analog units allow for Turing universality. We characterize the languages that are accepted by this model in terms of so-called cut languages which are combined in a certain way by usual string operations. We employ this characterization for proving that the languages accepted by neural networks with an analog unit are context-sensitive and we present an explicit example of such non-context-free languages. In addition, we formulate a sufficient condition when these networks accept only regular languages in terms of quasi-periodicity of parameters derived from their weights.
Fulltext: content.csg -  PDF
Plný tet: v1237-16 - PDF
|
|
Labour Immigration of Turks to Germany and the Developement of German Immigration and Integration Policy
Dumont, Anna ; Kučera, Jaroslav (advisor) ; Filipová, Lucie (referee)
My Bachelor's thesis, "Labour Immigration of Turks to Germany and the Development of German Immigration and Integration Policy" deals with Turkish guest workers' arrival and subsequent settlement in Germany and the conditions they have been living in. The first part of my thesis is devoted to the evolution of Turkish labour immigration and a discussion of its influence on and co-evolution with German immigration and integration policy. The second part is addressed to the acceptance shown by the majority of Germany society of contemporary Turkish immigrants' integration and uses as examples the development of two important public or human rights. The first of these rights is freedom of religion, which contains both freedom of religion at school, and the right to build mosques in German cities. The second is the right to political participation for Turkish residents who are either German citizens or who have permanent residency, but not citizenship. The thesis tries to answer the questions of how successful integration has been and whether or not Germany has found the right balance between democratic values and the cultural diversity brought by having a large Muslim minority. The thesis as well touches on the biggest problems of the second and third generations of Turkish immigrants which are a lack of...
|
|
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.
|
|
STATISTICAL LANGUAGE MODELS BASED ON NEURAL NETWORKS
Mikolov, Tomáš ; Zweig, Geoffrey (referee) ; Hajič,, Jan (referee) ; Černocký, Jan (advisor)
Statistické jazykové modely jsou důležitou součástí mnoha úspěšných aplikací, mezi něž patří například automatické rozpoznávání řeči a strojový překlad (příkladem je známá aplikace Google Translate). Tradiční techniky pro odhad těchto modelů jsou založeny na tzv. N-gramech. Navzdory známým nedostatkům těchto technik a obrovskému úsilí výzkumných skupin napříč mnoha oblastmi (rozpoznávání řeči, automatický překlad, neuroscience, umělá inteligence, zpracování přirozeného jazyka, komprese dat, psychologie atd.), N-gramy v podstatě zůstaly nejúspěšnější technikou. Cílem této práce je prezentace několika architektur jazykových modelůzaložených na neuronových sítích. Ačkoliv jsou tyto modely výpočetně náročnější než N-gramové modely, s technikami vyvinutými v této práci je možné jejich efektivní použití v reálných aplikacích. Dosažené snížení počtu chyb při rozpoznávání řeči oproti nejlepším N-gramovým modelům dosahuje 20%. Model založený na rekurentní neurovové síti dosahuje nejlepších publikovaných výsledků na velmi známé datové sadě (Penn Treebank).
|
|
Stiff Systems Analysis
Šátek, Václav ; Dalík, Josef (referee) ; Horová, Ivana (referee) ; Kunovský, Jiří (advisor)
The solving of stiff systems is still a contemporary sophisticated problem. The basic problem is the absence of precise definition of stiff systems. A question is also how to detect the stiffness in a given system of differential equations. Implicit numerical methods are commonly used for solving stiff systems. The stability domains of these methods are relatively large but the order of them is low. The thesis deals with numerical solution of ordinary differential equations, especially numerical calculations using Taylor series methods. The source of stiffness is analyzed and the possibility how to reduce stiffness in systems of ordinary differential equations (ODEs) is introduced. The possibility of detection stiff systems using explicit Taylor series terms is analyzed. The stability domains of explicit and implicit Taylor series are presented. The solutions of stiff systems using implicit Taylor series method are presented in many examples. The multiple arithmetic must be used in many cases. The new suitable parallel algorithm based on implicit Taylor series method with recurrent calculation of Taylor series terms and Newton iteration method (ITMRN) is proposed.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
guest ::
