|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
|
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.
|
|
Užití nových technologií při výuce matematiky na základních a středních školách
BUMBÁLEK, Roman
S moderními informačními technologiemi se setkáváme každý den. Slouží k pomoci v práci, k zábavě, ale mají také velký potenciál pro využití ve vzdělávání. Tato práce se zabývá jejich vhodnou aplikací do výuky matematiky, na tematiku goniometrických funkcí. Cílem je vytvořit konstrukce, které by potenciál moderních technologií co nejlépe využily. Pro řešení problematiky byl vybrán program GeoGebra pro možnost tvorby dynamických konstrukcí a pro další nesporné výhody, zmíněné dále v práci. K vytvořeným konstrukcím jsou přidány podrobné návody, jak je lze sestrojit. Práce je také doplněna řešenými úlohami a pracovními listy, zaměřenými na aplikaci goniometrických funkcí do reálných situací.
|
|
Výskyt látek skupiny PBDE a Bisfenol A ve vodních tocích s výskytem raků
Svobodová, Kateřina ; Vach, Marek (vedoucí práce)
Práce se zabývá vyhodnocením výsledků projektu pod záštitou EAA and Norway grants, který probíhal v letech 2015 až 2016. Projekt se zabýval jakostí vody na lokalitách s původními a invazními raky. Součástí projektu bylo i sledování organických látek např. polybromovaných difenyletherů (PBDE). Věnovat se budu zejména látkám skupiny PBDE tedy polybromovaným difenyletherům, které patří mezi bromované zpomalovače hoření (BFR). Tyto látky, jsou sledovány od 70. let 20. století, kdy v USA došlo k náhodné kontaminaci potravy a následnému zamoření blízké oblasti. Alarmující je jejich perzistence v prostředí, díky které se neustále zvyšují hladiny v přírodní matrici. Informace o transformaci a biodegradaci PBDE v prostředí jsou stále omezené a neustále probíhají nejrůznější studie. Jsou to látky málo těkavé a i nerozpustné, proto hlavním zdrojem jejich úniků je prach a částice vznikající z výrobků, ve kterých jsou tyto látky obsaženy. Další látkou, jejímž výskytem v životním prostředí České republiky bych se ráda zabývala, je Bisfenol A (BPA). Toxická látka využívaná při výrobě epoxidových pryskyřic a polykarbonátových plastů. BPA je toxická látka se schopností narušovat funkci hormonů. Obsah těchto látek byl potvrzen i v kojeneckých lahvích. V dubnu 2004 byl vládou ČR schválen (program na snížení znečištění povrchových vod nebezpečnými závadnými látkami). Od srpna roku 2004 platí v EU zákaz prodeje a používaní penta-BDE a okta-BDE ve všech oborech. Bisfenol A se od roku 2011 nesmí používat při výrobě kojeneckých lahví. Cílem práce je analyzovat a následně vyhodnotit množství a možné důsledky obsahu těchto látek v našem životním prostředí, které jsou alarmující i po úplném či částečném zákazu užívání těchto látek.
|
|
Motivace jako způsob vedení lidí
Mudruňka, Jan ; Horáková, Jana (vedoucí práce) ; Fiedler, Jiří (oponent)
Abstrakt
Tato bakalářská práce se zabývá tématem Motivace jako způsob vedení lidí. V teoretické části je za pomoci klíčových slov čtenář seznámen s pojmy manažer, manažerské role, manažerské funkce, vedení lidí, motivační mechanismus, participace, motivační program, benefity. Po seznámení s těmito pojmy, které jsou dále rozvedeny a řádně vysvětleny je sestaven dotazník, skládající se ze 13 otázek, zabývajících se motivací a benefity na pracovištích.
Dotazník je předložen vybraným pěti manažerům. Třem majitelům nebo spolumajitelům soukromé firmy, zbývající dva jsou zaměstnáni v oblasti veřejného sektoru. S dotazníkem byly seznámeny tři ženy a dva muži. Jednotlivé odpovědi byly okomentovány a na konci shrnuty do jediného závěru.
Z tohoto závěru vyplývá, že motivační procesy a benefity v jednotlivých organizacích jsou nastaveny podobně a že nejlepším motivátorem jsou finanční odměny, nebo veřejná pochvala. Dále bylo zjištěno: manažeři preferují individuální přístup vedení, dobrý kolektiv a příjemné prostředí si zaměstnanci přejí spíše, než některé další motivátory. V neposlední řadě lze z odpovědí většiny manažerů vytušit, že si sice přejí osobní rozvoj zaměstnanců, ale pouze v daném oboru. Část manažerů nesouhlasí s dalším vzděláváním zaměstnanců z důvodu obavy konkurence.
Mužská část manažerů používala spíše kratších příkřejších odpovědí na dané otázky, k zaměstnancům uplatňuje spíše autoritativní způsob vedení, zatímco ženská část manažerů měla spíše delší a rozvitější věty. Z odpovědí vyplývá, že ženy uplatňují ke svým zaměstnancům spíše demokratický styl vedení.
Klíčová slova: Manažer, manažerské role, manažerské funkce, vedení lidí, motivační mechanismus, participace, motivační program, benefity.
|
|
Vývoj webové aplikace pomocí moderních technologií
Ibragimov, Ahliddin ; Havránek, Martin (vedoucí práce) ; Ladislav, Ladislav (oponent)
Tato práce řeší vývoj webové aplikace použitím moderních programovacích jazyků a technologií.
Cílem této práce je studium a analýza moderních technologií, zvolení jednotlivých programovacích jazyků, frameworků, databázi a následující vývoj webové aplikaci použitím zvolených technik.
Na základě analýzy moderních trendů zvolil jsem následující technologie: vývoj serverové části použitím populárního frameworku Spring, založeného na Java EE, implementace uživatelské části využitím nejpopulárnějšího skriptovacího jazyku JavaScript a konkrétně framework AngularJS vyvinutého společností Google. Pro ukládání dat jsem využil NoSQL databáze MongoDB. Detailně jsem zdokumentoval jednotlivé implementační kroky, zahrnující definici projektu, analýzu požadavků, návrh, implementaci a testování.
|
|
Metody odchovu sladkovodních mlžů pro účely záchranných programů
Plechingerová, Věra ; Douda, Karel (vedoucí práce) ; Matasová, Klára (oponent)
Práce je napsána formou přehledu o problematice sladkovodních mlžů. Na začátku práce nejprve zhodnocuji celkový stav populací v České republice a poté ve světě. Dále popisuji anatomii a biologii mlžů, zejména reprodukci, která je klíčová pro odchov juvenilních jedinců v laboratorních podmínkách či polopřirozeném prostředí. Navrácení populací mlžů do ekosystému vod je problematické z hlediska neustálých změn biotopu, zejména antropogenními vlivy a málo vhodných hostitelských ryb, bez kterých glochidia nemohou dokončit svůj vývoj. Aby se zabránilo úplnému vyhynutí některých druhů, vyvinuly se různé metody odchovu, které napomáhají navrácení životaschopných populací do přirozeného prostředí vod. Metody odchovu zde také popisuji. V experimentální části posuzuji typy detritů, které mají různé vlivy na přírůstky mlžů. Pro experiment byla vybrána perlorodka říční (Margaritifera margaritifera), jejichž populace je velmi ohrožená. Sladkovodní mlži jsou důležitými bioindikátory ekosystémů vod, kde mají nenahraditelnou funkci, proto je důležité obnovit jejich populace a celkový stav biotopů.
|
|
Marketingový plán podniku
Hácha, Patrik ; Štůsek, Jaromír (vedoucí práce) ; Marie, Marie (oponent)
Marketingový plán podniku
Souhrn
Tématem diplomové práce je provést zhodnocení současného marketingového plánu a situace podniku a tyto výsledky použít jako návrh doporučení pro nový marketingový plán. Úvodní část, zaměřená na literární rešerši, shrnuje teoretické poznatky a východiska pro zpracování výše uvedeného marketingového plánu. V následující, druhé, části jsou tyto poznatky a východiska aplikovány na vybraný podnik. Obsahem této části je mimo jiné deskripce podniku, analýzy vnějšího a vnitřního prostřední charakterizované použitím PEST analýzy a SWOT analýzy. V poslední části věnované samotnému návrhu jsou definovány základní marketingové cíle i marketingový mix reflektující aktuální situaci podniku. Součástí této části je také rámcový akční program a hrubý rozpočet a základní návrh pro měření a kontrolu shora uvedeného.
|
|
Pojistná ochrana zemědělských společností a kaprovitých ryb v rybochovných zařízeních v ČR
Pomyjová, Hana ; Borská, Jana (vedoucí práce) ; Jan, Jan (oponent)
Pojistná ochrana zemědělských společností
a kaprovitých ryb v rybochovnýh zařízení v ČR
----------------------------------------------------------------------
Insurance coverage of the agricultural companies
and the carp fish in fish farming facilities
in the Czech Republic
Souhrn
V diplomové práci se zaměřuji na problematiku pojištění zemědělských společností a převážně pak společností zabývajících se produkcí kaprovitých ryb v rybochovných zařízeních v České republice. Podstatou práce bude zjistit, jak se české zemědělské společnosti a zejména rybářské společnosti potýkají a vyrovnávají s problémy a komplikacemi u svých výrobních programů, které jim způsobují výkyvy počasí. Chtěla bych zejména zjistit a poukázat na existenci řešení, jak kompenzovat škody a ztráty, které jsou každoročně zaznamenány. Toto řešení lze nalézt v podobě cílených programů pojištění zemědělských rizik. Vzhledem k možnosti rozsáhlých následků škod způsobených výkyvy počasí chci docílit toho, aby pojištění těchto rizik zaujímalo jedno z předních míst zájmu podnikatelů a stálo na prvním místě žebříčku priorit v ochraně jejich výrobních programů. Cílené pojistné programy by měly plnit svoji funkci v nahodilém okamžiku a kompenzovat finanční ztráty, kdy to bude potřeba, což je zejména v případě vzniku škodní události, a staly se tak nezbytnou součástí ochrany podnikatelů.
|
|
Vliv facilitačních technik na kognitivní funkce u roztroušené sklerózy mozkomíšní
Kořínková, Markéta ; Řasová, Kamila (vedoucí práce) ; Kövári, Martina (oponent)
Poruchy kognitivních funkcí mají velký dopad na kvalitu života nemocného, jeho rodiny a blízkých. Ovlivňují pacientovo zaměstnání, sociální interakci i nezávislost. Tato diplomová práce se zaměřuje na možnost zlepšení kognitivních funkcí u roztroušené sklerózy mozkomíšní (RS) prostřednictvím facilitační fyzioterapie. Dvanáct nemocných dobrovolníků podstoupilo dvouměsíční fyzioterapeutický program (motorické programy aktivující terapie) v délce 1 hodiny, dvakrát týdně. Před začátkem a po skončení terapeutického programu bylo provedeno vyšetření klinickým testem PASAT a zobrazení funkční magnetickou rezonancí (fMRI). Výsledky fMRI byly dále porovnány se skupinou zdravých dobrovolníků. V klinickém testu došlo u nemocných po terapii ke zlepšení výkonu. V datech z fMRI byl po terapii vysledován dřívější nástup a změna průběhu křivky mozkové aktivace, které ukazují na zlepšení rychlosti zpracování informací u nemocných s RS.
|
host ::
