|
|
Searching trails in maps
Drahovský, Robin ; Pangrác, Ondřej (vedoucí práce) ; Veselý, Pavel (oponent)
Táto práca popisuje návrh a implementáciu aplikácie, ktorá dokáže vyhľadávať najkratšie cesty v reálnych mapových podkladoch a zároveň berie do úvahy výškové dáta. Vyhľadávanie je rýchle a dá sa prispôsobiť potrebám užívateľa bez nutnosti znova vytvoriť graf, čo túto aplikáciu odlišuje od väčšiny mapových aplikácií, ktoré povoľujú užívateľovi pracovať iba s predpripravenými profilmi vyhľadávania. Okrem vyhľadávania aplikácia umožňuje vygenerovať vysoko kompaktný graf z mapových dát v OSM formáte, ktorý umožňuje rýchly prístup k informáciám potrebným na hľadanie najkratšej cesty. Aplikácia taktiež dokáže vykresliť mapové dáta, s vlastným štýlom vykresľovania a kontúrami, ale vie aj zobraziť mapu zo serverov projektu OpenStreetMaps.
|
|
|
Žákovské strategie při řešení aditivních algoritmů
Khanová, Alžběta ; Kloboučková, Jaroslava (vedoucí práce) ; Slezáková, Jana (oponent)
Tato diplomová práce se zabývá strategiemi, které žáci užívají při řešení aditivních úloh. Teoretická část se zaměřuje na období mladšího školního věku, na proměnu školství ve 20. století a na operaci sčítání. Praktická část popisuje sérii experimentů realizovaných v hodinách matematiky se žáky z 1. stupně ZŠ. Během experimentu jsem seznámila žáky s prostředím stovkové tabulky. Po ukončení experimentu jsem porovnávala strategie žáků při řešení aditivních úloh. Srovnávala jsem mezi sebou žáky, kteří byli součástí experimentu a jsou vyučováni podle učebnic z Nakladatelství Fraus s žáky, kteří se experimentu nezúčastnili a jsou vyučováni podle učebnic z Nakladatelství ALTER.
|
|
|
Vizualizace adaptivního mravenčího algoritmu
Tichý, Vojtěch ; Kumpán, Pavel (oponent) ; Appel, Martin (vedoucí práce)
Bakalářská práce se zabývala naprogramováním a vytvořením modelu pro edukaci a pochopení fungování optimalizace mravenčí kolonií (ACO – Ant Colony Optimization), která byla upravena tak, aby byla schopna se adaptovat na změnu terénu. Práce byla dále zaměřena na porovnání několika dalších přírodou inspirovaných optimalizačních metod a vytyčení jejich využití v praktických situacích.
|
|
|
Využití distribuovaných a stochastických algoritmů v síti
Yarmolskyy, Oleksandr ; Kenyeres, Martin (oponent) ; Novotný, Bohumil (vedoucí práce)
Tato diplomová práce se zabývá problematikou distribuovaných a stochastických algoritmů včetně testování jejich konvergence v sítích. V teoretické části jsou výše uvedené algoritmy stručně popsané, včetně jejich dělení, problémů, výhod a nevýhod. Dále jsou vybrané dva distribuované algoritmy a dva stochastické algoritmy a následně jsou stručně popsané. V praktické části je provedeno jejich porovnaní podle rychlosti konvergence na různých topologiích sítí v prostředí Matlab.
|
|
|
Scrabble pro mobilní telefony
Kaněčka, Ondřej ; Kunc, Michael (oponent) ; Schönecker, Rudolf (vedoucí práce)
Práce zkoumá možnosti vyhledávacích algoritmů a slovníkových datových struktur na platformách s omezeným výpočetním výkonem a dostupnou pamětí (typicky jde o mobilní telefony) a ukazuje jejich výhody a nevýhody v souvislosti s touto platformou. Konkrétně se zabývá jejich uplatněním ve známé stolní hře SCRABBLE. Používá Appel-Jacobsonův vyhledávací algoritmus na hledání možných tahů. Algoritmus má k dispozici slovník se všemi slovy, který je uložen v tzv. struktuře DAWG, která umožňuje slova rychle vyhledávat a současně zajišťuje kompresi obsažených slov, takže je velikost slovníku v paměti vzhledem k cílové platformě dostatečně malá. Výsledná Java aplikace pro mobilní telefon (MIDP 2.0) přidává grafické rozhraní a ovládání hry a umožňuje tak hraní hry SCRABBLE jak proti umělé inteligenci, tak proti jinému člověku.
|
|
|
Adaptivní číslicová filtrace biologických signálů
Ištok, Martin ; Kozumplík, Jiří (oponent) ; Provazník, Ivo (vedoucí práce)
Hlavním cílem této bakalářské práce je popsat adaptivní číslicovou filtraci a zároveň popsat různé druhy adaptačních algoritmů a adaptivních filtrů. Adaptivní systém je použit pro odstranění síťového rušení ze signálu EKG. Práce obsahuje návrh 4 druhů adaptivních filtrů: prostého adaptivního filtru, jednoduché úzkopásmové adaptivní zádrže, úzkopásmové adaptivní zádrže s číslicovým rezonátorem a úzkopásmové zádrže s adaptivním rezonátorem. Také obsahuje základní experimenty s různým nastavením jejich parametrů, které jsou také vyhodnoceny.
|
|
|
Prohledávání stavového prostrou 3D - hledání cesty v budově
Macek, Ján ; Rozman, Jaroslav (oponent) ; Samek, Jan (vedoucí práce)
Předmětem této bakalářské práce je popis algoritmů sloužících na prohledávání stavového prostoru a následná implementace aplikace pro hledání cesty v budově. První část práce se věnuje metodám popisu prostoru. V další kapitole jsou vysvětleny metody vyhledávání cesty v prostoru. Třetí část práce popisuje postup implementace aplikace. Na závěr jsou uvedeny výsledky testování a jejich zhodnocení.
|
|
|
Model checking nekonečně stavových systémů založený na inferenci jazyků
Rozehnal, Pavel ; Křena, Bohuslav (oponent) ; Vojnar, Tomáš (vedoucí práce)
Regulární model checking je metoda pro verifikaci nekonečně stavových systémů. Je založena na kódování jejich konfigurace jako slov nad konečnou abecedou, množiny konfigurací jako konečného automatu a přechodů jako konečných transducerů. Je zde představen nový přístup k regulárnímu model checkingu založený na odvozování regulárních jazyků. Metoda je založena na prozkoumávání nekonečně stavového systému, jehož chování může být modelováno použitím transducerů, které zachovávají délku řetězců a jejich aplikací je možné získat všechny dosažitelné konfigurace systému. Naše metoda regulárního model checkingu je založena na odvozování regulárních jazyků pomocí algoritmu Angluin, který je použit pro nalezení vhodného invariantu (nadaproximace), který je schopen zodpovedět otázku zachování či porušení nějaké vlastnosti. Je zde také uveden úvod do teorie konečných automatů, model checkingu, SAT problémů a popis Angluinova a Biermanova algoritmu pro učení konečných automatů.
|
|
|
Odposlech moderních šifrovaných protokolů
Marček, Ján ; Korček, Pavol (oponent) ; Kajan, Michal (vedoucí práce)
V práci je rozebírán úvod do zabezpečovacích mechanismu. Postup vysvětluje základní pojmy, principy šifrování, bezpečnosti moderních protokolu a základní principy, které se používají při přenosu informací v síti. Práce popisuje také nejčastější typy útoků, zaměřených pro odposlech komunikace. Výsledkem je návrh odposlechu a realizace útoku na zabezpečenou komunikaci protokolu SSL. Útočník v něm využívá falešný certifikát a útoky otrávením ARP a DNS tabulky. Práce rozebírá princip protokolu SSL a metodiky útoku na tabulky ARP a DNS.
|
|
|
Demonstrace metod prohledávání stavového prostoru
Tureček, Martin ; Drozdová, Martina (oponent) ; Zbořil, František (vedoucí práce)
Tato bakalářská práce popisuje problematiku metod prohledávání stavového prostoru. Práce se zaměřila zejména na praktickou část, jejímž cílem bylo vytvořit demonstrační aplikaci, která by měla sloužit jako pomůcka do předmětu Základy umělé inteligence. Výsledná aplikace tento požadavek splňuje zejména díky jednoduchému ovládání, možnosti krokovat algoritmus a hlavně přitažlivým grafickým kabátkem. Aplikace je navíc implementována jako javovský applet, takže by její spuštění mělo být možné odkudkoliv.
|
host ::
RSS.