|
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.
|
|
Stability and convergence of numerical computations
Sehnalová, Pavla ; Dalík, Josef (oponent) ; Horová, Ivana (oponent) ; Kunovský, Jiří (vedoucí práce)
The aim of this thesis is to analyze the stability and convergence of fundamental numerical methods for solving ordinary differential equations. These include one-step methods such as the classical Euler method, Runge-Kutta methods and the less well known but fast and accurate Taylor series method. We also consider the generalization to multistep methods such as Adams methods and their implementation as predictor-corrector pairs. Furthermore we consider the generalization to multiderivative methods such as Obreshkov method. There is always a choice in predictor-corrector pairs of the so-called mode of the method and in this thesis both PEC and PECE modes are considered. The main goal and the new contribution of the thesis is the use of a special fourth order method consisting of a two-step predictor followed by an one-step corrector, each using second derivative formulae. The mathematical background of historical developments of Nordsieck representation, the algorithm of choosing a variable stepsize or an error estimation are discussed. The current approach adapts well to the multiderivative situation in variable stepsize formulations. Experiments for linear and non-linear problems and the comparison with classical methods are presented.
|
|
On-line Data Analysis Based on Visual Codebooks
Beran, Vítězslav ; Honec, Jozef (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
This work introduces the new adaptable method for on-line video searching in real-time based on visual codebook. The new method addresses the high computational efficiency and retrieval performance when used on on-line data. The method originates in procedures utilized by static visual codebook techniques. These standard procedures are modified to be able to adapt to changing data. The procedures, that improve the new method adaptability, are dynamic inverse document frequency, adaptable visual codebook and flowing inverted index. The developed adaptable method was evaluated and the presented results show how the adaptable method outperforms the static approaches when evaluating on the video searching tasks. The new adaptable method is based on introduced flowing window concept that defines the ways of selection of data, both for system adaptation and for processing. Together with the concept, the mathematical background is defined to find the best configuration when applying the concept to some new method. The practical application of the adaptable method is particularly in the video processing systems where significant changes of the data domain, unknown in advance, is expected. The method is applicable in embedded systems monitoring and analyzing the broadcasted TV on-line signals in real-time.
|
|
Metodologie spolupráce režiséra s hercem a současná divadelní praxe
Glogrová, Kateřina ; BURIAN, Jan (vedoucí práce) ; HRBEK, Daniel (oponent)
Práce se zabývá spoluprací režiséra s hercem během jednotlivých fází inscenačního procesu tak, jak probíhají v běžném divadelním provozu. Jednotlivé fáze inscenačního procesu jsou doplněny vlastní zkušeností autorky s vedením herců, které nabyla především v rámci svého studia na Divadelní fakultě AMU. V druhé části autorka zkoumá problematiku vnitřní pravdivosti a možnosti jejího dosažení v rámci inscenace i hereckého projevu. Součástí přípravy na magisterskou práci byl výzkum, který zahrnoval rozhovory se třemi profesionálními režiséry - Hanou Burešovou, Ladislavem Smočkem a Štěpánem Páclem, jejichž metodu práce autorka popisuje. V závěru práce autorka konstatuje, že je složité vyvozovat obecné závěry o spolupráci režiséra s hercem, která má vždy subjektivní povahu, a že stejně těžko uchopitelná je v obecné rovině i problematika vnitřní pravdivosti. Právě díky mnohosti možností však neztrácejí svou přitažlivost pro další zkoumání.
|
|
Charakteristika pracovního chování Čechů a Ukrajinců
BYKOVA, Sofia
Tématem mé bakalářské práce je pracovní chování v rámci vybraného podniku, zaměstnávajícího pracovníky českého a cizího (ukrajinského) původu. Cílem teto práce je vytvoření přehledné a srovnatelné charakteristiky jevu pracovního chování v rámci kultur uvedených států co mají společného a rozdílného, případně neslučitelného, analýza případných konfliktů a souvislost těchto aspektů s mentalitou. Zdůvodněním tohoto cíle je především obor, který studuji. Práce obsahuje informace, které by mohly být zajímavé a přínosné, nejen pro mé osobní účely a budoucí povolání, ale také pro role nadřízených i podřízených, případně pro manažery. Přehled zkoumané problematiky obsahuje specifické body, jako např. základy ekonomické psychologie a behaviorální ekonomie (symbióza psychologického a ekonomického názoru na motivaci a racionalitu jedince), teorie pracovní motivace a reakce na různorodé podněty, charakteristiku pojmu "mentalita", obecná východiska o působení člověka ve světě ekonomiky. Pro naplnění cílů mé práce jsem stanovila následující hypotézy: - Ukrajinská a česká mentalita mají určité podstatné rozdíly, i když jsou tyto národy kulturně blízké. - Pracovníci ukrajinského a českého původu dokážou efektivně fungovat v týmu a vycházet mezi sebou v pracovní činnosti. Rozdíl v mentalitě jim v tom nebrání. - Ukrajinští pracovníci by mohli být žádoucí pro zaměstnavatele v ohledu na vyšší zájem a motivaci. Všechny tři stanovené hypotézy byly přijaté na základě zjištěných údajů a srovnání charakteristik mentality. Češi jsou často tolerantní k jiným kulturám, navíc ukrajinská kultura se tolik neliší a nezpůsobuje komplikace v pracovních vztazích. S ohledem na to, že ve vybraném podniku nebyly zjištěné žádné problémy, spojené s pracovním chováním a rozdíly v mentalitě, těžko se definuje nějaký přínos pro danou organizaci.
|
|
Implementace podnikového informačního systému ve vybrané firmě
BUŠEK, Petr
Tato bakalářská práce se zabývá problematikou implementace podnikového informačního systému ve vybrané firmě. V teoretické části jsou uvedeny informace o informačním systému, které jsou doplněny o analýzy vnitřního a vnějšího prostředí, silných a slabých stránek, způsob výběru informačního systému. V praktické části je stručně popsán vybraný informační systém a firma, ve které probíhala implementace. Dále je stávající informační systém zhodnocen analýzou HOS 8, ze které jsou stanoveny cíle implementace nového informačního systému. V závěru praktické části je srovnání informačního systému před implementací a po implementaci metodou HOS 8, což je hlavním cílem této práce.
|
|
Řízení projektů ve vybraném podniku
POKORNÝ, Radek
Tato práce se zabývá projektovým řízením ve vybrané společnosti. Má dvě části. První část je teoretická, která je zaměřena na teoretické zpracování tématu. To vysvětluje, co je projekt, řízení projektů, organizace projektů, procesů projektového managementu, jaký je cíl projektu, komunikace, řízení, změny a rizika a další. V praktické části jsem se zaměřil na konkrétní společnost a jejich projektový management a následně jsem analyzoval konkrétní projekt. Název zmíněné společnosti je OHL ŽS, a.s. Je to Španělská, která působí po celém světě. V České republice má ředitelsví v Brně. Tato společnost má několik divizí a každý z nich je zaměřen na jiný typ stavebnictví. Vybral jsem si divizi pozemního stavitelství. Tato divize se zaměřuje na všechny druhy staveb. Mohla by to být výstavba nových budov nebo rekonstrukce. Při analýze vybraného projektu jsem použil různé obchodní dokumenty, smlouvy s investorem, nebo dodavateli, náklady na projekt, časový harmonogram. Také jsem využil své zkušenosti s tímto projektem, protože jsem se podílel na realizaci tohoto projektu po větší části jeho provádění. Název tohoto projektu je rekonstrukce obvodového pláště včetně výměny oken a zateplení. Při analýze projektu jsem našel pár zásadních nedostatků. Pokud by se nám podařilo vyhnout se těmto nedostatkům, mohli bychom zvýšit zisk. Tyto nedostatky jsou zejména chyby při řízení. Na začátku byli jmenováni dva dočasní stavbyvedoucí. Pracovníci na této pozici v podstatě nemají zájem na výsledku projektu, protože jejich vedoucí nemá žádné prostředky na ovlivnění výkonosti tohoto pracovníka. Chybí zde motivační systém. Nezáleží na výkonu, ale pracovník dostane vždy stejnou mzdu. Pro odstranění těchto nedostatků jsem navrhl několik návrhů na zlepšení. První návrh je modifikace a rozšíření motivačního systému. Nový motivační systém obsahuje osobní ohodnocení. Toto hodnocení je závislá na výkonu zaměstnance. Druhá část je odměna z nadzisku. Dalším návrhem je vytvoření nové pracovní pozice. Tato pozice se bude starat o kontrolu a projektové dokumentace. V průběhu stavebního projektu, a to zejména na konci je stavbyvedoucí velmi zaneprázdněn. To záleží na rozhodnutí stavbyvedoucího, jakým činnostem dá přednost. Zda se bude věnovat dokumentaci, nebo prováděným pracím a technologii. Navrhovaná pozice by se starala o faktury, skutečně provedené práce, projektovou dokumentaci a předávání skutečně odvedené práce. Třetím návrhem je nákup malého strojního zařízení, jako jsou bourací kladiva a vrtačky. V této době se pronajímají všechna zařízení. Nájemné je vyšší než kupní cena. Poslední návrh je použít leasing na obnovu vozového parku. V této době mají zastaralý vozový park, protože současný vozový park byl pořízen za hotovost. To není výhodné.
|
|
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.
|
|
Praktické využití teatroterapie při aktivizaci dospělých osob s mentálním postižením
REJŠKOVÁ, Denisa
Cílem bakalářské práce s názvem Praktické využití teatroterapie při aktivizaci dospělých osob s mentálním postižením bylo vytvořit, realizovat a vyhodnotit divadelní představení se zaměřením na aktivizaci dospělých s mentálním postižením.Při volnočasových aktivitách je možné osobám s mentálním postižením poskytnout takové činnosti, které všestranně rozvíjí jejich osobnost, vedou k vlastní aktivitě a činorodosti. Lidé s mentálním postižením jsou však oproti lidem intaktním ve výběru aktivit omezeni. Vzhledem k nabídce volnočasových aktivit pro cílovou skupinu jsem se rozhodla využít teatroterapii, která je pro ně přímo určená, a realizovat tak divadelní představení. Dle odborné literatury lze jejím prostřednictvím dosáhnout pozitivních výsledků v oblastech komunikačních a pohybových dovedností, paměti a sociálních vztahů.Práce se skládá ze tří kapitol. Cílovou skupinu vymezím v první kapitole, ve které nejprve definuji pojem mentální postižení, charakterizuji dospělé osoby se středním či těžkým mentálním postižením a blíže specifikuji jejich omezení v oblasti sociální, psychické a motorické. V druhé kapitole definuji teatroterapii, popíši její vývoj, cíle a metody. Zároveň se o ní v závěru této kapitoly zmíním jako o prostředku aktivizace. Na teoretickou část práce navazuje praktická, třetí kapitola. V této kapitole na základě odborné literatury připravím divadelní představení. To následně zrealizuji a vyhodnotím.Divadelní představení vycházelo ze zásad a principů teatroterapie. Při jeho realizaci bylo využito vlastního scénáře, který byl přizpůsoben cílové skupině. K jeho nazkoušení byly využity klasicky výukové metody a metody dramatické výchovy, konkrétně se použily metody slovní, názorně demonstrační, dovednostně praktické, metoda hra v roli, metody a techniky průpravných her a cvičení, hodnocení a reflexe. Při evaluaci bylo využito objektivní techniky, která se zaměřuje na analýzu činnosti herců, a subjektivní techniky se zaměřením na autoevaluaci a zpětnou vazbu herců.Aktivita probíhala pod Občanským sdružením IN a zúčastnilo se jí celkem deset osob se středním či těžkým mentálním postižením ve věku 25 45 let. Během přípravy divadelního představení docházelo k procesu aktivizace a bylo dosaženo pozitivních výsledků v oblasti komunikačních a pohybových dovedností. Při realizaci divadelního představení herci zažívali nové a neobvyklé situace, setkávali se s novými lidmi, neboť se aktivity účastnili i studenti Jihočeské univerzity, což vedlo k sociální integraci. Bakalářská práce má sloužit jako inspirace pracovníkům v zařízeních poskytujících sociální služby.
|
|
Supervize v psychiatrickém ošetřovatelství
RŮŽIČKOVÁ NEUŽILOVÁ, Michaela
Základní teoretická východiska Teoretická část diplomové práce se zabývá supervizí a přibližuje problematiku psychiatrického ošetřovatelství. Je rozdělena do několika části. První část je zaměřena na supervizi, stručně charakterizuje supervizi samotnou, dále pak popisuje její dělení, funkce a metody. Též se věnuje účastníkům supervize, smlouvě o supervizi, transkulturní supervizi a Bálintovským skupinám. Dále navazuje část, která popisuje historický vývoj psychiatrického ošetřovatelství, stručně představuje osobnost Joyce E.Travelbee. V závěru teoretické části diplomové práce je zmíněna problematika vzdělávání a kompetencí sester pro péči v psychiatrii a též okrajově deklarace z Turku. Cíl práce Hlavním cílem diplomové práce je zmapovat informovanost sester pracujících v psychiatrické péči o možnostech klinické supervize. Druhým cílem bylo zjistit názor sester pracujících v psychiatrické péči na supervizi. Třetí cíl byl zaměřen na prostředky pomáhající sestrám pracujícím v psychiatrické péči k jejich osobnímu rozvoji a růstu v rámci jejich praxe. Čtvrtý cíl měl zmapovat zkušenosti sester pracujících v psychiatrické péči se supervizí. Použité metody Pro empirickou část této diplomové práce bylo zvoleno kvalitativní šetření. Byla použita metoda sběru dat formou polostrukturovaného rozhovoru. Rozhovory s respondenty byly zaznamenány pomocí diktafonu a poté přepsány, následně pomocí kódování technikou tužka a papír byla kvalitativní data analyzována a významově uspořádána do dvaceti sedmi kategorizačních skupin. Výběr výzkumného souboru byl záměrný, sestavený z dvanácti sester pracujících v psychiatrické péči v rámci České republiky. Výsledky Z výzkumného šetření zaměřeného na sestry, které nemají osobní zkušenost se supervizí vyplynulo, že určité povědomí o supervizním procesu mají, ovšem ne zcela dostačující k tomu, aby byly schopny popsat podstatu a funkci supervize v celém jejím rozsahu. Jejich znalosti jsou spíše teoretické. Supervizi chápou jako pomoc, která by vyřešila jednak neurovnané vztahy na pracovišti, dále pak zlepšila komunikační dovednosti daných sester, též by byla nápomocna v řešení krizových intervencí a jako prevence syndromu vyhoření. Z výsledků týkajících se sester, které nejsou účastny supervizního procesu jednoznačně vyplynulo, že nemají dostatečnou oporu a možnost jak profesního, tak i osobního růstu na svém pracovišti, přičemž tento významný problém by jim byla schopna vyřešit právě supervize. Z výzkumného šetření, které se týkalo výhradně sester, které mají osobní zkušenost se supervizí a jsou jí pravidelně účastny vyplynulo, že jejich znalosti a dovednosti týkající se supervizního procesu jsou zcela dostačující k tomu, aby byly schopny pochopit a následně prakticky využít supervizi v celém jejím rozsahu. Tyto sestry vidí supervizi jako přínos, díky kterému pochopily nejen sami sebe, ale především se naučily zvládat náročné situace, které jejich povolání provází. Supervize jim dává jistotu, poskytuje oporu a učí je jednat s lidmi, kteří jsou součástí jejich pracovního procesu. Supervize se pro ně stala nástrojem pro prevenci syndromu vyhoření a ukázala jim cestu, jak efektivně využít svůj vlastní potenciál. Závěr Tato diplomová práce je zaměřena na problematiku využití supervize v psychiatrickém ošetřovatelství. Práce s pacienty s duševním onemocněním je velmi náročná, proto zrovna zde má supervize své opodstatněné místo. Pokud neznáme sami sebe a nejsme schopni sami řešit své problémy, nikdy nemůžeme efektivně a komplexně řešit problémy druhých, kteří často na naši pomoc zoufale čekají. Výsledky práce budou prezentovány na odborných seminářích určených nejen sestrám pracujícím v psychiatrické péči.
|
host ::
