|
|
Algoritmy klasifikace paketů
Machala, Jiří ; Puš, Viktor (oponent) ; Kajan, Michal (vedoucí práce)
Hlavním cílem této práce je interpretace a implementace algoritmu HyperCuts. Zabývá se však i problémem klasifikace paketů obecně - shrnuje teoretické základy klasifikace a popisuje nejznámější klasifikační metody. Zaměřuje se především na vyhodnocení HyperCuts v porovnání s algoritmem HiCuts a analyzuje přínos optimalizací popsaných v odoborných článcích. Navrhuje nový způsob snížení počtu přístupů do paměti kombinací HyperCuts a HiCuts na jednom klasifikátoru.
|
|
|
Grafická demonstrace vybraného algoritmu pro vyhledání směru
Ohrádka, Marek ; Kaštil, Jan (oponent) ; Puš, Viktor (vedoucí práce)
Tato bakalářská práce se zabývá problematikou směrování v IP sítích, popisuje různé směrovací protokoly. Ukazuje možná řešení vyhledávání nejdelšího shodného prefixu, výhody a nevýhody jednotlivých řešení. Popisuje strukturu trie a její varianty. Detailně popisuje strukturu shape shifting trie, metodu jejího vytváření a způsob průchodu touto strukturou - vyhledávací algoritmus SST. Popisuje návrh a implementaci aplikace, která graficky demonstruje průběh vyhledávání v datové struktuře SST. Popisuje dekompozici problému a způsob jejího řešení v implementaci.
|
|
|
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.
|
|
|
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í.
|
|
| |
|
| |
|
|
Verifikace generického propojovacího systému pro FPGA
Bartoš, Václav ; Martínek, Tomáš (oponent) ; Puš, Viktor (vedoucí práce)
Tato práce se zabývá návrhem, implementací a provedením simulační verifikace generického propojovacího systému pro čipy FPGA. Tento systém je součástí platformy NetCOPE vyvíjené v projektu Liberouter, v rámci něhož vznikla i tato práce. Nejdříve jsou zde popsány obvyklé postupy návrhu verifikací v jazyce SystemVerilog. Následuje stručný popis propojovacího systému a jeho jednotlivých součástí, zaměřený především na aspekty důležité pro verifikaci. Jádrem práce je pak návrh verifikačního prostředí a řídícího programu testu pro každou ze tří součástí testovaného systému. Při tom se vychází z dříve popsaných principů zavedených v projektu Liberouter, rozšiřuje je však o některé další prvky. Všechny komponenty verifikačního prostředí jsou navrhovány s důrazem na obecnost a znovupoužitelnost, aby mohly být využity i při jiných verifikacích souvisejících s tímto propojovacím systémem. V závěru práce jsou diskutovány výsledky provedené verifikace a nalezené chyby, a je zhodnocen obecný přínos simulačních verifikací při návrhu hardware.
|
|
|
Knihovna operací nad konečnými automaty
Bartůněk, Petr ; Puš, Viktor (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce se zabývá dvěma základními operacemi nad konečnými automaty. Determinizací nedeterministických konečných automatů a minimalizací deterministických konečných automatů. Pro obě tyto operace jsem navrhoval sekvenční algoritmy, které jsou paralelizovatelné. Zabývám se hledáním zrychlení především pomocí SSE instrukcí nebo pomocí knihovny openMP. Trendem dnešní doby je především zvyšování počtu procesorů, proto budu navrhovat paralelní algoritmy pro více procesorů. Při hledání optimálního řešení budu zkoumat další možnosti, jak dosáhnout zrychlení, např. efektivním uložením datových struktur v paměti.
|
|
|
Implementace obrazových klasifikátorů v FPGA
Kadlček, Filip ; Puš, Viktor (oponent) ; Fučík, Otto (vedoucí práce)
Práce je zaměřena na obrazové klasifikátory a jejich implementaci v FPGA. Klasifikátory dělí na dvě skupiny - slabé a silné klasifikátory. Ve skupině silných klasifikátorů se zaměřuje především na AdaBoost. Ve skupině slabých klasifikátorů jsou probrány základní příznakové klasifikátory, jakými jsou například klasifikátory založené na Haarových nebo Gaborových vlnkách, ale především je kladen důraz na klasifikátory LBP, LRP a LR. Naposled uvedené klasifikátory jsou vhodné pro implementaci v FGPA. Na základě těchto klasifikátorů je navržena pseudo-paralelní architektura. Architektura uvažuje provedení klasifikace v FPGA a následné zpracovávání výsledků v počítači. Navržený klasifikátor je velmi rychlý a každý hodinový cyklus produkuje výstup klasifikace.
|
|
|
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.
|
host ::
RSS.