|
|
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.
|
|
|
Modifikace genetických algoritmů pro návrh celulárních automatů
Magdolen, Matej ; Vašíček, Zdeněk (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce se zabývá evolučním návrhem přechodové funkce celulárního automatu řešícího zvolenou úlohu. Jsou v ní popsány celulární automaty, evoluční algoritmy a alternativní forma zápisu pravidel přechodové funkce vhodná pro evoluční návrh - podmínková pravidla. Dále je zvolen problém řešený celulárním automatem a prezentovány pokusy takový automat navrhnout genetickým algoritmem. Pokračuje se optimalizací parametrů algoritmu, hledáním jeho možných problémů a navržením modifikací řešících je. Pozitivní vlyv těchto modifikací je následně zhodnocen na několika experimentech.
|
|
|
Strojové učení pro odvozování modelů formálních jazyků
Bardonek, Petr ; Kocman, Radim (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato bakalářská práce se zabývá odvozováním modelů formálních jazyků. Jedná se o vědní disciplínu na poli výzkumu umělé inteligence. Cílem je vytvořit aplikaci umožňující automatické vytvoření modelu, v podobě konečného automatu, pro neznámý formální jazyk na základě množiny řetězců neznámého formálního jazyka s využitím upravené metody strojového učení.
|
|
|
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.
|
|
|
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.
|
|
|
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ů.
|
|
|
Planární antény na substrátech s elektromagnetickými zádržnými pásmy
Horák, Jiří ; Dědková, Jarmila (oponent) ; Škvor,, Zbyněk (oponent) ; Raida, Zbyněk (vedoucí práce)
Planární antény se využívají v mnoha oblastech techniky. Do skupiny planárních antén se řadí hlavně mikropáskové antény, které jsou velmi oblíbené pro jejich přednosti, jako je nízká hmotnost, nízký profil, snadná výroba a možnost je vyrábět ve velkých sériích. Nevýhodou je u nich pak povětšinou nižší zisk a vznik povrchových vln v dielektrickém materiálu. Šíření povrchových vln je možno potlačit použitím dielektrického materiálu s elektromagnetickými zádržnými pásmy (EBG) namísto konvenčního substrátu. Mikropáskové antény na EBG substrátech jsou již několik let prezentovány v literatuře. Co však ještě publikováno nebylo a na co se zaměřuje tato disertační práce, je návrh takového materiálu pro potlačení povrchových vln na více kmitočtech, které by byly od sebe více vzdáleny, a tudíž by nebylo možné je pokrýt jedním širokým zádržným pásmem. Pro získání co nejlepších parametrů antén bude v práci využito také optimalizace některou globální metodou (genetické algoritmy, optimalizace rojem částic, optimalizace pomocí kolonie mravenců).
|
|
|
Optimalizace kogeneračního systému
Stacha, Radek ; Turek, Vojtěch (oponent) ; Jegla, Zdeněk (vedoucí práce)
Diplomová práce je zaměřena na optimalizaci případu kogeneračního systému za účelem posouzení výpočtových vlastností optimalizačních metod. V práci je uveden popis jednotlivých metod spolu s blokovými diagramy. V první části práce jsou jednotlivé výpočtové algoritmy představeny a navzájem porovnány. Na základě porovnání je následně vytvořen hybridní model, kterým je optimalizován modelový případ kogeneračního systému. Jednotlivé porovnávané algoritmy jsou spolu s vytvořenými hybridními algoritmy součástí příloh.
|
|
|
Heuristic algorithms in optimization
Šandera, Čeněk ; Popela, Pavel (oponent) ; Roupec, Jan (vedoucí práce)
The thesis deals with stochastic programming and determining probability distributions which cause extreme optimal values (maximal or minimal) of an objective function. The probability distribution is determined by heuristic method, especially by genetic algorithms, where whole population approximates desired distribution. The first parts of the thesis describe mathematical and stochastic programming in general and also there are described various heuristic methods with emphasis on genetic algorithms. The goal of the diploma thesis is to create a program which tests the algorithm on linear and quadratic stochastic models.
|
|
|
Pravděpodobnostní optimalizace konstrukcí
Slowik, Ondřej ; Pukl, Radomír (oponent) ; Novák, Drahomír (vedoucí práce)
Práce demonstruje čtenáři význam optimalizace a pravděpodobnostního posuzování konstrukcí pro problémy stavebního inženýrství. Ve 2. kapitole je blíže popsáno propojení dříve navržených optimalizačních technik s pravděpodobnostním posouzením v podobě omezujících podmínek optimalizace. Pro účely statistického testování a demonstrace účinnosti navrhovaných postupů byl vyvinut akademický software, který navržené algoritmy automatizuje. Kapitola 3. obsahuje přehled výsledků testování autorem navržené optimalizační metody (tzv. Cílené víceúrovňové vzorkování) včetně porovnání s jinými optimalizačními technikami. V závěru práce je demonstrována aplikace popsaných postupů na vybrané optimalizační a spolehlivostní úlohy. V textu představené metody vycházejí z inženýrského přístupu k optimalizačním problémům a kladou si za cíl definovat jednoduše uchopitelný optimalizační algoritmus, jenž by po patřičné automatizaci mohl sloužit účelům běžné inženýrské praxe.
|
host ::
RSS.