|
Metodika oceňování elektromobilů a vozidel s hybridním pohonem
Kosek, Roman ; Kledus, Robert (oponent) ; Panáček, Vladimír (vedoucí práce)
Diplomová práce Metodika oceňování elektromobilů a vozidel s hybridním pohonem se zaměřuje na tyto druhy vozidel a jejich specifika z pohledu oceňování. Věnuje se současnému stavu technologické vyspělosti v tomto oboru, konstrukčním odlišnostem od konvenčních vozidel a současným metodám oceňování vozidel. Cílem je navrhnout metodiku pro oceňování tohoto druhu vozidel a její následná aplikace na konkrétních příkladech.
|
|
DCTOOL-A3
Bakule, Lubomír ; Papík, Martin ; Rehák, Branislav
DCTOOL-A3 is a documentation of Matlab routines developed for the design of decentralized control of large scale complex systems. The current beta version covers three areas as follows:\nReport 4.1 deals with the event-triggered control design for unstructured uncertain systems. Both non-quantized and quantized feedback is analyzed. The results are given in terms of linear matrix inequalities (LMIs). Logarithmic quantizer is used. Numerical example illustrates the effectiveness of the presented results.\nReport 4.2 presents a new decentralized overlapping wireless control design with a switched communication protocol. The method is applied by simulations on the 20-story building structure including the test of robustness of the methods against sensor failures and network node dropouts of a digital network.\nReport 4.3 presents the construction of a new decentralized wireless controller and a set of heuristic algorithms for evaluation of packet dropouts, sensor faults and actuator faults. The digital network operates at the standard frequency used in well-known widely-used industrial protocols. The results are tested at the Benchmark model decomposed into two disjoint substructures. The results are published. Thus, the details are omitted here.
|
|
Fázově koherentní přenos stabilní optické frekvence pro senzorické sítě
Čížek, Martin ; Pravdová, Lenka ; Hucl, Václav ; Řeřucha, Šimon ; Hrabina, Jan ; Mikel, Břetislav ; Lazar, Josef ; Číp, Ondřej
Využití optických vláken pro fázově koherentní přenosy vysoce stabilních optických frekvencí na velké vzdálenosti je testováno světovými metrologickými laboratořemi již řadu let. Současný rozmach moderních optovláknových senzorů v průmyslových aplikacích vytváří poptávku po transferu technologie fázově koherentních přenosů z laboratoří do průmyslové praxe. Příkladem může být dálková kalibrace tenzometrů pracujících na principu Braggových vláknových mřížek. V našem příspěvku prezentujeme 306 km dlouhou obousměrnou experimentální optickou trasu pro fázově koherentní přenosy z pracoviště oddělení Koherenční optiky na ÚPT AVČR v Brně do laboratoře sdružení CESNET v Praze. Linka využívá telekomunikační vlákno s vyhrazeným DWDM oknem 1540-1546 nm. V tomto okně probíhá stabilizovaný fázově koherentní přenos laserového normálu pracujícího na vlnové délce 1540,5 nm a obousměrný přenos časových značek 1PPS z časových normálů na obou koncích trasy. V příspěvku je diskutováno dlouhodobé měření fluktuací transportního zpoždění a relativní stability linky.
|
|
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.
|
|
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).
|
|
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.
|
|
Dramatický text jako závazné východisko k prostorové realizaci
Tretiag, Štěpán ; KORČÁK, Jakub (vedoucí práce) ; HRBEK, Daniel (oponent)
Na konkrétních příkladech mé praktické bakalářské práce se snažím zpětně popsat a reflektovat naše scénické řešení hry Pohřešované jihoafrické autorky Rezy de Wet. Podstatou moderní činoherní režie je mít text hry jako předlohu, která se stává východiskem k jeho interpretaci a následnému převedení na jeviště. Právě cestě od prvotní interpretace až ke konečné scénické realizaci bych se chtěl věnovat. V první části se budu zabývat tvorbou fyzického prostoru, tedy scénografií. Pokusím se nastínit, co nás vedlo k její konečné podobě a jaké to má opodstatnění v textu hry. A hlavně jakou má možnost stát se prostorem dramatickým. Konkrétněji řečeno jakou tvoří platformu pro herce, aby z ní mohli vycházet, a do jaké míry je dokáže provokovat k jednání. Ve druhé části se již budu věnovat prostoru dramatickému, tedy prostorovému vyjádření vztahů a témat. Opět se pokusím zpětně popsat, jestli a jak se nám podařilo docílit jevištního obrazu, který funguje jako zhmotněná metafora. Budu pojednávat převážně o mimoslovním jednání, ale se zřetelem, že dramatický text nám tvoří základní východisko k realizaci.
|
host ::
