|
|
Testování webových aplikací
Borovcová, Anna ; Majerech, Vladan (vedoucí práce) ; Parízek, Pavel (oponent)
Předmětem diplomové práce je vysvětlení problematiky testování webových aplikací zejména potenciálním testerům. Práce proto srozumitelnou formou sděluje zkušenosti nasbírané z různých zdrojů a vychází z mojí tříleté praxe testování a roční praxe ve školení nových testerů převážně ve firmě Unicorn. První část práce je věnována úvodu do webových aplikací, jsou zde zmíněny základní principy a historie internetu i proces vývoje a jeho metodiky. Druhá část se zabývá základními aspekty testování a jak je vidí různí zkušení testeři z České republiky i ze zahraničí. Třetí část vybírá a představuje některé techniky a nástroje vhodné pro testování webových aplikací. Čtvrtá část obsahuje praktickou ukázku některých testovacích dokumentů.
|
|
|
Persistent weak-AVL trees
Škrobánek, Jiří ; Mareš, Martin (vedoucí práce) ; Majerech, Vladan (oponent)
This thesis investigates persistence (i.e., preservation of data by updates) of binary search trees. In particular, we explore how weak-AVL trees may be converted into efficient fully-persistent data structures. After mentioning all important properties of weak-AVL trees, we present a new method to store them with worst-case constant number of changes per update. Then we show some general schemes for conversion of binary search trees (and possibly other pointer-based data structures) into their persistent variants. Finally the established theory is used to obtain fully-persistent weak-AVL trees.
|
|
|
Minimum 0-Extensions of Graph Metrics
Dvořák, Martin ; Bulín, Jakub (vedoucí práce) ; Majerech, Vladan (oponent)
Uvažujeme Minimum 0-Extension problém pro pevně-daný neori- entovaný graf s kladnými vahami hran. Studujeme výpočetní složitost jeho rozhodovací varianty v závislosti na vlastnostech toho pevně-daného grafu, konkrétně s ohledem na to, zda je tento graf modulární a zda je orientovatelný ve smyslu, jak ho definoval Karzanov [Eur. J. Comb., 19/1 (1998)]. Na tento problém se díváme z pohledu Finite-Valued CSP, což nám umožňuje využít bohatství teorie, která byla vyvinuta pro důkaz jejich dichotomie. V rámci spodního odhadu složitosti, nejprve zkonstruujeme explicitní re- dukci z Max-Cut problému, čímž získáme NP-těžkost pro nemodulární grafy. Pro neorientovatelné grafy vyjádříme funkci, která splní určitou podmínku, jež zaručí existenci implicitní redukce z Max-Cut problému. Co se týče pozi- tivních výsledků, pomocí symetrických zlomkových polymorfismů ukážeme, že některé speciální případy pro vážené modulární orientovatelné grafy lze řešit technikou zvanou Basic LP Relaxation, konkrétně Minimum 0-Extension problém pro grafy typu cesta a pro grafy typu obdélník. 1
|
|
|
Strojové učení pro řízení simulovaných vozidel
Kučera, Jiří ; Gemrot, Jakub (vedoucí práce) ; Majerech, Vladan (oponent)
Auta ve virtuálních světech jsou typicky ovládána ručně vytvořenými pravidly. Vy- tváření těchto pravidel je často časově náročné a každá úprava prostředí může výsledné chování narušit. Hlavním cílem této práce je prozkoumat vhodné metody strojového učení a vytvořit jejich prostřednictvím dobře vypadající simulaci aut jezdících po městské sil- niční síti. Výsledným modelem je neuronová síť přímo ovládající plyn, brzdu a volant auta. Síť je schopná sledovat cestu a vyhýbat se srážkám s ostatními agenty na křižovat- kách bez semaforů. Pro trénování jsme použili algoritmus Proximal policy optimization a trénování jsme vylepšili technikami curriculum learning, GAIL, curiosity a behavioral cloning. V experimentech jsme ukázali, že ačkoli výsledné chování není zcela perfektní, je dostatečně dobré pro potencionální použití v simulaci. 1
|
|
|
An implicit representation of sets
Lieskovský, Matej ; Mareš, Martin (vedoucí práce) ; Majerech, Vladan (oponent)
V naší bakalářské práci jsme popsali implicitní datovou strukturu, která podporuje všechny operace dynamického uspořádaného slovníku v logaritmickém čase. Této datové struktuře scházel mechanizmus pro udržování implicitní reprezentace polylogaritmických kyblíků. Jsouce si vědomi tohoto závazku, poskytujeme nyní odpovídající konstrukci implicitních kyblíků. 1
|
|
|
General Game Playing and Deepstack
Schlindenbuch, Hynek ; Gemrot, Jakub (vedoucí práce) ; Majerech, Vladan (oponent)
Obecné hraní her je oblast umělé inteligence, která se zabývá vytvářením agentů schopných hrát hry z nějaké třídy. Pravidla se agenti dozví až před začátkem hry a tudíž nemohou být specializování na jednu hru. Deepstack byl první umělý agent, který porazil profesionální lidské hráče v heads-up no-limit Texas hold'em pokeru. Ačkoliv byl vytvořen přímo pro poker, tak v jeho jádru je obecný algoritmus na hraní her dvou hráčů s nulovým součtem a neúplnou informací - continual resolving. V této práci představíme obecnou verzi continual resolvingu a porovnáme ji s Online Outcome Sampling Monte Carlo Counterfactual Regret Minimization v několika hrách.
|
|
|
Graph data analysis using deep learning methods
Vancák, Vladislav ; Svoboda, Martin (vedoucí práce) ; Majerech, Vladan (oponent)
Cílem této práce je prozkoumat existující metody pro vytváření grafových embeddingů. Chceme reprezentovat vrcholy neorientovaných vážených grafů pomocí vektorů malé dimenze, taktéž označovaných jako embeddingy, a to za účelem vytvoření vhodné reprezentace pro použití v různých analyt- ických úlohách jako clustering nebo predikce hran. Nejprve představíme několik současných přístupů pro vytváření takových embeddingů. Následně navrhneme několik úprav a vylepšení a ukážeme jejich přínosy. Nakonec vytvoříme sadu metrik pro vyhodnocení výkonnosti modelů a použijeme je k experimentálnímu vyhodnocení a vzájemnému porovnání prezentovaných algoritmů na sérii úloh jako vizualizace a rekonstrukce grafů. 1
|
|
|
Worst case driver for Top trees
Ondráček, Lukáš ; Majerech, Vladan (vedoucí práce) ; Fink, Jiří (oponent)
Top strom je datová struktura řešící jednu z nejobecnějších variant pro- blému dynamických stromů, který spočívá v udržování lesa spolu s urči- tými souhrnnými informacemi na cestách nebo v jednotlivých stromech bě- hem přidávání a odebírání hran. Jednoduché rozhraní odděluje aplikaci od vnitřní struktury top stromu i od ovladače, který zajišťuje jeho logaritmic- kou hloubku a určuje celkovou efektivitu datové struktury. Ovladač popsaný v této práci je založen na biased trees a využívá techniky z worst-case verze link/cut stromů a amortizovaného ovladače top stromů: Vstupní les je roz- ložen na těžké cesty a mezilehlé vrcholy; obojí je reprezentováno jako biased trees, jejichž spojením vznikne struktura top stromu. Ovladač by měl být efektivnější alternativou k původně navrženému ovladači a srovnatelnou al- ternativou k ovladači, který navrhl Renato Werneck. Jejich experimentální srovnání může být předmětem dalšího výzkumu.
|
|
|
Kompaktní popis adresářových stromů
Končický, Václav ; Mareš, Martin (vedoucí práce) ; Majerech, Vladan (oponent)
Na světě existuje mnoho kopií dat uložených jako adresářové stromy, pro které je potřeba zajistit vzájemnou konzistenci. V této práci jsme vytvořili nový binární formát popisující adresářové stromy. Ten umožňuje zaznamenat názvy, zahešované obsahy souborů a další metadata. Na konzistenci dat se pak lze dotázat porovnáním dvou popisů. Tento formát byl navržen s důrazem na kompaktnost popisu a co nejvyšší rychlost jeho čtení. Dále byl napsán program, který tento popis umí pro daný adresářový strom sestavit a poté dva popisy porovnat. Pro co nejvyšší rychlost sestavení popisu využívá paralelizační techniky a stromové heše, přičemž bere ohled na vlastnosti pevných disků. 1
|
|
|
An implicit representation of sets
Lieskovský, Matej ; Mareš, Martin (vedoucí práce) ; Majerech, Vladan (oponent)
Článek " Optimal Worst-Case Operations for Implicit Cache-Oblivious Search Trees" od Gianniho Franceschiniho a Roberta Grossiho (2003) nastiňuje datovou strukturu, která podporuje operace Insert, Find a Delete v čase O(log n) v nejhorším případě a zároveň je implicitní a cache-oblivious. Vysvětlujeme obecné myšlenky původní datové struktury, identifikujeme vady a mezery v jejím popisu a popisujeme přetvořenou verzi jedné z jejích dvou hlavních součástí. 1
|
host ::
RSS.