|
|
Využití SAT solverů v úloze optimalizace kombinačních obvodů
Minařík, Vojtěch ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato práce zavádí využití řešení problému SAT a jeho modifikací v úloze evolučního návrhu kombinačních obvodů. Motivací využití těchto problémů je zrychlení ohodnocování chromozomů kandidátních řešení fitness funkcí během evoluce v případech, kdy selhává metoda klasické simulace. Využití problému SAT, respektive #SAT umožňuje oproti simulaci zrychlení zejména pro komplikované obvody s velkým počtem vstupů. Implementované řešení se zalkádá právě na problému #SAT. Celkem byly implemenyovány dvě různé varianty využití tohoto problému. Varianty se liší metodou kontorly rozdílných hodnot na výstupech obvodu. Protože implementované řešení využívá k reprezentaci obvodu logickou formuli a zkoumá její splnitelnost, časová složitost algoritmu závisí především na logické složitosti navrhovaného obvodu.
|
|
| |
|
|
Evoluční resyntéza kombinačních obvodů
Kocnová, Jitka ; Sekanina, Lukáš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Diplomová práce se zabývá resyntézou kombinačních obvodů pomocí evolučních principů. První část se zabývá logickou syntézou a jejími problémy, evoluční syntézou a výhodami evolučního přístupu, a taktéž jsou zmíněny některé existující syntézní nástroje. V druhé části jsou pak přiblíženy vybrané grafové algoritmy a jejich možné využití v navrhovaném programovém rozšíření pro vybraný syntézní nástroj. Zde je také popsán návrh rozšíření a jeho samotná implementace. Třetí část se zabývá testováním vzniklého rozšíření. Čtvrtou částí je závěr shrnující získané poznatky a dosažené výsledky.
|
|
|
Sebemodifikující se programy v kartézském genetickém programování
Minařík, Miloš ; Slaný, Karel (oponent) ; Sekanina, Lukáš (vedoucí práce)
Kartézské genetické programování se během posledních let ukázalo jako velmi perspektivní oblast evolučních výpočtů. Má však jistá omezení, která znemožňují řešit pomocí něj rozsáhlejší nebo obecné problémy. Tato omezení lze eliminovat pomocí novějšího přístupu umožňujícího sebemodifikaci programů v kartézském genetickém programování. Cílem této práce je zhodnotit dosavadní vývoj a aktuální situaci v této oblasti a navrhnout vlastní řešení různých problémů, při jejichž řešení klasické kartézské genetické programování selhává. Jedním z těchto problémů, kterými se práce zabývá, je generování členů Taylorova rozvoje pro různé funkce. Vzhledem k tomu, že se jedná o problém vyžadující zobecnění, je cílem dokázat, že sebemodifikující varianta kartézského genetického programování je v tomto ohledu lepší než klasická. Dalším řešeným problémem bude využití sebemodifikujících programů v kartézském genetickém programování k návrhu řadicích sítí pro libovolný počet vstupů. Také v tomto případě je záměrem dokázat, že sebemodifikace přináší do kartézského genetického programování nové aspekty nutné k vývoji libovolně rozsáhlých řešení.
|
|
|
Simulace skladu a optimalizace rozmístění produktů za účelem zvýšení propustnosti skladu
Kočica, Filip ; Kolář, Martin (oponent) ; Kodym, Oldřich (vedoucí práce)
Tato práce řeší problematiku alokace produktů do lokací ve skladu za pomoci moderních meta-heuristických přístupů v kombinaci s realistickou simulací skladu. Práce poskytuje grafický nástroj umožňující sestavení modelu skladu, generování syntetických zákaznických objednávek, optimalizaci alokace produktů za pomoci kombinace state of the art technik, simulátor vytvořeného modelu skladu a nakonec nástroj pro hledání nejkratší cesty objednávky skrze sklad. Práce také uvádí porovnání různých přístupů a experimenty s vytvořenými nástroji. Podařilo se optimalizovat propustnost experimentálního skladu na téměř dvojnásobek -- 57%. Přínosem této práce je možnost vytvoření modelu plánovaného či již existujícího skladu a jeho simulace i optimalizace, což může značně zvýšit propustnost skladu a pomoci detekovat a odstranit vytížená místa. To může vést k ušetření zdrojů či pomáhat v plánování. Dále tato práce přináší nový způsob optimalizace skladu a nové optimalizační kritérium.
|
|
|
Zavěšení, odpružení, tlumení závodních vozidel
Šťastný, Jan ; Zháňal, Lubor (oponent) ; Blaťák, Ondřej (vedoucí práce)
Hlavním tématem této bakalářské práce je přehled konstrukčních řešení systémů zavěšení, odpružení a tlumení závodních vozidel. Pozornost je věnována především automobilovým soutěžím pod záštitou AČR (Autoklubu České republiky). Předně je zařazena část, která stručně popisuje hlavní druhy a princip činnosti náprav, odpružení a tlumení. V následující části je přehled technických omezení a předpisů pro konstrukční řešení závodních vozidel. V dalším odstavci je detailněji pomocí obrázků rozebráno několik v současnosti nejpoužívanějších typů konstrukčních řešení pro danou soutěž. Poslední část se zabývá tendencí vývoje v oblasti konstrukce systémů zavěšení, odpružení a tlumení závodních vozidel.
|
|
|
Hardwarová akcelerace algoritmu pro hledání podobnosti dvou DNA řetězců
Nosek, Ondřej ; Kořenek, Jan (oponent) ; Martínek, Tomáš (vedoucí práce)
Metody pro zarovnání různých typů bioinformatických sekvencí jsou klíčovou součástí výzkumu v této oblasti. Úlohy jsou časově velmi náročné, a proto má smysl vytvořit hardwarovou platformu pro urychlení těchto výpoětů. Cílem této práce je navržení obecné architektury založené na FPGA technologii, která dokáže pracovat s několika různými druhy sekvencí. Metody, které bude navržená akcelerační karta používat budou především dynamické algoritmy Needleman-Wunsch a Smith-Waterman.
|
|
|
Difuzní evoluční algoritmus
Žundálek, Zbyněk ; Puš, Viktor (oponent) ; Jaroš, Jiří (vedoucí práce)
Tato bakalářská práce se zabývá paralelizací difuzních evolučních algoritmů pomocí knihovny OpenMP. Náplní teoretické části práce je stručný úvod do problematiky evolučních a genetických algoritmů následovaný popisem paralelní verze těchto algoritmů na systémech se sdílenou pamětí. Teoretická část je zakončena rozborem klíčových vlastností knihovny OpenMP. Praktická část podrobně popisuje dvě možné varianty implementace difuzního evolučního algoritmu - synchronní a asynchronní. V experimentální části je na problému N dam provedeno srovnání těchto dvou variant s důrazem na maximální dosažené zrychlení. Kvalita nalezeného řešení je dále zkoumána s ohledem na použitý typ okolí, topologie a operátoru nahrazení.
|
|
|
Design of Digital Circuits at Transistor Level
Kešner, Filip ; Šimek, Václav (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Práce se zaměřuje na návrh obvodů na úrovni tranzistorů, především za použití evoluční metody návrhu. Za tímto účelem je nutné volit rozumnou míru abstrakce a tak dosáhnout vyšší rychlosti ohodnocování kandidátních řešení pomocí fitness funkce. Práce probírá již vyzkoušené postupy návrhu obvodů na tranzistorové úrovni a z nich vybírá užitečné prvky pro vytvoření výkonějšího systému, který by byl schopen navrhovat komplexní logické obvody. Dále se práce zabývá implementací tohoto systému a probírá použitý přístup k řešení problémů návrhu a optimilizace tranzistorových obvodů použitím evoluce.
|
|
|
Detection of positive selection in reproductive genes of songbirds
Cakl, Lukáš ; Reifová, Radka (vedoucí práce) ; Těšický, Martin (oponent)
Předpokládá se, že geny ovlivňující reprodukci hrají důležitou roli jak v adaptivní evoluci, tak ve speciaci. U ptáků však zatím neexistuje mnoho informací o molekulární evoluci těchto genů. Tato práce se zabývá identifikací reprodukčních genů podléhajících pozitivní selekci v genomech pěvců a analýzou jejich funkcí. Ze 14 pub- likovaných genomů jsme nejdříve sestavili 12000 skupin ortologních genů a v 385 z nich existujícími metodami detekovali stopy dlouhodobé pozitivní selekce. Díky publikovaným proteomickým datům jsme celogenomový soubor genů mohli zúžit na geny exprimované ve spermiích a v tekutinách ze samičího pohlavního traktu. Ve spermiích pozitivní selekce působila na 22 z 940 exprimovaných genů, zatímco v samičích tekutínách jen na 6 z 529, což poukazuje na konzervativnější chování proteinů v samičích tekutinách. Následně jsme detekovali nadměrné zastoupení jednotlivých funkcí proteinů tak, jak jsou popsané v gene ontology. U spermií naše výsledky poukázaly na evoluční tlak působící zejména na je- jich cytoskelet, molekulární motory a energetický metabolismus, což naznačuje důležitost morfologie spermií a rychlosti jejich pohybu. Napříč celým genomem pak výsledky nejen potvrzovaly výsledky získané u spermií, ale též poukazovaly na pozitivní selekci procesů spjatých s mitózou a meiózou....
|
host ::
RSS.