|
|
HyperCuts pro filtrování Linuxových paketů
Mašíček, Viktor ; Kučera, Luděk (vedoucí práce) ; Peterka, Jiří (oponent)
Filtrování paketů pomocí multidimensionálního štěpení je jedním z nových přístupů k této problematice klasifikace paketů. Základem je vytváření stromu, který obsahuje zadaná pravidla pro filtraci. Matchování paketu je v tomto případě podstatně rychlejší než lineární procházení všech pravidel. Metoda HyperCuts je jednou z nejnovějších metod založených na multidimensionálním štěpení. Implementace této metody na první pohled ukáala její použitelnost. Závěrečné rozhodnutí o využití programu HyperCuts v praxi je věak možné učinit pouze na základě výsledků testování v reálném provozu. Ve srovnání s programem PTree, který je založen na metodě zvané TBF, byl HyperCuts úspěšnější. Srovníní bylo prováděno spíše z pohledu přístupu k problému, než z implementačního pohledu nebo na základě úspěšnosti se stejnými daty. Tam, kde bylo odkazováno na implementaci PTree, bylo odkázáno i na naši implementaci HyperCuts. Srovnávána byla jak časová tak prostorová složitost. V teoretické části je zdůvodněno použití formátu "range match" (neboli intervalového formátu). Také je zde definován pojem "cut" (neboli řez), který je velice výhodný pro počítání složitosti jak časové tak prostorové. Jedním z úkolů práce bylo implementovat metodu HyperCuts, a proto je její součístí práce také uživatelský a programátorský manuál.
|
|
|
Simulace směrování v bezdrátových sítích
Kouba, Jan ; Kučera, Luděk (vedoucí práce) ; Peterka, Jiří (oponent)
Práce se zabývá vytvořením systému pro simulaci směrování v bezdrátových sítích. Systém umožňuje uživateli ručně zadávat parametry přenosu (vysílací výkony uzlů a trasy kanálů) a z nich provádí analýzu sítě. Systém umožňuje automatické určování parametrů přenosu tak, že se nejprve určí vysílací výkony a z nich pak trasy kanálů. Systém byl navržen s důrazem na snadné přidávání algoritmů. Program je zaměřen na uživatelskou přívětivost, snadné ovládání a dobrou rozšiřitelnost. Úkolem práce nebylo navrhnout co nejpřesnější model skutečné bezdrátové sítě, ale vytvořit systém, v kterém by bylo možné vyzkoušet nové algoritmy a zjistit, které by mohly být perspektivní a které ne. V práci je popsána architektura programu tak, aby mohl někdo další pokračovat v jeho vývoji. Součástí práce je návod jak program zkompilovat a používat.
|
|
|
Algorithm Visualisation
Vranec, Maroš ; Senft, Martin (vedoucí práce) ; Kučera, Luděk (oponent)
Knižnica animelib je určená pre užívateľsky prívetivú vizualizáciu algoritmov. Dôraz je kladený na to, aby programátor nemusel písať veľa kódu, ktorý sa týka vizualizácie, a tiež nemusel príliš prispôsobovať jeho vlastný kód (teda kód algoritmu, ktorý chce vizualizovať). Zaoberá sa vizualizáciou základných dátových štruktúr (zoznam, spojový zoznam, strom a graf). Práca s knižnicou je takmer transparentná, jediná potrebná vec je zaregistrovať dátové štruktúry, ktoré sa majú zobraziť. Knižnica naviac poskytuje rozšírené operácie na objektoch, ktoré dovoľujú lepšie animovať.
|
|
|
Metody vizualizace učiva
Lomnický, Matouš ; Hedrlín, Zdeněk (vedoucí práce) ; Kučera, Luděk (oponent)
Program orgpad slouží k třídění, předávání a "projasňování" vlastních myšlenek. Orgpad je program navržen na základech Herbartovy psychologie, resp. Herbartově poznání o vlastní mysli. Tato práce se zabývá představením programu pi-mind.js, který je alokací orgpadu. V práci je diskutováno postavení programu pi-mind.js v kontextu současného "mapování mozku" a dále je program vsazen do kontextu výchovně-vzdělávacího procesu a jeho možného využití v tomto oboru, konkrétně je zkoumána formou dotazníkového šetření jeho užitečnost při psaní diplomových, resp. disertačních prací na Katedře Aplikované Matematiky MFF UK.
|
|
|
Algebraické aspekty fuzzy logiky
Víta, Martin ; Hájek, Petr (vedoucí práce) ; Kučera, Luděk (oponent)
V této práci studujeme filtry na algebrách fuzzy logik jejich možná využití. Zobecňujeme pojmy implikativního/pozitivního implikativního/ fantastického filtru na BL-algebrách zavedením pojmu R-S-filtru na algebrách implikativních logik. Zformulujeme a dokážeme některé vlastnosti R-S-filtrů a následně ukážeme souvislost charakterizace R-S-filtru s alternativní axiomatizací dané logiky. Dále popíšeme způsoby, jak lze pomocí R-S-filtrů ekvivalentně charakterizovat konkrétní algebry implikativních logik. Ukážeme, že výsledky publikované v článcích [1] a [3] jsou jednoduché důsledky těchto zobecnění. Dalším tématem této práce jsou uniformní prostory a uniformní topologie nad algebrami implikativních logik. Zde filtry slouží k vytvoření tzv. Leibnitzovských kongruencí. Množina těchto kongruencí na dané algebře je (sub)bází uniformity, kterou následně zkoumáme. V této části ukazujeme, že výsledky uvedené v článcích [2] a [4] se dají snadno zobecnit pro libovolné implikativní logiky.
|
|
| |
|
|
Transport optimization
Šimora, Peter ; Kučera, Luděk (vedoucí práce) ; Loebl, Martin (oponent)
Vzhledem ke klesajícím zásobám ropy a stoupající populaci je potřebné zabývat se otázkou logistiky. V naší práci jsme zvolili železniční dopravu. Její výhody spočívají ve vybudovaném traťovém systému a vozovém parku. Optimalizaci a měření vykonáváme na železniční síti České republiky. Jednotlivé balíky generujeme na základě počtu obyvatel míst, ve kterých stanice leží. Pro každý balík volíme optimální přepravní trasu. Balíky přiřazujeme k vlakům tak, abychom zmenšili celkový počet najetých kilometrů a ukládáme je do jednotlivých vagónů tak, aby se jich tam vešel co největší možný počet. Měřeními jsme zjistili, že při optimálním počtu vygenerovaných balíků za hodinu je celkový počet najetých kilometrů vlaky v našem algoritmu o 36% menší jako u jednoduchého algoritmu.
|
|
|
Simulace systému pro směrování dlouhých zpráv
Bečka, Michal ; Kučera, Luděk (vedoucí práce) ; Mareš, Martin (oponent)
Tato práce se zabývá specifickým typem síťového směrování, vytvořeným pro řízení dlouhých zpráv. Cílem je zjištění optimálního nastavení tohoto směrování pomocí simulace. Součástí práce je návrh uzlu sítě pro směrování dlouhý zpráv, v jazyce VHDL, jež je následně simulován pro zjištění jeho výkonových vlastností. Další částí je simulační program pro otestování efektivity různých nastavení tohoto směrování. Na síti vytvořené z navrženého uzlu je pomocí tohoto simulačního programu naměřeno optimální nastavení, zejména co se týče propustnosti a doby přenosu zprávy. Toto nastavení je následně implementováno do simulačního programu.
|
|
|
Algoritmy pro L-omezené toky
Voborník, Jan ; Kolman, Petr (vedoucí práce) ; Kučera, Luděk (oponent)
V práci zkoumáme problém maximálního $L$-omezeného toku, tedy toku, který lze rozložit na tokové cesty délky nejvýš $L$. Podáváme přehled o základních výsledcích a prezentujeme souvislosti s jinými problémy. Maximální $L$-omezený tok lze řešit v polynomiálním čase v sítích s jednotkovými délkami hran pomocí lineárního programování, ale kombinatorický algoritmus není znám. Práce studuje kombinatorický přístup k této otázce. V~sítích s obecnými délkami hran je problém \cNP-těžký, pro tento případ popisujeme kombinatorické plně polynomiální aproximační schéma (FPTAS) založené na algoritmu pro maximální multikomoditní tok. Tento přístup je prakticky efektivnější než dřívější FPTAS, který využíval elipsoidovou metodu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Metody vizualizace učiva
Lomnický, Matouš ; Hedrlín, Zdeněk (vedoucí práce) ; Kučera, Luděk (oponent)
Program orgpad slouží k třídění, předávání a "projasňování" vlastních myšlenek. Orgpad je program navržen na základech Herbartovy psychologie, resp. Herbartově poznání o vlastní mysli. Tato práce se zabývá představením programu pi-mind.js, který je alokací orgpadu. V práci je diskutováno postavení programu pi-mind.js v kontextu současného "mapování mozku" a dále je program vsazen do kontextu výchovně-vzdělávacího procesu a jeho možného využití v tomto oboru, konkrétně je zkoumána formou dotazníkového šetření jeho užitečnost při psaní diplomových, resp. disertačních prací na Katedře Aplikované Matematiky MFF UK.
|
host ::
RSS.