|
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.
|
|
Přenos a ochrana informací v mobilních telekomunikacích
Pacák, Pavel ; Ivánek, Jiří (vedoucí práce) ; Pavlásková, Eliška (oponent)
Univerzita Karlova v Praze Filozofická fakulta Ústav informačních studií a knihovnictví Studijní program: Informační studia a knihovnictví Studijní obor: Informační studia a knihovnictví Pavel Pacák Přenos a ochrana informací v mobilních telekomunikacích Abstrakt bakalářské práce Práce se zabývá přenosem a ochranou informací v mobilních telekomunikačních sítích. Nejprve je představen historický vývoj jednotlivých technologií v této oblasti užívaných, posléze je věnován důraz na prvky zabezpečení jednotlivých typů sítí. Uvedeny jsou také různé formy nebezpečí, jež hrozí uživateli mobilního telefonu každým dnem, kdy jej používá. V závěru je představeno několik možných řešení bezpečnostní problematiky. Výstupem jsou navržené způsoby komunikace prostřednictvím mobilních sítí, jež nabízejí vyšší úroveň bezpečnosti a v nichž jsou tedy citlivá data ve větším bezpečí.
|
|
Generování mapy a hledání cesty v mapě pro strategické hry
Karásek, Štěpán ; Mráček, Štěpán (oponent) ; Orság, Filip (vedoucí práce)
Tato práce se skládá ze dvou částí. V první části se zabývá procedurálním generováním mapy se zaměřením na tvorbu terénu. Nejdříve jsou rozebrány principy generování terénu, použitelné algoritmy a způsoby generování dalších krajinných prvků mapy. Generování terénu za použití algoritmu diamond-square je následně implementováno a začleněno do existujícího herního enginu. Druhá část práce pojednává o problému hledání cesty v mapě, jsou zde popsány použitelné algoritmy a jeden z nich podrobněji vysvětlen. Dále se v práci řeší úprava nalezené cesty do přirozenějších tvarů a nastiňují se možnosti hierarchických algoritmů pro hledání cesty. Algoritmus A* pro hledání cesty je rovněž implementován a začleněn do existujícího herního enginu. Funkčnost obou algoritmů je prezentována v interaktivní aplikaci s grafickým rozhraním.
|
|
Dolování asociačních pravidel
Šabatka, Ondřej ; Stryka, Lukáš (oponent) ; Bartík, Vladimír (vedoucí práce)
Tato bakalářská práce se zabývá dolováním asociačních pravidel. První část se věnuje vysvětlení technologie dolování dat a teorie, kterou je dobré znát pro seznámení se s asociační analýzou. Další část se věnuje samotné asociační analýze a podrobně vysvětluje principy algoritmu Apriori. Poslední část práce popisuje implementaci a testování algoritmu Apriori v programovacím jazyce Java.
|
|
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í.
|
|
Implementace části standardu SQL/MM DM pro asociační pravidla
Škodík, Zdeněk ; Bartík, Vladimír (oponent) ; Zendulka, Jaroslav (vedoucí práce)
Diplomová práce se zabývá problematikou získávání znalostí z databází, konkrétně se zaměřuje na asociační pravidla, která jsou součástí systému dolování z dat. Dolováním se snažíme získat znalosti (data), která nejsou v databázi přímo definována, ale mohou být užitečná. V dokumentu je popsána problematika standardu SQL/MM DM, speciálně pak všech uživatelem definovaných typů předepsaných pro asociační pravidla, stejně jako všech obecných typů tvořících rámec pro dolování. Před samotnou implementací těchto typů jsou ještě uvedeny prostředky, kterými je to umožněno, tedy jazyk PL/SQL a podpora Oracle Data Mining. Správnost implementace je ověřena ukázkovou aplikací. Na závěr jsou zhodnoceny dosažené výsledky a zmíněno možné pokračování projektu.
|
|
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ů.
|