|
|
Praktické datové struktury
Pokorný, Michael ; Mareš, Martin (vedoucí práce) ; Babka, Martin (oponent)
V této práci implementujeme datové struktury pro uspořádané a neuspořádané slovníky a měříme jejich výkon v hlavní paměti pomocí syntetických i praktických experimentů. Náš průzkum zahrnuje jak obvyklé datové struktury (B-stromy, červeno-černé stromy, splay stromy a hashování), tak exotičtější přístupy (k-splay stromy a k-lesy). Powered by TCPDF (www.tcpdf.org)
|
|
|
Properties of universal hashing
Babka, Martin
Ciel'om tejto práce je navrhnút' model hashovania s akceptovatel'nou časovou zložitost'ou aj v najhoršom prípade. Vytvorený model je založený na princípe univerzálneho hashovania a výsledná očkávania časové zložitost' je konštantná. Ako systém univerzálnych funkcií sme zvolili množinu všetkých lineárnych zobrazení medzi dvomi vektorovými priestormi. Tento systém už bol študovaný s výsledkom predpovedajúcim dobrý asymptotický odhad. Táto práca nadvazuje na predchádzajúci výsledok a rozširuje ho. Tiež ukazuje, že očakávaný amortizovaný čas navrhnutej schémy je konštantný.
|
|
|
Self-organizing linear lists
Kulman, Igor ; Koubková, Alena (vedoucí práce) ; Babka, Martin (oponent)
Samoupravující seznamy jsou datové struktury sloužící k rychlému vyhledávání za předpokladu, že některé prvky v nich uložené jsou vyhledávány častěji než jiné, přičemž pravděpodobnosti přístupu k jednotlivým prvkům obecně nejsou předem známy. Efektivnějšího vyhledávání je dosaženo použitím různých permutačních pravidel, která průběžne mění uspořádání seznamu tak, aby častěji vyhledávané prvky byly blíže k jeho začátku. V této práci je uveden přehled známých algoritmu pro řešení tohoto problému (s uvedením teoretických výsledků o jejich složitosti, jsou-li známy) a experimentální studie o jejich chování (s využitím vlastních nebo volně dostupných implementací a programových prostředku pro generování vstupních dat, testování algoritmu a zpracování výsledku experimentu). Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
Rozšíření matched formulí
Chromý, Miloš ; Kučera, Petr (vedoucí práce) ; Babka, Martin (oponent)
S KNF formulí můžeme asociovat incidenční graf. Tento graf je bipartitní a jedna partita zastupuje proměnné a druhá klauzule. Díky tomu můžeme definovat nové třídy KNF formulí, jimiž jsou matched formule a biklikově splnitelné formule. Obě tyto třídy mají tu vlastnost, že formule, které do nich patří jsou splnitelné i po změně polarity libovolného literálu. Takovým formulím říkáme var-splnitelné. V této práci uvažujeme práci Stefana Szeidera, která popisuje parametrizo- vaný algoritmus s pevným parametrem řešící problém matched formulí s malou deficiencí, což je rozdíl počtu klauzulí a počtu proměnných. Ukázali jsme, proč tento přístup nejde přímo zobecnit pro biklikově splnitelné formule. Vzhledem k tomu, že testování toho, je-li formule biklikově splnitelná, je NP- úplné, popsali jsme heuristiku, která hledá biklikové pokrytí v čase O(n2 e), kde n je počet proměnných ve formuli a e je délka formule. Provedli jsme experimenty na náhodných formulích. Z výsledků těchto experimentů lze usuzovat, že existuje fázový přechod ve výsledcích heuristiky. Dále jsme provedli experimenty, které ověřují existenci fázového přechodu matched formulí. Tyto výsledky jsme porov- nali s výsledky experimentů provedených s heuristikou. Výsledky experimentu provedeném na matched formulí jsme též porovnali s teoretickou hranicí...
|
|
|
Application of system dynamics in project management
Baláž, Ján ; Křivánek, Mirko (vedoucí práce) ; Babka, Martin (oponent)
Diplomová práca skúma možnosti aplikácie metodiky systémovej dynamiky pre pochopenie a výuku oboru riadenia projektov. Za týmto účelom bol vytvorený dynamický simulačný model pomocou nástroja Vensim. V ďalšej časti práce bol vytvorený webový simulátor riadenia projektu založený na simulačnom modeli. Prínosom simulátora oproti modelu je jeho užívateľská prívetivosť a samovysvetľujúce grafické rozhranie, vďaka ktorému bude možné simulačný model použiť pri výuke a ďalšom skúmaní oboru riadenia projektov. Powered by TCPDF (www.tcpdf.org)
|
|
|
Databáze otisků prstů
Kubát, Jaroslav ; Babka, Martin (vedoucí práce) ; Lokoč, Jakub (oponent)
Popis implementace aplikace, která slouží pro správu databáze otisků prstů, je hlavní náplní této diplomové práce. Text je členěn podle funkčních bloků programu. Jednotlivými fázemi jsou zpracování vstupního otisku, jeho analýza k získání rozdílových znaků, převod znaků do specifické datové reprezentace, popis databáze, indexu a jejich operací. Práce na několika místech obsahuje dvojí způsob provedení dané operace, každý z nich je popsán a porovnán se svým protějškem. Na konci práce je také sepsán uživatelský manuál popisující základní scénáře použití programu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Praktické datové struktury
Pokorný, Michael ; Mareš, Martin (vedoucí práce) ; Babka, Martin (oponent)
V této práci implementujeme datové struktury pro uspořádané a neuspořádané slovníky a měříme jejich výkon v hlavní paměti pomocí syntetických i praktických experimentů. Náš průzkum zahrnuje jak obvyklé datové struktury (B-stromy, červeno-černé stromy, splay stromy a hashování), tak exotičtější přístupy (k-splay stromy a k-lesy). Powered by TCPDF (www.tcpdf.org)
|
|
|
Properties of universal hashing
Babka, Martin
Ciel'om tejto práce je navrhnút' model hashovania s akceptovatel'nou časovou zložitost'ou aj v najhoršom prípade. Vytvorený model je založený na princípe univerzálneho hashovania a výsledná očkávania časové zložitost' je konštantná. Ako systém univerzálnych funkcií sme zvolili množinu všetkých lineárnych zobrazení medzi dvomi vektorovými priestormi. Tento systém už bol študovaný s výsledkom predpovedajúcim dobrý asymptotický odhad. Táto práca nadvazuje na predchádzajúci výsledok a rozširuje ho. Tiež ukazuje, že očakávaný amortizovaný čas navrhnutej schémy je konštantný.
|
|
|
DaktylDB
Kubát, Jaroslav ; Babka, Martin (vedoucí práce) ; Jančík, Pavel (oponent)
Tato bakalářská práce se zabývá implementací aplikace pro správu databáze otisků prstů. Skládá se ze tří částí. První částí je detekce zakončení a větvení papilárních linií v obrázku otisku prstu. Pro tento úkon je použito tří algoritmů, jejichž výsledky jsou v závěru práce srovnávány. Druhou částí práce je předzpracování množiny získaných bodů pro účely uložení do databáze či vyhledávání. K tomu je použita triangulace v součinnosti s clusterizací. Ve své poslední části se práce zabývá způsobem uložení získaných dat v databází a jejich následným vyhledáváním. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.