|
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.
|
|
Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (oponent) ; Vojnar, Tomáš (oponent) ; Meduna, Alexandr (vedoucí práce)
This doctoral thesis studies theoretical properties of grammars with restricted derivation trees. After presenting the state of the art concerning this investigation area, the research is focused on the three main kinds of the restrictions placed upon the derivation trees. First, it introduces completely new investigation area represented by cut-based restriction and examines the generative power of the grammars restricted in this way. Second, it investigates several new properties of path-based restriction placed upon the derivation trees. Specifically, it studies the impact of erasing productions on the generative power of grammars with restricted path and introduces two corresponding normal forms. Then, it describes a new relation between grammars with restricted path and some pseudoknots. Next, it presents a counterargument to the generative power of grammars with controlled path that has been considered as well-known so far. Finally, it introduces a generalization of path-based restriction to not just one but several paths. The model generalized in this way is studied, namely its pumping, closure, and parsing properties.
|
|
Zavedení kontaktních testů ekotoxicity pro hodnocení terrestrických ekosystémů
Modlitbová, Pavlína ; Kráčmar, Stanislav (oponent) ; Beklová, Miroslava (oponent) ; Demnerová, Kateřina (oponent) ; Vávrová, Milada (vedoucí práce)
Tématem předložené dizertační práce bylo provedení testů toxicity s využitím testovacího organismu ze zástupců suchozemských stejnonožců Porcellio scaber. Tento testovací organismus byl zvolen jako nejvhodnější pro posouzení toxicity vybraných anorganických sloučenin kontaminujících terestrický ekosystém. Jeho výběr byl proveden na základě důkladně zpracované metodiky tohoto testu, dále známých biologických a biochemických vlastností výše specifikovaného živého organismu, případně na jeho ekologické relevantnosti. Kromě klasických endpointů, jakými jsou mortalita, změna hmotnosti testovacích jedinců a také vliv přítomnosti a koncentrace kontaminantů na konzumaci stravy, byly rovněž sledovány změny v morfometrické charakteristice, a to na úrovni tkání a buněk, cytotoxicita a rovněž byla posuzována možná bioakumulace v různých částech těla tohoto organismu. Vybrané testované látky lze zařadit do oblasti nanočástic a anorganických solí. U vybraných nanočástic zlata byla provedena kompletní ekotoxikologická studie na několika úrovních organizace živé hmoty (organismus, tkáň, buňka). Pro vybrané soli byla provedena studie, která byla zaměřená především na chování organismů a klasické endpointy.
|
|
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.
|
|
Působení absolventa studijního oboru Speciální pedagogika - vychovatelství v praxi poskytovatelů sociálních služeb
SALABOVÁ, Jana
Teoretická část se dělí na 4 kapitoly. První kapitola je věnována pomáhajícím profesím, kde tyto profese nejprve definuji a dále vkládám i vymezení studijního oboru Speciální pedagogika - vychovatelství, se kterým v práci dále pracuji. Také se v této kapitole dotýkám připravenosti budoucích absolventů k vykonávání práce sociálního pracovníka, pracovníka v sociálních službách. Druhá kapitola nese název speciální pedagogika, kde tento vědní obor vymezuji předmět, cíle a její členění. Třetí kapitola se zaměřuje na sociální služby, a to konkrétně na definování tohoto pojmu, druhy a formy sociálních služeb, zařízení spadající do oblasti sociálních služeb a kdo je jejich poskytovatelem. Čtvrtá a poslední kapitola teoretické části se věnuje roli absolventa studijního oboru Speciální pedagogika - vychovatelství v sociálních službách, kde je popisován sociální pracovník definice, kvalifikační a další předpoklady a kompetence, také je zde podkapitola, kde je zmínka o pedagogickém pracovníkovi a to konkrétně o vychovateli, kde se nalézají osobnostní a jiné předpoklady pro výkon této práce a náplň práce, kterou vykonává vychovatel v zařízení sociálních služeb. Poslední stránky čtvrté kapitoly jsou věnované pracovníkovi v sociálních službách jeho činnostem a zároveň i osobnímu asistentovi, kde se zaměřuji na definici této pozice a samotné osobní asistence a přidávám i osobnostní předpoklady k této pozici. Cílem praktické části práce je zmapování působení absolventa studijního oboru Speciální pedagogika - vychovatelství v praxi sociálních služeb - konkrétně, jaká je jeho náplň práce, zda má kompetence k vykonávání této pozice, jestli je s prací spokojen a jaká byla jeho motivace pracovat právě v této oblasti. Praktická část obsahuje kvalitativní výzkum. K naplnění výše uvedených cílů byla zvolena technika sběru dat pomocí strukturovaného rozhovoru s respondenty, kterými mi byli absolventi studijního oboru Speciální pedagogika - vychovatelství pracující v oblasti sociálních služeb. Lze říci, podle výsledků této práce, že absolventi se v oblasti sociálních služeb většinou uplatní na nižších pracovních pozicích a to jako pracovníci v sociálních službách, a to i přesto, že mají kvalifikaci i na vykonávání sociálního pracovníka. Věkové rozmezí klientů, se kterými respondenti pracují, se pohybuje od dětského věku a končí věkem seniorským. Motivace, která vedla dotazované k rozhodnutí zvolit právě oblast sociálních služeb je různá, někteří uváděli, že jim k tomu pomohla praxe při škole a to jak samotná práce, tak i zaujetí právě onou cílovou skupinou, již předešlá zkušenost s prací s lidmi s postižením či právě nabytí nových zkušeností. Také angažovanost rodinného příslušníka a jejich předešlé vzdělání bylo určitou motivací. Spokojenost s prací je podle zjištěných dat patrná a to přispívá i ke kvalitně a zodpovědně odváděné práci. Osobním přínosem je podle zjištěných výsledků především jejich potřebnost v činnostech, které v práci provádějí, nové zkušenosti, které získávají a také vidina pokroků jejich klientů. Výhodou zaměstnání, které provádějí je pro ně nejčastěji nestereotypnost, zmiňují cílovou skupinu, se kterou pracují, pokroky klientů a že je pro ně práce naplňující, i proto, že jsou v příjemném kolektivu lidí. Kamenem úrazu, tudíž nevýhodou je pro ně především finanční ohodnocení, které není moc uspokojující a pracovní doba. Vystudovaný studijní obor Speciální pedagogika - vychovatelství, je pro dotazované absolventy přínosem, hlavně co se týče praxe při škole, kterou měli možnost vykonávat a navštěvovat různá zařízení.
|
|
Asistence jako vyrovnávací a podpůrný prostředek speciální pedagogiky
PÝCHOVÁ, Lucie
Tématem bakalářské práce je "Asistence jako vyrovnávací a podpůrný prostředek speciální pedagogiky". Cílem práce je kompletovat teoretické poznatky týkající se fenoménu asistence a na tomto podkladě analyzovat profesi pedagogického a osobního asistenta. Cílem praktické části je realizovat komparaci legislativního vymezení a reálných pracovních aktivit pedagogického a osobního asistenta. V souladu s výše vymezenými cíli byly formulovány dva dílčí cíle. 1. dílčí cíl: zjistit motivaci k výkonu profese osobního a pedagogického asistenta. 2. dílčí cíl: zjistit osobní spokojenost s profesním životem. Práce je rozdělena na teoretickou a praktickou část. Teoretická část je složena ze tří kapitol. V první kapitole definuji pojmy asistence, vyrovnávací a podpůrná opatření, speciální pedagogika a dále jsem se věnovala integraci a inkluzi. Druhá kapitola se věnuje osobní asistenci. V této kapitole vymezuji pojmy osobní asistence a osobní asistent. Popisuji zde historický vývoj osobní asistence, předpoklady pro práci osobního asistenta, komplikace při této profesi a především pracovní náplň osobního asistenta. Třetí kapitola se zabývá pedagogickým asistentem. Opět popisuji historický vývoj pedagogické asistence, předpoklady pro práci pedagogického asistenta, pracovní náplň asistenta pedagoga a vzájemnou spolupráci s pedagogem, rodiči a školským poradenským zařízením. V praktické části charakterizuji cíle práce, metodiku šetření a techniky sběru dat, výzkumný soubor, realizaci šetření a na závěr analýzu získaných dat. K naplnění cílů praktické části jsem použila kvalitativní metodu. Technikou sběru dat bylo pozorování, rozhovor a analýza dokumentů. Rozhovory byly vedeny s osobními a pedagogickými asistenty.Poznatky obsažené v závěrečné práci mohou sloužit organizacím zřizujícím pracovní pozici osobního či pedagogického asistenta, protože text analyzuje podstatné souvislosti, které mají vliv na kvalitní výkon zmíněné pracovní pozice. Bakalářská práce může být dále využitelná jako studijní materiál pro studenty pedagogických a dalších společenskovědních oborů.
|
|
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.
|
host ::
