|
Optický rezonátor s nízkou disperzí pro účely délkového senzoru využivající optický frekvenční hřeben
Pravdová, Lenka ; Hucl, Václav ; Lešundák, Adam ; Lazar, Josef ; Číp, Ondřej
Ultra přesná měření délky jsou doménou laserových interferometrů. Na našem pracovišti jsme navrhli a experimentálně ověřili metodu měření s optickým rezonátorem, která využívá širokospektrálního záření optického frekvenčního hřebene. Měřená délka, tj. délka rezonátoru, je pak převedena na hodnotu opakovací frekvence pulsního laseru se synchronizací modů optického frekvenčního hřebene. V našem příspěvku nyní představujeme porovnání absolutní stupnice optického rezonátoru se stupnicí inkrementálního interferometru. Inkrementální interferometr je do sestavy implementován pro provedení požadované verifikace stupnice optického rezonátoru. Dvousvazkový inkrementální interferometr pracuje na vlnové délce 633 nm a měřicí zrcadlo rezonátoru vybavené piezo posuvem je s výhodou použito zároveň i jako zpětný odrážeč pro tento interferometr. Jako markantní chybový signál se zde projevuje periodická nelinearita stupnice inkrementálního interferometru. Relativní rozlišení naší metody tak dosahuje hodnoty až 10-9 při zachování absolutní stupnice měření.\n
|
|
Návratnost investic spojených s výstavbou bytového domu v Brně.
Hovorková, Kamila ; Berger, Patrik (oponent) ; Cupal, Martin (vedoucí práce)
Tato diplomová práce je zaměřena na návratnost investic spojených s výstavbou bytového domu v Brně. Nejprve autor zjistí veškeré náklady spojené s výstavbou bytového domu. Následně bude bytový dům oceněn, a to jak jako celek, tak po jednotlivých bytech. Dále bude na základě obvyklých cen nájmů vypočtena výnosová hodnota domu. Poté se porovnávacím způsobem stanoví obvyklé ceny bytů v dané lokalitě a zjistí se, kolik by činil výnos, kdyby se dům rozprodal po bytech. Na závěr se výsledné hodnoty mezi sebou porovnají a určí se nejlepší varianta, jak naložit s novostavbou bytového domu v Brně.
|
|
Posouzení přínosu rekonverze z hlediska hodnoty církevního objektu ve vybrané lokalitě
Strnková, Markéta ; Klika, Pavel (oponent) ; Hlavinková, Vítězslava (vedoucí práce)
Diplomová práce se zabývá rekonverzí církevního objektu ve vybrané lokalitě. Na začátku jsou v práci popsány církevní objekty a jejich vliv na okolí, struktura římskokatolické církve a vývoj církevního majetku v průběhu historie. To je doplněno o základní pojmy a možné postupy oceňování kulturních památek. V praktické části se zabývám rekonverzí církevního objektu, konkrétně klášterem dominikánů ve Znojmě. Na základě analýzy Znojma a kláštera došlo k navržení možných využití kláštera. Z nich byly vybrány dvě varianty, které byly porovnány. Z těchto dvou variant byla zvolena jedna jako nejvhodnější možnost pro další využití.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Důvěra a reputace v distribuovaných systémech
Samek, Jan ; Návrat,, Pavol (oponent) ; Šafařík,, Jiří (oponent) ; Hanáček, Petr (vedoucí práce)
Tato disertační práce se zabývá problematikou modelování důvěry v distribuovaných systémech, konkrétně pak více-kontextové důvěry v distribuovaných multi-agentních systémech. V současné době existuje velké množství modelů důvěry či reputace, nicméně více-kontextová vlastnost důvěry či reputace v nich není často zohledněna. Z tohoto důvodu se práce zaměřuje především na analýzu více-kontextových modelů založených na důvěře a na jejím základě stanovuje předpoklady pro nový, vlastnost více-kontextovost plně podporující, model důvěry. Stěžejní částí práce je formální návrh nového více-kontextového modelu důvěry, který je schopen vytvářet, aktualizovat a uchovávat důvěru pro různé aspekty (kontexty) jedné entity multi-agentního systému. Důvěru lze v navrženém modelu budovat jak na základě přímých zkušeností, tak i na základě doporučení a reputace. Dalším aspektem navrženého modelu je schopnost odvozovat důvěru v různé kontexty na základě znalosti důvěry v kontexty jiné, což je zajištěno vytvořením hierarchické struktury jednotlivých kontextů jedné entity. Přínosem nového modelu je především zvýšení efektivity rozhodování agentů v rámci multi-agentního systému ve smyslu schopnosti výběru optimálního partnera pro provedení transakce. Návrh modelu byl ověřen implementací prototypu multi-agentního systému, ve kterém se agenti rozhodují a jednají na základě důvěry.
|
|
Vliv rekonverze na hodnotu bývalého církevního objektu na jižní Moravě
Sýkorová, Michaela ; Gardášová, Alena (oponent) ; Hlavinková, Vítězslava (vedoucí práce)
Diplomová práce se zabývá oceněním bývalé fary v obci Přítluky na jižní Moravě. Základní myšlenkou je vyhodnotit vliv, který má změna účelu užívání spojená s rekonstrukcí na hodnotu objektu. A to z pohledu tržního přístupu i platných oceňovacích předpisů. Nejprve je v práci rozebrán teoretický základ dané problematiky jako pojmy, legislativa a postupy oceňování. Následně je charakterizována konkrétní situace lokality a objektu a v poslední části je popsána a zdůvodněna metodika vlastního ocenění. V závěru jsou výsledky vyhodnoceny a okomentovány.
|
|
Methods for class prediction with high-dimensional gene expression data
Šilhavá, Jana ; Matula, Petr (oponent) ; Železný, Filip (oponent) ; Smrž, Pavel (vedoucí práce)
This thesis deals with class prediction with high-dimensional gene expression data. During the last decade, an increasing amount of genomic data has become available. Combining gene expression data with other data can be useful in clinical management, where it can improve the prediction of disease prognosis. The main part of this thesis is aimed at combining gene expression data with clinical data. We use logistic regression models that can be built through various regularized techniques. Generalized linear models enable us to combine models with different structure of data. It is shown that such a combination may yield more accurate predictions than those obtained based on the use of gene expression or clinical data alone. Suggested approaches are not computationally intensive. Evaluations are performed with simulated data sets in different settings and then with real benchmark data sets. The work also characterizes an additional predictive value of microarrays. The thesis includes a comparison of selected features of gene expression classifiers built up in five different breast cancer data sets. Finally, a feature selection that combines gene expression data with gene ontology information is proposed.
|
|
Stanovení hodnoty podniku
TALÍŘOVÁ, Klára
Cílem této diplomové práce je v první části charakteristika pojmů, které souvisí se stanovením hodnoty podniku. Dalším cílem je popis metod a postupů, které se pro oceňování podniků využívají a jejich praktické seřazení. Cílem praktické části je provedení reálného ocenění podniku na vybraném podniku a to pomocí více metod. Pro stanovení hodnoty tohoto podniku byly vybrány dvě metody. První vybranou metodou je metoda ekonomické přidané hodnoty EVA a druhou metodou je metoda diskontovaného cash flow, která je hojně využívána. Po provedení výpočtů a zhodnocení výsledků obou metod budou tyto výsledky vzájemně porovnány.
|
|
Příspěvky sekcí (NACE-CZ) k tvorbě hrubé přidané hodnoty
BEDNÁŘOVÁ, Monika
Cílem této diplomové práce bylo zhodnocení příspěvků sekcí (NACE-CZ) k tvorbě hrubé přidané hodnoty. V první části této práce byly popsány teoretické pojmy související s hrubou přidanou hodnotou národního hospodářství. K výpočtům byly použity analytické postupy, které lze využít pouze v případě, že se jedná o aditivní vazbu mezi jednotlivými faktory. Na základě postupů uvedených v metodice došlo v praktické části ke zhodnocení příspěvků sekcí k tvorbě hrubé přidané hodnoty národního hospodářství. V daném časovém horizontu příspěvky institucionálních sektorů i skupin oddílů v členění dle úrovně technologie vykázaly určitou závislost na reálném hospodářském cyklu. Ačkoliv nejsilnějším institucionálním sektorem jsou nefinanční podniky, tak v době krize byly spolu s vládními institucemi zasaženy nejvíce. Naopak silnou pozici v době krize vykázal sektor finančních institucí. Co se týče seskupení oddílů dle úrovně technologie, nejvíce k hrubé přidané hodnotě národního hospodářství přispívají skupiny B1 a B2. U všech skupin byl zaznamenán vliv hospodářského cyklu, ale skupina C dle výsledků nereagovala až tak citlivě jako ostatní skupiny.
|
host ::
