|
Analýza rizika posouzení nosné ŽB konstrukce
Bohatec, Jiří ; Laníková, Ivana (oponent) ; Šimůnek, Petr (vedoucí práce)
Diplomová práce se zabývá hodnocením rizik v průběhu zesilování železobetonového sloupu. Popisuje hodnocení existujících konstrukcí dle normy ČSN ISO 13822, rozebírá nebezpečí, která mohou nastat při určení únosnosti stávající konstrukce. Dále práce popisuje jednotlivé fáze zesilování ocelovou bandáží, jejich působení a vliv na celkovou únosnost. Také ukazuje výpočetní postup zesilování železobetonového sloupu, pomocí ocelové bandáže, vycházející z normy ČSN EN 1992-1-1 a ČSN EN 1998-3. Na konkrétním příkladu zesílení je ukázán postup stanovení únosnosti a poté je navrženo její zvýšení. Na dvou příkladech je provedena analýza rizika pomocí univerzální maticové analýzy rizik, která identifikuje a kvantifikuje význam jednotlivých nebezpečí spojených s výpočtem a realizací projektu.
|
|
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.
|
|
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.
|
|
Code Characterization for Automated User Interface Generation
Kadlec, Jaroslav ; Slavík,, Pavel (oponent) ; Sochor, Jiří (oponent) ; Zemčík, Pavel (vedoucí práce)
This work presents novel approach to automation of user interface creation. A taxonomy based on data characterization was adopted and new taxonomy for code characterization is proposed. Taxonomy points most important aspects of data and code so that it can be used in a process of automated user interface creation. The taxonomy is platform independent and can be stored as a metadata in the application file or in a separate external file. A process of automated user interface creation based on the taxonomy is proposed and individual parts of the process are described in more detail. Presented taxonomy and process of user interface generation are demonstrated on examples.
|
|
Vývoj metodologické a technologické platformy pro neinvazivní odhad fenolických látek v listech a bobulích
ŠEBELA, David
Optické signály rostliných pletiv mohou sloužit jako významný zdroj informací o biochemických a fyziologických procesech v rostlinách. Tyto signály jsou v zásadě ovlivněny primárním či sekundárním metabolismem - tedy vyzařovány látkami vlastními rostlině, a mohou tak sloužit i jako jejich kvalitativní i kvantitativní indikátory. Při dopadu světelného záření na povrch rostliny (listu či plodu) může dojít v zásadě ke třem hlavním dějům - (i) odrazu, (ii) pohlcení/absorbci či (iii) průchodu daného záření. Pravděpodobnost těchto tří dějů zavisí jak na vlnové délce dopadajícího záření, tak i na vlastnostech samotných rostlinných pletiv. Jako taková jsou rostlinná těla plná pigmentů a fluorescenčních sloučenin, které buď odráží, pohlcují nebo propouští část spektra v různých vlnových délkách daného záření. Biofyzikální techniky pracující s optickými vlastnostmi daných rostliných pigmentů a sloučenin se staly univerzálním a běžně používaným nástrojem v základním i aplikovaném výzkumu rostlin. Například zobrazování kinetiky fluorescence chlorofylu, měření fluorescence indukované ultrafialovým zářením, nebo měření spektrálních charakteristik odraženého světla se dostaly do popředí zájmu díky svému neinvazivnímu charakteru, díky němuž zachovávají integritu buněk i celé měřené rostliny. Tato práce se snaží poskytnout ucelenou studii, týkající se možnosti neinvazivního monitoringu fenolických látek v listech a plodech, za pomocí zmíněných optických metod.
|
| |
|
Význam informací pro marketingové řízení firmy
VOLÁROVÁ, Veronika
Předmětem této práce je význam informací pro marketingové řízení firmy. Cílem práce je zjistit a analyzovat informace významné pro marketingové řízení firmy, nejprve teoreticky, poté prakticky na konkrétním případu zvolené firmy. Teoretická část shrnuje základní poznatky z oblasti marketingu, informací, marketingového informačního systému, marketingového řízení. Dále blíže specifikuje oblast marketingového výzkumu, zabývá se metodami výzkumu. Pro účely praktické části byla vybrána společnost Makro Cash & Carry ČR. Praktická část je zaměřena na sestavení a analýzu marketingového informačního systému. Funkčnost tohoto systému je ověřena v rámci vlastního výzkumu. Závěr práce potvrzuje stanovené hypotézy.
|
|
Od Radioartu k hudebnímu divadlu
Jiřička, Lukáš ; KLÍMA, Miloslav (vedoucí práce) ; NOVOTNÝ, Pavel (oponent)
Dizertační práce s názvem Od radioartu k hudebnímu divadlu si klade za cíl ukázat spojnice mezi zdánlivě disparátními oblastmi, a to převážně zvukově-dramatickým rozhlasovým uměním, pro něž se v německojazyčné oblasti ustavil příhodný termín Hörspiel a hudebním divadlem. Ve své dizertaci se pokouším definovat, čím se vyznačují a jaké jsou principy fungování specifik textu, prostoru, zvuku, hlasu, herectví, hudby a těla v těchto transdisciplinárních formách a žánrech, které so od svých počátků nevykazují žádnou stylovou čistotou v tradičním slova smyslu V rámci své doktorské práce jsem v rámci analytické a historické úvodní studie představil a rozvíjel reflexi zdánlivě nespojitých oblastí, a to: hudebního nebo zvukového divadla v jeho obecné i konkrétní rovině a jeho vzájemnou provázanost se zvukovou instalací, performance, radioartem v podobě Hörspielu, hudební kompozicí a zvukovým uměním, abych v dalších kapitolách na příkladu několika určujících osobností z německojazyčného okruhu věnujících se jak hudební kompozici, tak i dramaturgii a režii demonstroval např. vliv hudební struktury na skladbu a ráz dalších performativních činností anebo vztah dramatické či prozaické předlohy ke scénografickému řešení. Celou problematiku vztahu vzdálených uměleckých forem demonstruji na příkladu několika tvůrců ? režírujících skladatelů, kteří tyto spoje vytvářejí díky svému působení v několika oblastech najednou s tím, že strukturně, motivicky a dramaturgicky propojují hudební a performativní světy. Tvůrci těchto heterogenních uměleckých děl využívající strategie tzv. negativní dramaturgie jsou bytostně dvojdomé osoby - Heiner Goebbels, Helmut Oehring, Olga Neuwirth a Andreas Ammer. Jak Goebbels, tak i Oehring, Neuwirth a Ammer dokáží zúročit své zkušenosti s hudební kompozicí, prací v rozhlase také při tvorbě hudebních inscenací s tím, že nechávají simultánně ovlivňovat jednotlivé kompoziční a inscenační postupy zkušenostmi z jiných oblastí. Kromě zmíněné čtveřice jsou zde uvedení další podstatní tvůrci 20. a 21. století, kteří se dotkli rozhlasové umění, hudební kompozice, metod koláže a montáže, performance a hudebního divadla ? Bertolt Brecht, Dziga Vertov, Emil František Burian, Walter Ruttmann, John Cage, Karlheinz Stockhausen, Dieter Schnebel, Georg Katzer, Friedrich Schenker, FM Einheit či Laurie Anderson a Georges Aperghis. Bez vlivu radioartu posledních padesáti let by oblast hudebního divadla jistě nebyla natolik výraznou odnoží alternativního divadelnictví a performativních uměn vůbec, a to hlavně v současnosti, kdy díky emancipaci a zdůraznění zvukové složky na úkor herecké buduje hudební divadlo nový divadelní jazyk a vstupuje do málo probádané oblasti tzv. postspektakulárního či mechanického divadla bez herců.
|
host ::
