|
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.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
|
|
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.
|
|
Měření výkonnosti lidského kapitálu ve stavebním podniku
BURIÁNKOVÁ, Irena
Hlavním cílem této bakalářské práce je provést měření výkonnosti lidského kapitálu ve zvoleném stavebním podniku. Dalším cílem je uvést návrhy na zlepšení, které povedou ke zvýšení výkonnosti lidského kapitálu. Bakalářská práce se skládá ze dvou částí. V teoretické části jsou uvedeny informace z české a zahraniční literatury. Poznatky z teoretické části jsou následně aplikovány v praktické části. Součástí praktické části jsou základní informace o podniku a uvedeno je i srovnání s konkurenčními podniky. Největší pozornost je ale věnována výkonnosti lidského kapitálu, která je měřena pomocí produktivity práce. Pro výpočet produktivity práce jsou zvoleny dva ukazatele a to tržby a přidaná hodnota. Oba ukazatele jsou porovnávány dvojím způsobem a to k průměrnému přepočtenému počtu zaměstnanců a k osobním nákladům. Výpočty jsou prováděny z interních zdrojů podniku za období 2007-2014.
|
|
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.
|
|
Ocenění firmy MSV Metal Studénka, a. s.
Honc, Adam ; Strouhal, Jiří (vedoucí práce) ; Smrčka, Luboš (oponent)
Cílem diplomové práce je stanovení tržní hodnoty podniku MSV Metal Studénka, a. s. k 31. 12. 2015. Práce je rozdělena na teoreticko-metodologickou a praktickou část. Teoreticko-metodologická část obsahuje vymezení pojmů, postupů a metod, které se týkají jednak problematiky oceňování podniku, ale zároveň i problematiky insolvenčního práva se zaměřením na restrukturalizaci podniku. V praktické části je následně aplikován teoretický podklad. Po úvodním představení podniku, včetně stručného popisu průběhu insolvenčního řízení, je provedena strategická a finanční analýza. Po zhodnocení finančního zdraví a budoucí perspektivy podniku následuje rozdělení aktiv na provozně nutná a nenutná, analýza a prognóza generátorů hodnoty, sestavení finančního plánu a vlastní ocenění. Pro výsledné ocenění podniku je použita výnosová metoda diskontovaných peněžních toků ve variantě volných peněžních toků pro vlastníky a věřitele (FCFF).
|
|
Diversifikace portfolia
ŠÍP, Martin
Tato bakalářská práce se zabývá diversifikací a jeho vlivem na riziko a výnosnost portfolia. Diversifikace je výběr takových finančních instrumentů, při kterém dochází ke snižování rizika portfolia. Historické riziko je počítané pomocí směrodatné odchylky a historická výnosnost je počítána pomocí vynásobení vah akcií v portfoliu a výnosností jednotlivých akcií. Teoretická část se věnuje kapitálovému trhu, základním pojmům souvisejících s diversifikací portfolia, Markowitzovým modelem a nejdůležitějším faktorům, které ovlivňují investora při tvorbě portfolia jako je výnosnost, riziko a kovariance. Praktická část popisuje, jak vytvořit optimální portfolio. Pro tuto bakalářskou práci bylo náhodně vybráno deset společností, s jejímiž akciemi se obchodovalo na americkém trhu New York Stock Exchange. Kovariance těchto akcií je menší než jedna. Dalším krokem bylo vypočítat výnosnost a riziko těchto akcií, po němž následoval výpočet výnosností a rizik portfolií. Nejnižší hodnota historického rizika byla 22, 77 %. A největší hodnota historické měsíční výnosnosti činila 2, 31 %. Efektivní hranice je množina portfolií, která investorovi zaručuje vybrat si taková portfolia, která mají nejvyšší hodnotu výnosnosti pro danou hodnotu rizika a nejmenší hodnotu rizika pro danou hodnotu výnosnosti. Nejnižší hodnotu rizika mělo portfolio s hodnotou měsíční výnosnosti 1, 38 % a nejvyšší hodnotu rizika mělo portfolio s výnosností 4, 03 %. Investor si vybere takové portfolio, které odpovídá jeho maximálnímu užitku.
|
|
Oceňování bytové jednotky
DOBEŠOVÁ, Johana
Cílem bakalářské práce je charakteristika postupů a principů a jejich aplikace při oceňování nemovitého majetku na příkladu bytu. Práce je rozdělena do dvou částí. První, teoretická část se zabývá zejména právní úpravou oceňování v České republice, dále vymezením a charakteristikou základních pojmů a jednotlivých způsobů oceňování. Praktická část se zabývá charakteristikou trhu s nemovitostmi a oceněním reálného bytu v Jindřichově Hradci na základě administrativních a tržních metod. V závěru jsou jednotlivé metody porovnány.
|
| |
|
Časová náročnost základních ošetřovatelských postupů
SOUMAROVÁ, Iveta
Na odděleních v nemocničním zařízení se denně provádí velké množství ošetřovatelských postupů. Tato bakalářská práce ve své teoretické části představuje dvacet základních postupů. Cílem práce bylo zjistit nejčastější ošetřovatelské postupy a zmapovat jejich časovou náročnost. Pro realizaci cíle byla zvolena kvantitativní metoda výzkumu. Technikou sběru dat bylo měření časové náročnosti deseti jednotlivých ošetřovatelských postupů. Ty byly vybrány proto, že jsou prováděny nejčastěji. Tyto postupy byly pozorovány na interním a chirurgickém oddělení Nemocnice České Budějovice. Na obou odděleních probíhalo prvotní pozorování 3 dny. Z celkového počtu bylo vybráno 10 nejčastějších ošetřovatelských postupů shodných obou oddělení. Zastoupení výkonů bylo hodnoceno chí-kvadrát testem v kontingenční tabulce. Dále se na každém oddělení zvlášť doba provedení každého z deseti nejčastějších výkonů desetkrát změřila, a to od přípravy po úklid pomůcek. Časy byly zprůměrovány a prezentovány spolu se směrodatnými odchylkami. Shoda či rozdíl v časové náročnosti byla statisticky otestována pomoci F testu a T testu, kdy použitá hladina významnosti se rovná 5%. Výzkumný soubor tvořily sestry a pomocný ošetřovatelský personál. Výsledky jsou prezentovány v grafech a tabulkách. Významně se na jednotlivých odděleních lišily tyto postupy: podáváni léků per os, podávání stravy, odběr venózní krve a měření tlaku krve. Zjištěná časová náročnost a četnost jednotlivých výkonů mohou sloužit jako podklad pro zdůvodnění počtu členů personálu.
|
host ::
