|
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.
|
|
Packet Classification Algorithms
Puš, Viktor ; Lhotka,, Ladislav (oponent) ; Dvořák, Václav (vedoucí práce)
This thesis deals with packet classification in computer networks. Classification is the key task in many networking devices, most notably packet filters - firewalls. This thesis therefore concerns the area of computer security. The thesis is focused on high-speed networks with the bandwidth of 100 Gb/s and beyond. General-purpose processors can not be used in such cases, because their performance is not sufficient. Therefore, specialized hardware is used, mainly ASICs and FPGAs. Many packet classification algorithms designed for hardware implementation were presented, yet these approaches are not ready for very high-speed networks. This thesis addresses the design of new high-speed packet classification algorithms, targeted for the implementation in dedicated hardware. The algorithm that decomposes the problem into several easier sub-problems is proposed. The first subproblem is the longest prefix match (LPM) operation, which is used also in IP packet routing. As the LPM algorithms with sufficient speed have already been published, they can be used in out context. The following subproblem is mapping the prefixes to the rule numbers. This is where the thesis brings innovation by using a specifically constructed hash function. This hash function allows the mapping to be done in constant time and requires only one memory with narrow data bus. The algorithm throughput can be determined analytically and is independent on the number of rules or the network traffic characteristics. With the use of available parts the throughput of 266 million packets per second can be achieved. Additional three algorithms (PFCA, PCCA, MSPCCA) that follow in this thesis are designed to lower the memory requirements of the first one without compromising the speed. The second algorithm lowers the memory size by 11 % to 96 %, depending on the rule set. The disadvantage of low stability is removed by the third algorithm, which reduces the memory requirements by 31 % to 84 %, compared to the first one. The fourth algorithm combines the third one with the older approach and thanks to the use of several techniques lowers the memory requirements by 73 % to 99 %.
|
|
Obrazová analýza v tribotechnické diagnostice
Machalík, Stanislav ; Stodola,, Jiří (oponent) ; Tillová,, Eva (oponent) ; Zemčík, Pavel (vedoucí práce)
Obrazová analýza částic opotřebení je v práci využita ke klasifikaci jejich obrazů do tříd odpovídajících stanoveným typům opotřebení. Dává možnost získat informace nejen o základních parametrech otěrových částic, ale také údaje, které by při klasickém způsobu hodnocení bylo možné získat jen velmi obtížně. Na základě analýzy morfologických či obrazových charakteristik částic lze sledovat průběh opotřebení strojních součástí, a tím zabránit případné havárii motoru, případně stanovit optimální lhůty pro výměnu oleje. Cílem této práce je prozkoumat možnosti využití obrazové analýzy v kombinaci s metodou analytické ferrografie a na základě teoretických poznatků navrhnout nástroj pro automatickou klasifikaci částic. Současné metody analýzy částic opotřebení jsou založeny na vyhodnocení, které nedává přesnou představu o procesech probíhajících mezi třecími povrchy v motorové soustavě. Práce vychází z metody analytické ferrografie, která umožňuje zhodnotit stav sledovaného stroje z hlediska opotřebení. Přínosem klasifikátorů vytvořených v této práci je možnost automatického vyhodnocení výstupů analytické ferrografie; jejich použití odstraňuje zásadní nevýhodu ferrografické analýzy, kterou je její závislost na subjektivním hodnocení expertem provádějícím analýzu. Vytvořené klasifikátory jsou založeny na využití metod strojového učení. Na základě rozsáhlé databáze částic, která byla vytvořena v první fázi práce, byly klasifikátory natrénovány umožňují tak hodnotit ferrograficky separované otěrové částice, které pocházejí z olejů odebraných z mazaných soustav. Následně byly provedeny experimenty, z jejichž výsledků vyplynuly optimální nastavení klasifikátorů.
|
|
Point and Line Parameterizations Using Parallel Coordinates for Hough Transform
Juránková, Markéta ; Kälviäinen, Heikki (oponent) ; Kittler, Josef (oponent) ; Herout, Adam (vedoucí práce)
This thesis focuses on usage of parallel coordinates for line and point parameterizations. The parallel coordinate system represents the space with axes which are mutually parallel. A point from two-dimensional Euclidean space is in parallel coordinates represented by a line and a line is represented by a point. This property can by used for the Hough transform - a method, where the points of interest vote in parameter space for possible hypotheses. Parameterizations by the parallel coordinates require only rasterization of lines, therefore it is very fast and accurate. In this thesis, the parameterizations are used for matrix code and vanishing points detection.
|
|
Síťová architektura a propojování vestavěných systémů
Trchalík, Roman ; Drábek, Vladimír (oponent) ; Srovnal, Vilém (oponent) ; Švéda, Miroslav (vedoucí práce)
Tato práce se věnuje architektuře vestavěných systémů. Shrnuje současný stav přijatých standardů z rodiny IEEE 1451, které se zabývají vytvářením prostředí pro senzory a jejich zapojení do různých komunikačních sítí. Tyto standardy popisují otevřenou a síťově nezávislou komunikační architekturu pro systém založený na senzorech. Těžištěm práce jsou architektury uvedené jako případové studie, které mohou být využity jako návrhové vzory vestavěných aplikací demonstrované na bezdrátové technologii ZigBee vhodné pro malá zařízení s velmi nízkou spotřebou elektrické energie. Na základě těchto studií jen navržena univerzální brána, která umožňuje aplikační propojení koncových uzlů z různých bezdrátových architektur určených pro senzorové sítě. Práce se dále zabývá modifikováním směrovacího protokolu v síti ZigBee s cílem snížit spotřebu elektrické energie na přenos jednoho datového paketu.
|
|
Výsledky účtu kultury ČR za rok 2012
Český statistický úřad
Účet kultury ČR byl poprvé zpracován v ověřovacím provedení za referenční rok 2009. V průběhu sestavování účtu i v rámci hodnocení jeho výsledků za tento rok a za léta následující se ukázalo, že některé předpoklady a záměry obsažené v původním metodickém manuálu k účtu nemohou být zcela naplněny, resp. musí být poopraveny. Srovnávání výsledků účtů kultury v časové řadě je prozatím velmi problematické.
Plný text:  PDF
|
|
Řízení projektů ve vybraném podniku
POKORNÝ, Radek
Tato práce se zabývá projektovým řízením ve vybrané společnosti. Má dvě části. První část je teoretická, která je zaměřena na teoretické zpracování tématu. To vysvětluje, co je projekt, řízení projektů, organizace projektů, procesů projektového managementu, jaký je cíl projektu, komunikace, řízení, změny a rizika a další. V praktické části jsem se zaměřil na konkrétní společnost a jejich projektový management a následně jsem analyzoval konkrétní projekt. Název zmíněné společnosti je OHL ŽS, a.s. Je to Španělská, která působí po celém světě. V České republice má ředitelsví v Brně. Tato společnost má několik divizí a každý z nich je zaměřen na jiný typ stavebnictví. Vybral jsem si divizi pozemního stavitelství. Tato divize se zaměřuje na všechny druhy staveb. Mohla by to být výstavba nových budov nebo rekonstrukce. Při analýze vybraného projektu jsem použil různé obchodní dokumenty, smlouvy s investorem, nebo dodavateli, náklady na projekt, časový harmonogram. Také jsem využil své zkušenosti s tímto projektem, protože jsem se podílel na realizaci tohoto projektu po větší části jeho provádění. Název tohoto projektu je rekonstrukce obvodového pláště včetně výměny oken a zateplení. Při analýze projektu jsem našel pár zásadních nedostatků. Pokud by se nám podařilo vyhnout se těmto nedostatkům, mohli bychom zvýšit zisk. Tyto nedostatky jsou zejména chyby při řízení. Na začátku byli jmenováni dva dočasní stavbyvedoucí. Pracovníci na této pozici v podstatě nemají zájem na výsledku projektu, protože jejich vedoucí nemá žádné prostředky na ovlivnění výkonosti tohoto pracovníka. Chybí zde motivační systém. Nezáleží na výkonu, ale pracovník dostane vždy stejnou mzdu. Pro odstranění těchto nedostatků jsem navrhl několik návrhů na zlepšení. První návrh je modifikace a rozšíření motivačního systému. Nový motivační systém obsahuje osobní ohodnocení. Toto hodnocení je závislá na výkonu zaměstnance. Druhá část je odměna z nadzisku. Dalším návrhem je vytvoření nové pracovní pozice. Tato pozice se bude starat o kontrolu a projektové dokumentace. V průběhu stavebního projektu, a to zejména na konci je stavbyvedoucí velmi zaneprázdněn. To záleží na rozhodnutí stavbyvedoucího, jakým činnostem dá přednost. Zda se bude věnovat dokumentaci, nebo prováděným pracím a technologii. Navrhovaná pozice by se starala o faktury, skutečně provedené práce, projektovou dokumentaci a předávání skutečně odvedené práce. Třetím návrhem je nákup malého strojního zařízení, jako jsou bourací kladiva a vrtačky. V této době se pronajímají všechna zařízení. Nájemné je vyšší než kupní cena. Poslední návrh je použít leasing na obnovu vozového parku. V této době mají zastaralý vozový park, protože současný vozový park byl pořízen za hotovost. To není výhodné.
|
|
Reflexe díla Františka Bakuleho ve vztahu k dnešní speciálně pedagogické praxi
BALÍKOVÁ, Tereza
František Bakule byl významným českým pedagogem první poloviny 20. století, prvním ředitelem Jedličkova ústavu v Praze, zakladatelem tzv. Bakulova ústavu a jedním z mála českých představitelů alternativního pojetí výchovy a vzdělávání uznávaných v zahraničí. Jeho odkaz však v současné době není naší odbornou veřejností v rámci hlavního vzdělávacího proudu ani speciálních škol dále systematicky rozvíjen a prakticky uplatňován, na rozdíl od řady zahraničních alternativních pedagogických směrů, které jsou zde úspěšně aplikovány. Cílem této bakalářské práce je proto analyzovat dílo Františka Bakuleho prizmatem současného školního edukačního prostředí s důrazem na vzdělávání žáků se zdravotním postižením. První kapitola je věnována nástinu životní cesty Františka Bakuleho, zejména se zaměřením na významné mezníky, které ovlivnily utváření jeho osobnosti, jeho myšlenky, inspiraci a motivaci a které se projevily v jeho pedagogické činnosti a následně v jeho vlastním uceleném konceptu výchovy a vzdělávání. Konkrétně je zde zmíněno jeho rodinné zázemí a dále je prostor věnován zejména jeho učitelským zkušenostem až po působení v Jedličkově ústavu a etapu života spojenou s jeho vlastním ústavem. Druhá část bakalářské práce je již zaměřena výhradně na Bakuleho specifický edukační koncept. Nejprve jsou zde vymezeny jeho principy a následně uvedeny originální učební osnovy a návrh ideálního prostředí třídy. Text dále obsahuje detailní popis výuky několika předmětů, které byly těžištěm Bakuleho konceptu, a to jmenovitě pracovních činností, hudební výchovy a výtvarné výchovy. Původní didaktické postupy jsou analyzovány s využitím současné terminologie. Vzhledem k vymezenému cíli bylo třeba ve třetí kapitole analyzovat současné pojetí vzdělávání ve výše zmíněných, podle Bakuleho stěžejních oblastech. Text je koncipován tak, aby bylo možné následně reflektovat dílo Františka Bakuleho z pohledu dnešní pedagogické, respektive speciálně pedagogické praxe, nalézt styčné body či odlišnosti a odhalit nevyužitý inspirační potenciál. Tomu je pak věnována čtvrtá, závěrečná kapitola. Na základě analýzy a následné reflexe bylo ve výsledku konstatováno, že ačkoli se Bakulem formulované vzdělávací cíle významně neodlišují od současného pojetí zakotveného v příslušných rámcových vzdělávacích programech, k jejich dosažení se v současné době užívá odlišných postupů a metod. A to přestože sám Bakule své postupy, které lze velmi zjednodušeně charakterizovat mottem "neučit žáky o životě a práci, ale životem a prací", s úspěchem ověřil v praxi a že mu v řadě případů daly za pravdu pozdější výsledky psychologických výzkumů, čímž poskytly jeho didaktickému odkazu teoretickou oporu. Z výše uvedeného je zřejmé, že odkaz díla Františka Bakuleho nebyl naší odbornou pedagogickou veřejností dostatečně doceněn a vytěžen. Na druhou stranu je třeba konstatovat, že jeho širšímu uplatnění stojí v cestě roztříštěnost, v níž se nám dochoval.
|
|
Profese vojenské zdravotní sestry z historického pohledu.
PAVLÍKOVÁ, Andrea
Diplomová práce se zabývá profesí vojenské zdravotní sestry. Můžeme konstatovat, že oficiální studium vojenských nelékařských zdravotnických odborností a jejich využití nejen pro válečné účely se datuje od padesátých let minulého století. Ovšem ženy zdravotnice následně i v uniformě byly vždy aktuální záležitostí v údobích jakéhokoli ozbrojeného tažení. Rozvoj ošetřovatelské činnosti jako takové probíhal téměř pokaždé v závislosti na její zvýšené potřebě ve válečných anabázích, avšak není možné opomenout vliv vědeckých, medicínských a technických poznatků. Historická osa vývoje ošetřovatelské výchovy a zdravotnické péče na bojištích je zaznamenána od pravěkého léčitelství přes původní starověké medicínské pokusy až po středověké tradiční lékařství. Způsob křesťanského léčení negativně ovlivnila katolická církev, která takřka znemožnila jakýkoli vědecký pokrok zejména na chirurgické půdě. Temný středověk na evropském kontinentě fakticky vyrval provádění lékařských úkonů z rukou odborníků a nechal trpící na pospas kněžím. Následující část práce se věnuje novověké medicíně, kde se uplatňují osvícenské reformy. V této epoše se organizovaly jedny z počátečních půlročních kurzů pro vojenské ranhojiče, které se přeměnily na Chirurgickou vojenskou akademii, z níž pak vzniklo pověstné Josefinum. Projev humanity, jež podnítila formu péče o válečné veterány, se manifestoval výstavbou invalidoven. Druhou polovinu 19. století charakterizuje fenomén výskytu řádových sester v polních lazaretech. Hlouběji se tato studie zaobírá profesionální organizovanou zdravotnickou péčí přímo na bojišti, která se datuje od éry válčení na Krymu. Tento mezník vypovídá o transformaci opatrovnictví na ošetřovatelství, jež vykazuje nutnost specializované přípravy osob provozujících ošetřovatelskou praxi. Nesmazatelně se do dějin sesterského povolání zapsal i Henri Dunant, jako zakladatel Červeného kříže, který první zacvičoval zdravotnice pro plnění branných záměrů státu. Pokračování tohoto počinu nastiňuje průběh poskytování první pomoci v ozbrojených konfliktech 20. století. Popisuje fungování tehdejší velitelsky řízené vojenské zdravotnické služby. První světová válka zahnala český ošetřující personál na obě strany fronty, kde zajišťoval zraněným pomoc. Druhé světové války se zdravotní sestry účastnily již ve stejnokrojích, coby právoplatné příslušnice armády. Dílo se dále zmiňuje i o poválečném využívání armádních zdravotníků v utajených zahraničních misích a jejich odborné erudici. V neposlední řadě velmi okrajově hovoří o současných možnostech moderní zdravotnické služby Armády České republiky. Cílem usilovného snažení při zpracování tohoto tématu bylo přehledně zmapovat vývoj profese vojenské zdravotní sestry v historickém kontextu se zvláštním zřetelem na ženy zdravotnice pocházející z českých končin. Aby zachycené dějinné podklady týkající se konkrétních účastnic světových válečných konfliktů byly čtenáři dobře uchopitelné, líčí toto pojednání v širším rozsahu příznačné lékařské a ošetřovatelské poznatky už od éry pravěkých civilizací. Pro teoretickou diplomovou práci byla zvolena metoda historické studie. Metodika se zakládá na vyhledávání, prostudování, třídění a následném systematickém nestranném popisu událostí z časů minulých s cílem podat ucelenou zprávu o daném námětu. K získání povědomí o dějinných souvislostech bylo zapotřebí prostudovat nepřeberné množství relevantních zdrojů. Věcné informace byly čerpány analyzováním jednak primárních, ale ponejvíc sekundárních dokumentů. Badatelskými prameny se staly i starobylé knižní publikace, soudobá odborná literatura a časopisy s historickou, vojenskou i zdravotnickou tematikou. Prozkoumáním odpovídajících písemností a shrnutím zásadních zjištění vznikla diplomová práce, která mapuje dějiny válečného ošetřovatelství a profese vojenského zdravotníka. Výtvor nemá za úkol jen osvětlovat minulost, nýbrž přispívat k řešení každodenních problémů a poskytovat zářivý výhled do budoucnosti.
|
|
Supervize v psychiatrickém ošetřovatelství
RŮŽIČKOVÁ NEUŽILOVÁ, Michaela
Základní teoretická východiska Teoretická část diplomové práce se zabývá supervizí a přibližuje problematiku psychiatrického ošetřovatelství. Je rozdělena do několika části. První část je zaměřena na supervizi, stručně charakterizuje supervizi samotnou, dále pak popisuje její dělení, funkce a metody. Též se věnuje účastníkům supervize, smlouvě o supervizi, transkulturní supervizi a Bálintovským skupinám. Dále navazuje část, která popisuje historický vývoj psychiatrického ošetřovatelství, stručně představuje osobnost Joyce E.Travelbee. V závěru teoretické části diplomové práce je zmíněna problematika vzdělávání a kompetencí sester pro péči v psychiatrii a též okrajově deklarace z Turku. Cíl práce Hlavním cílem diplomové práce je zmapovat informovanost sester pracujících v psychiatrické péči o možnostech klinické supervize. Druhým cílem bylo zjistit názor sester pracujících v psychiatrické péči na supervizi. Třetí cíl byl zaměřen na prostředky pomáhající sestrám pracujícím v psychiatrické péči k jejich osobnímu rozvoji a růstu v rámci jejich praxe. Čtvrtý cíl měl zmapovat zkušenosti sester pracujících v psychiatrické péči se supervizí. Použité metody Pro empirickou část této diplomové práce bylo zvoleno kvalitativní šetření. Byla použita metoda sběru dat formou polostrukturovaného rozhovoru. Rozhovory s respondenty byly zaznamenány pomocí diktafonu a poté přepsány, následně pomocí kódování technikou tužka a papír byla kvalitativní data analyzována a významově uspořádána do dvaceti sedmi kategorizačních skupin. Výběr výzkumného souboru byl záměrný, sestavený z dvanácti sester pracujících v psychiatrické péči v rámci České republiky. Výsledky Z výzkumného šetření zaměřeného na sestry, které nemají osobní zkušenost se supervizí vyplynulo, že určité povědomí o supervizním procesu mají, ovšem ne zcela dostačující k tomu, aby byly schopny popsat podstatu a funkci supervize v celém jejím rozsahu. Jejich znalosti jsou spíše teoretické. Supervizi chápou jako pomoc, která by vyřešila jednak neurovnané vztahy na pracovišti, dále pak zlepšila komunikační dovednosti daných sester, též by byla nápomocna v řešení krizových intervencí a jako prevence syndromu vyhoření. Z výsledků týkajících se sester, které nejsou účastny supervizního procesu jednoznačně vyplynulo, že nemají dostatečnou oporu a možnost jak profesního, tak i osobního růstu na svém pracovišti, přičemž tento významný problém by jim byla schopna vyřešit právě supervize. Z výzkumného šetření, které se týkalo výhradně sester, které mají osobní zkušenost se supervizí a jsou jí pravidelně účastny vyplynulo, že jejich znalosti a dovednosti týkající se supervizního procesu jsou zcela dostačující k tomu, aby byly schopny pochopit a následně prakticky využít supervizi v celém jejím rozsahu. Tyto sestry vidí supervizi jako přínos, díky kterému pochopily nejen sami sebe, ale především se naučily zvládat náročné situace, které jejich povolání provází. Supervize jim dává jistotu, poskytuje oporu a učí je jednat s lidmi, kteří jsou součástí jejich pracovního procesu. Supervize se pro ně stala nástrojem pro prevenci syndromu vyhoření a ukázala jim cestu, jak efektivně využít svůj vlastní potenciál. Závěr Tato diplomová práce je zaměřena na problematiku využití supervize v psychiatrickém ošetřovatelství. Práce s pacienty s duševním onemocněním je velmi náročná, proto zrovna zde má supervize své opodstatněné místo. Pokud neznáme sami sebe a nejsme schopni sami řešit své problémy, nikdy nemůžeme efektivně a komplexně řešit problémy druhých, kteří často na naši pomoc zoufale čekají. Výsledky práce budou prezentovány na odborných seminářích určených nejen sestrám pracujícím v psychiatrické péči.
|
host ::
