|
Aktuální environmentální hrozby a jejich impakt v krajině
Zapletalová, Jana ; Kirchner, Karel
Workswhop Aktuální environmentální hrozby a jejich impact v krajině byl organizován v rámci Strategie Akademie Věd AV21, programu Přírodní hrozby. Tematicky byly zastoupeny jak přírodní hrozby (geologicko-geomorfologické hrozby - svahové deformace, eroze, hydrometeorologické extrémy - povodně, sucho, biologické invaze) a jejich hodnocení a predikce, tak i sociální i právní důsledky přírodních i aktivitami člověka vyvolaných hrozeb a jejich dopady v krajině (např. změny urbánního prostředí, antropogenní impakty v důlních oblastech). Významná byla témata zaměřená na hodnocení přírodních a environmentálních hrozeb a řešení vybraných mimořádných a krizových situací s využitím geoinformačních technologií.
Plný tet: UGN_0465323 - PDF Plný text: content.csg - PDF
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
Marketingový audit festivalu Divadlená Nitra
Surovková, Simona ; JEŽEK, Vlastimil (vedoucí práce) ; SYROVÝ, Daniel (oponent)
Divadelná Nitra je medzinárodný divadelný festival s vyše 20-ročnou tradíciou, ktorý každoročne prináša do Nitry výber najlepších európskych inscenácií sezóny. Svojim návštevníkom ponúka prezentáciu špičkových diel súčasného činoherného divadla s presahom do tanečného, pohybového, výtvarného a hudobného umenia, nové a inšpiratívne umelecké formy, bohatý sprievodný a pracovný program, a množstvo iných umeleckých a kultúrnych aktivít. Festival je medzinárodne uznávaným kultúrnym podujatím a má zásadný význam v kontexte súčasného slovenského divadelného umenia. Napriek tomu, podobne ako veľa iných neziskových organizácií, každým rokom bojuje o zachovanie stabilnej finančnej situácie a aj pri vynaložení enormnej snahy a dlhoročných skúsenostiach manažmentu sa niektorým organizačným problémom nevyhne. Viaceré z nich súvisia s marketingom organizácie. Cieľom marketingového auditu je zanalyzovať aktuálnu situáciu, v ktorej sa festival Divadelná Nitra nachádza, zhodnotiť stav vlastných marketingových aktivít a na základe zistených výsledkov navrhnúť riešenia, ktoré by mohli pomôcť k zlepšeniu fungovania marketingu Divadelnej Nitry.
|
|
Intradenní obchody
BOHINSKÝ, Petr
Tato práce je zaměřena na porovnání výnosnosti intradenních a krátkodobých obchodů za použití technické analýzy. Aplikací metody křížení klouzavých průměrů v období 1. ledna 2014 do 1. srpna 2016. Obchodování probíhá na základě nákupních a prodejních signálů generovaného technického indikátoru v investičním programu Alapri a XTB. Obchodovány jsou indexy DAX30, S§P100 a komodity zlato a ropa. Teoretická část práce se věnuje finančnímu trhu, komoditnímu trhu, popisuje intradenního a pozičního obchodníka včetně jejich výhod a nevýhod. Dále se zabývá technickou analýzou a vysvětluje základní investiční výrazy. Praktická část práce se věnuje popisu výsledků vymodelovaných na reálných historických datech. Na základě backtestovaných výsledků lze určit, že metoda křížení klouzavého průměru s hodnotou instrumentu je výhodnější pro krátkodobé obchody, v modelovaném případě na denním grafu než pro intradenní obchody modelovaným na čtyřhodinovém grafu. Dále bylo při modelaci zjištěno, že je výnosnější nakoupit instrumenty a nechat je za daných podmínek zhodnotit finančním trhem. Tedy nakoupit je na začátku investičního období a na konci období prodat bez dalších nákupních a prodejních operací.
|
|
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.
|
|
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.
|
|
Reflexe díla Františka Bakuleho ve vztahu k dnešní speciálně pedagogické praxi
BALÍKOVÁ, Tereza
František Bakule byl významným českým pedagogem první poloviny 20. století, prvním ředitelem Jedličkova ústavu v Praze, zakladatelem tzv. Bakulova ústavu a jedním z mála českých představitelů alternativního pojetí výchovy a vzdělávání uznávaných v zahraničí. Jeho odkaz však v současné době není naší odbornou veřejností v rámci hlavního vzdělávacího proudu ani speciálních škol dále systematicky rozvíjen a prakticky uplatňován, na rozdíl od řady zahraničních alternativních pedagogických směrů, které jsou zde úspěšně aplikovány. Cílem této bakalářské práce je proto analyzovat dílo Františka Bakuleho prizmatem současného školního edukačního prostředí s důrazem na vzdělávání žáků se zdravotním postižením. První kapitola je věnována nástinu životní cesty Františka Bakuleho, zejména se zaměřením na významné mezníky, které ovlivnily utváření jeho osobnosti, jeho myšlenky, inspiraci a motivaci a které se projevily v jeho pedagogické činnosti a následně v jeho vlastním uceleném konceptu výchovy a vzdělávání. Konkrétně je zde zmíněno jeho rodinné zázemí a dále je prostor věnován zejména jeho učitelským zkušenostem až po působení v Jedličkově ústavu a etapu života spojenou s jeho vlastním ústavem. Druhá část bakalářské práce je již zaměřena výhradně na Bakuleho specifický edukační koncept. Nejprve jsou zde vymezeny jeho principy a následně uvedeny originální učební osnovy a návrh ideálního prostředí třídy. Text dále obsahuje detailní popis výuky několika předmětů, které byly těžištěm Bakuleho konceptu, a to jmenovitě pracovních činností, hudební výchovy a výtvarné výchovy. Původní didaktické postupy jsou analyzovány s využitím současné terminologie. Vzhledem k vymezenému cíli bylo třeba ve třetí kapitole analyzovat současné pojetí vzdělávání ve výše zmíněných, podle Bakuleho stěžejních oblastech. Text je koncipován tak, aby bylo možné následně reflektovat dílo Františka Bakuleho z pohledu dnešní pedagogické, respektive speciálně pedagogické praxe, nalézt styčné body či odlišnosti a odhalit nevyužitý inspirační potenciál. Tomu je pak věnována čtvrtá, závěrečná kapitola. Na základě analýzy a následné reflexe bylo ve výsledku konstatováno, že ačkoli se Bakulem formulované vzdělávací cíle významně neodlišují od současného pojetí zakotveného v příslušných rámcových vzdělávacích programech, k jejich dosažení se v současné době užívá odlišných postupů a metod. A to přestože sám Bakule své postupy, které lze velmi zjednodušeně charakterizovat mottem "neučit žáky o životě a práci, ale životem a prací", s úspěchem ověřil v praxi a že mu v řadě případů daly za pravdu pozdější výsledky psychologických výzkumů, čímž poskytly jeho didaktickému odkazu teoretickou oporu. Z výše uvedeného je zřejmé, že odkaz díla Františka Bakuleho nebyl naší odbornou pedagogickou veřejností dostatečně doceněn a vytěžen. Na druhou stranu je třeba konstatovat, že jeho širšímu uplatnění stojí v cestě roztříštěnost, v níž se nám dochoval.
|
|
Konzumace vlákniny v seniorském věku
ŠÁLEK, Jan
Tématem této bakalářské práce je Konzumace vlákniny v seniorském věku. V dřívějších letech byla vláknina brána jako látka zbytečně zatěžující lidský organismus. Postupem času bylo zjištěno, že má poměrně velký vliv na zdraví člověka především tím, že slouží jako prebiotikum pro synbiotické bakterie osidlující trávicí trakt. Stále převládá dělení vlákniny na rozpustnou a nerozpustnou, přestože některé druhy vlákniny nelze zcela s určitostí zařadit ani do jedné skupiny, protože mají vlastnosti obou. Denní doporučená dávka je 30 g. Ke zpracování praktické části byl zvolen kvalitativní výzkum. Prvním cílem práce bylo zjistit, kolik vlákniny senioři konzumují. Druhým cílem bylo porovnat konzumaci vlákniny u seniorů žijících samostatně a seniorů žijících v domovech pro ně určených. Výzkumný soubor u první výzkumné otázky tvoří 20 seniorů z Jihomoravského kraje starších 65 let. V druhé výzkumné otázce tvoří výzkumný soubor 5 domovů pro seniory z celé České republiky. Všichni respondenti dostali záznamový arch na jeden týden a pokyny jak jej vyplňovat. Získané jídelníčky byly následně propočítány v programu "Nutriservis Profesional". Výsledky ukazují vyšší konzumaci vlákniny než je průměr v České republice, ale stále chybí téměř polovina do naplnění doporučené denní dávky. Zároveň bylo sledováno i BMI a jeho vliv na konzumaci vlákniny. Žádný významný vliv shledán nebyl, jelikož nadváhu kromě jednoho respondenta měli všichni dotazovaní. U vyhodnocených jídelníčku z domovů pro seniory je znát finanční limit, tudíž žádné celozrnné produkty, téměř žádná zelenina a malé množství ovoce. I přes tyto omezení je průměrná konzumace vlákniny téměř stejná jako u seniorů žijících samostatně. V závěru je navrženo jak i přes nízké finanční prostředky navýšit příjem vlákniny a zamezit nebo alespoň snížit problémy spojené s její nízkou konzumací. Doporučení u respondentů jsou individuální pod každým vyhodnocením.
|
|
Dieta při potravinových alergií
DOBRUSKÁ, Klára
Jako téma své bakalářské práce jsem si zvolila téma Dieta u potravinových alergií. Toto onemocnění je v dnešní době hodně rozšířené. Nejčastěji postihuje kojence, ale u dětí trpících alergií na bílkovinu kravského mléka většinou do tří let sama vyhasíná. V posledních letech je také větší množství případů, kdy pacient trpí více alergiemi. Také se zvyšuje počet lidí, kteří po požití alergenu mají nejzávažnější ztížený průběh reakce a to anafylaktický šok, který může končit i smrtí. Lékaři dnes proto doporučují, aby pacienti striktně dodržovali eliminační dietu, která je základní léčbou celého onemocnění. Další důležitý faktor, který se podílí na efektivní léčbě, je co nejpřesnější diagnostika formy onemocnění, zda je charakteru imunologického či není. V této bakalářské práci jsem si zvolila tři cíle, prvním bylo zjištění, zda jsou pacienti dostatečně informováni o svém onemocnění. Dalšími cíli bylo zmapování stravovacích zvyklostí u osob s potravinovou alergií a zhodnocení správnosti jídelníčků. Zvolila jsem metodu kvalitativního výzkumu, kdy výzkumný soubor tvořilo šest respondentek s různou potravinovou alergií. Tyto respondentky si zapisovaly týdenní jídelníček, který byl poté vyhodnocen v programu Nutriservis a na základě toho bylo posouzeno, zda splňuje doporučené výživové hodnoty. Pro každou z nich byl vypočítán adekvátní denní příjem energie a základních živin. Také bylo zhodnoceno, zda respondentky dodržují zásady racionální stravy, a zda jejich strava obsahuje dostatečné množství minerálních látek a vitamínů. Dalším klíčovým bodem výzkumu byly dotazníky, které se týkaly informovanosti pacientek o jejich onemocnění a toho, kdo je o onemocnění poučil. Bylo zjištěno, že pacientky nemají o svém onemocnění dostatek informací a polovina z nich nemá ponětí, které základní živiny, minerální látky či vitamíny by mohly v jejich stravě chybět. Zároveň z jejich jídelníčků vyplývalo, že pět ze šesti respondentek nedodržuje zásady racionální diety a stravují se velmi monotónně. Pouze jedna respondentka eliminační dietu přísně dodržuje, ostatní dietu porušují. Respondentky by uvítaly zaměřit se na vybudování specializovaných center a zaškolení lékařů a nutričních terapeutů, kteří by se věnovali potravinovým alergiím. Dále je důležité rozšířit informace o tomto onemocnění nejen do povědomí pacientů, ale i samotné veřejnosti a zvýšit množství knih na našem trhu, které by se zabývaly problematikou potravinových alergií.
|