|
|
Generování 3D stromů na základě vzorových obrázků
Kubiš, František ; Polok, Lukáš (oponent) ; Szentandrási, István (vedoucí práce)
Diplomová práce se zabývá studiem možností generování 3D stromů za použití různých metod včetně bezkontextových gramatik a L-systémů. Diplomová práce dále obsahuje kapitolu o evolučních a genetických algoritmech, kde je stručně shrnuta jejich funkce. V této práci byl navržen algoritmus, který má na vstupu 2D obrázek a od uživatele dostane přibližný obrys stromu s polohou počátku kmene. Na základě těchto informací pomocí genetického algoritmu vytvoří 3D strom jenž se vizuálně blíží předloze. Kromě způsobů generování stromů se čtenář seznámí se zpracováním vstupního obrazu a návrhem testovací aplikace.
|
|
|
Evoluční algoritmy v úloze booleovské splnitelnosti
Serédi, Silvester ; Vašíček, Zdeněk (oponent) ; Sekanina, Lukáš (vedoucí práce)
Cílem této diplomové práce je najít heuristiku řešící SAT problém pomocí evolučního algoritmu. Jsou zde uvedeny přístupy k řešení SAT problému a různé varianty k evolučním algoritmům, které jsou relevantní k danému tématu. Následně je popsaná implementace lineárního genetického programování hledající heuristiku pro řešení instancí SAT problému společne s vlastní implementací SAT solveru pracujíci s výstupem evolučně navrženého programu. Na závěr jsou shrnuty dosažené výsledky
|
|
|
Aplikace evolučního algoritmu při tvorbě regresních testů
Belešová, Michaela ; Kajan, Michal (oponent) ; Zachariášová, Marcela (vedoucí práce)
Cílem této diplomové práce je aplikace evolučního algoritmu při tvorbě a optimalizaci regresních testů. V teoretické části práce je popsána teorie spojená s funkční verifikací, verifikační metodikou, regresními testy a evolučními algoritmy. Dále je vytvořen návrh evolučního algoritmu, který umožní zredukovat počet testovacích vektorů vygenerovaných v procesu funkční verifikace za účelem tvorby optimalizovaných regresních testů. Vytvořený návrh je implementován a je na něm provedena sada experimentů. Dosažené výsledky jsou diskutovány.
|
|
|
Rychlá detekce aplikačních protokolů
Grochol, David ; Vašíček, Zdeněk (oponent) ; Sekanina, Lukáš (vedoucí práce)
Diplomová práce se zabývá klasifikací aplikačních protokolů na základě aplikačních dat, tedy dat vrstvy L7 modelu ISO/OSI. Cílem je navrhnout klasifikátor pro systém SDM (Softwarově řízené monitorování) tak, aby mohl být nasazen na linkách s propustností až 100 Gb/s a klasifikoval s co nejmenší chybou. Navržený klasifikátor se skládá ze dvou částí. První částí jsou kodéry, pro zakódování vybraných znaků. Druhou částí je vyhodnocovací obvod detekující řetězce charakterizující jednotlivé aplikační protokoly na výstupu první části. Uvažované znaky pro kodéry a řetězce charakterizující protokoly vychází ze statistické analýzy dat aplikačních protokolů. Samotný klasifikátor je navržen tak, aby mohl být implementován v FPGA a umožňoval upravit množinu aplikačních protokolů určenou pro klasifikaci. Kvalita klasifikátoru je otestována na reálných síťových datech. Výsledky klasifikace jsou srovnány s současnými metodami klasifikace aplikačních protokolů.
|
|
|
Akcelerace evolučního návrhu obvodů na úrovni tranzistorů na platformě Zynq
Mrázek, Vojtěch ; Sekanina, Lukáš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Cílem této práce je návrh a realizace hardwarové jednotky umožňující automatickou syntézu integrovaných obvodů na úrovni tranzistorů. Práce je rozdělena na dvě části. První, teoretická část, se věnuje metodám návrhu obvodů s MOSFET tranzistory a problematice evolučních algoritmů. Dále rozebírá aktuální výsledky výzkumu v této oblasti a navazuje popisem nového přístupu evolučního návrhu a optimalizace číslicových obvodů na úrovni tranzistorů. Následující část se zabývá popisem hardwarové jednotky, která tuto novou metodu akceleruje na obvodu Zynq integrující procesor ARM a programovatelnou logiku. Funkčnost metody je prezentována na optimalizaci vícevstupých obvodů. Hardwarová jednotka byla využita v evolučním návrhu dvou a třívstupých hradel.
|
|
|
Koevoluční algoritmus pro úlohy založené na testu
Hulva, Jiří ; Sekanina, Lukáš (oponent) ; Drahošová, Michaela (vedoucí práce)
Tato práce se zabývá využitím koevoluce při řešení symbolické regrese. Symbolická regrese se používá pro zjištění matematického vztahu, který aproximuje naměřená data. Lze ji provádět pomocí genetického programování - metody ze skupiny evolučních algoritmů inspirovaných evolučními procesy v přírodě. Koevoluce pracuje s několika vzájemně působícími evolučními procesy. V této práci je popsán návrh a implementace aplikace, která dokáže provádět symbolickou regresi pomocí koevoluce pro úlohy založené na testu. Testy jsou generovány novou metodou, která umožňuje dynamicky měnit počet trénovacích vektorů potřebných k ohodnocení kandidátních řešení. Funkčnost aplikace byla ověřena na pěti testovacích úlohách. Výsledky byly porovnány s koevoluční metodou pracující s fixním počtem trénovacích vektorů. U tří úloh nalezla nová metoda řešení požadované kvality během menšího počtu generací, většinou ale bylo potřeba provést více vyčíslení trénovacích vektorů.
|
|
|
Generování matematických příkladů pro střední a základní školy
Janečka, Jan ; Straka, Martin (oponent) ; Kaštil, Jan (vedoucí práce)
Bakalářská práce se zabývá generováním písemných testů z matematiky pro střední a základní školy. Ke generování je využita efektivita genetického algoritmu. V práci jsou implementovány dva typy příkladů: lineární rovnice s neznámou v čitateli a slovní úlohy o pohybu. U každého z těchto typů příkladů je možno nastavit specifické požadavky. Výstup je tvořen dvěma soubory ve formátu pdf, kdy jeden soubor obsahuje zadání testu a druhý řešení tohoto zadání.
|
|
|
Nástroj pro analýzu záznamů o průběhu evoluce číslicového obvodu
Kapusta, Vlastimil ; Bidlo, Michal (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato diplomová práce popisuje stochastické optimalizační algoritmy inspirované přírodou, které využívají populaci jedinců - konkrétně evoluční algoritmy. Blíže je popsáno genetické programování a jeho varianta - kartézské genetické programování. Dále se práce zaměřuje na analýzu a vizualizaci záznamů o průběhu evoluce číslicového obvodu. Byly zmapovány existující nástroje pro vizualizaci průběhu evoluce obvodů. Protože nebyl nalezen vyhovující nástroj, který by umožnil komplexní analýzu průběhu evoluce obvodů, byla pro tento účel navržena sada analytických funkcí. Navržené funkce byly implementovány ve formě interaktivního nástroje s grafickým uživatelským rozhraním v jazyce Java. Vytvořená aplikace byla detailně popsána a poté použita k analýze zvolených evolučních záznamů.
|
|
|
Koevoluce obrazových filtrů a prediktorů fitness
Trefilík, Jakub ; Hrbáček, Radek (oponent) ; Drahošová, Michaela (vedoucí práce)
Tato práce se zabývá využitím principů koevoluce pro návrh obrazových filtrů. Evoluční algoritmy se pro vývoj obrazových filtrů ukazují jako velmi výhodná metoda. Použitím koevoluce prediktorů fitness vnášíme do evolučního návrhu procesy, které vzájemným ovlivňováním populace kandidátních filtrů s populací prediktorů fitness dokáží zrychlit konvergenci řešení. Prediktor fitness je malá podmnožina množiny trénovacích vektorů a používá se k přibližnému určení fitness kandidátních filtrů. V této práci je pro evoluci prediktorů fitness využito nepřímé kódování, které reprezentuje matematický výraz, pomocí něhož jsou vybírány trénovací vektory použité pro vyhodnocení fitness kandidátních filtrů. Tento přístup byl experimentálně vyhodnocen v úloze evolučního návrhu náhodného impulzního šumu a šumu typu sůl a pepř pro různé intenzity šumu a také v úloze návrhu detektoru hran. Ukázalo se, že pomocí tohoto přístupu prediktory fitness přizpůsobují počet použitých trénovacích vektorů pro vyhodnocení kandidátního filtru souběžně s řešením úlohy a tím snižují výpočetní náročnost evolučního návrhu obrazových filtrů.
|
|
|
Optimization of Aircraft Tracker Parameters
Samek, Michal ; Vlk, Jan (oponent) ; Smrž, Pavel (vedoucí práce)
This Master's thesis deals with a configuration optimization of an aircraft surveillance system, which is being used in the air traffic control. We survey commonly used methodology for a performance evaluation of such surveillance systems and review relevant algorithms for target tracking. Three optimization approaches are explored. The first solution attempts to identify parameters of employed filtering algorithms by using the Expectation-Maximisation algorithm to find corresponding maximum likelihood estimates. The second approach employs a simple distribution fitting to the available measured and reference data. Evolution strategies are examined as the third option. Experimental evaluation shows that the third approach is the most suitable for the problem in hand.
|
host ::
RSS.