|
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.
|
|
Srovnání vybraných demografických a ekonomických ukazatelů České republiky a Švédska
Veselý, Václav ; Langhamrová, Jitka (vedoucí práce) ; Löster, Tomáš (oponent)
Bakalářská práce popisuje rozdíly a shody v demografickém chování obyvatel České republiky a Švédska. Nejprve se zaměřuje na systémy rodinné politiky v obou zemích. V České republice je za hlavní nástroj rodinné politiky považováno finanční zvýhodnění rodin s dětmi. Ve Švédsku je největší důraz kladen na podporu skloubení pracovního a rodinného života matek. V další části je zaznamenán vývoj různých demografických ukazatelů v posledních 20 letech. V České republice dochází ke zřetelnému stárnutí populace, zatímco ve Švédsku tento jev není tak výrazný. Za posledních 20 let v obou zemích nejprve hodnota úhrnné plodnosti poklesla, aby později opět vzrůstala. V obou zemích také ženy odkládají porody do pozdějšího věku. Po provedení standardizace je patrné, že ve Švédsku je úmrtnost výrazně nižší než v České republice. Naděje dožití se v obou zemích prodlužuje. Obě země patří na světovou špičku v ukazatelích kojenecké a novorozenecké úmrtnosti. Díky poklesu počtu sňatků v devadesátých letech Česká republika vyrovnala sňatečnost na podobnou úroveň jako Švédsko. Saldo migrace je v posledních letech poměrně proměnlivé, avšak obě země vykazují stabilně kladné hodnoty, a tedy přírůstek stěhováním. Dále je provedeno srovnání obou zemí z pohledu podílu výdajů státu na rodinnou politiku na HDP nebo podle celkové výše zdanění. Švédsko se řadí podle obou ukazatelů na přední příčky v rámci Evropy. Závěr práce je zaměřen na souvislosti mezi sociální politikou a vývojem demografických ukazatelů, zvláště porodnosti. Mezi doporučení pro Českou republiku patří rozšíření počtu mateřských škol a podpora zaměstnávání na částečné úvazky.
|
|
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.
|
|
Inovace produktu vybraného podniku cestovního ruchu
JUNGVIRTOVÁ, Kateřina
Tato bakalářská práce se zabývá inovacemi v podniku cestovního ruchu. Cílem práce je zanalyzovat současný produkt firmy a přání a potřeby potencionálních zákazníků. Na základě těchto analýz potom doporučit pro firmu ideální produkt. V této práci spočívá inovace v založení cestovní kanceláře, navrhovaným produktem budou konkrétní zájezdy. V teoretické části se věnuji studiu odborné literatury, konkrétně oblastem produktů, zprostředkovatelů služeb v cestovním ruchu, sportovně rekreačnímu cestovnímu ruchu a vodní turistice. Aplikační část obsahuje charakteristiku společnosti, včetně nabízených služeb. Druhým bodem této části je výzkum. Pro výzkum byla použita metoda přímého dotazování. Dotazování probíhalo přímo v sídle firmy. Respondenty byli lidé, kteří již využili služeb firmy. Pro porovnání očekávaných a získaných výsledků byl u jedné z otázek použit použit chí - kvadrát test. V závěru práce byly sestaveny tři zájezdy, každý upravený speciálně pro konkrétní segment. Návrhová část práce také obsahuje doporučení, jaká opatření musí firma provést, aby její fungování bylo úspěšné.
|
|
Výběr optimální varianty financování bydlení pro vybraného klienta
HOLÝ, Hubert
V úvodu bakalářské práce se zaměřuji na shromáždění informací o hypotéčních úvěrech z aktuálního finančního trhu. Na začátku kapitoly o hypotéčních úvěrech se budu zabývat dělením hypotečních úvěrů. Vypracuji podrobný postup co má všechno klient udělat, aby dostal úvěr, jaké jsou postupy v bankách a jaké potřebují znát banky informace o klientovi. V další kapitole uvedu informace o stavebním spoření a podmínky, které musí klient splňovat, aby mohl dostat úvěr ze stavebního spoření. Také charakteristiku tohoto produktu. V poslední kapitole úvodní teoretické části seznámím čtenáře s investicemi do otevřených podílových fondů a uvedu jejich charakteristiku a jednotlivé postupy při sjednávání. V praktické části se budu zabývat již jednotlivými nabídkami vybraných společností, které budou porovnávány pomocí metod vícekriteriálního rozhodování. Práce je rozdělena na analýzu Hypotečních úvěrů, Úvěrů ze stavebního spoření a Investičních produktů. Informace z těchto analýz budou dále použity na aplikaci pro konkrétního klienta se specifickými požadavky na bydlení. Od klienta zjistím veškeré informace o jeho přáních a požadavcích na svoji budoucnost s ohledem na bydlení. Klient si zvolí hlediska, která jsou pro něho nejvíce důležitá a pořadí, ve kterém by měla být dodržena. Je to z toho důvodu, že často není důležitá výsledná částka, kterou klient za úvěr zaplatí, ale je pro něj v aktuální životní situaci důležitější výše měsíční splátky. A nakonec bude pro klienta vybrána optimální varianta, jak může financovat své vlastní bydlení.
|
|
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.
|
|
Možnosti inkluzivního vzdělávání dětí s tělesným postižením v mateřských školách v Jihočeském kraji
HAIDEROVÁ, Lenka
Tato práce se zabývá inkluzivním vzděláváním dětí s tělesným postižením v mateřských školách v Jihočeském kraji. Autorka v teoretické části své práce popisuje jednotlivé druhy vrozených a získaných tělesných postižení, dále porovnává inkluzivní vzdělávání s integrací a současnou situaci inkluzivního vzdělávání v České republice, včetně pohledů na toto vzdělávání v minulosti. Píše také o vývoji dítěte v předškolním věku, a to z hlediska jeho motorického a kognitivního vývoje, socializací v mateřské škole a o zvláštnostech dětské psychiky u dítěte s tělesným postižením, která se liší od vývoje zdravých dětí. V praktické části se autorka zaměřila na názory vybraných pedagogických pracovníků (učitelek) a rodičů ohledně tohoto fenoménu ve vzdělávání. Výzkumný vzorek obsahuje devět respondentů, z toho pět učitelek a čtyři rodiče, pro učitelky bylo připraveno jedenáct otázek a pro rodiče devět. Jako metodu výzkumu použila polostrukturované rozhovory, aby se mohla doptat na podrobnosti a odbočit od předem vypracovaných otázek. Autorka tímto výzkumem chtěla zjistit, jestli jsou tyto dvě skupiny ochotné toto vzdělávání podpořit a jaké k tomu mají důvody. Dále zjišťovala postoje rodičů dětí s tělesným postižením a přínos tohoto vzdělávání jak pro děti s tělesným postižením, tak pro děti ostatní, zdravé. Věnovala se také porovnání těchto názorů mezi jednotlivými pedagogickými pracovníky i rodiči. Na závěr se snaží o porovnání názorů mezi pedagogickým pracovníkem a rodičem z jedné mateřské školy.
|
|
Tanec jako prostředek integrace dospělých s mentálním postižením
KRAUMANNOVÁ, Eva
Cílem bakalářské práce Tanec jako prostředek integrace dospělých s mentálním postižením bylo vytvořit, realizovat a vyhodnotit taneční kurz zaměřený na rozvoj sociálních kompetencí dospělých lidí s mentálním postižením. Práce se věnuje dospělým lidem s mentálním postižením a volnočasové aktivitě zaměřené na tanec. Ve volném čase lidí s mentálním postižením je prostor pro rozvíjení sociálních kompetencí. V reakci na současnou situaci nabídky volnočasových aktivit pro dospělé lidi s mentálním postižením jsem pokládala za přínosné založit taneční skupinu lidí s mentálním postižením, zároveň s jedinci intaktními v prostorách, které jsou pro ně neznámé. Na základě aktivity, kterou je možné realizovat zábavně, lze všestranně rozvíjet osobnost člověka a jeho sociální kompetence, které jsou předpokladem úspěšné integrace. Bakalářská práce se skládá ze čtyř kapitol. V první kapitole je vymezen pojem mentální postižení. Následně se pozornost zaměřuje na charakteristiku cílové skupiny, tedy dospělých osob s lehkou a střední mentální retardací. Dále je popsán zásah postižení do oblasti psychiky člověka a oblasti sociální. Ve druhé kapitole je nejprve definován pojem tanec a popis jeho využitelnosti v oblasti volnočasové, umělecké, ale i terapeutické. Ve třetí kapitole jsou vypsány předpoklady pro úspěšnou integraci. V závěru teoretické části je propojení cílové skupiny a aktivity pro rozvoj sociálních kompetencí. Na teoretickou část bakalářské práce navazuje část praktická, čtvrtá kapitola. Jedná se o program šestiměsíčního kurzu, který jsem sestavila na základě analýzy odborné literatury a získaných zkušeností při vedení tanečních lekcí a práci s lidmi s mentálním postižením. V programu budou zahrnuty metody práce a vyhodnocení dílčích činností. Šesti měsíční taneční kurz probíhal ve školním roce 2015/2016 a účastnilo se ho šest dospělých lidí s mentálním postižením. Do kurzu byly zapojeny studentky Jihočeské univerzity. Pro jednotlivé taneční lekce byly stanoveny dílčí cíle a aktivity byly uzpůsobeny tak, aby v nejvyšší možné míře nenásilně rozvíjely sociální kompetence účastníků. Kurz byl realizován v prostorách Občanského sdružení IN. Pro vyhodnocení aktivity a zjištění progresu v oblasti sociálních kompetencí účastníků bylo stanoveno několik oblastí rozvoje. Několik vybraných sociálních kompetencí bylo rozděleno do hodnotících škál. Účastníci byli hodnoceni při začátku kurzu a znovu po šesti měsících. Metodou vyhodnocení bylo vlastní pozorování. Zaměřila jsem se na evaluaci svého působení, evaluaci skupiny a každého jednotlivce. Evaluace proběhla také ze strany účastníků kurzu. Taneční lekce a aktivity s nimi spojené se osvědčily jako vhodný prostředek pro rozvíjení sociálních kompetencí dospělých s mentálním postižením. U pěti účastníků se hodnoty zvýšily v 5 10 ze 17 sledovaných kompetencí. Regres nastal u účastníka, který prožíval poslední dva měsíce kurzu náročnou životní situaci. Nejvýrazněji a u všech účastníků se zvýšily hodnoty v oblasti spolupráce ve skupině. U pěti účastníků došlo k progresu v navazování a udržování očního kontaktu a navazování konverzace. U jednoho účastníka se zvýšila hodnota v oblasti vystupování ve skupině, u jednoho v oblasti samostatnosti a jeden oproti začátku oslovoval ostatní účastníky jménem. Celkově se členové skupiny stali sebevědomějšími. K dosažení žádoucích výsledků přispíval fakt, že se kurz konal mimo známé prostory a v kolektivu dalších dospělých intaktních jedinců. Důležitý byl také přístup lektora, promyšlení a stanovení cílů a reakce na podněty účastníků. Při realizaci taneční aktivity s lidmi s mentálním postižením dochází k rozvoji sociálních kompetencí. Při promyšleném postupu lze kompetence rozvíjet intenzivněji a přesto nenásilně. Bakalářská práce má sloužit jako motivace pro pracovníky, kteří by chtěli touto aktivitou naplňovat volný čas dospělých s mentálním postižením a cíleně tak působit na jejich rozvoj.
|
|
Péče o výživu imobilního klienta na standardním oddělení interního typu
AMBLEROVÁ, Michaela
Péče o výživu u imobilních klientů na standardním oddělení interního typu nabývá neustále na významu, a to proto, že péče o výživu je důležitým faktorem pro udržení dobrého zdraví a pro podporu kvality života. Výživový stav u imobilního klienta je velice důležité co nejdříve diagnostikovat, abychom zamezili vzniku potenciálních komplikací. Dostatečná výživa je velice významná také pro udržení dobrého psychického stavu. Ústředním cílem práce bylo zmapovat specifika ošetřovatelské péče v oblasti výživy u imobilního klienta na standardním oddělení interního typu. V návaznosti na tento cíl byly stanoveny tři výzkumné otázky, které zněly: Jak je hodnocen nutriční stav pacienta na standardním oddělení interního typu? Jaké jsou možnosti aplikace výživy u imobilních klientů na standardním oddělení interního typu? Jaká jsou specifika ošetřovatelské péče v oblasti výživy u imobilního klienta na standardním oddělení interního typu? Empirická část bakalářské práce byla zpracována metodou kvalitativního výzkumného šetření, jež bylo realizováno technikou polostrukturovaného rozhovoru. Rozhovor obsahoval 3134 otázek, které byly zaměřeny na péči o výživu u imobilních klientů na standardní jednotce interního typu. Výzkumný soubor tvořily všeobecné sestry pracující na standardním oddělení interního typu v Nemocnici České Budějovice, a.s. Výživa u imobilních klientů na standardním oddělení interního typu je podávána všemi možnými způsoby od perorální výživy přes enterální výživu až po parenterální aplikaci. Celkově z této práce vyplývají dvě zjištění, a to pozitivní i negativní. V rámci pozitivního zjištění můžeme říci, že všeobecné sestry při aplikaci výživy per os poskytují dostatečnou péči. Negativní zjištění se týká toho, že námi dotazované všeobecné sestry zajišťují pouze základní péči při zavedené enterální a parenterální výživě. Podrobnější specifika péče o enterální i parenterální výživu neznají. Na základě tohoto zjištění si myslíme, že by bylo vhodné pořádání pravidelných seminářů či školení pro sestry, aby si své znalosti o péči rozšiřovaly, či případně alespoň připomínaly. Tato bakalářská práce může sloužit jako informační materiál pro sestry v praxi nebo studenty nelékařských zdravotnických oborů. Dále tato práce může sloužit jako podklad pro další výzkumné šetření
|
|
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.
|
host ::
