|
Programs for design of systems in particle optics
Lencová, Bohumila ; Zlámal, J. ; Jánský, P.
The paper describes a number of programs used by us in the design of systems for surface studies and deposition that simulate the focusing, transport and deflection of charged particles. In deposition and implantation systems often quite intense beams of ions are used where the space charge effects become prohibitive. Therefore we have extended our 2D FEM program EOD, equipped with a Windows graphical interface, with an option to compute space charge limited beams.
|
|
Edukační specifika u žáků s autismem
Jiříková, Adéla ; Šiška, Jan (vedoucí práce) ; Šumníková, Pavlína (oponent)
Bakalářská práce se zabývá edukačními specifiky u žáků s autismem. V úvodu práce přibližuje autorka základní oblasti postižení u poruch autistického spektra (PAS) a základní metody, které se při práci s jedinci s těmito poruchami používají. Práce přináší i stručný vhled do systému vzdělávání žáků a studentů s PAS v České republice. Jádro práce tvoří popis TEACCH programu, který je v současnosti považován za nejúčinnější metodu práce s jedinci s autismem. Součástí bakalářské práce je průzkum, který byl proveden mezi pedagogy a rodiči žáků Mateřské školy speciální, Základní školy speciální a Praktické školy ELPIS, ve které jsou při práci s žáky s PAS uplatňovány principy TEACCH programu. Při průzkumu byla využita metoda strukturovaného rozhovoru. Cílem šetření bylo zjistit, do jaké míry se u šesti konkrétních žáků liší způsob zacházení ve škole a doma a jaký vliv na ně případné odlišnosti mají. Zjištěné výsledky mají ukázat výhody a slabiny aplikace TEACCH programu v České republice, dále mají ilustrovat míru spolupráce rodiny a školy a mohou se tak stát inspirací pro rodiče i pedagogy.
|
|
Architektura bezserverových jednostránkových aplikací v jazyku JavaScript
Zikmund, Marian ; Pecinovský, Rudolf (vedoucí práce) ; Suchan, Vladimír (oponent)
Cílem diplomové práce je návrh a vývoj frameworku pro tvorbu moderních jednostránkových aplikací (Single Page Application) v programovacím jazyku JavaScript a popsání tohoto přístupu k vývoji. Součástí práce je taktéž jeho dokumentace pro pohodlnější využití a přizpůsobení. Obsah je rozdělen do osmi kapitol. Po úvodu následuje rešerše informačních zdrojů, představení programovacího jazyka JavaScript a vysvětlení problematiky tvorby jednostránkových aplikací, včetně popisu základních principů jejich fungování, motivace a odůvodnění, kdy a proč je tento přístup vhodný. Práce se primárně zaměřuje na problematiku jednostránkových aplikací, pro jejichž tvorbu je programovací jazyk JavaScript klíčový. Z toho důvodu je mu v práci poskytnuta jedna celá kapitola, je zde rozebrána i jeho historie a role v kontextu ostatních. Následuje přehled obecných vlastností jednostránkových aplikací, analýza aktuálně oblíbených řešení stavějících na knihovně ReactJS, z nichž vyplývají požadavky na vyvíjený framework, jehož tvorbou se zabývá následující kapitola. K vyvinutému frameworku je též vytvořena uživatelská příručka. Praktickým výstupem práce je open source framework pro tvorbu bezserverových jednostránkových aplikací, který lze podle požadavků díky své architektuře a dokumentaci vhodně přizpůsobovat.
|
|
Vícekriteriální hry
Tichá, Michaela ; Dlouhý, Martin (vedoucí práce) ; Lachout, Petr (oponent) ; Čičková, Zuzana (oponent)
Teorie vícekriteriálních her je speciální oblastí z teorie her, kdy jeden či více hráčů mají alespoň dvě výplatní funkce a chtějí je maximalizovat zároveň. V této práci je představena řada nových poznatků. Je zkoumán koncept hledání rovnovážných bodů v ryzích strategiích v nekooperativní vícekriteriální hře. Ukázalo se, že je možné určit všechny rovnovážné body v ryzích strategiích úplným prohledáním a vyřešením dvou lineárních programů pro každý bod. Dále je obecně formulováno, jak pomocí dvou lineárních programů ověřit, zda je libovolně navržený bod rovnovážným bodem hry či nikoli. V nekooperativních hrách je také představen koncept, který při znalosti rovnovážného bodu dvoumaticové hry určí preference hráčů, které musejí mít, aby daný bod byl rovnovážným. Přestože hledání rovnovážného bodu dvoumaticové hry je nelineární úloha, hledání preferencí hráčů při znalosti rovnovážného bodu je úloha lineární. Poslední poznatkem v části nekooperativních her je zobecnění konceptu, který vyřeší vícekriteriální hru přiřazením vah jednotlivým kritériím každým hráčem. V práci je dokázáno, že se nemusí jednat nutně o lineární váhy, ale pro řešení převedením na jednokriteriální hru stačí obecnější funkce, kterou hráč popíše své preference. Zbylá část práce se věnuje poznatkům v kooperativních hrách. V práci se uvažuje, že hráči znají své preference a jsou schopni je vyjádřit pomocí vah. Hra se známými preferencemi je definována a vyřešena za pomoci teorie vyjednávání. Poté je ještě zobecněna na případ, kdy hráči nejen že mají více kritérií, ale mají také více výplatních funkcí, ze kterých si mohou vybrat na základě svého uvážení. Nakonec je definován vícekriteriální případ speciálního typu kooperativní hry - volební hry. Je navržen zcela nový koncept, který vybere vítěznou koalici ve volební hře. Ten je poté aplikován na reálnou situaci po volbách do Poslanecké sněmovny Parlamentu ČR v roce 2013.
|
|
Analysis of drawing contributions from the Regional Operational Programme in the Košice Region 2007 - 2013
Hupka, Peter ; Kalábová, Markéta (vedoucí práce) ; Abrhám, Josef (oponent)
Regionální politika se stává jednou ze strategických priorit Evropské unie až s jejím postupným rozšířením. Hlavním nástrojem této politiky jsou dotace pro zaostalejší regiony. Tato práce má za cíl zhodnotit Regionální operační program v Košickém kraji v rámci programového období 2007 až 2013. Teoretickou částí autor popisuje proces formování Evropské unie, obecně charakterizuje eurofondy a specifikuje Slovenskou republiku a Košický kraj. Analytická část je věnována charakteristice samotného Regionálního operačního programu. Použitím metody porovnávání jsou hodnoceny jednotlivé prioritní osy operačního programu na základě úspěšnosti čerpání alokací. Pro objektivní zhodnocení byl porovnán i Košický kraj s ostatními kraji Slovenské republiky na úrovni prioritních os. Na základě analýzy autor zhodnotil Regionální operační program v Košickém kraji jako úspěšný s prostorem na zlepšení přizpůsobení alokací.
|
|
Aplikace simulací Monte Carlo v bankovnictví
Boruta, Matěj ; Teplý, Petr (vedoucí práce) ; Fučík, Vojtěch (oponent)
Bankovnictví je v současnosti vystaveno vysokým tržním rizikům. Jedním z těchto rizik je například výskyt negativní úrokové míry v EU. Je důležité používat při měření bankovních rizik sofistikované moderní metody, které nám umožní riziko změřit a následně i řídit. Jednou z těchto metod je metoda Monte Carlo. V této bakalářské práci jsem se zaměřil na analýzu a 3, 6 a 12 měsíční predikci úrokové sazby PROBOR s 3 měsíční splatností pomocí simulace Monte Carlo. Zjistil jsem, že tato metoda je vhodná pro predikci tržních veličin s nižšií volatilitou. Při aplikaci této metody je nezbytné kalkulovat s úskalími a předpoklady, které tato metoda zahrnuje, jako je adekvátní počet scénářů, aproximace správného rozdělení, nezávislost dat a v neposlední řadě, pokud je to možné, tak se zaměřit na faktory, které generují nahodilost tržní veličiny a ne na ceny, které spíše představují následky náhodného jevu než jejich příčinu. Dále jsem predikci srovnal s prognózou ČNB a zjistil jsem, že predikce Monte Carlo je přesnější na krátkodobé prognózy. Predikce Monte Carlo na 12 měsíců také odhalila možnost negativní úrokové sazby na 0,05%, kdežto prognóza ČNB negativní úrokovou sazbu nepredikovala vůbec.
|
|
Rozhodování o rodinném bydlení
Kačírková, Petra ; Brožová, Helena (vedoucí práce) ; Adam, Adam (oponent)
Tato diplomová práce se zabývá výběrem nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru pro rodinu s dětmi. Rodině měla být vybrána nemovitost v okolí svého momentálního bydliště a poté jí měl být doporučen k této nemovitosti nejvýhodnější hypoteční úvěr. Výběr nemovitosti byl ovlivněn požadavky všech členů rodiny a následný hypoteční úvěr byl vybrán z produktů nabízených na českém trhu v listopadu roku 2016. Práci lze tematicky rozčlenit do tří hlavních částí. První část obsahuje literární rešerši, která je rozdělena do dvou oblastí. Nejprve jsou popsány metody vícekriteriálního rozhodování, které budou použity v procesu rozhodování. Společně s těmito metodami obsahuje literární rešerše i teoretickou část z oblasti programu Super Decisions, který bude využit v praktické části. Dále jsou teoreticky zachyceny pojmy týkající se hypotečních úvěrů, podle nichž jsou poté stanovena kritéria pro hodnocení hypotečních úvěrů. Druhá část práce obsahuje již praktický pohled na problematiku rodiny, což zahrnuje tedy výběr nejvhodnější nemovitosti a nejvýhodnějšího hypotečního úvěru za pomoci programu Super Decisions. Třetí část práce zahrnuje shrnutí práce a interpretaci výsledků získaných díky programu Super Decisions.
|
|
Neinvazivní metody pro stanovení pohlaví a stereoidních hormonů u gibonů rodu Nomascus
Bolechová, Petra ; Bartoš, Luděk (vedoucí práce) ; Pavel, Pavel (oponent)
Giboni rodu Nomascus patří ke kriticky ohroženému druhu, o kterém zároveň chybí velké množství základních biologických informací. Vzhledem ke statutu těchto zvířat ve volné přírodě i počtu chovaných jedinců v chovu zoologických zahrad je prioritní otázkou zlepšení managmentu chovu, kam patří i znalost reprodukce. Základním cílem této práce je praktické využití neinvazivních metod (polymerázová řetězová reakce k extrakci DNA a enzymové imunotesty), využívajících k analýzám vzorky výkalů. První metoda, polymerázová řetězová reakce, byla využita pro determinaci pohlaví u mláďat, protože kvůli jejich specifickému zbarvení a vzhledové podobnosti vnějších pohlavních orgánů, není diagnostika možná bez odchycení zvířete. Další částí je zodpovězení hypotéz týkajících se ovariálního cyklu samic a faktorů ovlivňujících jejich koncentrace včetně souvislosti nástupu pohlavního cyklu u samic a jejich změny barvy srsti. Hypotézy byly ověřeny sledováním výše koncentrací metabolitů progesteronu a estrogenu ve výkalech a vyhodnocením složení chovné skupiny gibonů a vlivu ZOO. Celkem bylo analyzováno během čtyř let (2010-2014) 51 zvířat z 16 zoologických zahrad v celkovém množství 1618 vzorků výkalů. Výsledky potvrdily využití neinvazivních metod pro determinaci pohlaví a tak zajištění maximálního welfare v chovech. Endokrinologické analýzy potvrdily hypotézy o vlivu prostředí (ZOO) na koncentraci hormonů a vliv březosti samice a jejího věku na výši koncentrace hormonů, ale také vliv březosti na koncentraci hormonů u samců-otců. Prvotní informací v této studii je potvrzení nástupu ovariálního cyklu u mladých samic bez návaznosti na jejich přebarvení a významný faktor vlivu matky a její teritoriality. Tato studie předkládá první dlouhodobější monitoring ovariálního cyklu u samic a koncentrace hormonů u ostatních jedinců ve všech věkových kategoriích i pohlaví. Výsledky umožňují pochopit vliv chovatelského prostředí na reprodukční postavení těchto gibonů a přispívají k celkovému zlepšení managementu chovu.
|
|
Portace knihovny Prawn z Ruby do Pythonu 3
Molhanec, Michal ; Pícka, Marek (vedoucí práce) ; Mikoláš, Mikoláš (oponent)
Práce se zabývá automatickým překladem kódu napsaného v jazyku Ruby do Pythonu 3. Nejprve jsou prozkoumány principy překladu, jak je popisuje odborná literatura. V další části se porovnávají jednotlivé jazykové konstrukce a jsou navrženy způsoby jejich překladu.
Na základě této teorie byl vyvinut překladač, který svou funkčnost ukazuje na překladu knihovny Prawn pro generování PDF souborů.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
host ::
