|
|
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í.
|
|
|
Teorie grafů - alternativní způsob řešení vybraných úloh LP
Hrabovská, Michaela ; Šindelářová, Irena (vedoucí práce) ; Chýna, Vladislav (oponent)
Tato práce se zabývá ukázkou alternativního způsobu řešení vybraných úloh lineárního programování pomocí teorie grafů. Tyto alternativní způsoby jsou nejen teoreticky vysvětleny, ale také objasněny na praktických příkladech. Pro srovnání je v textu uveden i teoretický popis a praktické řešení vybraných úloh pomocí lineárního programování. V úvodní části práce se krátce pojednává o teorii operačního výzkumu. Vybranými úlohami jsou: úloha batohu, dopravní problém, přiřazovací problém.
|
host ::
RSS.