|
| |
|
|
Evoluční knihovna pro podporu návrhu komunikačních protokolů
Sameš, Martin ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Potreba vyvíjať nové a nové bezpečnostné protokoly, ktoré zodpovedajú stanoveným požiadavkám vedie k automatizácií ich návrhu a následne lepšiu možnosť verifikácie. Táto práca sa zaoberá možnosťou automatizovaného návrhu protokolov s využitím genetických algoritmov. Porovnaním jednotlivých prístupov a následným vytvorením evolučnej knižnice pre podporu návrhu bezpečnostných protokolov.
|
|
|
Inteligentní webový plánovač práce
Kmeť, Miroslav ; Vrábel, Lukáš (oponent) ; Čermák, Martin (vedoucí práce)
V této práci jsou popsány základní princípy využití evolučních algoritmů. Práce se zabýva použitím evolučních algoritmů při tvorbě informačního systému umožňujícího rozkládání zadávané práce mezi skupinu zaměstnanců. K řešení tohoto problému využívá hlavně genetické algoritmy, jenž představují inteligentní stochastické optimalizační techniky založené na mechanizmu přirozeného výběru a genetiky. Každé řešení reprezentuje jedince v populaci a k procesu křížení jsou vybírány pouze nejpřizpůsobenější jedinci.
|
|
|
Optimalizace predikce pozice v síti
Pospíšil, Petr ; Pfeifer, Václav (oponent) ; Burget, Radim (vedoucí práce)
Práce se zabývá určováním pozice v síti, je zaměřena na určení nejbližšího bodu v síti pro stanici (s nejnižším vektorem vzdálenosti). Algoritmus je založen na systému GNP. Na základě simulace systému GNP byla pro testování vybrána metoda pro matematické řešení problému odhadu pozice. Zvolena byla metoda Simplex Downhill. Byla tedy implementována metoda v jazyce Java pro odhad pozice v síti, která měřením v první fázi určí kontinent, na nemž se stanice nalézá, pak stanoví část kontinentu a ve finální fázi si odhadne svou pozici přesněji a podle ní určí nejbližší poziční bod. Účelem této práce je zjistit použitelnost systému GNP pro operaci v protokolu TTP nazvanou binning, kdy si stanice hledá nejbližší sumarizační bod. Na základě testování navrženou aplikací bylo zjištěno, že pokud je síť pozičních bodů dostatečně hustá a dobře a rovnoměrně rozmístěna, je GNP pro operaci binning použitelná.
|
|
|
Evoluce CoreWar válečníků pomocí genetických algoritmů
Tříska, Martin ; Beran, Vítězslav (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Evoluční algoritmy jsou progresivní a neustále se vyvíjející část informatiky. Jsou využívány zejména k řešení mnohodimenzionálních problémů s četnými lokálními maximami, které není možné řešit analyticky. Tato práce pojednává o možnosti jejich využití pro tvorbu programů v jazyce Redcode, které budou schopny bojovat dle pravidel hry Corewars. Navrhuje možnosti reprezentace programů jazyka Redcode pro účely evolučních algoritmů, řeší návrh platformy pro evaluaci fitness těchto jedinců a diskutuje možnosti jejich křížení a mutace. Součástí práce je rovněž aplikace schopná vývoje takovýchto programů.
|
|
|
Fuzzer založený na genetickém programování
Závada, Tomáš ; Gerlich, Tomáš (oponent) ; Ilgner, Petr (vedoucí práce)
Práce rozebírá problematiku testovaní, probírá různé její přístupy a konkrétněji se pak zaměřuje na automatizovanou testovací techniku fuzzing. Rozebírá její proces, výhody, nevýhody a následně představuje také některá její možná vylepšení. Dále je práce zaměřená už konkrétně na vylepšení procesu techniky fuzzing za využití genetických algoritmů. Genetické algoritmy pomáhají vytvářet vhodnější testovací vstupy, čímž šetří čas při testování, za dosažení vhodných výsledků. Jako cíl testování byl vybrán server využívající standardu DLMS/COSEM. V práci je dále tedy představen rovněž protokol DLMS, zajišťující komunikaci mezi klienty a servery, a další náležitosti spadající pod specifikaci COSEM. Dále je popsáno sestavení testovací sítě, obsahující server a klienta, které ke komunikaci využívají zmíněný standard. V práci je rovněž zpracován návrh řešení, jak by zapojení testovacího nástroje do sítě mohlo vypadat. Dále je pak rovněž zahrnuta samotná implementace fuzzeru využívajícího právě procesu genetických algoritmů ke generování testovacích dat.
|
|
|
Tvorba rozvrhů pomocí genetických algoritmů
Horký, Aleš ; Matoušek, Jiří (oponent) ; Minařík, Miloš (vedoucí práce)
Tato bakalářská práce obsahuje návrh a implementaci dvoufázového genetického algoritmu určeného pro tvorbu rozvrhů na základních školách. Algoritmus je vytvořen tak, aby bez snížení obecnosti výpočtu co nejvíce zredukoval stavový prostor řešeného problému. Implementovaný program v jazyce C++ je použitelný pro tvorbu rozvrhů na menších a středních školách.
|
|
|
Optimalizace průtokových poměrů v mazacích obvodech s progresivními rozdělovači pomocí genetických algoritmů
Vepřek, Jiří ; Pavlok, Bohuslav (oponent) ; Bauer, František (oponent) ; Habán, Vladimír (oponent) ; Nevrlý, Josef (vedoucí práce)
Tato disertační práce popisuje výsledky vývoje dvou softwarových programů pro návrh progresivních rozdělovačů a progresivních mazacích systémů. V prvním z těchto programů je implementován genetický algoritmus a ve druhém programu, který slouží k návrhu progresivních mazacích systémů, je použit paralelní genetický algoritmus ostrovního typu. Program určený k návrhu progresivních rozdělovačů byl vytvořen na platformě Java, ve vývojovém prostředí Netbeans, a ten druhý v prostředí Matlab. Těžiště disertační práce dále spočívá v teoretickém a početním řešení toku stlačitelných plastických maziv v časovém prostoru, jako visko-plastických látek. V této disertační práci byly odvozeny vztahy k numerickému řešení neustáleného toku stlačitelné visko-plastické binghamské kapaliny. K řešení byla použita numerická metoda Lax-Wendroff a programové zpracování bylo provedeno v prostředí Matlab. Odvozené rovnice bylo zapotřebí doplnit o fyzikální konstanty, proto byla provedena řada experimentálních měření s ekologickým plastickým mazivem Plantogel 2S v Tribologické laboratoři na Odboru fluidního inženýrství V. Kaplana, zejména za účelem stanovení rychlosti zvuku v tomto mazivu. Tato rychlost byla na základě experimentálních výsledků, s využitím Fourierovy transformace a metody přenosových matic, stanovena početně. Dále byly využity výsledky reometrických měření ekologických plastických maziv. Jak je patrné, jsou tato maziva ve skutečnosti tixotropní visko-plastické látky s významnou elastickou složkou. Protože byla při početním stanovení rychlosti zvuku v plastickém mazivu uvažována newtonská kapalina, byly dále analyzovány možnosti, jak využít metodu přenosových matic také pro visko-plastické kapaliny. Analytické řešení toku visko-plastických kapalin ve frekvenční oblasti nebylo dosud publikováno. Jelikož se dále ukázalo, že mají plastická maziva také významnou elastickou složku napětí, byl numericky řešen problém neustáleného toku visko-elasticko-plastických kapalin mezi dvěma rovnoběžnými deskami. K řešení tohoto toku byla použita metoda konečných diferencí. Vlastní programové zpracování numerické simulace bylo provedeno v prostředí Matlab. Tato disertační práce je příspěvkem k řešení problémů spojených s návrhem konstrukce rozdělovačů a progresivních mazacích systémů sloužících k distribuci stlačitelných plastických maziv. Vzhledem ke komplexnímu přístupu v dané problematice a k dosaženým výsledkům, je tato práce přínosem v projekční praxi.
|
|
|
Technická analýza
Kosek, Lukáš ; Doubravský, Karel (oponent) ; Novotná, Veronika (vedoucí práce)
Diplomová práce se zabývá problematikou technické analýza a jejího využití při tvorbě automatických obchodních systémů. V teoretické části práce jsou vysvětleny základní principy fungování měnového trhu (Forex) a technických identifikátorů. Výstupem práce je portfolio strategií, které je aplikováno na měnové páry Euro/Americký dolar a Britská libra/Americký dolar. Obchodní strategie jsou navrhnuté v programu Adaptrade Builder pomocí genetických algoritmů a následně otestované v obchodní platformě MetaTrader 4.
|
|
|
Optimalizace testování pomocí algoritmů prohledávání prostoru
Starigazda, Michal ; Holík, Lukáš (oponent) ; Letko, Zdeněk (vedoucí práce)
Testování vícevláknových programů je náročný proces kvůli velkému množství možných interakcí mezi vlákny, které je třeba otestovat. Technika vkládání šumu umožňuje zvýšit počet otestovaných proložení (interakcí) konkurenčních vláken generováním šumu. Tato práce optimalizuje techniky prohledávání prostoru v oblasti testování vícevláknových programů, a to s využitím deterministických heuristik použitých při aplikací genetických algoritmů na prostor míst v běhu programu, do kterých je možné umístit šum. V práci je navrženo několik nových heuristik vkládání šumu, které jsou deterministické, narozdíl od většiny současných heuristik pracujících s generátorem náhodných čísel. Motivací odstranění náhodnosti je informovanější prohledávání a získávání optimálnějších výsledků pomoci zvýšení stability výsledku poskytovaných novými heuristikami. Součástí práce je i základní sada testovacích programů, která bude použita k vyhodnocení výsledků nových heuristik vkládání šumu.
|
host ::
RSS.