|
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.
|
|
Klíčový záběr u režisérů, pracujících s vnitrozáběrovou montáží a stylizací
Ruzyak, Pavel ; BERNARD, Jan (vedoucí práce) ; KLEPIKOV, Milan (oponent)
Práce si klade za cíl prozkoumat pojem dlouhého filmového záběru ve spojení se stylizací filmové scény.
Na třech vybraných režisérech je ukázána hlouběji problematika a možnosti uměleckého vyjádření formou dlouhého záběru a stylizace. Stylizace se týká především filmové scény (mis-en-scène) a jednotlivých prvků (herectví, filmových rekvizit, filmového prostoru, zvukové složky,...).
Stylizací a dlouhým záběrem se práce zabývá jak způsobem obecné analýzy, tak i zkoumáním použití v tvorbě konkrétních režisérů a v konkrétních filmech.
Jako hlavní režiséry této práce jsem vybral Andreje Tarkovského. Carla Th. Dreyera a Béla Tarra a jejich tři filmy (ve stejném pořadí) - Oběť, Gertrud a Satanské tango.
Vybraní režiséři a filmy jsou z mého pohledu nejlépe odpovídající příklady k pojmu stylizace a dlouhého záběru kvůli jasnému rukopisu a ucelenosti formy.
Snažím se vycházet především z vlastní analýzy a reflexe nad pojmem dlouhého záběru při stylizaci na základě literatury, filmů a vlastní tvorby, využívám ovšem i přímo citáty tvůrců a pasáže z teoretických textů.
Práce je svým druhem nejblíže analyticko-esejistické studii.
|
|
Studio Damúza
Řezníková, Veronika ; PROKOP, Petr (vedoucí práce) ; SULŽENKO, Jiří (oponent)
Bakalářská práce Studio Damúza je zaměřena na současný stav produkční jednotky, která vznikla před 17 lety původně jako alternativní scéna k Divadlu DISK pražské DAMU. Na příkladu několika produkčních jednotek je zde vysvětlen pojem produkční jednotka. Práce srovnává provoz Studia Damúza, Jedefrau.org a ART Prometheus. Popisuje vy zkratce historii Studia Damúza. Dále se věnuje především jeho současnému provozu, financování a pokusům o získání vlastního prostoru. Poetiku Studia Damúza přibližuje práce na popisu současného repertoáru. V závěru práce nabízí několik variant, jak posunout provoz Studia Damúza směrem kupředu. Hledá problémy, které mu v tom brání, a snaží se najít jejich řešení.
|
|
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.
Plný tet: v1237-16 -  PDF
Plný text: content.csg - PDF
|
|
Pracovní imigrace Turků do Německa a vývoj německé imigrační a integrační politiky
Dumont, Anna ; Kučera, Jaroslav (vedoucí práce) ; Filipová, Lucie (oponent)
Bakalářská práce "Pracovní imigrace Turků do Německa a vývoj německé imigrační a integrační politiky" pojednává o příchodu tureckých hostujících pracovníků do Německa, jejich usazování na území a podmínky, za jakých v zemi žili a dodnes žijí. Tento vývoj turecké pracovní imigrace je v první části doplněn o vývoj německé imigrační a integrační politiky, v druhé části je pak věnována pozornost současné integraci tureckých imigrantů a jejich přijetí většinovou společností na příkladu dvou důležitých občanských, resp. lidských práv a svobod. Prvním je svoboda vyznání rozpracovaná do dvou oddílů - svoboda vyznání ve školách a stavba mešit v německých městech, druhým je otázka politické participace tureckých obyvatel rozpracovaná taktéž do dvou hledisek - možnosti politické participace pro občany, tedy naturalizované imigranty a pro cizince trvale usazené bez německého občanství. Práce se snaží nalézt odpověď na otázku, do jaké míry je integrace úspěšná a zda se Německu daří nacházet rovnováhu mezi demokratickými hodnotami a právem na kulturní rozdílnost muslimských menšin. Dotýká se také největších problémů současné druhé a třetí generace Turků, jakými jsou nedostatek vzdělání a rozpor mezi liberálním německým prostředím a přísně konzervativním prostředím uvnitř muslimské rodiny.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Detection of objects in computer vision is a complex task. One of most popular and well explored approaches is the use of statistical classifiers and scanning windows. In this approach, classifiers learned by AdaBoost algorithm (or some modification) are often used as they achieve low error rates, high detection rates and they are suitable for detection in real-time applications. Object detection run-time which uses such classifiers can be implemented by various methods and properties of underlying architecture can be used for speed-up of the detection. For the purpose of acceleration, graphics hardware, multi-core architectures, SIMD or other means can be used. The detection is often implemented on programmable hardware. The contribution of this thesis is to introduce an optimization technique which enhances object detection performance with respect to an user defined cost function. The optimization balances computations of previously learned classifiers between two or more run-time implementations in order to minimize the cost function. The optimization method is verified on a basic example -- division of a classifier to a pre-processing unit implemented in FPGA, and a post-processing unit in standard PC.
|
|
STATISTICAL LANGUAGE MODELS BASED ON NEURAL NETWORKS
Mikolov, Tomáš ; Zweig, Geoffrey (oponent) ; Hajič,, Jan (oponent) ; Černocký, Jan (vedoucí práce)
Statistical language models are crucial part of many successful applications, such as automatic speech recognition and statistical machine translation (for example well-known Google Translate). Traditional techniques for estimating these models are based on Ngram counts. Despite known weaknesses of N-grams and huge efforts of research communities across many fields (speech recognition, machine translation, neuroscience, artificial intelligence, natural language processing, data compression, psychology etc.), N-grams remained basically the state-of-the-art. The goal of this thesis is to present various architectures of language models that are based on artificial neural networks. Although these models are computationally more expensive than N-gram models, with the presented techniques it is possible to apply them to state-of-the-art systems efficiently. Achieved reductions of word error rate of speech recognition systems are up to 20%, against stateof-the-art N-gram model. The presented recurrent neural network based model achieves the best published performance on well-known Penn Treebank setup.
|
|
Analýza stiff soustav diferenciálních rovnic
Šátek, Václav ; Dalík, Josef (oponent) ; Horová, Ivana (oponent) ; Kunovský, Jiří (vedoucí práce)
Řešení tuhých ("stiff") soustav diferenciálních rovnic patří i v současné době stále mezi komplikované úlohy. Základním problémem je přesná definice tuhých systémů. Jednoznačná definice tuhých systémů stále neexistuje. Problémem je dále i detekce tuhých systémů diferenciálních rovnic. K řešení se v praxi využívají implicitní numerické metody nižších řádů, jejichž oblasti stability jsou relativně velké. Ve své práci se zabývám numerickým řešením obyčejných diferenciálních rovnic především numerickým výpočtem využívajícím metody Taylorovy řady. Analyzuji vznik tuhosti jednotlivých systémů diferenciálních rovnic, ukazuji možnou náhradu některých tuhých systémů ekvivalentními systémy bez tuhosti. Dále zkoumám možnost detekce tuhých systémů pomocí členů explicitní Taylorovy řady, zaměřuji se na stabilitu explicitní a implicitní Taylorovy řady. V závěru práce experimentálně ověřuji možnosti řešení tuhých systémů s využitím implicitní Taylorovy řady, zkoumám vhodnost použití víceslovní aritmetiky a navrhuji vhodný paralelizovatelný algoritmus implicitní Taylorovy řady s rekurentním výpočtem členů a Newtonovou iterační metodou (ITMRN).
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating Büchi automata, which results in an efficient alternating automata size reduction technique.
|
host ::
