|
| |
|
|
Behaviour-based control of autonomous robots
Gažo, Matúš ; Mráz, František (vedoucí práce) ; Obdržálek, David (oponent)
Ciel'om bakalárskej práce bola implementácia frameworku v jazyku C++, ktorý bude slúžit' na kompaktnejší vývoj umelej inteligencie (UI) autonómnych robotov založenej na chovaní (behaviour-based robotics). Táto UI je založená na pravidlách, parametroch a roznych "chovaniach" robota, v našom prípade vopred definovaných heuristicky. Platforma umožňuje posunút' t'ažisko vývoja takejto UI na definovanie týchto chovaní a pravidiel namiesto programovania. Súčast'ou platformy sú taktiež genetické algoritmy, ktoré umožňujú optimalizáciu parametrov heuristického riešenia. Funkčnost' konceptu bola overená na konkrétnom simulovanom pokuse s viacerými robotmi, ktorým bola zadaná jednoduchá konštrukčná úloha. Všetky simulácie boli uskutočnené pomocou simulačného softvéru Player/Stage.
|
|
|
Využití celulárních automatů pro šifrování dat
Dvořák, Martin ; Trunda, Otakar (vedoucí práce) ; Mráz, František (oponent)
Celulární automaty jsou diskrétní systémy s velmi jednoduchými pravidly, ale velmi rozmanitým chováním. Některé celulární automaty dokáží generovat kvalitní pseudonáhodné sekvence bitů. To nás vede k otázce, zda by celulární automaty mohly být využity v kryptografii, například jako náhražka proudových šifer. Budeme tvořit a porovnávat různé metody pro generování dlouhých one-time-padů z krátkých šifrovacích klíčů, kde naše metody budou využívat celulární automaty. Kromě přímého vymýšlení algoritmů naprogramujeme také evoluční algoritmus, který sám bude vymýšlet co nejlepší zapojení našich stavebních bloků. Výstupem bude desktopová aplikace na šifrování souborů pro Windows. Powered by TCPDF (www.tcpdf.org)
|
|
|
An environment for restarting automata
Černo, Peter ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Reštartovacie automaty sú lingvisticky motivované modely automatov, ktoré môžu byť použité napríklad na kontrolu správnosti viet. Hlavným cieľom tejto práce je vytvoriť špecializovaný program, ktorý umožní jednoduchý interaktívny návrh a testovanie týchto automatov a poskytne špecializované nástroje určené na učenie konečných automatov a definovanie jazykov. Práca prezentuje teoretické základy a uvádza formálnu definíciu reštartovacieho automatu. Ďalej sú v práci diskutované možnosti implementácie takéhoto systému a je popísaná skutočná realizácia systému. K práci je priložená užívateľská príručka.
|
|
|
Detecting elementary particles with Timepix3 detector
Meduna, Lukáš ; Mráz, František (vedoucí práce) ; Hric, Jan (oponent)
Detekování elementárních částic a pozorování doprovodných jevů v části- cových detektorech je jedním z důležitých směrů současného výzkumu v částicové fyzice. TimePix a jeho nástupce TimePix3 jsou typy detektorů, které jsou mimo jiné v experimentu ATLAS vedené Evropskou organizací pro jaderný výzkum. Tyto detektory mohou vyprodukovat velké množství dat o prolétajících nabitých částicích. Cílem práce je vyvinout metody na detekování a klasifikaci elementárních částic pozorovaných detektorovou sítí ATLAS-TPX3. Vhodné metody klastro- vání anebo klasifikace založené na částečně označených datech budou identi- fikovány anebo vyvinuty. Navržené metody budou implementovány a jejich kva- lita a přesnost na reálných datech bude změřena. Výsledky budou také zahrnovat implementovaný framework na předzpracování nízkoúrovňových dat z detekto- rové sítě ATLAS-TPX3 v reálném čase a vhodné výstupy pro následnou analýzu budou zvoleny (např. ROOT framework soubory) včetně navržených nebo bu- doucích metod klasifikace částic. 5
|
|
|
Návrh efektivní generické molekulární reprezentace
Škoda, Petr ; Hoksza, David (vedoucí práce) ; Mráz, František (oponent)
Screening chemických knihoven je důležitou součástí výzkumu léčiv. Existující chemické knihovny obsahují miliony sloučenin. Screening v takovém rozsahu je velice nákladný, z tohoto důvodu je často používáno virtuálního screeningu. Existuje několik variant virtuálního screeningu, ligand-based virtual screening je jednou z nich. Využívá podobnosti screenovaných sloučenin ke známým sloučeninám. Na výsledky virutálního screeningu má vliv nejen použitá podobnostní metoda, ale také zvolená reprezentace chemických sloučenin. V této práci prezentujeme reprezentaci chemických sloučenin založenou na fingerprintech. Naše reprezentace využívá fragmentů chemické sloučeniny k její reprezentaci jakožto celku. Každý fragment je reprezentován fyzikálně-chemickými vlastnostmi. Reprezentace je vysoce parametrizovatelá a to zejména v oblasti výběru fyzikálně-chemických vlastností a jejich aplikace. Pro otestování naší reprezentace jsme využili existujícího frameworku pro benchmark virtuálních screeningů. Výsledky ukázaly, že naše reprezentace je srovnatelná s nejlepšími existujícími, navíc na některých datasetech dosáhla nejlepších výsledků.
|
|
|
Learning of analysis by reduction
Čejka, Josef ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Obsahem předložené práce je výzkum učení redukční analýzy. Redukční analýza je metoda pro zjišt'ování syntaktické správnosti věty pomocí jejího postupného zjednodušování až do podoby, o jejíž správnosti je snadné rozhodnout. Modelem redukční analýzy jsou takzvaně restartovací automaty. Tato práce se zabývá učením restartovacích automatů ze vstupu tvořeného množinou příkladů a protipříkladů slov a příkladů a protipříkladů redukcí. V rámci této práce byl navržen a implementován systém pro učení redukční analýzy pro formální jazyky pomocí genetických algoritmů s využitím předpokladu, že možné redukce se dají popsat pomocí vhodné omezených regulárních jazyků, takzvaných striktně lokálně testovatelných jazyků. Součástí práce jsou i experimenty s navrženým systémem na vybraných jazycích.
|
|
|
Strojové učenie formálnych jazykov
Klonfar, Matěj ; Mráz, František (vedoucí práce) ; Plátek, Martin (oponent)
V předložené práci studuji úlohu strojového učení formálních jazyků. Úlohou práce je navrhnout a implementovat program umožňující studovat průběh a výsledky jednotlivých algoritmů na učení jazyků. Program podporuje učení z příkladů zadaných vstupní množinou pozitivních a negativních příkladů nebo učitelem, znajícím cílový jazyk. Program poskytuje nástroj na testování naučených jazyků. Hlavním cílem práce je navrhnout program s ohledem na snadné rozšiřování o další implementace algoritmů bez omezení na použité reprezentace naučených jazyků či složitosti těchto jazyků.
|
|
|
Využití celulárních automatů pro kompresi dat
Polák, Marek ; Trunda, Otakar (vedoucí práce) ; Mráz, František (oponent)
V této práci se zabýváme možnostmi využití celulárních automatů pro bezeztrátovou kompresi dat. Popisujeme klasifikaci celulárních automatů a jejich dosavadní využití. Zkoumáme vlastnosti jednotlivých typů elementárních celulárních automatů (tzv. Wolframova pravidla), popisujeme jejich třídy ekvivalence, možnosti jak dopředné, tak i zpětné simulace, zkoumáme pravidla se zajímavým chováním. Stavy získané těmito pravidly hodnotíme z hlediska jejich uspořádanosti (např. poměr živých buněk či aproximace entropie). Implementujeme některé standardní kompresní algoritmy a porovnáváme je z hlediska využitelnosti pro nejlépe ohodnocené stavy. Aplikací získaných poznatků navrhujeme nový kompresní algoritmus, testujeme jej na textových a obrazových datech a výsledky srovnáváme s tradičními kompresními algoritmy. Powered by TCPDF (www.tcpdf.org)
|
|
|
Kolektivní robotické vyhledávání založené na optimalizaci hejnem částic
Kunc, Ondřej ; Pilát, Martin (vedoucí práce) ; Mráz, František (oponent)
S rozvojem a miniaturizací elektrotechniky se dostává pozornost malým robotům, kteří díky vzájemné spolupráci řeší konkrétní problém. Jedním takovým problémem může být vyhledávání určitého cíle, jenž vyzařuje záření, jehož intenzitu roboti detekují. Jako velmi výhodný přístup se ukázalo použití techniky optimalizace hejnem částic, která pomocí pohybu částic ve vícedimenzi- onálním prostoru hledá optimum. Tato práce se zabývá aplikací tohoto přístupu na hejno robotů. Byl popsán simulátor věnovaný tomuto problému a vyvinutý k vizualizaci a sběru dat, ze kterých byly vyvozeny praktické závěry. Dále byly před- staveny modifikace algoritmu pro lepší vyhledávání při různých vlivech prostředí a nastavení robotů. 1
|
host ::
RSS.