|
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.
|
|
Kulturní domy
Adolfová, Barbora ; PROKOP, Petr (vedoucí práce) ; KAŠPAR, David (oponent)
Tato diplomová práce se věnuje vybraným kulturním domům provozovaným jako příspěvkové organizace měst. Podrobně popisuje provoz a programovou nabídku šesti z nich. Zvolené kulturní domy mají podobné výchozí podmínky - historii a velikost města, ve kterém stojí, i dobu postavení kulturního domu. Vybrané organizace se potýkají s nízkým zájmem místních obyvatel o kulturní dění, špatným technickým stavem budov a nedostatkem financí.
Cílem práce je popsat současný model fungování těchto kulturních institucí, vzájemně je porovnat a zjistit, jestli může kulturní dům zřizovaný městem v dnešní době obstát. Zaměřuje se i na spolupráci měst a jejich příspěvkových organizací z pohledu zřizovatele a ředitele, spolupráci s dalšími institucemi v místě i kulturními domy mezi sebou.
|
|
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í.
|
|
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.
|
|
Nutriční péče na dětských klinikách a nemocničních zařízeních
METELCOVÁ, Jana
Hlavním cílem bakalářské práce s názvem Nutriční péče na dětských klinikách a v nemocničních zařízeních je zhodnotit, zda jsou realizovány a zároveň kontrolovány nutriční normy, které jsou pro starší dětské pacienty vytvořeny, aby byly plněny jejich fyziologické potřeby, v mnou vybraných nemocničních zařízeních. Dalším cílem je zhodnotit spokojenost školních hospitalizovaných pacientů s výživou, kterou jim nemocnice poskytuje. Teoretická část práce pojednává o charakteristice nutriční péče a práci terapeuta s pacienty adolescentního věku a jejich výživových potřeb. Dále o nutričních rizicích a okrajově i o technologických postupech při přípravě pokrmů. Pro zpracování výzkumné části byla použita metoda kvalitativního výzkumu, která byla realizována pomocí dotazníků vyplněných předem vybranými hospitalizovanými dětmi, se kterými jsem následně provedla rozhovor. Jedná se o děti ve věku 10 - 14 let, které měly naordinovánu dietu číslo 13, cca polovinu výzkumného vzorku tvořili chlapci a polovinu tvořila děvčata. Výzkum s pacienty jsem provedla na dětském oddělení v nemocnici v Jindřichově Hradci v prosinci roku 2015 a na tomtéž oddělení v nemocnici v Českých Budějovicích v únoru roku 2016. Počáteční počet respondentů byl po pěti pacientech na každém oddělení, v mém výzkumu byla ale využita metoda tzv. sněhové koule, a tak jsem na každém pracovišti byla v kontaktu s deseti dětmi. Týdenní jídelní lístek, podle kterého byly pokrmy dětem poskytovány, jsem získala ve stravovacích zařízeních nemocnic. Stravu jsem poté zadala do programu: ,,Nutriservis Profi", pomocí kterého jsem získala hodnoty živin, jež připravovaná strava obsahovala. Výsledky z obou nemocnic, které vzešly z programu, jsem porovnala s nutričními hodnotami pro daný věk, které jsou stanoveny Společností pro výživu, a tak jsem mohla zhodnotit plnění fyziologických potřeb pacientů. Z výsledků, které jsem získala, jsem zjistila, že obě nemocnice mají problém zajistit svým dětským pacientům dostatek vlákniny, fosforu a vápníku. Dále je v jídelníčkách obsažen nadbytek sodíku, draslíku, cholesterolu a vitamínu C. Díky tomu, že jsem působila na stáži jak v nemocnici v Jindřichově Hradci, tak v Českých Budějovicích, mohla jsem zhodnotit i realizaci kontroly plnění fyziologických potřeb dětí. Vzhledem k tomu, že předchozí vyhodnocování prokázalo jisté nedostatky, měli by se terapeuti z obou nemocnic více zaměřit na kontrolu nutričních hodnot jídel předkládaných dětem a následně doporučuji více se věnovat jídelníčkům i z pohledu zlepšení jejich pestrosti. Terapeuti by také měli vylepšit svoji docházku na dětská oddělení, ta je momentálně nulová. Hodnocení dětí, které vyšlo z dotazníků a osobních rozhovorů, jsem zpracovala a porovnala navzájem obě nemocnice. Z těchto údajů mi vyšla větší spokojenost se stravováním u dětí hospitalizovaných v nemocnici v Jindřichově Hradci. V závěru práce shrnuji celý výzkum, který jsem provedla, a navrhuji zlepšení pro nemocnice, které by dle mého názoru bylo vhodné. V přílohách je zařazen vzorový týdenní jídelníček pro dietu číslo 13, který by nemocnice mohly využít.
|
|
Bezlepková dieta - realita ve školních zařízeních
JIRÁČKOVÁ, Marie
Tématem této bakalářské práce je bezlepková dieta realita ve školních zařízeních. Cíli mé práce bylo zmapování počtu školních jídelen v Kraji Vysočina, ve kterých je možnost bezlepkového stravování, posouzení znalostí zaměstnanců školní jídelny o přípravě bezlepkové diety a popsání spolupráce mezi školní jídelnou a rodinou bezlepkově stravovaného žáka. Školní stravování je důležité kvůli zajištění optimálního příjmu živin během doby, kterou tráví dítě ve škole, kvůli výchově ke správným stravovacím návykům a z důvodu lepšího začleňování dítěte do kolektivu. Bezlepková dieta je nezbytné léčebné opatření především pro celiaky, u kterých dochází vlivem působení lepku k atrofii střevní sliznice, a alergiky, u kterých může po požití lepku dojít až k anafylaxi. Dodržování bezlepkové diety se doporučuje i lidem s diagnózou neceliakální glutenové senzitivity, ačkoliv u nich vyvolává konzumace lepku pouze krátkodobé obtíže, většinou intestinálního charakteru. Pro zpracování praktické části bakalářské práce byla zvolena metoda kvalitativního i kvantitativního výzkumu, výzkumný soubor tvořilo 8 školních jídelen Kraje Vysočina, které svým žákům bezlepkové stravování umožňují. Polostrukturovanými rozhovory s vedoucími jednotlivých školních jídelen, případně s kuchařkami, které se přípravou diety zabývají, jsem zjišťovala jejich informovanost o zásadách bezlepkové diety. Součástí mého výzkumu byl propočet dvoudenního jídelního lístku každé jídelny pomocí programu Nutriservis Profesional. Výsledky jsem porovnávala s doporučenou denní dávkou energie, bílkovin, tuků a sacharidů pro žáky základních a středních škol. Z výsledků kvantitativního výzkumu vyplývá, že bezlepkovou dietu připravuje velmi malé procento školních jídelen v Kraji Vysočina. Z výsledků kvalitativního výzkumu je patrná dostatečná informovanost kuchařek o bezlepkové dietě, informovanost kuchařek, které se přípravou diety přímo zabývají, je na výrazně vyšší úrovni. Zároveň jsem zjistila, že spolupráce s rodiči bezlepkově stravovaných žáků je spíše nárazová a omezuje se většinou na domluvení balíčků s trvanlivými bezlepkovými potravinami.
|
|
Spokojenost pacientů s poskytovanými službami-důležitý indikátor kvality zdravotnického zařízení.
MALANÍKOVÁ, Jana
Má diplomová práce na téma "Spokojenost pacientů s poskytovanými službami- důležitý indikátor kvality zdravotnického zařízení" pojednává především o spokojenosti pacientů s poskytovanými službami v Nemocnici České Budějovice, a.s. Dále o mapování zaměřeném na celkovou spokojenost s péčí v již zmíněné českobudějovické nemocnici a na průzkum toho, zda pacienti hodnotí kvalitu poskytovaných informací lékařem v této nemocnici kladně a jestli jsou spokojeni s péčí zdejších zdravotních sester. Spokojenost pacientů je důležitým indikátorem kvality poskytované péče, který má vliv na jejich stav základních lidských potřeb. Byl stanoven jeden hlavní cíl: Zmonitorovat spokojenost pacientů s poskytovanými službami v Nemocnici České Budějovice, a.s. Tento cíl byl i splněn. Byl proveden kvantitativní výzkum, k jehož uskutečnění byla použita metoda dotazování. Prostřednictvím techniky standardizovaných anonymních dotazníků byly na základě výše zmíněného cíle ověřovány 3 následující hypotézy: 1) Pacienti jsou spokojeni s celkovou péčí v Nemocnici České Budějovice, a.s. 2) Dotazovaní pacienti hodnotí kvalitu poskytovaných informací lékařem v Nemocnici České Budějovice, a.s. kladně. 3) Dotazovaní pacienti jsou spokojeni s péčí zdravotních sester v Nemocnici České Budějovice, a.s. Data jsem zpracovávala za účelem potvrzení či vyvrácení předem stanovených hypotéz. Vyhodnocení dat proběhlo pomocí statistických neparametrických metod, Chí kvadrát testem a zvolenou hladinou významnosti p=0,05. Výsledky výzkumu byly přehledně zpracovány do tabulek a grafů. Ke zpracování výsledků byl použit program Microsoft Office Excel 2010.
|
|
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í.
|
host ::
