|
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.
|
|
Physically-based Modeling and Simulation
Dvořák, Radim ; Racek, Stanislav (oponent) ; Šujanský,, Milan (oponent) ; Zbořil, František (vedoucí práce)
The thesis deals with the modeling of air pollution transportation and dispersion processes in the atmosphere, more precisely with the numerical approaches to solve such models. The modeling of air pollution has a great importance for prediction of the contaminations and it helps with understanding of the process and with elimination of its consequences. The models which are described by partial differential equations, namely advection-diffusion equations, and thus they can be solved by numerous analytical/numerical methods are in the scope of the thesis. In particular, well known method of lines (MoL) and several models based on it together with the possibility to accelerate the computation are studied in the first half of the work. It is shown that MoL approach is still suitable for many concrete models and it has a great potential for parallelization on graphics cards. Quite young ELLAM method and its application to solved atmospheric advection-diffusion equations is the second objective. A concrete form of ELLAM method and its proposed adaptation approaches are evaluated and it is shown that it overcomes the current state of the art methods in many cases.
|
|
Optimalizace sledování síťových toků
Žádník, Martin ; Lhotka,, Ladislav (oponent) ; Matoušek, Radomil (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato disertační práce se zabývá optimalizací sledování síťových toků. Sledování síťových toků spočívá ve sledování jejich stavu a je klíčovou úlohou pro řadu síťových aplikací. S každým příchodem paketu je nutné aktualizovat hodnoty stavu, což zahrnuje přístupy do paměti. Vzhledem k vysoké propustnosti linek a obrovskému množství souběžných toků hraje přístup do paměti kritickou roli ve výkonnosti stavového zpracování síťového provozu. Tento problém se řeší různými technikami. Tyto techniky ale ve výsledku vždy požadují, aby nejblíže zpracování provozu byla nasazena paměť s nízkou odezvou, cache toků, schopná vyřídit všechny přístupy. Cache toků má proto omezenou kapacitu a její efektivní správa má zásadní vliv na výkonnost a výsledky zpracování síťového provozu. Vzhledem ke specifikům síťového provozu nemusí být stávající správy vhodné pro správu cache toků. Disertační práce se proto zabývá automatizovaným vývojem správy cache na základě reálného provozu dané sítě. Automatizace vývoje správy cache toků je realizována pomocí genetického algoritmu. Genetický algoritmus vyvíjí nová řešení a hodnotí je simulací nad vzorkem provozu z různých sítí. Navržený postup je ověřen na vývoji správ pro dva problémy. Prvním problémem je vývoj správy, která bude vykazovat celkově nízký počet výpadků stavů z cache toků. Druhým problémem je vývoj správy, která bude vykazovat velmi nízký počet výpadků u velkých toků. Optimalizace zakódování správy a experimenty s parametry genetického algoritmu ukázují, že je možné nalézt správy cache toků, které jsou optimalizované pro specifika daného nasazení. Nově vyvinuté správy poskytují lepší výsledky než ostatní testované správy. Z hlediska snížení celkového počtu výpadků je vyvinuta správa, která snižuje počet výpadků na konkrétní datové sadě až o deset procent vůči nejlepší porovnávané správě. Z pohledu snížení počtu výpadků u velkých toků je dosaženo vyvinutou správou až dvojnásobného snížení výpadků. Většina velkých toků (více než 90%) nezaznamenala při použití vyvinuté správy dokonce ani jeden výpadek. Rovněž během záplav nových toků, které se v síťovém provozu vyskytují v souvislosti se skenováním sítí a útoky, se ukazují velmi dobré vlastnosti vyvinuté správy. V rámci práce je rovněž navrženo rozšíření správy o využití doplňkové informace ze záhlaví příchozích paketů. Výsledky ukazují, že kombinací této informace lze počet výpadků u správ dále snižovat.
|
|
Intraday Dynamics of Euro Area Sovereign Credit Risk Contagion
Komárek, Luboš ; Ters, Kristyna ; Urban, Jörg
Práce se zaměřuje na zkoumání role trhu CDS a dluhopisového trhu jako transmisních kanálů nákazy kreditním rizikem mezi svrchovanými entitami během současné krize svrchovaného dluhu zemí eurozóny a před ní. Analyzujeme mezidenní údaje pro země skupiny GIIPS, Německo, Francii a středoevropské země. Naše výsledky ukazují, že před krizí byl trh CDS a dluhopisový trh podobně významný v rámci transmise šoku finanční nákazy, ale následně během krize významnost dluhopisového trhu slábla. V práci ukazujeme, že efekt „útěku ke kvalitě“ během krize na německém dluhopisovém trhu nebyl v předkrizovém období přítomný. Námi odhadnuté riziko svrchované nákazy bylo vyšší během krize s průměrnou odezvou relevantních informací v délce mezi jednou až dvěma hodinami pro země skupiny GIIPS. Aplikací exogenních makroekonomických informací majících charakter šoku ukazujeme, že během krizového období vzrostlo kreditní riziko, které však nebylo v souladu s vývojem fundamentálních proměnných. Dále ukazujeme, že středoevropské země nebyly dotčeny nákazou svrchovaného kreditního rizika bez závislosti na úrovni jejich veřejného dluhu a na jejich měně.
Plný text:  PDF
|
|
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.
|
|
Role fosforu v biologické aktivitě kryogenních půd
ČAPEK, Petr
The combined effect of temperature, moisture and phosphorus availability on soil organic matter mineralization in permafrost affected soils of northern circumpolar region was investigated. This study was a part of research activities of the European project CryoCARB and it was primarily focused on the cryoturbated organic horizons of permafrost affected soils. During this study, the temperature sensitivity of the organic matter mineralization and its relation to the soil moisture and phosphorus availability was investigated using series of incubation experiments and field measurements.
|
|
Spolupráce psychiatrických sester s rodinami duševně nemocných
DUGOVIČOVÁ, Ladislava
K vybrání tématu diplomové práce mě inspirovalo přečtení článku, který napsal znepokojený rodinný příslušník nemocného s duševním onemocněním. Stigma duševně nemocného se netýká nejen pacienta samotného, zasahuje také i psychiatry, ošetřovatelský personál, který s těmito lidmi pracuje, ale především postihuje jejich rodiny a blízké. Duševní onemocnění pro ně znamená zátěž jak psychickou, tak i sociální, dochází ke změnám rolí v rodině, je ovlivněno i emocionální klima. Teoretická část práce je zaměřena na spolupráci sester, rodiny a multidisciplinárního týmu. Věnuje se také osobnosti sestry v psychiatrické péči, možnostem psychiatrické rehabilitace, komunikaci a edukaci v psychiatrii. Dále se zabývá samotnou rodinou duševně nemocného a formami podpory pro rodiny. Cílem diplomové práce bylo zjistit, zda psychiatrické sestry zapojují rodiny duševně nemocných do ošetřovatelské péče. Druhým cílem bylo zjistit, zda jsou rodiny duševně nemocných seznámeny se všemi možnostmi psychiatrické léčby ve všech oblastech péče. Cíle práce byly splněny. Pro tuto práci byl zvolen kvantitativní výzkum, techniky - dotazníku a standardizovaného rozhovoru. První výzkumný soubor tvořilo 212 sester pracujících v psychiatrické péči, druhý výzkumný soubor tvořilo 33 rodinných příslušníků. Na základě výsledků bylo zjištěno, že sestry nemají čas na edukaci rodin při směně. Sestry motivují rodiny k aktivní účasti na péči o jejich blízké a nemají problémy při komunikaci s rodinami. Dále z výsledků vyplývá, že rodiny mají přístup k informacím a jsou také spokojeny s poskytovanými informacemi od zdravotnického personálu, rodiny využívají poskytnuté informace při péči o své blízké. K výzkumným cílům jsme stanovili 6 hypotéz, z nichž 5 hypotéz bylo potvrzeno, 1 hypotéza byla vyvrácena. Součástí práce je vytvořená edukační hodina, která může pomoci nelékařským zdravotnickým pracovníkům orientovat se v oblasti edukace. Také byla sestavena edukační hodina pro rodinné příslušníky na téma {\clqq}Vhodné chování rodinných příslušníků k duševně nemocným``, která může být použita při edukování rodin.
|
|
Charakteristika pracovního chování Čechů a Ukrajinců
BYKOVA, Sofia
Tématem mé bakalářské práce je pracovní chování v rámci vybraného podniku, zaměstnávajícího pracovníky českého a cizího (ukrajinského) původu. Cílem teto práce je vytvoření přehledné a srovnatelné charakteristiky jevu pracovního chování v rámci kultur uvedených států co mají společného a rozdílného, případně neslučitelného, analýza případných konfliktů a souvislost těchto aspektů s mentalitou. Zdůvodněním tohoto cíle je především obor, který studuji. Práce obsahuje informace, které by mohly být zajímavé a přínosné, nejen pro mé osobní účely a budoucí povolání, ale také pro role nadřízených i podřízených, případně pro manažery. Přehled zkoumané problematiky obsahuje specifické body, jako např. základy ekonomické psychologie a behaviorální ekonomie (symbióza psychologického a ekonomického názoru na motivaci a racionalitu jedince), teorie pracovní motivace a reakce na různorodé podněty, charakteristiku pojmu "mentalita", obecná východiska o působení člověka ve světě ekonomiky. Pro naplnění cílů mé práce jsem stanovila následující hypotézy: - Ukrajinská a česká mentalita mají určité podstatné rozdíly, i když jsou tyto národy kulturně blízké. - Pracovníci ukrajinského a českého původu dokážou efektivně fungovat v týmu a vycházet mezi sebou v pracovní činnosti. Rozdíl v mentalitě jim v tom nebrání. - Ukrajinští pracovníci by mohli být žádoucí pro zaměstnavatele v ohledu na vyšší zájem a motivaci. Všechny tři stanovené hypotézy byly přijaté na základě zjištěných údajů a srovnání charakteristik mentality. Češi jsou často tolerantní k jiným kulturám, navíc ukrajinská kultura se tolik neliší a nezpůsobuje komplikace v pracovních vztazích. S ohledem na to, že ve vybraném podniku nebyly zjištěné žádné problémy, spojené s pracovním chováním a rozdíly v mentalitě, těžko se definuje nějaký přínos pro danou organizaci.
|
|
Lidský a sociální kapitál v základním školství
KOKŠTEIN, Jiří
Obsahem diplomové práce je náhled do teoretických studií, které se problematikou lidského a sociálního kapitálu zabývají z různých pohledů, zabývají se jejich vývojem v čase, jejich měřitelností, zkoumají je a doplňují o další poznatky.Tato část práce obsahuje i vztah lidského a sociálního kapitálu v návaznosti na stárnutí lidské populace a zaměřuje se na lidský kapitál starších pracovníků. Teoretické studie končí náhledem do problematiky základního školství, role učitele a snaží se poskytnout informace o již provedených průzkumech v této oblasti školství, které v aplikační části poslouží k porovnání s mnou získanými daty z dotazníkového šetření. Aplikační část práce je zaměřena na pedagogické pracovníky základních škol. Vzdělávání v dnešním globalizovaném světě mění nejen svůj obsah, ale i metody a formy práce. Nezastupitelnou roli v tomto procesu sehrávají pedagogové. Aby vyhověli všem na ně kladeným požadavkům, je nezbytné, aby i oni věnovali zvýšenou pozornost svému dalšímu vzdělávání a sdílení nabytého vzdělání, což je nezbytné k růstu lidského i sociálního kapitálu, poněvadž jsou ve vzájemné interakci. Práce zkoumá vybraný vzorek pedagogů a přistupuje k této problematice zjišťováním toho, co je ke vzdělávání motivuje, zda jsou spokojeni s přínosem vzdělávacích akcí, jakému typu vzdělávání dávají přednost atd. Práce zjištěné skutečnosti dále analyzuje a hledá vztahy mezi věkem a pohlavím pedagogů dle stanovených hypotéz. Pedagog je člověk, který je v neustálém kontaktu s ostatními lidmi. To samozřejmě dále formuje jeho životní postoje a zkušenosti. Jako lidská bytost vnímá názory společnosti a utváří si na ní vlastní názory, které ho následné mohou ovlivňovat při výkonu jeho profese. Proto je v této části práce věnován prostor i zkoumání přemosťovacího sociálního kapitálu, který určuje velikost okruhu lidí, s kterými se pedagogové obecně stýkají a vzájemně ovlivňují. Posledním výzkumem, který je v práci možno nalézt, je vnímání společenského postavení pedagogů jimi samotnými.
|
|
Ří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é.
|
host ::
