| |
|
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.
|
|
Míry podobnosti pro nominální data v hierarchickém shlukování
Šulc, Zdeněk ; Řezanková, Hana (vedoucí práce) ; Šimůnek, Milan (oponent) ; Žambochová, Marta (oponent)
Tato disertační práce se zabývá mírami podobnosti pro nominální data v hierarchickém shlukování, které umožňují zacházet s proměnnými s více než dvěma kategoriemi a které si kladou za cíl nahradit postupy založené na koeficientu prosté shody, které se v této oblasti běžně používají. Tyto míry podobnosti uvažují dodatečné informace ohledně datového souboru, jako je rozdělení četností kategorií u dané proměnné nebo počet jejích kategorií. Tato práce se věnuje třem hlavním cílům. Prvním cílem je prozkoumání a ohodnocení kvality shlukování vybraných měr podobnosti pro hierarchické shlukování objektů a proměnných. K dosažení tohoto cíle bylo provedeno několik experimentů, které se zabývají jak shlukováním objektů, tak proměnných. Tyto experimenty zkoumají kvalitu shluků vytvořených za pomocí zkoumaných měr podobnosti pro nominální data ve srovnání běžně používanými mírami podobnostmi využívajícími binární transformaci a dále s několika alternativními metodami pro shlukování nominálních dat. Toto porovnání je provedeno na reálných i generovaných souborech. Výstupy těchto experimentů vedou ke zjištění, které míry podobnosti jsou vhodné k obecnému použití, které podávají dobré výsledky v konktrétních situacích a které nejsou doporučeny pro shlukování objektů nebo proměnných. Druhým cílem práce je navržení míry podobnosti vycházející z teoretických předpokladů a její následné porovnání s ostatními zkoumanými mírami podobnosti. Na základě tohoto cíle byly představeny dvě nové míry podobnosti, Variable Entropy a Variable Mutability. Obzvláště prvně zmíněná míra podává velmi dobré výsledky u souborů s nižším počtem proměnných. Třetím cílem této práce je poskytnout komfortní sofwarové řešení založené na zkoumaných mírách podobnosti pro nominální data, které pokrývá celý proces shlukování od výpočtu matice vzdálenosti po hodnocení výsledných shluků. Tento cíl byl dosažen vytvořením balíčku nomclust pro program R, který řeší tuto problematiku a který je volně dostupný.
|
|
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.
|
|
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.
|
|
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ů.
|
|
Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů
Tulach, David ; Lačev, Alek (vedoucí práce) ; Hochel, Matej (oponent)
Tato práce, Spolupráce středních škol s externími firmami v přípravě školních vzdělávacích programů, se zabývá otázkou, zdali je možné a přínosné, aby střední školy spolupracovaly s firmami na přípravě či úpravě svých vzdělávacích programů za cílem zlepšení kvality vzdělávání. Po prvotních příspěvcích ze strany odborníků, které na tuto otázku odpovídaly negativně, byl pohled zaměřen na kořen věci - na čem stojí historické pilíře školství a pedagogiky, co o učení se a výuce říká věda, jak pedagogika reaguje na krizi věd. Při porovnání literárních zdrojů a závěrů z rozhovorů s odborníky v kombinaci s analýzou stop a výsledků činnosti odborníků dalších byla stanovena teorie, že veřejné školství dospívá do bodu krize, ve své podstatě se od svého vzniku nezměnilo a nejlepším řešením může být vytvoření alternativních vzdělávacích institucí.
|
|
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.
|
|
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
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
|
host ::
