|
|
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.
|
|
| |
|
|
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.
|
|
|
Filtrování paketů v počítačových sítích
Šrůtka, Petr ; Kováčik, Michal (oponent) ; Kajan, Michal (vedoucí práce)
Tato bakalářské práce představuje klasifikaci paketů, různé její způsoby a metriky. Jsou zde popsány různé algoritmy, pomocí kterých je klasifikace paketů realizována. V práci jsou uvedeny vlastnosti algoritmu Recursive Flow Classification společně s popisem jeho implementace. Jsou zde představeny různé konfigurace algoritmu RFC a popsány jejich výhody a nevýhody. Na závěr práce jsou provedeny experimenty porovnávající jednotlivé algoritmy popsané v rámci této práce.
|
|
|
Zpětnovazební funkční verifikace hardware
Santa, Marek ; Kajan, Michal (oponent) ; Kořenek, Jan (vedoucí práce)
Vyhnout se chybám při vývoji číslicových systémů je téměř nemožné. Přitom brzké odhalení chyb pomáha šetřit čas i peníze. Tato práce se zabývá automatizací zpětné vazby ve funkčních verifikacích různých komponent na spracování dat. Automatická zpětná vazba má za úkol přinést nejen zkrácení času potřebného k ověření funkčnosti systému, ale zejména zlepšit prohledávání okrajových podmínek a zvýšit tak důvěru ve verifikovaný systém. V práci jsou diskutovány principy a postupy jak funkční tak i formální verifikace, metriky poskytující představu o tom, jaká část funkcionality byla pokryta, jsou popsány nedostatky zmíněných technik a identifikován prostor pro zlepšení současného stavu. Následně je představen návrh spětnovazebního verifikačního prostředí využívajícího genetický algoritmus. Na závěr práce jsou shrnuty dosažené výsledky verifikace.
|
|
|
Sada příkladů pro demonstraci práce s platformou Questa
Krajčír, Stanislav ; Kajan, Michal (oponent) ; Zachariášová, Marcela (vedoucí práce)
Tato bakalářská práce se zabývá prezentací práce s verifikační platformou Questa od společnosti Mentor Graphics při verifikaci číslicových obvodů. V úvodu práce jsou poskytnuty základní informace o principech verifikace založené na formálních tvrzeních. V rámci práce je uveden popis verifikačního nástroje Questa AutoCheck, který slouží k automatické kontrole obvodů a verifikačního nástroje Questa Formal, který slouží statické formální verifikaci číslicových obvodů. Na sadě příkladů užití jsou demonstrovány jednotlivé možnosti využití nástrojů při verifikaci konkrétního číslicového obvodu. V závěru práce jsou vyhodnoceny možnosti aplikace těchto nástrojů v praxi.
|
|
|
Vytvoření modelu procesoru 8051
Krůpa, Tomáš ; Kajan, Michal (oponent) ; Masařík, Karel (vedoucí práce)
Počítačové modelování je dnes velmi důležitou součástí vývojového cyklu téměř každého nového produktu. Cílem této bakalářské práce je vytvoření modelu mikrokontroléru 8051, který by měl rozšířit portfolio upravitelných procesorů dostupných v prostředí Codasip. Model je popsán na dvou úrovních abstrakce na úrovni jednotlivých instrukcí a na úrovni procesorových cyklů. K ověření modelu byly použity programy v ANSI C překládané pomocí volně dostupného překladače SDCC.
|
|
|
Urychlení těžby Bitcoinů
Novotný, Jan ; Veselý, Vladimír (oponent) ; Kajan, Michal (vedoucí práce)
Tato diplomová práce se zabývá virtuální měnou zvanou Bitcoin. Popisuje fungování měny z technického hlediska, především provádění transakcí, způsob jejich potvrzování a zajištění integrity pomocí kryptografických funkcí. Dále je popsán princip vytváření Bitcoinů - takzvaná těžba, konkrétně metoda těžby zvaná těžařské uskupení. V práci jsou dále popsány používané komunikační protokoly a návrh architektury pro urychlení těžby Bitcoinů. Nakonec jsou uvedeny provedené testy implementované architektury, jejich vyhodnocení a návrhy na případné pokračování práce.
|
|
|
Knihovna pro modulární rozšiřování skriptovacího stroje JScript
Dziadzio, Pavel ; Kajan, Michal (oponent) ; Křivánek, Jan (vedoucí práce)
Bakalářská práce se zabývá skriptovací technologií ActiveX Scripting. Popisuje možnosti hostování skriptovacího stroje jazyka JScript a komponenty Webový prohlížeč za účelem poskytnutí jednoduchého nástroje pro rozšiřování aplikace. Zaměřuje se na možnosti a postupy při injektování vlastních prvků do skriptovacího stroje. Výsledkem je knihovna, která tyto činnosti značně usnadňuje a poskytuje k tomu programátorovi intuitivní rozhraní. Práce také popisuje děje probíhající ve skriptovacím stroji při provádění skriptu.
|
|
|
Server pro sdílení turistických tras
Mikula, Adrian ; Maršík, Lukáš (oponent) ; Kajan, Michal (vedoucí práce)
Tato bakalářská práce popisuje návrh a implementaci aplikace pro sdílení turistických tras. Jsou zde vysvětleny související pojmy a technologie použité během implementace. Výsledná aplikace umožňuje vizualizaci tras v mapových podkladech, včetně všech dostupných informací. Trasy lze vyhledávat podlé různých kritérií, spojovat a exportovat do KML souborů. Aplikace je dále obohacena o možnost hodnocení nebo plánování nových tras. Systém ke své činnosti využívá funkce rozšíření PostGIS databáze PostgreSQL, algoritmus Haversinovy formule a některé vlastní algoritmy.
|
host ::
RSS.