|
|
Evoluční modely pro vyhodnocení příbuznosti organismů
Gregorová, Kateřina ; Maděránková, Denisa (oponent) ; Škutková, Helena (vedoucí práce)
Práce je zaměřená na studium a popis evolučních modelů pro vyhodnocení evoluční vzdálenosti DNA sekvencí a proteinových sekvencí v aminokyselinové a kodónové reprezentaci. V rámci této práce byl vytvořen program, který vyhodnocuje genetickou vzdálenost sekvencí DNA a proteinů za použití některých evolučních modelů. Program vypočítá genetické vzdálenosti porovnávaných sekvencí a na jejich základě vykreslí fylogenetický strom. Takto lze relativně snadno a rychle vyhodnotit příbuznost organismů. Pro snadné ovládání je součástí vyhodnocovacího programu také grafické uživatelské rozhraní (GUI).
|
|
|
Historický přehled vývoje podvozků a motorů formule 1
Hrudík, Jan ; Svída, David (oponent) ; Dundálek, Radim (vedoucí práce)
Tato bakaláská práce se zabývá pehledem hlavních milník v oblasti vývoje konstrukce závodního vozu. Pozornost je vnována vozm formule 1, které jezdí v závodech od roku 1950. Ped samotným popisem technických ešení vozu formule 1 je zaazena ást, která strun osvtluje postupné smování k formuli 1. V následující kapitole jsou v pehledné tabulce zpracovány technické omezení a pedpisy pro konstrukci voz Velkých cen. Tabulka je uspoádaná vzestupn podle jednotlivých let. Další ást se vnuje aktuální sezón 2008 svtového šampionátu. Je zde uveden výtah z technických regulí a také pehled všech tým, jezdc a voz v této sezón. Jeden z tým je v samostatné ásti popsán podrobnji vetn nkolika obrázk. Poslední oddíl má za cíl doplnit historii vývoje o konstrukní zvláštnosti a experimenty.
|
|
|
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í.
|
host ::
RSS.