|
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.
|
|
Navigace mobilních robotů
Rozman, Jaroslav ; Matoušek,, Václav (oponent) ; Šolc, František (oponent) ; Zbořil, František (vedoucí práce)
Mobilní robotika je v posledních letech velice diskutované a rozšířené téma. Souvisí to především se stále se zdokonalující výpočetní technikou, která tak umožňuje vyvíjet stále složitější a dokonalejší roboty. Cílem tohoto snažení je vytvořit robota, schopného se autonomně pohybovat ve zvoleném prostředí. Pro tento úkol je nutné, aby si robot vytvořil mapu, ve které bude svůj pohyb plánovat. V současné době se za standard v mapování považují pravděpodobnostní algoritmy založené na metodě SLAM. Tato disertační práce se zabývá návrhem plánovacího algoritmu právě pro metodu SLAM. Popisuje plánování pohybu pro robota vybaveného dvojicí kamer, tzv. stereokamerou, umístěnou na pohyblivé platformě. Plánování pohybu je navržené s ohledem na použití algoritmů, které budou v obraze ze stereokamery vyhledávat význačné body a z těch pak pomocí triangulace tvořit mapu, nebo také model prostředí. Přínos práce by se dal rozdělit do tří částí. V první je popsán způsob vyznačování plochy, ve které pak bude robot plánovat svůj pohyb. Druhá část se zabývá samotným plánováním pohybu robota v této mapě. Bere při tom v úvahu vlastnosti algoritmu SLAM a snaží se tedy toto plánování navrhnout tak, aby vytvořená mapa byla co nejpřesnější. Ve třetí části je pak popsán pohyb platformy, která nese kamery. V této části se využívá toho, že robot může svými kamerami sledovat i jiná místa, než jsou ta ve směru jeho pohybu. To mu umožní prozkoumat mnohem větší prostor bez přílišné ztráty informace o své přesné poloze.
|
|
Multimedia Data Processing in Heterogeneous Distributed Environment
Kajan, Rudolf ; Ferko,, Andrej (oponent) ; Míkovec, Zdeněk (oponent) ; Herout, Adam (vedoucí práce)
Ubiquitous computing, a paradigm in which the processing of information is linked with each activity or object as encountered, was proposed by Mark Weiser as the next era for interacting with computers. Its goal is to enable people to interact with devices more naturally and casually in ways that suit whatever location or context they find themselves in. Ubiquitous computing focuses on learning by removing the complexity of computing and increases efficiency while using computing for different daily activities. But after more than 15 years since Weiser formulated these goals, several aspects of ubiquitous computing are still not a part of user experience with today’s technology. Seamless integration with environment leading to technological invisibility or user interaction spanning across multiple devices pose still a great challenge. The main goal of our work is to make a step towards making the idea of ubiquitous computing a reality by addressing the question about intuitive information sharing between a personal device and a situated display. We have developed three interaction techniques which support unobtrusive content exchange between touch-enabled personal device and a large display - whether it is shared-private or public. These techniques are based on video streams, augmented reality, and analysis of gaze data. Besides the interaction techniques, we also present a framework for real-time application state acquisition and reconstruction on target platform. We report on user studies focused on the usability of our prototypes and a system performance evaluations. Our experiments were formed around real-life scenarios which are commonly experienced throughout the day. For interactions based on video streams, the results indicate that our techniques outperform the existing solutions: the localization and task migration is done in real time on a midlevel cellphone; the localization is reliable even for different observation angles and for cluttered screen content. Our technique based on gaze analysis goes even further by allowing for modeling of implicit user preferences through gaze data, while being accurate and unobtrusive.
|
|
Schopnost speciálně vycvičených psů detekovat lidský pach dlouhodobě vystavený různým povětrnostním podmínkám
Machová, Lucie ; Vyplelová, Petra (vedoucí práce) ; Jaroslav, Jaroslav (oponent)
Přežitelnost lidského pachu byla zkoumána mnoha vědci a to hlavně umělým navozením okolních podmínek (Hudson et al., 2009; Santariová et al. 2012; Preti et al., 2006). Oproti tomu existuje jen málo studií zabývající se odolností lidského pachu v přirozených přírodních podmínkách (King et al., 1964; Santariová et al., 2016).
Od 6 cílových dobrovolníků byl nabrán individuální lidský pach na skleněné zkumavky. Cílový pach byl ponechán venku ve 2 různých částech roku. Zimní vzorky pocházející od 3 cílových lidí byly vystaveny venkovnímu prostředí od listopadu do května, zatímco letní vzorky získané od dalších 3 lidí od května do prosince. Vždy po 3, 4, 5 a 6 měsících byl z 1 zkumavky od každé cílové osoby odebrán pach na pachový nosič. Po uplynutí posledního časového intervalu byl od cílových lidí znovu nabrán pach, tentokrát na bavlněnou textilii. Zároveň byl nabírán i pach od dalších dobrovolníků, kteří měli roli klamných pachů.
Následně bylo zkoumáno, jestli budou psi schopni tyto vzorky správně ztotožnit. Speciálně vycvičení psi na metodu pachové identifikace dostali vždy k načichání vzorek pocházející z venkovního prostředí a měli za úkol z řady 6 pachů (1 cílového a 5 klamných) vybrat ten, který pocházel od totožné osoby.
Experiment ukázal, že psi jsou schopni správně ztotožnit zimní vzorky ve všech časových intervalech, ale letní vzorky neztotožní v žádném z intervalů. Jednotlivé časové intervaly mezi sebou nevykazují žádnou rozdílnost.
Největší vliv na změnu kvality individuálního lidského pachu má intenzita slunečního záření.
|
|
Testování stability a bezpečnosti počítačové sítě v oblasti cloud computingu
Efimov, Igor ; Havránek, Martin (vedoucí práce) ; Ladislav, Ladislav (oponent)
Má diplomová práce je zaměřěna na vytvoření a automatizaci vlastní metodiky pro testování bezpečnosti a stability Cloudu. Cílem je zjistit jak odolné je virtualizované prostředí vuci různorodým útokům na bezpečnost a stabilitu sítě. V teoretické části práce bude navržena metodika pro testování cloudu. Metody budou vycházet jak z odborných publikací, zabývajících se problematikou zabezpečení, tak také z odborného online zdroje zaměřeného na bezpečnost virtualizace. V praktické části budou testy automatizované a spuštěné ve virtualním prostředí.
|
|
Využití (nano)oxidů pro stabilizaci kovů a metaloidů v kontaminovaných půdách
Michálková, Zuzana ; Komárek, Michael (vedoucí práce) ; Luke, Luke (oponent)
Hlavním cílem předkládané dizertační práce bylo zhodnocení potenciálu vybraných (nano)oxidů Fe a Mn pro stabilizaci kovů a polokovů v kontaminovaných půdách. Výzkum byl zaměřen především na tři materiály - komerční nanomaghemit (Fe III) a nanomagnetit (Fe II,III) a nově syntetizovaný amorfní oxid Mn (AMO). Hlavním cílem práce bylo poskytnout komplexní pohled na vybraná stabilizační činidla, přičemž důraz nebyl kladen pouze na jejich přímý vliv na mobilitu kontaminantů, ale též na jejich stabilitu a transformace v půdním prostředí, spolu s vlivem na půdní mikroorganismy a vyšší rostliny. Nejprve byly u testovaných materiálů zjištěny jejich adsorpční vlastnosti. V tomto případě se jako nejúčinnější ukázal AMO, který za daných experimentálních podmínek vykazoval o 1 až 2 řády vyšší adsorpční kapacity než Fe III a Fe II,III. Míra adsorpce As(V) na AMO se zvyšovala se zvyšujícím pH, což je v případě AMO způsobeno jeho vysokým pHzpc (8,1) a vyšší rozpustností při nižších hodnotách pH. Dále byl sledován vliv aplikace (nano)oxidů na mobilitu kovů a polokovů v půdě a další fyzikálně-chemické vlastnosti. Zde se AMO opět prokázal jako nejúčinnější činidlo pro snížení mobilní frakce Cd, Cu, Pb, Zn a As. Aplikace činidel Fe III a Fe II,III měla naproti tomu jen minimální či žádný efekt. Aplikace AMO dále vedla ke zvýšení půdního pH spojeného s rozpouštěním samotného materiálu a nežádoucí degradací půdní organické hmoty. Při studiu transformací (nano)oxidů v půdním prostředí byl na povrchu AMO identifikován nově vzniklý MnCO3, zatímco na povrchu Fe III a Fe II,III nebyly pozorovány žádné významné změny. Vzhledem k tomu, že pozorovaná formace MnCO3 byla spojená se vzrůstem stability AMO, byly uměle připraveny částice AMO pokryté vrstvou MnCO3 (SM-AMO). Přestože SM-AMO prokázal v půdě menší hmotnostní ztrátu než AMO, stabilizační účinnost byla u obou materiálů téměř stejná. Rozdíly ve složení povrchů u obou materiálů v čase klesaly, neboť na povrchu AMO docházelo k precipitaci MnCO3, zatímco povlak na SM-AMO se postupně rozpouštěl. Při zjišťování vlivu na půdní organismy AMO účinně podpořil půdní mikrobiální aktivitu, zatímco v případě Fe III a Fe II,III nebyly pozorovány žádné významné změny. AMO byl též schopen snížit koncentrace Cd, Pb a Zn přijaté slunečnicí (Helianthus annuus L.), eliminovat symptomy fytotoxicity Zn a zvýšit výnos biomasy. Na druhou stranu byly ve tkáních slunečnice zaznamenány toxické koncentrace Mn uvolněného z aplikovaného AMO. V závislosti na výsledcích této práce tedy doporučujeme aplikace AMO do kontaminovaných neutrálních až alkalických půd. Dále byly před nedávnem připraveny různé typy kompozitních sorbentů na bázi AMO a biocharu a v současné době je v přípravě polní experiment zaměřený na stabilizaci Cd, Pb, Zn a As v kontaminované půdě pomocí studovaných stabilizačních činidel. Výsledky této práce vyzdvihují důležitost použití komplexního experimentálního přístupu zahrnujícího všechny složky půdního systému při studiu nových stabilizačních činidel.
|
|
Ústavní právo na příznivé životní prostředí a jeho prosazování v současné ČR
Tauchmanová, Renata ; Kadlecová, Eva (vedoucí práce) ; Uhlík, Milan (oponent)
Práce poskytuje co nejucelenější přehled o právní ochraně životního prostředí v České republice z pohledu justice a její aplikace v českém soudnictví. Především, co se týká zákonů v oblasti ochrany práva na příznivé životní prostředí v rámci Ústavy České republiky,jsem se snažila zaměřit na judikaturu Ústavního soudu, jakožto soudu, jehož rozhodnutí jsou pro výklad a další uplatnění práva na příznivé životní prostředí v praxi zcela zásadní.
Cílem práce je ukázat vývoj právní/legislativní ochrany životního prostředí v České republice a přiblížit praktiky mezinárodního práva, převážně evropského, v oblasti ochrany životního prostředí. Práce nastiňuje dostupné procesní nástroje, které využívá české soudnictví v oblasti práva na příznivé životní prostředí a dále představuje práva a povinnosti občanu České republiky k tomuto tématu se vtahující.
|
|
Vliv mysliveckého hospodaření na kvalitu populace srnčí zvěře
Heřman, Vladimír ; Ježek, Miloš (vedoucí práce) ; Benediktová, Kateřina (oponent)
Ve vybrané honitbě MS Obrataň byl sledován vývoj populace srnce obecného (Capreolus capreolus) a vliv prostředí na tuto populaci. K dispozici jsou údaje o odstřelech a hmotnosti odlovených kusů v jedenáctileté časové řadě, a to od roku 2005 do roku 2015. Tato data jsou rozdělena dle pohlaví, resp. na srnce, srny a srnčata. Data byla vyhodnocována s ohledem na dobu lovu v průběhu roku společně s hmotností daného kusu. V roce 2012 byl zjištěn zřejmý nárůst hmotnosti u odlovených kusů srnčí zvěře, který byl nejvíce zřetelný u odlovených srn. Dále bylo zjištěno, že měsíc, ve kterém byl daný kus odloven, nemá vliv na jeho hmotnost.
|
|
Strategické řízení podniku
Qubaiová, Jana ; Štůsek, Jaromír (vedoucí práce) ; Zdeněk, Zdeněk (oponent)
Tato Diplomová práce se zabývá strategickým řízením malého podniku P, prádelny, který poskytuje služby v oblasti praní a čištění oděvů různorodým zákazníkům v jeho okolí.
Cílem práce je navržení nové strategie podniku vedoucí k naplnění vize podniku o potřebné inovaci zastaralých technologií společně s rozšířením kapacity provozu, při zachování respektu k životnímu prostředí.
Rešerše předkládá teoretická východiska strategického řízení, popisuje jeho strukturu a nejčastěji používané analytické metody.
Praktická část představuje analýzu zvoleného podniku vybranými metodami jako např. Porterova analýza a BSC. Následná syntéza vede k sestavení nejvhodnější varianty nové strategie. Tento návrh naplňuje vize podniku inovativní reorganizací provozu podniku pořízením velkokapacitního pracího tunelu, jehož technologie výrazně snižuje spotřebu vody a celkově ovlivňuje i snížení spotřeby energií oproti původnímu stavu.
Jako odpověď na výzvu používání moderních metod byla zhodnocena možná aplikace metody strategie modrého oceánu.
|
|
Porušování práv duševního vlastnictví v prostředí počítačových sítí
Jeřábek, Tomáš ; Žikovská, Petra (vedoucí práce) ; Dobřichovský, Tomáš (oponent)
Název: Porušování práv duševního vlastnictví v prostředí počítačových sítí Těžiště předkládané diplomové práce leží v popisu relevantní legislativy, judikatury a v rozboru druhů právních odpovědností. Legislativa je popsána od úrovně mezinárodních smluv, včetně dohody TRIPS a Internetových smluv WIPO, přes evropské směrnice až po české vnitrostátní právo, zejména autorský zákon a další vybrané normy občanskoprávní i trestní. Práce se zabývá také předpisy Francie a Spojených státu amerických, známých tvrdou linií ochrany autorských práv. Krátce je pojednáno o metodickém návodu Nejvyššího státního zastupitelství. Naváže rozbor civilních, správních a trestních odpovědností. Judikatura zahrnuje rozhodnutí Ústavního soudu, Nejvyššího soudu a Nejvyššího správního soudu, dále rozsudek Evropského soudního dvora ve věci Scarlett a několik zahraničních rozhodnutí, zejména nizozemských rozsudků ve věcech profesní asociace BREIN a amerického případu Betamax.
|
host ::
