|
|
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.
|
|
|
Algebraické aspekty fuzzy logiky
Víta, Martin ; Kučera, Luděk (oponent) ; Hájek, Petr (vedoucí práce)
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.
|
|
|
Preprocesor grafového jazyka
Švec, Petr ; Kučera, Luděk (vedoucí práce) ; Skopal, Tomáš (oponent)
Úkolem bylo navrhnout grafový jazyk, ve kterém by bylo snadné napsaní libovolného grafového algoritmu. Kromě intuitivního psaní kódu byl kladen důraz i na jeho délku. Výsledkem je tedy množinové chápaní grafu (vysvětleno dále). K jazyku byl vytvořen program PSGraph jako preprocesor navrženého grafového jazyka, který ve spolupráci s určitým pluginem zkonvertuje vstupní algoritmus do jiného libovolného objektového jazyka, jako c, c++, c#, Java, Object Pascal, Delphi " .. K programu je v bakalářské verzi i plugin pro konverzi do c++, jehož vystup je psán jako counted-pointerl. Powered by TCPDF (www.tcpdf.org)
|
|
|
Simulace systému pro směrování dlouhých zpráv
Bečka, Michal ; Mareš, Martin (oponent) ; Kučera, Luděk (vedoucí práce)
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.
|
|
| |
|
|
Animaci algoritmů vnějšího třídění
Louženský, Zdeněk ; Kryl, Rudolf (vedoucí práce) ; Kučera, Luděk (oponent)
Tato bakalářská práce popisuje hlavní komponenty softwarového díla Animator. Program Animator umožňuje uživatelům studovat algoritmy vnějšího třídění. Uživatelé mohou algoritmy trasovat nebo je nechat animovat a pozorovat pásky s tříděnými prvky pomocí různorodě zaměřených pohledů také nazývaných zobrazení. Průběh algoritmu mohou ovlivňovat přenastavováním hodnot proměnných nebo změnou prvků uložených na páskách. Také se mohou zaměřit na zkoumání efektivity algoritmu pomocí statistik, které jsou v průběhu třídění shromažďovány. Animator je dále možné rozšřovat o nové algoritmy a obohacovat o nové pohledy na pásky s tříděnými prvky.
|
|
| |
|
|
Simulace směrování v bezdrátových sítích
Kouba, Jan ; Peterka, Jiří (oponent) ; Kučera, Luděk (vedoucí práce)
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š ; Kučera, Luděk (oponent) ; Senft, Martin (vedoucí práce)
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ť.
|
|
|
HyperCuts pro filtrování Linuxových paketů
Mašíček, Viktor ; Peterka, Jiří (oponent) ; Kučera, Luděk (vedoucí práce)
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.
|
host ::
RSS.