|
|
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.
|
|
|
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.
|
|
|
Evoluční optimalizace řídicích algoritmů
Weisser, Roman ; Šeda, Miloš (oponent) ; Zelinka,, Ivan (oponent) ; Ošmera, Pavel (vedoucí práce)
Dizertační práce se zaměřuje na evoluční optimalizaci řídicích algoritmů. V první části práce jsou popsány evoluční optimalizační metody, jejich principy a dílčí algoritmy, zejména pak ty, které se používají ve dvoufázové transplantační evoluci. Dále práce popisuje gramatickou evoluci, jejíž modifikovaný algoritmus se stal podnětem pro vytvoření transplantační evoluce. Transplantační evoluce a její dvoufázová modifikace jsou nové evoluční algoritmy navržené během řešení této práce, jenž byly použity pro optimalizaci struktury a parametrů řídicích algoritmů obecných regulátorů. Algoritmus transplantační evoluce a jeho rozšířená dvoufázová modifikace jsou podrobně popsány v následujících kapitolách. Pro zajištění minimalizace času optimalizace a nalezení řešení blížícímu se globálnímu optimu je důležité správné nastavení evolučních algoritmů. Vhodnému nastavení parametrů diferenciální evoluce se stručně věnuje kapitola meta-evoluce. V další části jsou popsány základní pojmy z oblasti regulace, vybrané metody identifikace soustav a nastavení regulátorů. Tato část také popisuje algoritmy číslicových regulátorů a některé metody používané během jejich realizace. V experimentální části jsou ukázky optimalizace řídicích algoritmů různých typů regulátorů. Optimalizované řídicí algoritmy obecných regulátorů jsou porovnány na různých soustavách s různě nastavenými PSD regulátory, jejichž nastavení bylo realizováno vybranými algebraickými metodami, nebo diferenciální evolucí. V závěru práce je uvedeno doporučení pro další vývoj v oblasti evoluční optimalizace regulátorů se zaměřením na oblast paralelních a distribuovaných výpočtů.
|
|
| |
|
|
Application of Genetic Algorithms and Data Mining in Noise-based Testing of Concurrent Software
Šimková, Hana ; Kofroň, Jan (oponent) ; Lourenco, Joao (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis proposes an improvement of the efficiency of testing concurrent software by employing data mining techniques and genetic algorithms in the process of testing concurrent software. Concurrent, or multi-threaded, programming has become very popular over the last few years. However, as the concurrent programming is far more demanding the sequential programming, its increased use leads to a significant increase in the number of errors that appear in commercial software due to errors in synchronization. Finding such errors using traditional testing methods is difficult. Moreover, repeated test executions of traditional testing that are performed in the same environment will typically examine similar interleavings only. Hence, the noise-based injection approach is used for influencing the scheduling by injecting various kinds of noise (delays, context switches, and so on) into the common thread behaviour which stress the software and can to show some rare behaviour. However, for the noise injection to be efficient, one has to choose suitable noise injection heuristics from among the many existing ones as well as to suitably choose values of their various parameters, which is not easy. In this work, there are used data mining methods and genetic algorithms and their combinations to deal with the problem of choosing such noise injection heuristics and values of their parameters. Besides setting up of the goals of the thesis, this proposal also provides a brief summary of the state of the art in application of data mining techniques and genetic algorithms to program testing problems.
|
|
|
Hledání nejkratších cest grafem
Jágr, Petr ; Ohlídal, Miloš (oponent) ; Jaroš, Jiří (vedoucí práce)
Předmětem této bakalářské práce je hledání, porovnání, úprava a implementace vhodných grafových algoritmů vedoucích k nalezení všech nejkratších cest mezi všemi dvojicemi vrcholů v neorientovaných grafech. Pro tento účel jsou využity modifikace již existujících algoritmů a jejich fragmentů tak, aby bylo docíleno co možná nejnižší časové náročnosti výpočtu. Porovnáme si Dijkstrův, Floyd-Warshallův a Bellman-Fordův algoritmus.
|
|
| |
|
|
Evoluční algoritmy v návrhu konvolučních neuronových sítí
Badáň, Filip ; Vašíček, Zdeněk (oponent) ; Sekanina, Lukáš (vedoucí práce)
Táto práca sa zaoberá možnosťami automatizácie návrhu neurónových sietí pomocou neuroevolúcie, t. j. využitia evolučných algoritmov pri konštruovaní umelých neurónových sietí alebo optimalizovaní ich parametrov. Cieľom práce je navrhnúť a implementovať evolučný algoritmus v podobe frameworku slúžiaceho na automatizáciu a optimalizáciu návrhu topológií konvolučných neurónových sietí. Účinnosť frameworku bola následne experimentálne vyhodnotená na úlohách klasifikácie obrazu na datasetoch MNIST a CIFAR10. Výsledky ukázali, že neuroevolúcia má potenciál hľadať úspešné a efektívne architektúry konvolučných neurónových sietí.
|
host ::
RSS.