|
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.
|
|
Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků
Herrman, Tomáš ; Plíva, Zdeněk (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat těmito cestami se nezabývá. Stěžejní částí práce je návrh konceptu testovatelného bloku (TB), pomocí něhož se obvod rozdělí na části, jež jsou plně testovatelné přes jejich vstupy a výstupy, přes takzvané hraniční registry bloku nebo primární vstupy/výstupy. Přínosem nové metodiky je také redukce počtu registrů v řetězci scan, do něhož jsou zařazeny pouze hraniční registry. Segmentací obvodu dosáhneme také zjednodušení generování testu rozdělením tohoto problému na více menších částí. Navržená metodika pro identifikaci TB v číslicovém obvodu využívá dvou vybraných evolučních algoritmů operujících na formálním modelu obvodu na úrovni RT.
|
|
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.
|
|
Online vyhledávání disertací podle témat
Bratková, Eva
Příspěvek vyhodnocuje vyhledávání doktorských disertací podle tématu v různých online systémech. Představena je situace v ČR, diskutován je problém úspěšnosti tematického vyhledávání disertací – lze najít vše relevantní nebo postačí najít jenom něco? Porovnána je situace u významných systémů v zahraničí, zejména pak v USA, kde byla již nastoupena také nová cesta zpřístupňování disertací formou propojených otevřených dat, ve které jsou řízené slovníky termínů, vyjadřujících téma, důležitou podmínkou. Jak se vybrané evropské systémy, jejichž disertace jsou již dnes reprezentovány v databázi katalogu WorldCat, vyrovnají s výzvou: „... Časem tyto odkazy [na entity témat] budou nahrazeny trvalými URI na ... zdroje propojených dat“?
Plný text: idr-1034_3 -  PDF; idr-1034_4 - PDF
Prezentace: idr-1034_1 - PDF; idr-1034_2 - PDF
Videozáznam: idr-1034_5 -  MP4
|
|
Stanovení norem času pro práce jako podkladu pro efektivní využívání času ve vybrané organizaci
BARTOŠKOVÁ, Martina
Tato bakalářská práce je zaměřena na zjišťování potřebného času pro dané úkoly ve vybrané organizaci prostřednictvím vhodných metod. Na základě dosažených výsledků následně navrhuje vhodná opatření směřující k vyšší efektivitě práce. Používané metody jsou standardizace úkonů, měření času, vyhodnocení zjištěných dat a informací pomocí tabulek a vzorců v Excelu. Teoretická část je zaměřena na vysvětlení, co je zakázková výroba a jaké metody se dají použít při stanovení norem času a určení efektivního využívání času v podniku. Charakterizuje vybraný podnik, jeho historii a technologické uspořádání pracoviště, předvýrobní a výrobní etapy výroby, popis výrobních strojů a potřebných materiálů. Praktická část obsahuje tabulky s úkony potřebnými k výrobě, tabulky s výrobními časy, vyhodnocení potřebných časů a materiálů na produkty výroby. Závěr obsahuje návrh na vylepšení efektivity práce a program na vypočítání časů potřebných na obdobné zakázky.
|
|
Podnikatelský záměr malého podniku služeb
BOČANOVÁ, Eliška
Tato bakalářská práce se zabývá zpracováním podnikatelského plánu pro založení a rozvoj malého podniku, poskytujícího služby společnostem v módním průmyslu. Práce je rozdělena do dvou částí - teoretické a praktické. Teoretická část obsahuje základní terminologii, týkající se podnikání. Definuje strukturu, obsah a také principy sestavení podnikatelského plánu. Praktická část představuje kompletně zpracovaný podnikatelský plán, připravený pro zahájení podnikatelské činnosti. Plán je zaměřen na analýzy trhu, zabývající se vnitřním a vnějším prostředí firmy, jako je například Porterův model pěti sil a analýza silných a slabých stránek podniku. Následuje finanční plán se stanovenými počátečními náklady, předpokládanými výnosy a od nich odvozený hospodářský výsledek. Praktická část obsahuje také počáteční rozvahu podnikových aktiv a pasiv. Tento obchodní plán může časem sloužit jako podklad pro skutečné založení podniku.
|
|
Využití pracovních činností v procesu sociální integrace dospělých s mentálním postižením.
SVITÁKOVÁ, Iveta
V rámci své bakalářské práce jsem se věnovala využití pracovních činností v procesu sociální integrace dospělých s mentálním postižením, přičemž cílem bylo vytvořit, zrealizovat a vyhodnotit pravidelnou pracovní činnost určenou specifické skupině dospělých s mentálním postižením a zaměřenou primárně na rozvoj sociální integrace. Text práce je strukturován do šesti kapitol. V první z nich jsem se zaměřila na vymezení mentálního postižení, charakteristiku dospělosti jako důležitého vývojového období v životě člověka a na dospělost jedinců s mentálním postižením s cílem nalézt a pojmenovat specifika, která byla třeba při práci s touto cílovou skupinou zohlednit. V následující části jsem se věnovala sociální integraci, jejím determinantům a prostředí, ve kterém se uskutečňuje. Na získané výstupy jsem navázala ve třetí kapitole, v níž jsem se zaměřila na klíčové kompetence, z nichž jsou pro sociální integraci nezbytným podkladem zejména sociální, personální a komunikativní kompetence. Cílený rozvoj těchto kompetencí lze realizovat prostřednictvím edukační činnosti, která však musí respektovat specifika účastníků a dobrovolnost účasti. Oba tyto předpoklady lze naplňovat v rámci zájmového vzdělávání s využitím adekvátních pedagogických metod. Na tyto oblasti jsem proto zacílila svou pozornost v závěru kapitoly. Kapitola čtvrtá je věnována práci a pracovním činnostem, konkrétně vymezení pojmů, jejich charakteristice, významu a roli pracovních činností v životě člověka, respektive člověka s mentálním postižením. Na základě všech získaných teoretických poznatků a s využitím dosavadních zkušeností s cílovou skupinou jsem v páté kapitole navrhnula specifický vzdělávací program založený na pracovních činnostech a zaměřený na rozvoj vybraných klíčových kompetencí. Do vzdělávacího programu se dobrovolně přihlásili čtyři účastníci, přičemž jsem se rozhodla sledovat rozvoj kompetencí jen tří účastníků z důvodu, že jeden účastník docházel velmi nepravidelně. Program byl realizován třikrát týdně, vždy 2,5 hodiny po dobu sedmi měsíců (od října 2015 do května 2016) v prostorách vzdělávacího centra Mo-zai-ka. Na počátku realizace vytvořeného vzdělávacího programu účastníci souhlasili s tím, že budeme dodržovat a rozvíjet správné návyky potřebné pro dobré vzájemné vztahy ve skupině a výsledky pracovní činnosti. Na základě individuálních charakteristik účastníků jsem připravovala pracovní činnosti, které měly přispět také k rozvoji sociálních a personálních a komunikativních kompetencí. Ty jsem průběžně sledovala a zaznamenávala. Během realizace programu jsem kladla důraz na opakování, trpělivé jednání s účastníky a vytvoření přátelské atmosféry. Po ukončení vzdělávacího programu jsem rozvoj kompetencí u tří vybraných účastníků vyhodnotila. Na základě toho jsem dospěla k závěru, že k největší změně došlo v komunikativních kompetencích. Posun jsem zaznamenala i v sociálních a personálních kompetencích, zde se však výsledky u jednotlivých účastníků značně lišily. Přesto se domnívám, že cíl práce byl splněn. Uvedené výsledky ukazují, že vzdělávání ve volném čase založené na pracovních činnostech může vést k rozvoji sociálních, personálních a komunikativních kompetencí, které jsou pro dospělé s mentálním postižením nezbytné v procesu sociální integrace. Tato bakalářská práce může být zajímavým zdrojem inspirace pro realizaci obdobných programů zacílených na sociální integraci osob s mentálním postižením.
|
|
Role sestry ve screeningu deprese u seniorů.
VRZALOVÁ, Monika
Diplomová práce se zabývá problematikou deprese ve stáří. Především je zaměřená na identifikaci a analýzu úlohy sester ve screeningu deprese u seniorů v primární péči, v akutní lůžkové péči, v zařízeních dlouhodobé péče a domácí péče. Jedná se o teoretickou práci, kde byla využita vědecká metoda návrhu a demonstrace. V diplomové práci byl stanoven jeden hlavní cíl s pěti výzkumnými otázkami. Hlavním cílem bylo identifikovat a analyzovat úlohu sester ve screeningu deprese u seniorů. VO 1: Jakou úlohu může hrát sestra ve screeningu deprese u seniorů? VO 2: Jakou úlohu má sestra v ambulantním sektoru ve screeningu deprese u seniorů? VO 3: Jakou úlohu má sestra ve screeningu deprese u hospitalizovaných pacientů v akutní péči? VO 4: Jakou úlohu má sestra ve screeningu deprese u seniorů v zařízeních dlouhodobé a domácí péči? VO 5: Jaké hodnotící škály a metody jsou využívány ve screeningu deprese u seniorů? V diplomové práci je představen pojem deprese. Dále jsou specifikovány příčiny a důležité faktory, které způsobují depresi u starších lidí. Práce se také zabývá odlišnostmi v klinické symptomatologii deprese ve stáří. Přibližuje možnosti a různé bariéry v diagnostice deprese. Další kapitoly seznamují s komplexním geriatrickým vyšetřením, s diagnostickými klasifikačními systémy, možnými screeningovými metodami a škálami pro detekci deprese u starší populace. Také představuje způsoby farmakologické a nefarmakologické léčby a její případné komplikace spojené s vyšším věkem. Z důvodu zvýšené sebevražednosti zapříčiněné depresivní poruchou je představena i problematika suicidálního jednání seniorů. V dalších kapitole je popsán ošetřovatelský proces, který je sestrami využívaný v praxi. Skládá se ze zhodnocení zdravotního stavu pacienta, zhotovení ošetřovatelské diagnostiky, vytvoření ošetřovatelského plánu, následné realizace a vyhodnocení. Ošetřovatelský proces je také potřebný pro poskytování kvalitní ošetřovatelské péče. V ošetřovatelském procesu ve fázi ošetřovatelské diagnostiky, je představen výčet možných ošetřovatelských diagnóz u pacienta trpícího depresí, které jsou sestaveny na základě nejnovější klasifikace. Závěrem práce je popisována úloha sester ve screeningu deprese u seniorů v různých zdravotnických zařízeních a jejich podíl na včasném vyhodnocení deprese u seniorů. V této kapitole je představena role sestry, ošetřovatelský screening a spolupráce sestry s lékařem. Úloha sester ve screeningu deprese v různých zdravotnických zařízeních je založená na první posuzovací fázi ošetřovatelského procesu. Sestra zhodnotí celkový zdravotní i duševní stav pacienta na základě objektivních i subjektivních informací. Především bylo zjišťováno, jakou roli má sestra při screeningu deprese. Pro zpracování diplomové práce bylo nutné na základě syntézy a obsahové analýzy využít a zpracovat domácí i zahraniční odbornou literaturu. Řada relevantních zdrojů jsou výsledky různých studií a metaanalýz převážně ze zahraničí, ale i z České republiky. Diplomová práce může sloužit jako podkladový materiál pro sestry. Výstupem diplomové práce je vytvoření e-learningového materiálu dostupného pro studenty ve výukovém programu Moodle Zdravotně sociální fakulty Jihočeské univerzity v Českých Budějovicích.
|
|
Role sestry a jejich vliv na péči o pacienty s totální endoprotézou kyčle
SLABÁKOVÁ, Květoslava
Totální endoprotéza kyčelního kloubu je jednou z nejrozšířenějších a nejúčinnějších operačních metod v ortopedii. Pacientům navrací zpět soběstačnost, život bez bolesti a výrazného pohybového omezení. Nezastupitelnou úlohu zde mají také role sestry, které pacientovi s návratem do jeho běžného života pomáhají. Cílem práce bylo zjistit, jak pacienti před a po totální endoprotéze kyčelního kloubu vnímají pojetí sesterských rolí a jejich vliv na poskytovanou ošetřovatelskou péči. Dále jsme zjišťovali, kterou ze sesterských rolí vnímá pacient před a po totální endoprotéze kyčle jako nejméně naplněnou. Byly stanoveny tyto výzkumné otázky: Jak pacienti před a po totální endoprotéze kyčle vnímají pojetí sesterských rolí? Jak pacienti před a po totální endoprotéze kyčle vnímají vliv sesterských rolí na poskytovanou ošetřovatelskou péči? Jaké sesterské role vnímá pacient jako nedostatečné v předoperační péči? Jaké sesterské role vnímá pacient jako nedostatečné v pooperační péči? Pacienti před a po TEP kyčle prostřednictvím každodenních činností sestry vnímají sestru v její roli pečovatelky a edukátorky, následně v roli sestry obhájkyně a nositelky změn. Díky těmto rolím vnímají péči jako kvalitní, holistickou a kontinuální. Přesto role edukátorky byla v předoperační péči pacienty označena jako nejméně naplněná. V souvislosti s těmito výsledky výzkumného šetření byl vytvořen manuál, Průvodce pro pacienty před a po TEP kyčle, jenž byl následně předán ke zkušebnímu použití. Průvodce byl pacienty ohodnocen velmi pozitivně i přes velké množství informací, které mnohé pacienty překvapilo. Získali jsme i data, která se stala dalšími podněty k doplnění informací v Průvodci.Vytvořený Průvodce nemůže bezesporu nahradit efektivní komunikaci pacienta se zdravotníkem, který by měl být stále tím nejvhodnějším "zdrojem" informací.
|
|
Potřeba jistoty a bezpečí v souvislosti s plánovaným operačním výkonem z pohledu pacienta a všeobecné sestry
BOHDALOVÁ, Jaroslava
Plánovaný operační výkon vždy nějakým způsobem ovlivňuje pacientovu potřebu jistoty a bezpečí. Pro to, aby měl pacient co největší pocit jistoty a bezpečí, jsou důležité informace týkající se všeho, co se bude dít s ním samým v souvislosti s plánovaným operačním výkonem. Klíčovou roli pro pacienta a jeho potřebu jistoty a bezpečí má však všeobecná sestra, která je v situaci, v níž se pacient nachází, tím nejbližším člověkem, který mu může pomoci naplnit co nejlépe jeho potřebu jistoty a bezpečí za pomoci znalostí a dovedností, které by měla všeobecná sestra ovládat, a za pomoci postojů, které by měla zaujímat. Cílem práce bylo zjistit, jak plánovaný operační výkon ovlivňuje potřebu jistoty a bezpečí pacienta a jaký vliv má všeobecná sestra na uspokojování potřeby jistoty a bezpečí u pacienta v souvislosti s plánovaným operačním výkonem. Byly stanoveny tyto výzkumné otázky: Jak plánovaný operační výkon ovlivňuje potřebu jistoty a bezpečí pacienta? Jaký vliv má všeobecná sestra na uspokojování potřeby jistoty a bezpečí u pacienta v souvislosti s plánovaným operačním výkonem? Jaké jsou nedostatky v uspokojování potřeb jistoty a bezpečí u pacientů před plánovaným operačním výkonem? Jak může všeobecná sestra pomoci zvládat pacientovi strach a úzkost související s plánovaným operačním výkonem? Pro výzkumné šetření byla použita metoda kvalitativního výzkumu s využitím hloubkového rozhovoru. Rozhovory byly se souhlasem respondentů nahrávány na diktafon, doslovně přepsány a poté podrobeny obsahové analýze dat otevřeným kódováním metodou papír a tužka. Z výzkumu vyplynulo, že plánovaný operační výkon negativně ovlivňuje pacientovu potřebu jistoty a bezpečí bez ohledu na jeho předešlé zkušenosti. Velký vliv na eliminaci pacientových obav a negativních pocitů má právě všeobecná sestra, která bere pacienta jako rovnocenného partnera, zaujímá k němu individuální přístup, informuje ho o všech ošetřovatelských výkonech a postupech, volí klidný a vstřícný způsob komunikace, využívá empatii, naslouchání a snaží se pacientovi v rámci možností ve všem vyhovět. Výzkumné šetření dále ukázalo, že existují některé nedostatky v oblasti informovanosti ze strany lékařů, a rovněž ukázalo na vhodnost přípravy pacientů před plánovanou operací v rámci edukace v ambulanci již od okamžiku, kdy se pacient dozví, že podstoupí plánovaný operační výkon. Dalším zjištěním výzkumného šetření je, že všeobecné sestry mají neúplné znalosti v oblasti terapeutické komunikace. Výsledky naznačují, že ke snížení negativního dopadu, který má chirurgická léčba na pacientovu potřebu jistoty a bezpečí, by bylo vhodné zahájit edukaci pacientů již ve chvíli, kdy je rozhodnuto o tom, že jejich onemocnění bude řešeno tímto způsobem. Všeobecné sestry by si měly doplnit znalosti a dovednosti v oblasti terapeutické komunikace, aby pomohly pacientovi lépe zvládat jeho nelehkou životní situaci. Na základě výsledků výzkumného šetření a po domluvě s hlavní sestrou nemocnice bude uspořádán seminář na téma Komunikace s pacientem před plánovaným operačním výkonem se zaměřením na terapeutickou komunikaci a terapeutický rozhovor. Ostatní zjištěné nedostatky, týkající se nedostatečné informovanosti pacientů a možnosti lepší přípravy pacientů před plánovaným operačním výkonem v rámci edukace v ambulanci, budou řešeny managementem nemocnice.
|
host ::
