|
|
Přírodou inspirované optimalizační algoritmy
Krampla, Vojtěch ; Dvořák, Jiří (oponent) ; Šeda, Miloš (vedoucí práce)
Tato práce je zaměřena na popis čtyř optimalizačních algoritmů inspirovaných přírodou. Jsou popsány algoritmus mravenčí kolonie, algoritmus vlčí smečky, algoritmus včelího roje a genetický algoritmus. V rámci této práce byl implementován genetický algoritmus pro optimalizační úlohu, konkrétně pro řešení problému batohu. Součástí práce je experiment s tímto algoritmem a vyhodnocení získaných výsledků.
|
|
|
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)
|
|
| |
|
|
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.
|
|
|
Algoritmy pro řešení speciálních problémů batohu a jejich výpočetní složitost
Sem, Štěpán ; Ivánek, Jiří (vedoucí práce) ; Kalčevová, Jana (oponent)
Práce se zabývá variantami problému batohu a možnostmi jejich řešení, dále potom vlivem speciálního tvaru konkrétního zadání (instance) na efektivitu testovaného postupu. Předkládá rovněž možnosti převoditelnosti mezi popsanými úlohami, jakož i jejich spojité rozšíření (spojitou relaxaci). Z řad klasických algoritmů popisuje algoritmus L3 a řešení superklesajícího problému batohu, z řad pravděpodobnostních algoritmů Metodu Monte Carlo, simulované žíhání a genetické algoritmy. Diskutovány jsou i další možnosti. Nedílnou součást práce tvoří doprovodná aplikace, která sloužila k vytvoření podkladů zde uváděných a může být rovněž použita k řešení dalších instancí.
|
host ::
RSS.