|
|
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.
|
|
|
Pokročilé metody plánování cesty mobilního robotu
Maňáková, Lenka ; Šoustek, Petr (oponent) ; Dvořák, Jiří (vedoucí práce)
Tato práce je zaměřená na pokročilé metody plánování cesty mobilního robotu. V teoretické části se zaměřuje na popis vybraných grafových metod, které o jsou specifické tím, že zefektivňují proces hledání nejkratší cesty a to například redukcí počtu prozkoumaných uzlů stavového prostoru. V rámci praktické části bylo vytvořeno simulační prostředí v jazyce Python a v tomto prostředí pak byly implementovány vybrané algoritmy.
|
|
|
Získávání znalostí z textových dat
Smékal, Luděk ; Burget, Radek (oponent) ; Bartík, Vladimír (vedoucí práce)
Tato diplomová práce pojednává o tzv. "dolování dat", tedy získávání takových informací z databází, které nejsou přímo viditelné, ale které lze pomocí speciálních algoritmů z databází získat. Zaměřuje se na klasifikaci dokumentů do tříd v rámci digitální knihovny, vybranou metodou, která je založena na množinách položek tzv. "metoda itemsets". Tato metoda rozšiřuje oblast aplikace Apriori algoritmu určeného původně ke zpracování transakčních databází a generování frekventovaných množin položek. Práce se rovněž zabývá možností modifikace vlastního Apriori algoritmu pro potřeby klasifikace metodou itemsets.
|
|
|
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.
|
|
|
Equalization Methods in Digital Communication Systems
Deyneka, Alexander ; Šilhavý, Pavel (oponent) ; Číž, Radim (vedoucí práce)
The thesis is focused on the problem of equalization in digital communication systems. Theoretical part includes brief observation of different approaches of equalizer designing. The practical part deals with implementation of the most often used equalizers and their adaptation algorithms. The aim of practical part is to make a comparison characteristic of different type of equalizers and reveal factors that influence the quality of equalization. Within a framework of the problem of equalization three types of equalizers were researched: linear equalizers, decision feedback equalizers (DFE) and maximum likelihood equalizers (ML). Each equalizer was tested on the model which approximates the real transmission system with complex distortion consisted of attenuation, intersymbol interference and additive noise. The comparison characteristics of equalizers were revealed on the basis of implementation. It was ascertained that ML equalizer has the optimum performance among three equalizers. The adaptation algorithm play significant role in performance of mentioned equalizers. Two groups of algorithms were studied: stochastic and deterministic. The first one includes following algorithms: least-mean-square algorithm (LMS), normalized LMS algorithm (NLMS) and variable step-size LMS algorithm (VSLMS). The second one is represented by RLS algorithm. It was determined that RLS algorithm converges much faster than LMS-based algorithms. The several factors that influenced the performance of all algorithms were studied. One of the most important factors that influences the speed of convergence and stability of the LMS algorithm is step-size parameter. Another very important factor is selecting the training sequence. The big disadvantage of LMS-based algorithms compare to RLS-based algorithms was found: the quality of equalization is highly dependent on the power spectral density of the training sequence.
|
|
|
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ů.
|
|
| |
|
|
Využití distribuovaných a stochastických algoritmů v síti
Yarmolskyy, Oleksandr ; Kenyeres, Martin (oponent) ; Škorpil, Vladislav (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 porovnání podle rychlosti konvergence na odlišných topologiích sítí v prostředí MATLAB.
|
|
|
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.
|
host ::
RSS.