|
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.
|
|
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.
|
|
Efektivní využití potenciálu bilingvního prostředí
HOVORKOVÁ, Eva
Disertační práce s názvem "Efektivní využití potenciálu bilingvního prostředí" je zaměřena na zmapování jak správných, tak špatných postupů při bilingvní výchově. Téma bilingvismu je v současné době velmi aktuální. V souvislosti s rostoucí globalizací společnosti je kladen stále větší důraz na výuku cizích jazyků. Lidé žijící ve smíšeném manželství však často nemají představu, jak své děti vychovávat a dopouštějí se mnohých chybných kroků, které později není možné napravit. Teoretická část podává přehled o bilingvismu, jeho rozdělení, typech a způsobech nabytí. Empirická část teorii prakticky demonstruje na různých příkladech. V rámci kvalitativního výzkumu bylo zpracováno 42 případových studií, které zachycují typické i netypické bilingvní respondenty. Výsledky výzkumu jsou porovnány s fakty uvedenými v odborné literatuře. Cílem disertační práce je podat přehled úspěšných i neúspěšných postupů a upozornit na ty, při kterých je potenciálu bilingvního prostředí využito co nejlépe. Současně také ukazuje, čemu se při bilingvní výchově vyhnout.
|
|
Systém řízení a konkurenceschopnost malého podniku služeb
PODLAHOVÁ, Žaneta
Bakalářská práce se zabývá zhodnocením současného systému řízení a konkurenceschopnosti vybrané malé firmy v Jihočeském kraji. Předmětem podnikání této společnosti je poskytování služeb v realitním odvětví, jejíchž cílem je uspokojit své zákazníky. Praktická část obsahuje podrobnější popis společnosti včetně historie se současností a znázorňuje svůj systém řízení. Používané metody jsou Porterův model pěti konkurenčních sil, PEST a SWOT analýza a analýza konkurence. Porterův model pěti konkurenčních sil analyzuje okolní prostředí a zkoumá konkurenceschopnost. PEST analýza je jednoduchý a široce používaný nástroj, který Vám pomůže analyzovat politické, ekonomické, socio-kulturní a technologické změny v podnikatelském prostředí. SWOT analýza se zabývá vnějším a vnitřním prostředím. Tato teorie popisuje silné a slabé stránky vybraného podniku a jeho příležitosti a ohrožení. Analýza konkurence popisuje hlavní konkurenty společnosti. Teoretická část se vztahuje na tyto metody. Na závěr jsem doporučila návrhy, které pomohou zvýšit konkurenceschopnost podniku.
|
|
Postavení sestry v prevenci civilizačních chorob
PAVLOVÁ, Martina
Současný stav Prevence je komplexní péče o pacienta, kdy se snažíme zabránit vzniku či rozvoji onemocnění, nebo zabránit či zmírnit jeho následky. Preventivní doporučení stanovená lékařem musí mít vědecký základ a jsou součástí všech oborů medicíny. Jejich efektivita je závislá na spolupráci pacientů a zdravotníků. Základní a nejvíce efektivní metodou prevence je podpora zdraví a s ní úzce související zdravotní výchova. Pod pojmem podpora zdraví se skrývá soubor činností a opatření k upevnění a podpoře zdraví. Civilizační choroby jsou skupiny nemocí, které se vyznačují svým spojením s naším životním stylem. Náš organismus je stále více ohrožován nepříznivými vlivy vnějšího prostředí, jako je kvalita ovzduší, pracovní i životní prostředí, nedostatek pohybu, nesprávné stravování, kouření, alkohol. Seznam civilizačních onemocnění se mění spolu se společností a stylem jejího života. V dnešní době se mezi nejčastější řadí kardiovaskulární onemocnění, kam spadá ateroskleróza, hypertenze, infarkt myokardu, cévní mozková příhoda, ischemická choroba srdeční a také obezita. Dále mezi civilizační onemocnění patří diabetes mellitus 2. typu či nádorová onemocnění. Cíle práce Pro tuto práci byly stanoveny dva cíle. Prvním bylo zjistit, jaké je postavení sester v prevenci civilizačních chorob. Druhým cílem bylo zjistit, jaké je postavení sester v prevenci civilizačních chorob z pohledu pacientů. Metodologie Pro výzkumné šetření provedené v této práci byla zvolena kvalitativní metoda s použitím polostrukturovaných rozhovorů. Respondenti byli rozděleni na dvě části, kdy první část tvořilo 8 sester pracujících na interní a neurologické ambulanci českobudějovické nemocnice a setra pracující v soukromé ordinaci obvodního lékaře pro dospělé. Druhou část tvořilo 8 pacientů zmíněných ordinací. Výsledky Podle námi zjištěných odpovědí vidí sestry a pacienti postavení sester jinak. Sestry se v prevenci nemocí spíše vidí vedle lékaře, kdy plní jeho ordinace a pokyny. S pacienty mluví jen, aby mu zdůraznily, co jim sdělil lékař a zopakovali mu nejdůležitější body. Dávají jim k dispozici letáky a brožury, nebo internetové zdroje. Naopak většina pacientů vidí sestru jako důležitější zdroj informací než je lékař. Pacienti mají pocit, že lékař na ně nemá tolik času ani ho nechtějí svými dotazy zdržovat či obtěžovat. Raději se obrátí na sestru, kterou vidí jako svého rádce a někoho komu se mohou svěřit, aniž by ho obtěžovali. Závěr Cílem této bakalářské práce bylo zaměřit se na prevenci, na civilizační choroby a na postavení sestry v prevenci těchto chorob. Prostudovat danou problematiku, nahlédnout na ni očima pacientů a sester díky provedeným rozhovorům a analyzovat tyto informace. Z této analýzy nám vyšla doporučení pro sestry a pacienty.
|
|
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.
|
|
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.
|
|
Paliativní péče poskytovaná rodinou pacienta v domácím prostředí
KUČEROVÁ, Tereza
Diplomová práce s názvem Paliativní péče poskytovaná rodinou pacienta v domácím prostředí se zabývá specifiky péče o těžce nemocného v jeho domácnosti. Poskytování péče nemocným v domácím prostředí začíná být trendem domácí péče, ale též čím dál častějším přáním těžce nemocných. Rodina však musí mít dostatečné teoretické znalosti i praktické dovednosti, aby mohla samostatně vykonávat náročnou ošetřovatelskou péči u svých blízkých. Záměrem diplomové práce proto bylo shrnout současnou situaci poskytování paliativní péče v domácím prostředí v České republice, navíc se zaměřením na specifika péče a potřeb nemocných, včetně potřeb jejich rodin. Cílem výzkumného šetření bylo zjistit, zdali byly rodiny seznámeny se specifiky paliativní péče u těžce nemocných, dále zmapovat dovednosti rodin v oblasti poskytování paliativní péče v domácím prostředí a rovněž zjistit nejčastější problémy, s nimiž se rodiny v domácím prostředí setkávají. Posledním cílem bylo zmapovat služby ve Středočeském a Libereckém kraji, které mohou rodiny v péči o těžce nemocného využít. Pro výzkumnou část diplomové práce bylo využito metody kvalitativního šetření pomocí polostrukturovaných rozhovorů s rodinami nemocných a všeobecnými sestrami, pracujících v domácí hospicové péči. Z analýzy rozhovorů vyplynulo, že informovanost rodin o možnostech poskytnutí paliativní péče v domácím prostředí, je velmi nízká a rodinám jsou v nemocnicích poskytovány pouze povrchní či dokonce žádné informace. Na základě výsledků výzkumného šetření byla jako výstup diplomové práce vytvořena informačně edukační brožura, určená zejména pro rodiny nemocných, která si klade za cíl zlepšit informovanost a sjednotit specifika ošetřovatelské péče, čímž by těžce nemocným umožnila důstojný závěr života.
|
|
Strategie zvládání strachu a bolesti u dětí v souvislosti s ošetřovatelskou péčí
PROCHÁZKOVÁ, Zuzana
Pro sestru pečující o dětské pacienty jsou důležité nejen znalosti z pediatrického ošetřovatelství, osobnostní a sociální předpoklady, ale i teoretické a praktické poznání metod a technik sloužících k identifikaci a efektivnímu ovlivňování bolesti a strachu. Tato diplomová práce si kladla za cíl identifikovat základní zdroje strachu u hospitalizovaných dětí předškolního a mladšího školního věku a zjistit účinné metody a zásady spolupráce s dítětem, případně s jeho doprovodem za účelem zmírnění strachu u dětského pacienta. Dále pak zmapovat diagnostiku a hodnocení bolesti u dětí sestrami a předložit, jaké způsoby nefarmakologického tlumení bolesti u dětí jsou v souvislosti s ošetřovatelskou péči nejčastěji využívané. Empirická část byla zpracována formou kvalitativní analýzy dat, pro jejich sběr byla zvolena technika polostrukturovaného rozhovoru. První výzkumný soubor byl tvořen 12 sestrami, druhý výzkumný soubor pak tvořilo 12 dětských pacientů předškolního a mladšího školního věku. Z výsledků výzkumného šetření vyplynulo, že většina dotázaných sester se domnívá, že se dětští pacienti nejvíce bojí cizího prostředí, dále pak očekávané bolesti a samoty bez rodičů. Odpovědi dětských respondentů na tuto otázku se však lišily - nejvíce dotázaných dětí uvedlo, že se bojí bolesti, dále pak cizího prostředí, omezení svých potřeb, nepřátelského přístupu zdravotníku a spolupacientů, smrti a tmy. Nejvíce oslovených sester se domnívá, že nejúčinnějším způsobem, jak řešit strach u dětských pacientů je přátelský přístup zdravotníků, jako další účinnou metodu pak uvedly možnost odvedení pozornosti od strachu a přítomnost doprovázejícího rodiče. Při konfrontaci odpovědí sester s odpověďmi dětských pacientů v této oblasti došlo ke shodě u dvou nejčastějších zmíněných metod, kterými byly "přátelský přístup zdravotníků" a "odvedení pozornosti od strachu". Dále pak dětští pacienti zmínili ke zmírnění strachu dodržování navyklých specifik při usínání a požadavek, aby se o ně starala během hospitalizace stejná sestra, resp. menší počet stejných sester. Kromě uvedených metod, všech 12 dotázaných dětí uvedlo jako zásadní faktor pro snížení pociťovaného strachu z nemocničního prostředí pobyt rodičů na oddělení. Co se týče oblasti zásad spolupráce, sestrami byla uvedena důležitost jednotného postupu mezi zdravotníky a dítětem, kladly důraz především na vhodnou formu informací. Dále byl uveden význam poskytnutí psychické a emoční podpory, navození atmosféry důvěry a přínos dobře provedené edukace, byla zmíněna i potřeba klidu a zbytečného nevyrušování. Na rozdíl od sester, děti se svými doprovody v oblasti zásad spolupráce kladou na první místo poskytnutí psychické a emoční podpory, dále pak uvedly stejně jako oslovené sestry význam dostatku poskytnutých informací. 4. výzkumná otázka se zabývala metodami, které sestry využívají k monitoraci bolesti u hospitalizovaného dítěte. Většina sester uvedla jako hlavní metodu rozhovor s dětským pacientem či jeho doprovodem s využitím cílených dotazů na bolest. Dětské odpovědi tvrzení sester potvrdily. 5. výzkumná otázka zněla: Jaké způsoby nefarmakologického tlumení bolesti v souvislosti s ošetřovatelskou péčí jsou u dětí nejčastěji používané? Většina dotázaných sester uvedla techniku odvedení pozornosti od bolestivého stimulu, dále pak význam využití fyzikálních metod, vhodnou úlevovou polohu a přípravu na nepříjemný výkon se zapojením doprovázející osoby dítěte. Děti potvrdily jako přínosné odvedení pozornosti od bolesti, dále pak uvedly přátelský přístup sester, ledování bolestivého místa a úlevovou polohu. Při prožívání akutní bolesti bylo požadováno zejména zajištění klidu a soukromí. Všechny děti zdůraznily význam rodičovské přítomnosti. Teoretická část diplomové práce, stejně jako výsledky empirické výzkumné fáze, jsou vhodné ke zpřístupnění sestrám pečujícím o dětské pacienty a mohou přispět ke zkvalitnění péče na dětských lůžkových odděleních.
|
host ::
