|
|
Datová struktura Bloomův filtr a její vlastnosti
Prokop, Tomáš ; Kajan, Michal (oponent) ; Puš, Viktor (vedoucí práce)
Bakalářská práce se zabývá popisem a konstrukcí Bloomova filtru. Autorem tohoto filtru je Burton H. Bloom. Bloomův filtr představuje efektivní nástroj ukládání prvků do univerzální množiny v podobě datové struktury. Zpracovává velký objem dat při zaplnění menšího paměťového prostoru. Datová struktura umožňuje vkládání prvků a jejich opětovné vyhledání v množině s nenulovou pravděpodobností chyby. Součástí práce je vysvětlení vlastností a způsobů využití datové struktury včetně možností snížení přípustných chyb. Rozšířením obecného Bloomova filtru je Počítaný Bloomův filtr, který umožňuje širší uplatnění této datové struktury.
|
|
|
Klasifikace paketů s využitím technologie FPGA
Puš, Viktor ; Tobola, Jiří (oponent) ; Kořenek, Jan (vedoucí práce)
Tato diplomová práce se zabývá klasifikací paketů v počítačových sítích. Je popsán problém klasifikace paketů a jsou definovány požadavky, které musí splňovat klasifikační algoritmus. Dále je zavedena potřebná teorie a popsány současné přístupy ke klasifikaci paketů, spolu s kritikou současného stavu v této oblasti. Těžištěm práce je nový algoritmus klasifikace paketů založený na dekompozici problému. Unikátní vlastností algoritmu je konstantní časová složitost vzhledem k počtu přístupů do externí paměti. Je navržena implementace algoritmu v FPGA s využitím jedné externí paměti. Plánovaný prototyp může dosáhnout propustnosti 64 Gbit/s v nejhorším případě.
|
|
|
Prostředí pro verifikaci DMA řadičů v jazyku SystemVerilog
Zachariášová, Marcela ; Martínek, Tomáš (oponent) ; Puš, Viktor (vedoucí práce)
V dnešních hardwarových návrzích se verifikační techniky používají pro ověřování funkcionality dílčích komponent i komplexních systémů. Tato bakalářská práce se zabývá verifikací DMA řadičů. Jsou popsány teoretické principy verifikace v jazyce SystemVerilog a činnost DMA - přenos dat přes sběrnici bez účasti procesoru. Následuje úvod do praktické části verifikace řadičů, těžištěm práce je návrh verifikačního prostředí a následně samotná verifikace a její výsledky.
|
|
|
Hardwarová akcelerace hry SUDOKU
Jurinek, Róbert ; Puš, Viktor (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce pojednáva o implementaci hardwarové jednotky řešící SUDOKU. V práci jsem zadefinoval pojmy týkající se hlavolamu SUDOKU a popsal některé jeho vlastnosti, zejména z hlediska řešení na počítačovém systému. Práce dále popisuje některé techniky používané při řešení SUDOKU a možnosti jejich hardwarové implementace. V hlavní části je popsána konkrétní realizace jednotky řešící SUDOKU a také je zhodnocena výkonnost navržené jednotky. Jednotku jsem ověřil i na reálném hardwaru. V závěru práce jsem zhodnotil možnosti dalšího rozšíření navržené jednotky.
|
|
|
Implementace metod detekce síťových anomálií
Slezáček, Martin ; Puš, Viktor (oponent) ; Bartoš, Václav (vedoucí práce)
Tato práce se zabývá implementací 3 metod detekce síťových anomálií. Nejprve je uvedeno základní rozdělení metod sloužících pro detekci anomálií v počítačových sítích. Dále jsou vybrané 3 metody popsány. Hlavní částí práce je implementace a zhodnocení metod, jsou popsány implementované programy pro detekci metod a jejich ovládání.
|
|
|
Grafická demonstrace vybraného algoritmu pro vyhledání směru
Olejník, Tomáš ; Kaštil, Jan (oponent) ; Puš, Viktor (vedoucí práce)
V tejto práci je stručne popísaný princíp fungovania sietí, smerovacích protokolov, taktiež sú vysvetlené základy fungovania rôznych algoritmov pre vyhľadávanie najdlhších zhodných prefixov implementovaných v smerovačoch. Väčšia časť práce sa venuje algoritmu Tree Bitmap, ktorého demonštračný program bolo treba vytvoriť. Činnosť tohto algoritmu je zobrazovaná pomocou prehľadných animácií.
|
|
|
Grafický nástroj pro generování IPv6 paketů
Jochec, Jakub ; Bartoš, Václav (oponent) ; Puš, Viktor (vedoucí práce)
Práce se zabývá vytvořením grafického rozhraní pro generování IPv6 paketů, pomocí kterého bude možné vytvářet korektní pakety s různými nastaveními. Je zde popsána architektura TCP/IP a následně IPv6 včetně jeho rozšiřujících hlaviček. Popsáno je také několik z dostupných nástrojů pro generování IPv6 paketů. Další část je věnována návrhu aplikace a její implementace pomocí jazyka Python a knihoven wxPython a Scapy.
|
|
|
Vyhledání nejdelšího shodného prefixu
Weigner, Martin ; Puš, Viktor (oponent) ; Tobola, Jiří (vedoucí práce)
Rychlost počítačových sítí se neustále zvyšuje. Jednou ze základních úloh, které musí síťová zařízení provádět, je vyhledávání nejdelšího shodného prefixu. Mnoho algoritmů tuto úlohu dokáže řešit, ale je nutné tuto úlohu řešit velmi rychle, a to především z toho důvodu, že se stále zvyšují přenosové rychlosti a nastupuje směrovací standard IPv6. Ten má delší adresy, a je tedy nutné vyhledávat prefixy ve větších množinách. V práci jsou popsány současné algoritmy. Ty jsou porovnány v konfrontaci s novým algoritmem HashTreeBitmap, který je v práci popsán. Na základě testů je doloženo, že tento algoritmus je schopen zvládat vysoké nároky, které jsou na něj kladeny.
|
|
|
Verifikace nástrojů pro protokol FrameLink v SystemVerilogu
Santa, Marek ; Martínek, Tomáš (oponent) ; Puš, Viktor (vedoucí práce)
Vyhnout se chybám při vývoji číslicových systémů je téměř nemožné. Přitom brzké odhalení takových chyb pomáha šetřit čas i peníze. Tato práce se zabývá funkční verifikací různých nástrojů na spracování dat. Nejdřív jsou diskutovány principy a postupy funkční verifikace, následně je vytvořen návrh a implementace verifikačního prostředí v jazyce SystemVerilog. Na závěr jsou shrnuty výsledky verifikace.
|
|
|
Algoritmy pro vyhledání nejdelšího shodného prefixu
Suchodol, Jaroslav ; Puš, Viktor (oponent) ; Tobola, Jiří (vedoucí práce)
Práce se zabývá směrováním v IP sítích, konkrétněji otázkou zjištění nejdelšího shodného prefixu. Problematiku vyhledání nejdelšího shodného prefixu řeší mnoho sofistikovaných algoritmů. Hlavním úkolem této práce je zaměření na následující algoritmy - Controlled Prefix Expansion, Lulea Compressed Tries, Binární vyhledávání na intervalech a Binární vyhledávání na prefixech. Algoritmy jsou principiálně popsány a následně softwarově implementovány v jazyce Python. Výstup práce spočívá v analýze/porovnání jednotlivých algoritmů z hlediska paměťové náročnosti a počtu přístupů do paměti v nejhorším případě.
|
host ::
RSS.