|
|
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.
|
|
|
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.
|
|
|
Výkonnostní testy kryptografických algoritmů
Pospíšil, Karel ; Martinásek, Zdeněk (oponent) ; Sobotka, Jiří (vedoucí práce)
Bakalářské práce se zabývá rozborem jednotlivých kryptografických algoritmů, které se využívají při zabezpečování komunikace. První část je věnována symetrickým kryptografickým algoritmům, asymetrickým kryptografickým algoritmům a hashovacím funkcím. Druhá část se zabývá bezpečností, stupni utajení a útoky, které se využívají při napadání kryptografických algoritmů a hashovacích funkcí. Třetí část se věnuje testování vybraného algoritmu RC4 a hashovací funkce MD5 za pomocí programu CrypTool. V závěrečné části jsou uvedeny a zhodnoceny výsledky testů algoritmu RC4 a hashovací funkce MD5.
|
|
|
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.
|
|
|
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.
|
|
| |
|
|
Aplikace metod strojového učení na dolování znalosti z dat
Kraus, Jan
Diplomová práce se zabývá problematikou dolování znalostí z rozsáhlých kolekcí textových dat. Konkrétně je práce zaměřena na analýzu sentimentu uživatele na základě subjektivního slovního hodnocení v přirozeném jazyce. Teoretická část diplomové práce seznamuje čtenáře se základními pojmy z oblasti strojového učení a získávání znalostí zejména z rozsáhlých textových kolekcí. Dále jsou v této části popsány metody předzpracování textových dat a principy algoritmů strojového učení. V praktické části práce jsou navrženy samotné experimenty, které jsou ná-sledně realizovány pomocí softwarového nástroje SPSS Modeler. Experimentální část je zaměřena zejména na identifikaci význačných atributů a nalezení vztahů mezi nimi. Důraz je kladen zvláště na důkladnou interpretaci dosažených výsledků.
|
host ::
RSS.