|
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.
|
|
Čerpadlo s difuzorem s použitím stochastických lopatek (oběžné kolo i difuzor)
Dobšáková, Lenka ; Melichar, Jan (oponent) ; Veselý, Jindřich (oponent) ; Haluza, Miloslav (vedoucí práce)
Tato dizertační práce se zabývá studiem nerovnoměrné lopatkové mříže u odstředivých čerpadel. Vliv nerovnoměrné lopatkové mříže je zkoumána u oběžného i rozváděcího kola. Nerovnoměrné lopatkování kol čerpadla je v této práci zkoumáno z hlediska vlivu na účinnostní charakteristiku. Myšlenkou použití nerovnoměrného lopatkování je získání ploché účinnostní charakteristiky. Odstředivé čerpadlo by pak mohlo být používáno na větším rozsahu výkonů při dosažení dostatečně velké účinnosti. Práce je založena na experimentální měření a numerické simulaci nerovnoměrných hydraulických prvků čerpadla. Nerovnoměrné oběžné kolo a rozvaděč byli pro tento výzkum nově navrženy. Pro měření bylo v rámci této práce potřeba navrhnout a sestavit novou měřící trať malých ponorných čerpadel. Měřeny byly různé sestavy čerpadla s kombinacemi běžných návrhů hydraulik na jeden pracovní bod a hydraulik s nerovnoměrnou lopatkovou mříží. Všechna měření byla vyhodnocena a byly získány charakteristiky účinnosti, dopravní výšky a příkonu pro každou měřenou kombinaci. Část sestav měřených experimentálně byla také numericky vypočtena pomocí programu Ansys Fluent. Z numerických výpočtů byla sbírána data potřebná pro vyhodnocení charakteristiky účinnosti a měrné energie pro každou řešenou sestavu. Teoretické úvahy se týkají vlivu nerovnoměrné mříže u rozvaděče a vzniká tak doporučení, jak by bylo možné významně snížit ztráty v kanálech. Bylo také provedeno teoretické odvození způsobu, jak získat plochou charakteristiku účinnosti oběžného kola.
|
|
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.
|
|
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.
|
|
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í.
|
|
Verifikace a dokazování geometrických vět s podporou počítače
CUKR, Pavel
Cílem diplomové práce Verifikace a dokazování geometrických vět s podporou počítače je ověření a dokazování vybraných geometrických vět a tvrzení pomocí programů GeoGebra a CoCoA. Každý problém je nejprve demonstrován v programu GeoGebra, poté následuje ověření (verifikace) problému v tomtéž programu. Dále je uveden klasickýdůkaz a důkaz, případně určení rovnice křivky, pomocí matematického programu CoCoA. Využití programu dynamické geometrie současně s programem počítačové algebry je vhodné jako učební pomůcka v hodinách matematiky na základních a středních školách.
|
|
Management produkčních populací lesních dřevin s využitím metod matematického programování
Hořejší, Matouš ; Lstibůrek, Milan (vedoucí práce) ; Stejskal, Jan (oponent)
Šlechtění lesních dřevin představuje obrovskou příležitost pro lesní hospodářství, jak uspět v současném moderním světě. Vyšlechtěné lesní dřeviny mají lepší růstové vlastnosti a projevuje se u nich vyšší odolnost vůči stresu a nepříznivým podmínkám, které budou pravděpodobně v budoucnu narůstat.
Pro zakládání semenných sadů je nezbytné vytvořit kvalitní a spolehlivý algoritmus, podle kterého bude probíhat selekce klonů. Model vytvořený v této práci na bázi matematického programování optimalizuje směs klonů s nejvyšší možnou šlechtitelskou hodnotou a zároveň zabraňuje nárůstu příbuznosti, která by vedla k nežádoucímu poklesu genové diverzity.
|
|
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.
|
host ::
