|
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 %.
|
|
Spolupráce sester a lékařů z pohledu ošetřovatelského managementu
KADLECOVÁ, Ivana
Spolupráce sester a lékařů z pohledu ošetřovatelského managementu Diplomová práce byla zaměřena na spolupráci sester a lékařů z pohledu ošetřovatelského managementu. Ošetřovatelství a ošetřovatelský management má nezastupitelné postavení v péči o zdraví člověka. Svět medicíny, ošetřovatelství a zdravotnictví je mimořádně složitým organizačním celkem, který není zcela jistě reprezentován pouze lékaři a sestrami, nicméně právě oni a ony jsou stále dominantními postavami na této scéně. Prvním cílem diplomové práce bylo zmapovat spolupráci sester a lékařů v rámci ošetřovatelského procesu v péči o nemocného z pohledu ošetřovatelského managementu. Druhým cílem práce bylo identifikovat problémové oblasti ve spolupráci sester a lékařů z pohledu ošetřovatelského managementu a třetím cílem práce bylo zjistit, jakým způsobem ošetřovatelský management řeší problémové situace ve spolupráci sester a lékařů z pohledu ošetřovatelského managementu. K cílům práce byly stanoveny čtyři výzkumné otázky: 1. V jakých oblastech spolupracují sestry a lékaři v rámci ošetřovatelského procesu při poskytování péče nemocným z pohledu ošetřovatelského managementu? 2. Jakým způsobem sestry hodnotí a vnímají spolupráci s lékaři z pohledu ošetřovatelského managementu? 3. Které problémové oblasti existují ve spolupráci sester a lékařů z pohledu ošetřovatelského managementu ? 4. Jakým způsobem řeší ošetřovatelský management problémové situace ve spolupráci sester a lékařů? Výzkum byl proveden v nemocničním zařízení, kde mi byly poskytnuty informace, za splnění podmínky anonymity oslovených respondentek. Respondentkami byly dvě vrchní a čtyři staniční sestry z chirurgických a tentýž počet z interních oborů. Provedený výzkum je výzkumem kvalitativním. S respondentkami byly vedeny nestandardizované rozhovory podle struktury kategorizovaných otázek. Následně byly provedeny přepisy rozhovorů a kategorizace dat v tabulkách podle rámcové analýzy Ritchieho a Spencera. Z šetření vyplynuly odpovědi na výzkumné otázky. Sestry a lékaři spolupracují v rámci ošetřovatelského procesu při poskytování péče nemocným z pohledu ošetřovatelského managementu v chirurgických a interních oborech nejvíce ve fázi řešení problémů. Sestry hodnotí spolupráci s lékaři na základě vzájemného respektu, ale vnímají stále převládající dominantní postavení lékařů. Ve spolupráci sester a lékařů z pohledu ošetřovatelského managementu existují problémové oblasti. Ošetřovatelský management řeší problémové situace ve spolupráci sester a lékařů nejčastěji hledáním společného řešení. Výsledky práce bude možné poskytnout zdravotnickému zařízením, ve kterém byl výzkum realizován. Navrhovaly bychom možnost zamyšlení se nad zlepšením vzájemné spolupráce již při studiu lékařů i sester, zavést různá opatření ke zlepšení spolupráce sester a lékařů pořádáním společných seminářů nebo kulturních akcí. Zvýšit povědomí lékařů o ošetřovatelském procesu, kompetencích sester a realizovat další výzkumy, týkající se tohoto tématu.
|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (oponent) ; Zahradnický,, Tomáš (oponent) ; Kolář, Dušan (vedoucí práce)
Thesis is aimed on recognition of specific behavior by generic reverse compilation. The generic reverse compilation is a process that transforms executables from different architectures and object file formats to same high level language. This process is covered by a tool Lissom Decompiler. For purpose of behavior recognition the thesis introduces Language for Decompilation -- LfD. LfD represents a simple imperative language, which is suitable for a comparison. The specific behavior is given by the known executable (e.g. malware) and the recognition is performed as finding the ratio of similarity with other unknown executable. This ratio of similarity is calculated by a tool LfDComparator, which processes two sources in LfD to decide their similarity.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
Česká republika, jako signatář Úmluvy o právech dítěte, svěřila výkon státní správy na úseku péče o nezletilé děti obecním úřadům obcí s rozšířenou působností, kde ochranu práv a oprávněných zájmů nezletilých dětí vykonávají orgány sociálně právní ochrany dětí (dále jen OSPOD), které jsou začleněny do systému výkonu státní správy v územním členění tak, aby byla zajištěna komplexní péče o nezletilé děti v rozsahu stanoveném zákonem o sociálně právní ochraně dětí. Postavení a úloha OSPOD, který je pověřen výkonem státní správy na úseku ochrany nezletilých dětí, jsou upraveny zák. č. 359/1999 Sb., o sociálně právní ochraně dětí, v platném znění. Stejně důležité je zakotvení postavení lidí pracujících na těchto úřadech. Z hlediska odbornosti jsou na ně kladeny vysoké nároky z hlediska znalostního profilu zejména z oboru práva. Jedná se o velice náročnou práci, která klade vysoké nároky na osobnostní profil zaměstnance. ČR provedla v posledních třech letech rozsáhlé zásahy do právní úpravy problematiky sociálně právní ochrany dětí, kde došlo k posílení ochrany práv nezletilých dětí a stanovení nových nástrojů k jejich ochraně. Přijetím nové právní úpravy rodinného práva, které je komplexně upraveno v zák. č. 89/2012 Sb., občanském zákoníku, následovala nová právní úprava procesních předpisů spojených s ochranou práv nezletilých dětí, kde vedle zák. č. 99/1963, občanský soudní řád platí také zák. č. 292/2013 Sb., o zvláštních řízeních soudních. Rozhodování o nezletilých dětech stát svěřil převážně do pravomoci soudů, které jmenují místně příslušný OSPOD opatrovníkem k zastupování zájmů nezletilých dětí. Na základě provedeného rozboru základních pojmů bylo cílem zjistit názory vybraných vedoucích pracovníků OSPOD a soudců okresních soudů na vydefinované problémy vyskytující se v postupech činnosti OSPOD a soudů při ochraně zájmu nezletilých dětí. Ve výzkumné části práce byly rozborem kazuistik vytipovány problémy v činnosti OSPOD. Z návrhů soudců i vedoucích pracovníků OSPOD vyplynula nezbytnost sjednocení místní příslušnosti. Soudy navrhují sjednocení dle místa, kde se nezletilé dítě zdržuje; OSPOD dle místa trvalého pobytu. Všech 10 oslovených vedoucích pracovníků OSPOD označilo za problém dožádání, kde tento institut není zahrnut do hodnocení výkonů, nelze jej odmítnout. Podjatost činí problémy v různých fázích řízení - je zde patrný rozdílný přístup soudů k řešení dané problematiky (některé vznesenou námitku podjatosti u soudu řeší a jiní nikoliv) a pro pracovníky OSPOD je obtížné odhadnout - jak se zachovat, je-li vůči nim námitka podjatosti vznesena (z tohoto důvodu bylo téma "podjatosti zpracováno komplexně včetně výkladu právního postupu pro pracovníky OSPOD). Vzdělávání pracovníků OSPOD je zákonem stanovenou povinností. Ne všem OSPOD se daří zajistit školení v požadovaném rozsahu - a to z finančních důvodů (průměrné náklady na školení na jednoho zaměstnance je od 9167,-- do 13400 Kč ročně - tyto náklady odpovídají cca 6 dnům školení). Pracovní vytíženost způsobená nedostatečným počtem zaměstnanců OSPOD neumožňuje absolvovat tato povinná školení. V rámci zkoumání "účasti kolizního opatrovníka při jednání u soudu" bylo zjištěno - nepravidelná účast kolizního opatrovníka u soudu (neúčast při odvolacím řízení); nedostatek zkušeností pracovníků OSPOD v této oblasti; neúplné zprávy z šetření v rodině, které jsou určené pro soud. Na základě vyhodnocení rozhovorů vyplynuly návrhy na zlepšení organizace školení OSPOD, na základě povedeného komplexního rozboru řešení problematiky místní příslušnosti bylo doporučeno řešení samostatné evidence dožádání a finanční kompenzace činnosti OSPOD při dožádání provedení zastupování nezletilých u soudu, vypracování návrhů předběžných opatření, návrh možného řešení začlenění OSPOD v jiné organizační struktuře.
|
|
Comparison of optical methods for characterization of glass mosaic weathering
Kocour, Vladimír ; Petráňová, Veronika ; Valach, Jaroslav
The work presented in this paper is a part of research project supported by Ministry of Culture and devoted to conservation of precious mosaic of 'Last Judgement' on St. Vitus Cathedral in Prague. The aim of the project is to enhance external protective polymeric coating on glass tesserae of mosaic and also to develop optical method for assessment of coating’s surface conditions. The paper concentrates on comparison of various methods for surface evaluation assesses their advantages and disadvantages and also discusses their suitability for long term monitoring of coating state, namely reflectometry, scanning probe microscopy, nanoindentation, white-light interferometry, and scanning electron microscopy. It is found that white-light interferometry and reflectometry methods are the most suitable ones for monitoring purposes.
|
|
Studie vlivu dobývání chodbicováním ve sloji 40 v OPJ Jan–Karel lokality ČSA, Důlní závod 1 na vtažné jámy Jan a č. 2 a na výdušnou jámu ČSA-3, povrch a povrchové objekty
Ptáček, Jiří ; Kajzar, Vlastimil ; Koníček, Petr ; Kukutsch, Radovan ; Waclawik, Petr ; Jiránková, E.
Předložená metoda chodbicování řeší možnost aplikace technologie dobývání uhelných slojí metodou chodbicování razicími kombajny, nově ve dvou variantách. V první budou chodbice i mezichodbice s určitým časovým zpožděním zaplaveny popílkovou směsí. Podle druhé varianty budou raženy pouze základní chodbice prvního systému o šířce 6,8 m. Ty nebudou zaplavovány. Účelem studie je rovněž doplnění výpočtů možného a očekávaného vlivu chodbicování na povrch a povrchové objekty a dále rovněž očekávaného vlivu na jámové stvoly jam v ochranném pilíři Jan-Karel.
|
|
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.
|
|
Kulturní domy
Adolfová, Barbora ; PROKOP, Petr (vedoucí práce) ; KAŠPAR, David (oponent)
Tato diplomová práce se věnuje vybraným kulturním domům provozovaným jako příspěvkové organizace měst. Podrobně popisuje provoz a programovou nabídku šesti z nich. Zvolené kulturní domy mají podobné výchozí podmínky - historii a velikost města, ve kterém stojí, i dobu postavení kulturního domu. Vybrané organizace se potýkají s nízkým zájmem místních obyvatel o kulturní dění, špatným technickým stavem budov a nedostatkem financí.
Cílem práce je popsat současný model fungování těchto kulturních institucí, vzájemně je porovnat a zjistit, jestli může kulturní dům zřizovaný městem v dnešní době obstát. Zaměřuje se i na spolupráci měst a jejich příspěvkových organizací z pohledu zřizovatele a ředitele, spolupráci s dalšími institucemi v místě i kulturními domy mezi sebou.
|
|
Vliv sociálních médií
BAUEROVÁ, Milada
Tato diplomová práce se zabývá sociálními médii, konkrétně tím, jaký mají vliv na rozhodování při výběru vysoké školy. V České republice funguje 87 vysokých škol, každá z nich nabízí jedinečné studijní programy a každá je specifická, přesto pokud se rozdělí podle zaměření například pouze na vysoké školy ekonomické, je již obtížné rozlišit, která bude nejlepší volbou pro potenciálního studenta. Pro tuto diplomovou práci byla zvolena Jihočeská univerzita v Českých Budějovicích a pro porovnání byla vybrána Česká zemědělská univerzita v Praze. Hlavní cíl lze konkretizovat jako analýzu vlivu sociálních médií při volbě vysoké školy a navrhnout doporučení na základě výsledků. Dalšími cíli této práce jsou: - zjistit, jak univerzity využívají sociální média, - zjistit, jak se studenti zapojují do dění na sociálních médiích. Výsledky pro tuto práci budou získány na základě marketingového výzkumu pomocí dotazníkového šetření mezi studenty Jihočeské univerzity a České zemědělské univerzity v Praze. Na základě těchto výsledků bude provedena analýza a porovnání těchto univerzit a zjištění, jak silně ovlivňují sociální média studenty při výběru vysoké školy, zda se studenti sami zapojují do dění na sociálních médiích, a co mohou univerzity vylepšit.
|
host ::
