|
|
Difůzní evoluční algoritmus
Mészáros, István ; Pospíchal, Petr (oponent) ; Jaroš, Jiří (vedoucí práce)
V dnešní době se objevují nové trendy v oblasti umělé inteligence. Metody známé jako evoluční algoritmy jsou jedny z nich. Tyto algoritmy nám umožňují optimalizovat a navrhovať systémy pomocí počítačů. Jedna z variant evolučních algoritmů je difůzní evoluční algoritmus. Tento typ algoritmu může probíhat paralelně a přináší přitom mnoho pozitivních vlastností. Otázkou je, při jakých podmínkách lze efektivně používat difůzní variantu evolučních algoritmů. Je možné jejich používání při plánování systémů nebo optimalizaci některých problémů? Proč jsou výhodnější než ostatní typy evolučních algoritmů? Tato práce se snaží odpovědět na tyto otázky a podrobně vysvětlit fungování těchto algoritmů.
|
|
|
Generátor dokumentace pro testy používající knihovnu BeakerLib
Kulda, Jiří ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cílem této práce řešené ve spolupráci se společností Red Hat Czech je navrhnout, implementovat a ověřit generátor dokumentace pro testy používající knihovnu BeakerLib, který efektivně vytváří dokumentaci z neokomentovaných BeakerLib testů. V prvním kroku generátor extrahuje data z BeakerLib příkazů. Následně jsou data přetvořena do informací v přirozeném jazyce. Na závěr jsou tyto informace vloženy do šablony dokumentace. Při tvorbě generátoru dokumentace byl použit modul argparse pro hledání dat z BeakerLib příkazů. Ve srovnání s existujícími nástroji navržený generátor přináší nový způsob vytváření dokumentací bez použití dokumentačních komentářů. Díky této vlastnosti lze generovat dokumentace, které jsou vytvořeny na základě automatizovaného porozumění zdrojového kódu testu. Testování, po celou dobu vývoje generátoru, probíhalo na třech zvolených BekerLib testech. Na závěr byl generátor otestován na deseti náhodně zvolených BeakerLib testech.
|
|
|
Genetické algoritmy
Miček, David ; Pohl, Jan (oponent) ; Honzík, Petr (vedoucí práce)
Obsahem práce je seznámení se s problematikou genetických algoritmů. V práci je rozebrána teorie složitosti úloh a na ni navazující teoretické základy genetických algoritmů. Následuje podrobné rozebrání tří řešených úloh - úloha obchodního cestujícího, problém baťohu a vývoj herního algoritmu pro hru piškvorky pomocí evolučních algoritmů. Důraz byl kladen na herní algoritmus pro piškvorky. Výsledky prvních dvou úloh byly srovnány s gradientními optimalizačními metodami. V případě piškvorek proběhlo testování srovnáním s algoritmy dostupnými na internetu.
|
|
| |
|
|
Problém batohu a jeho aplikace
Linkeová, Romana ; Příhoda, Pavel (vedoucí práce) ; Žemlička, Jan (oponent)
Název práce: Problém batohu a jeho aplikace Autor: Romana Linkeová Katedra: Katedra algebry Vedoucí diplomové práce: doc. Mgr. Pavel Příhoda, Ph.D., Katedra algebry Abstrakt: V této práci se zabýváme kryptosystémy postavenými na NP (nede- terministický polynomiální) úplném problému batohu z mnoha aspektů. Z po- hledu teorie složitosti podrobně uvedeme méně známé části důkazu NP úplnosti problému batohu. Z hlediska kryptografie ukážeme, že u Merkleova-Hellmanova kryptosystému, který vystihuje základní schéma kryptosystémů postavených na problému batohu, je pro velice nevhodně zvolené parametry tohoto kryptosystému možné odhalit celý soukromý klíč. Dalším přínosem práce je představení nového navrženého konceptu kryptosystému postaveném na problému maticového 0-1 batohu. Ač bylo toho schéma vytvořeno ve snaze předejít známým útokům, do- kážeme analogií důkazu J. C. Lagariase a A. M. Odlyzka z roku 1985, že útok založený na LLL algoritmu bude úspěšný pro většinu kryptosystémů tohoto typu. Práci uzavírá souhrn moderních kryptosystémů postavených na problému batohu společně s jejich kryptoanalýzou. Klíčová slova: problém batohu, NP úplné problémy, LLL algoritmus 1
|
|
|
Kryptosystémy založené na problému batohu
Kučerová, Michaela ; Příhoda, Pavel (vedoucí práce) ; Žemlička, Jan (oponent)
Tato práce se zabývá kryptosystémem, přesněji řečeno šifrovacím schématem s veřejným klíčem, který je založený na problému batohu. Nejprve zformulujeme pojmy jako \mathcal{NP} -úplný problém, jednosměrná funkce, těžký bit, šifrovací schéma s veřejným klíčem a sémantická bezpečnost, které dáme v této práci do souvislosti. Poté představíme problém batohu. Dále dokážeme, že problém batohu s určitými parametry má vlastnosti vedoucí k sémantické bezpečnosti šifrovacího schématu, které následně uvedeme. Jedná se o upravenou verzi šifrovacího schématu s veřejným klíčem, které bylo navrženo Vadimem Lyubashevským, Adrianou Palacioovou a Gilem Segevem. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
Difůzní evoluční algoritmus
Mészáros, István ; Pospíchal, Petr (oponent) ; Jaroš, Jiří (vedoucí práce)
V dnešní době se objevují nové trendy v oblasti umělé inteligence. Metody známé jako evoluční algoritmy jsou jedny z nich. Tyto algoritmy nám umožňují optimalizovat a navrhovať systémy pomocí počítačů. Jedna z variant evolučních algoritmů je difůzní evoluční algoritmus. Tento typ algoritmu může probíhat paralelně a přináší přitom mnoho pozitivních vlastností. Otázkou je, při jakých podmínkách lze efektivně používat difůzní variantu evolučních algoritmů. Je možné jejich používání při plánování systémů nebo optimalizaci některých problémů? Proč jsou výhodnější než ostatní typy evolučních algoritmů? Tato práce se snaží odpovědět na tyto otázky a podrobně vysvětlit fungování těchto algoritmů.
|
|
|
Generátor dokumentace pro testy používající knihovnu BeakerLib
Kulda, Jiří ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cílem této práce řešené ve spolupráci se společností Red Hat Czech je navrhnout, implementovat a ověřit generátor dokumentace pro testy používající knihovnu BeakerLib, který efektivně vytváří dokumentaci z neokomentovaných BeakerLib testů. V prvním kroku generátor extrahuje data z BeakerLib příkazů. Následně jsou data přetvořena do informací v přirozeném jazyce. Na závěr jsou tyto informace vloženy do šablony dokumentace. Při tvorbě generátoru dokumentace byl použit modul argparse pro hledání dat z BeakerLib příkazů. Ve srovnání s existujícími nástroji navržený generátor přináší nový způsob vytváření dokumentací bez použití dokumentačních komentářů. Díky této vlastnosti lze generovat dokumentace, které jsou vytvořeny na základě automatizovaného porozumění zdrojového kódu testu. Testování, po celou dobu vývoje generátoru, probíhalo na třech zvolených BekerLib testech. Na závěr byl generátor otestován na deseti náhodně zvolených BeakerLib testech.
|
|
|
Genetické algoritmy
Miček, David ; Pohl, Jan (oponent) ; Honzík, Petr (vedoucí práce)
Obsahem práce je seznámení se s problematikou genetických algoritmů. V práci je rozebrána teorie složitosti úloh a na ni navazující teoretické základy genetických algoritmů. Následuje podrobné rozebrání tří řešených úloh - úloha obchodního cestujícího, problém baťohu a vývoj herního algoritmu pro hru piškvorky pomocí evolučních algoritmů. Důraz byl kladen na herní algoritmus pro piškvorky. Výsledky prvních dvou úloh byly srovnány s gradientními optimalizačními metodami. V případě piškvorek proběhlo testování srovnáním s algoritmy dostupnými na internetu.
|
host ::
RSS.