|
|
Techniky reprezentace pro evoluční návrh celulárních automatů
Kovács, Martin ; Drábek, Vladimír (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce je zaměřena na experimentální testování různých reprezentací přechodové funkce celulárního automatu. V práci je prezentována výpočetní platforma celulárního automatu. Celulární automat má mnoho potenciálních využití při simulacích různých přírodních jevů, fyzikálních systémů, atd. Jeho paralelní výpočet založený na lokálních bunečných interakcích je však náročný na programování, proto je návrh programu automatu často přenechán evolučním technikám. Evoluční techniky založené na Darwinově teorii evoluce byly už mnohokrát využity pro nalezení stejně dobrých nebo lepších než lidsky navržených řešení různých problémů. Evoluční techniky ale vyžadují speciální zakódování řešených problémů, a právě z toho důvodu jsou reprezentace přechodové funkce celulárního automatu zkoumány. Zkoumané reprezentace zahrnují klasickou tabulkovou reprezentaci, podmínková pravidla a kartézske genetické programování. Testovacím problémem pro určení efektivity reprezentací je funkce druhé mocniny.
|
|
|
Interaktivní simulátor DNA výpočtu
Kovács, Martin ; Petrlík, Jiří (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce je zaměřena na shrnutí biologických operací nad DNA a jejich nasazení ve výpočtu složitých matematických problémů. Ukázkovým příkladem, jehož řešení je v práci demonstrováno, je problém hamiltonovské cesty grafem, také znám jako problém obchodního cestujícího. Při řešení tohoto problému budou popsány použité operace nad DNA a postup, který poprvé představil Leonard Adleman. Jeho práci je možné považovat za první experiment v oboru, který je teď známý jako DNA počítání. Cílem této bakalářské práce je implementovat interaktivní simulační program (založený na principech a formálním modelu Adlemanovy práce) pro řešení hamiltonovské cesty grafem a zhodnotit jeho možnosti vzhledem na prostorovou složitost při různých instancích problému obchodního cestujícího.
|
|
|
Techniky reprezentace pro evoluční návrh celulárních automatů
Kovács, Martin ; Drábek, Vladimír (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce je zaměřena na experimentální testování různých reprezentací přechodové funkce celulárního automatu. V práci je prezentována výpočetní platforma celulárního automatu. Celulární automat má mnoho potenciálních využití při simulacích různých přírodních jevů, fyzikálních systémů, atd. Jeho paralelní výpočet založený na lokálních bunečných interakcích je však náročný na programování, proto je návrh programu automatu často přenechán evolučním technikám. Evoluční techniky založené na Darwinově teorii evoluce byly už mnohokrát využity pro nalezení stejně dobrých nebo lepších než lidsky navržených řešení různých problémů. Evoluční techniky ale vyžadují speciální zakódování řešených problémů, a právě z toho důvodu jsou reprezentace přechodové funkce celulárního automatu zkoumány. Zkoumané reprezentace zahrnují klasickou tabulkovou reprezentaci, podmínková pravidla a kartézske genetické programování. Testovacím problémem pro určení efektivity reprezentací je funkce druhé mocniny.
|
|
|
Interaktivní simulátor DNA výpočtu
Kovács, Martin ; Petrlík, Jiří (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce je zaměřena na shrnutí biologických operací nad DNA a jejich nasazení ve výpočtu složitých matematických problémů. Ukázkovým příkladem, jehož řešení je v práci demonstrováno, je problém hamiltonovské cesty grafem, také znám jako problém obchodního cestujícího. Při řešení tohoto problému budou popsány použité operace nad DNA a postup, který poprvé představil Leonard Adleman. Jeho práci je možné považovat za první experiment v oboru, který je teď známý jako DNA počítání. Cílem této bakalářské práce je implementovat interaktivní simulační program (založený na principech a formálním modelu Adlemanovy práce) pro řešení hamiltonovské cesty grafem a zhodnotit jeho možnosti vzhledem na prostorovou složitost při různých instancích problému obchodního cestujícího.
|
host ::
RSS.