|
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.
|
|
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.
|
|
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.
|
|
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
|
|
Nadváha a obezita adolescentů
JINDROVÁ, Kateřina
Tato bakalářská práce se zabývá problematikou nadváhy a obezity adolescentů. Problematika u dospívajících je podrobně popsána a následně rozdělena. Hlavním stanoveným cílem mé bakalářské práce bylo zmapovat problematiku nadváhy a obezity v období dospívání v rozmezí 15 - 18 let a to především jejich stravovací zvyklosti a pohybovou aktivitu. Teoretická část se zaměřuje na výskyt nadváhy a obezity v České Republice a ve světě, příčiny vzniku, rizikové faktory, klasifikaci a diagnostiku, typy, léčbu a prevenci. Zabývá se zde racionální stravou, popisuji zásady správného stravování a vhodné či nevhodné potraviny. Snažím se klást důraz na prevenci nadváhy a obezity a to především na stravování a pohybovou aktivitu. Metodická část byla zpracována pomocí kvantitativního výzkumu. Technikou sběru dat jsou dotazníky určené pro dospívající středních škol v rozmezí 1. - 3. ročník. Výzkumný soubor bude zahrnovat 150 respondentů z různých škol v Českých Budějovicích a okolí. Výsledky budou zaznamenány v podobě grafů, které budou okomentovány a doplněny tabulkami. V souladu s cílem a použitím kvantitativního výzkumu byly stanoveny hypotéza. Hypotéza 1 zněla: Nadváha a obezita se bude vyskytovat více u dospívajících se špatnými stravovacími návyky. Hypotéze 2 zněla: Nadváha a obezita se bude vyskytovat více u dospívajících s nízkou pohybovou aktivitou. Pro vypracování výzkumné části byl použit kvantitativní výzkum, který byl prováděn formou dotazníků, které byly rozdány studentům v období dospívání v rozmezí 15 - 18 let. Získaná data jsem zpracovala pomocí programu "Microsoft Excel", ve kterém jsem používala jednotlivé početní relace a funkce. Odpovědi od jednotlivých respondentů jsem zaznamenávala do databáze a za pomoci daných funkcí v Excelu jsem vyhodnocovala jednotlivé určené kategorie. Nejvíce jsem se zaměřila na kategorie týkající se pohybu a stravování. Zpracovaná data jsou interpretována jednoduchými grafy, které jsou vždy okomentovány, popřípadě doplněny tabulkami a následně statisticky zhodnoceny. Z výsledku vyplývají 2 hlavní rozdíly mezi dospívajícími s normální váhou a trpícími nadváhou a obezitou. Jedním z nich je nepravidelnost ve stravování a celkově špatné stravovací zvyklosti, velký rozdíl se též objevuje u pohybové aktivity. U obézních adolescentů se často objevuje nerovnoměrný a nepravidelný příjem potravy, nadměrný příjem kalorických nápojů typu coca cola, fanta, sprite apod., nedostatečný příjem ovoce, zeleniny, luštěnin, ryb, či žádná nebo velmi nízká pohybová aktivita. Pouze několik obézních dospívajících se od těchto kritérií odlišuje, ti však toto onemocnění mají dané geneticky. U zkoumaných respondentů s normální váhou je stravování pravidelné, vyskytují se však výjimky, které se stravují obdobně jako obézní, avšak společnou vlastností, všech dětí s normální váhou, je pravidelná fyzická aktivita. Hypotéza 1 i hypotéza 2 byly potvrzeny. Výsledky ukazují, že na vzniku obezity se podílejí velmi často genetické faktory, které lze aspoň z části pozitivně ovlivnit pravidelnou pohybovou aktivitou a vhodnými stravovacími návyky. Závěrem práce bych chtěla říci, že je nepostradatelné zaměřit se na vhodné stravovací návyky a pravidelnou pohybovou aktivity již od útlého věku, kdy si dítě osvojuje většinu návyků a zvyklostí a to včetně rodičů, kteří jsou mnohdy vzorem pro své děti. Je důležité rozvíjet znalosti o jednotlivých formách prevence, které jsou mnohdy zásadní v zabránění vzniku nadváhy a obezity.
|
|
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í.
|
host ::
