|
|
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ů.
|
|
|
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.
|
|
|
Kombinované vícepásmové adaptivní zvýraznění řeči
Hovorka, Jaroslav ; Vlček, Čestmír (oponent) ; Křesálek,, Vojtěch (oponent) ; Sysel, Petr (vedoucí práce)
Disertační práce se zabývá jednokanálovými a dvoukanálovými algoritmy pro zvýraznění řeči. Cílem práce je provést důkladnou analýzu těchto algoritmů a na základě toho navrhnout kombinovanou kompozitní metodu pro zvýraznění řeči pro použití v prostředí vojenských vozidel. Cílem je nalezení takového řešení, které přinese kvalitativní zlepšení řeči zejména ve vojenských komunikačních systémech. Ty jsou charakterizovány velmi vysokým hlukem, nízkým poměrem SNR a hlukem vyskytujícím se především na nízkých kmitočtech.
|
|
|
Srovnání algoritmů při řešení problému obchodního cestujícího
Kopřiva, Jan ; Všetička, Martin (oponent) ; Dostál, Petr (vedoucí práce)
Diplomová práce se zabývá inovací v modulu logistiky informačního systému ERP. Principem inovace je implementace heuristických algoritmů řešících problém obchodního cestujícího (TSP). Pro analýzu a testy zmíněných algoritmů je využit softwarový nástroj MATLAB. Východiskem práce je porovnání vybraných algoritmů s ohledem na ekonomické faktory řešení (přesnost řešení, rychlost výpočtu a paměťovou náročnost).
|
|
|
Multiagentní systém pro simulaci a analýzu dopravního provozu
Koutný, Vladimír ; Hynčica, Ondřej (oponent) ; Honzík, Petr (vedoucí práce)
Tato diplomová práce se zabývá zpracováním orientovaného grafu pomocí multiagentního systému určeného pro simulaci dopravy. Práce byla vytvořena jako rešeršní studie. Z dané studie bylo poté vytvořeno simulační prostředí schopné reagovat na nejrůznější podněty. Jako agenti jsou zde myšlena jednotlivá vozidla a jejich řidiči, kteří mají různé vlastnosti a dle nich na dané podněty reagují. Komunikace je prováděna přes tzv. superagenta, který ví o všem co se na dané mapě děje a tyto informace předává dílčím agentům. Agenti jsou předně schopni reagovat na ucpání silnice (uzavírka, nehoda) nebo na kolonu. U těchto situací se provede algoritmus určený pro nalezení nové trasy. Mimo řízených agentů můžou na mapě figurovat také agenti simulující běžný provoz.
|
|
|
Multikanálová dekonvoluce obrazů
Bradáč, Pavel ; Kolář, Radim (oponent) ; Jiřík, Radovan (vedoucí práce)
Tato diplomová práce pojednává o restauraci obrazů pomocí dekonvoluce. V první části jsou uvedeny pojmy jako dvourozměrný signál, model zkreslení, šum, které blíže uvádí do problematiky dekonvoluce. Druhá část pojednává o Bayesovském přístupu, na jehož základě se dekonvoluce řeší jako pravděpodobnostní úloha. Třetí část této studie se zaměřuje na střídavý minimalizační algoritmus pro multikanálovou slepou dekonvoluci obrazů. V poslední části je tento algoritmus naprogramován v Matlabu a s využitím knihovny NAG C. Následuje pak srovnání různých typů optimalizace (simplexová metoda, metoda největšího spádu nebo kvazi-Newtonova metoda), regularizace (Tichonovská nebo total variation) a dalších parametrů, jež tento algoritmus pro dekonvoluci používá.
|
host ::
RSS.