|
Risk analysis of load bearing RC structure review
Bohatec, Jiří ; Laníková, Ivana (referee) ; Šimůnek, Petr (advisor)
Master thesis deals with the evaluation of risks in the course of strengthening reinforced concrete column. It describes the assessment of existing structures according to ISO 13822, discusses the dangers that can occur when determining the carrying capacity of the existing structure. It also describes the different phases of strengthening steel banding, their functions and influence on the overall capacity. Also showing calculation process of strengthening reinforced concrete column, using steel banding, based on standard EN 1992-1-1 and EN 1998-3. In a concrete example of reinforcement is shown a process for determining the carrying capacity and then designed to the increase. In the two examples performs risk analysis using the universal matrix of risk analysis that identifies and quantifies the importance of various hazards associated with the calculation and implementation of the project.
|
|
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).
|
|
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.
|
|
Code Characterization for Automated User Interface Generation
Kadlec, Jaroslav ; Slavík,, Pavel (referee) ; Sochor, Jiří (referee) ; Zemčík, Pavel (advisor)
Práce představuje nový přístup v automatizovaném vytváření uživatelských rozhraní. Na základě taxonomie pro charakterizaci dat byla vyvinuta nová taxonomie pro charakterizaci kódu. Tato taxonomie označuje významné vlastnosti dat a kódu tak, aby ji bylo možné použít v procesu automatického vytvoření uživatelského rozhraní. Taxonomie je platformově nezávislá a může být uložena jako součást metadat nebo v externím souboru. Na základě taxonomie je představený proces automatického vytvoření uživatelského rozhraní s detailnějším popisem jednotlivých kroků. Celý proces generování uživatelského rozhraní je demonstrován na příkladech.
|
|
Vývoj metodologické a technologické platformy pro neinvazivní odhad fenolických látek v listech a bobulích
ŠEBELA, David
Plant optical signals can serve as important source of information about biochemical and physiological processes in plants. These signals are influenced by compounds synthesized by plants during primary or secondary metabolism and thus, can also serve as their qualitative and quantitative indicators. Light reaching plant surface (leaf or fruit) can undergo three main pathways- it can be (i) reflected, (ii) absorbed or it can (iii) transmit through plant material. The probability of these three processes depends on particular wavelength of incident irradiation and on the morphological characteristics of plant tissues themselves. As such, plant contains various spectrum of photosynthetic pigments and fluorescent compounds which can either reflect, absorb or pass incident irradiation through at specific wavelengths. Biophysical techniques working with these optical properties of plant pigments and/or other compounds have become universal and common tool in basic and applied research. To quote some example, chlorophyll fluorescence imaging, UV induced fluorescence or spectroscopic techniques are on the top of interest thanks to its non-invasive nature, allowing maintain the integrity of measured cells or the whole plant constituents. The main aim of this thesis is to provide a comprehensive study on the possibility of non-invasive monitoring of phenolic compounds in the leaves and fruits.
|
| |
|
The importance of information management company for marketing
VOLÁROVÁ, Veronika
The thesis is focused on the issue of the importance of information for marketing management. The aim of this thesis is to identify and analyze information relevant to marketing management in a company. The work is divided into two parts theoretical part and practical part. The theoretical part of the thesis defines the basic terms and defines the building of marketing information system. The practical part on the knowledge gained from the theoretical part describes in detail the process of the building practical marketing information system in real company, using the specific practical examples. The last part of the thesis presents own research, which confirms correct functioning marketing information system in the company. Conclusion of the work confirms the stated main hypothesis.
|
|
From Radioart to Musical Theatre
Jiřička, Lukáš ; KLÍMA, Miloslav (advisor) ; NOVOTNÝ, Pavel (referee)
This dissertation From Radioart to Musical Theatre aims at showing connections between seemingly different fields ? mainly sound-drama radioart, which in German is called Hörspiel, and musical theatre. In my dissertation, I try to define the characteristics as well as structural principles of text, space, sound, voice, acting, music and body in these transdisciplinary forms and genres, which have never retained any kind of purity in the traditional sense.In the analytical and introductory historical part of my dissertation, various seemingly different areas were introduced and discussed. These areas were musical or sound theatre in its general as well as specific form and its interrelation with sound installations, performance, radioart in form of Hörspiel, musical composition and sound art. In the following chapters, I used examples of several pivotal personalities from the German speaking area skilled in musical composition as well as directing and dramatics to present for instance the influence of musical structure on composition and other performing activities or the relationship of dramatic or literary model to its scenographic adaptation. The whole issue of relationships of disparate art forms is being showed on the examples of several artists ? directing composers who create these links thanks to their activity in various fields, as they intertwine musical and performing worlds on the level of structure, motifs and dramatics. The creators of such heterogeneous artworks using the strategy of the so-called negative dramatics are inherently split personalities - Heiner Goebbels, Helmut Oehring, Olga Neuwirth and Andreas Ammer. Goebbels as well as Oehring, Neuwirth and Ammer are able to make use of their experience with musical composition and/or work for the radio in the creation of musical performances in the way that they let particular composition techniques and staging be freely influenced by the knowledge of other media. Besides the above mentioned group of artists, I mention also other significant authors from the 20th and 21st century, who dealt with radioart, musical composition, collage and montage, performance and musical theatre - 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 and Georges Aperghis. Without the influence of the last fifty year-history of radioart, musical theatre would certainly not be such an important form of alternative theatre and performing art as such. Especially nowadays, when thanks to the emancipation and stressing of sound at the expense of acting a new stage language is being created within musical theatre, and the form itself transforms into yet little analysed field of the so-called postspectacular or mechanical theatre without actors.
|
guest ::
