|
|
Refaktorizace editoru stromů TrEd
Fabian, Peter ; Žabokrtský, Zdeněk (vedoucí práce) ; Kruliš, Martin (oponent)
Název práce: Refaktorizace editoru stromů TrEd Autor: Peter Fabian Katedra: Útav formální a aplikované lingvistiky Vedoucí diplomové práce: doc. Ing. Zdeněk Žabokrtský, Ph.D., Útav formální a aplikované lingvistiky Abstrakt: Cílem práce bylo refaktorizovat editor stromů TrEd, zlepšit tím jeho modularitu, usnadnit údržbu a další vývoj aplikace. Důraz byl také kladen na zachování rychlosti programu. Zdrojový kód TrEdu byl prozkoumán metodami statické a dynamické analýzy, které pomohly identifikovat problémová místa. Bylo vytvořeno 50 nových modulů a řesunuto značné množství kódu. Byla také vytvořena sada testů, zvolena pravidla pro psaní nového kódu a sepsána dokumentace části stávajícího kódu. Kód byl po refaktorizaci opětovně podroben kvalitativní i kvantitativní analýze a její výsledky byly porovnány se stavem před refaktorizací. Klíčová slova: Editor stromů TrEd, Perl, refaktorizace, analýza kódu
|
|
|
Nástroj pro ověřování elektronických podpisů na PDF dokumentech
Selement, Pavel ; Peterka, Jiří (vedoucí práce) ; Kruliš, Martin (oponent)
Předmětem této diplomové práce je studium interních elektronických podpisů v PDF dokumentech. Práce seznamuje s obecnými principy elektronického podpisu, ukazuje vnitřní strukturu PDF dokumentů, včetně připojení elektronického podpisu, a způsob, jak se elektronický podpis ověřuje. Nedílnou součástí této práce je implementace aplikace, která provádí ověření elektronického podpisu v PDF dokumentu. Cílem této aplikace je ověření elektronického podpisu vloženého v PDF dokumentu podle platné legislativy České republiky a zároveň umožnit uživateli, aby mohl v co největší míře měnit pravidla pro vyhodnocení platnosti podpisu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Algorithms for Parallel Searching in XML Datasets
Kruliš, Martin ; Yaghob, Jakub (vedoucí práce) ; Mareš, Martin (oponent)
Práce se bude zabývat problematikou indexace XML dat a efektivního vyhledávání s indexem. Hlavním těžíštěm bude snaha navrhnout datové struktury a algoritmy, které umožní úlohu vyhledávání maximálně paralelizovat a využít tak potenciálu vícejádrových procesorů. Součástí práce bude i pilotní implementace navržených algoritmů. Dotazování bude probíhat pomocí vlastního jazyka (ne nutně v textové podobě), což umožní používat různé vyhledávací jazyky jako frontendy. Jako ukázka použití bude implementován vzorový frontend umožňující vyhledávání pomocí podmnožiny jazyka XPath.
|
|
|
Nástroj pro testování síťových aplikací
Schlindenbuch, Hynek ; Kruliš, Martin (vedoucí práce) ; Ježek, Pavel (oponent)
Používání síťové komunikace v aplikacích zvyšuje jejich komplexitu a může vést ke vzniku nových bezpečnostních chyb. Existující nástroje nepokrývají dostatečně potřeby testování těchto aplikací. Cílem této práce je vytvořit nový nástroj, který usnadní testování síťových aplikací. Hlavní důraz je kladen na celkovou rozšiřitelnost řešení, zejména o nové protokoly. Výsledný nástroj je schopen operovat v režimech klient, server a proxy podporovaných síťových protokolů a jejich komunikaci ovládat ručně, nebo skriptem. Podporu pro další síťové protokoly lze přidávat pomocí zásuvných modulů. Součástí nástroje je knihovna pro implementaci aplikačních protokolů nad TCP a UDP, s jejíž pomocí byly vytvořeny zásuvné moduly pro HTTP a WebSocket. Powered by TCPDF (www.tcpdf.org)
|
|
|
Fashionspace Portal
Flídr, Jindřich ; Holan, Tomáš (vedoucí práce) ; Kruliš, Martin (oponent)
Název práce: Fashionspace Portál Autor: Jindřich Flídr Katedra / Ústav: Kabinet software a výuky informatiky Vedoucí diplomové práce: RNDr. Tomáš Holan, Ph.D. Abstrakt: V rámci práce byla navrhnuta architektura a implementována kostra webové aplikace "Fashionspace". Pomocí této aplikace je možné v interaktivním prostředí vytvářet a sledovat virtuální módní přehlídky v podobě videa. Klientská aplikace je implementována pomocí platformy Adobe Flash a pomocí služeb komunikuje s CMS Drupal. V rámci aplikace je integrována řada technologií, jako je online komunikace uživatelů využívající protokol XMPP nebo streaming HD videa. Architektura aplikace je modulární a je postavena na principech MVC. Klíčová slova: webové technologie, RIA, Adobe Flex, CMS Drupal, video streaming
|
|
|
Bezpečnostní auditor WWW stránek
Steinhauser, Antonín ; Novotný, Miroslav (vedoucí práce) ; Kruliš, Martin (oponent)
Tato práce řeší problématik bezpečnosti webových stránek primárně ze strany programátorů dynamických webových aplikací. Popisuje jednotlivé chyby, kterých se programátoři dopouštějí a vysvětluje, jak lze takovým chybám předejít a jaké nepříjemné možnosti zneužívání tyto chyby skýtají pro případné účotčníky. Hlavní částí práce je samotný program, který většinu takto popsaných chyb strojově vyhledává. Pracuje v dcou fázích - v první fáze prohledá doménu či jinak specivikovanou množinu stránek a detekuje potenciálně zranitelná místa a ve druhé fázi posílá do těchto míst útočné požadavky a analýzou odpovědí indikuje bezpečnostní chyby.
|
|
| |
|
|
Vyhledávání trasy v GPS mapách
Hykl, Martin ; Pangrác, Ondřej (vedoucí práce) ; Kruliš, Martin (oponent)
Práce pojednává o vyhledávání trasy ve vektorové mapě a o přípravě této mapy k samotnému vyhledávání - tvorbě grafu, připojování waypointů apod. Dále pak o tom, co vlastně chtějí uživatelé vyhledávat, jak jim vyhovět a jestli je to vůbec možné. V závěru práce jsou popisy experimentů, kterými jsem ověřoval některé nápady na zrychlení vyhledávání trasy. Práce také obsahuje uživatelskou dokumentaci k projektu SnailMap verze 2.3b.
|
|
|
Employing Parallel Architectures in Similarity Search
Kruliš, Martin ; Yaghob, Jakub (vedoucí práce) ; Platoš, Jan (oponent) ; Pllana, Sabri (oponent)
Tato práce se zabývá možnostmi nasazení masivně paralelních architektur v data- bázových systémech využívajících podobnostní vyhledávání. Hlavním předmětem našeho zájmu je využití výpočetní síly současné generace grafických karet pro vyhledávání v databázích obrázků. I přes významný pokrok v posledních letech zůstává oblast podobnostního vyhledávání velmi výpočetně náročná, takže je možné tyto metody aplikovat pouze u databází menšího rozsahu. Grafické čipy disponují obrovskou výpočetní silou, avšak jejich použitelnost pro konkrétní problémy bývá komplikovaná z důvodu specifických vlastností této architektury, které si vyžadují individuální úpravu existujících algoritmů a datových struktur. Zabývali jsme se všemi aspekty této problematiky, od efektivního využití grafických čipů pro obecné výpočty přes akceleraci vyhledávacího procesu až po efektivní indexaci obrázků. Ve většině případů přineslo nasazení grafických karet zrychlení přibližně o dva řády ve srovnání s jednojádrovými procesory a několikanásobné zrychlení ve srovnání s běžnými víceprocesorovými NUMA servery. Tato práce shrnuje naše poznatky z několikaletého výzkumu, algoritmy upravené pro specifické podmínky masivně paralelních čipů, ale také výsledky provedených experimentů, které potvrzují naše závěry.
|
|
|
Security and Trust in the DEECo Component Model
Štumpf, Ondřej ; Bureš, Tomáš (vedoucí práce) ; Kruliš, Martin (oponent)
DEECo je příkladem Cyber-Physical Systému (CPS), který se může skládat z potenciálně velkého množství komponent schopných sdílet mezi sebou data. Dosud nebyl jednotlivým komponentám nijak omezen přístup k datům, což jim umožňovalo zneužít citlivé informace vlastněné jinými komponentami. Cílem této práce je analyzovat bezpečnostní hrozby existující v distribuovaných prostředích podobných DEECo a navrhnout bezpečnostní řešení, které by zajišťovalo jak fyzickou bezpečnost dat, tak i řízení přístupu k nim. Zatímco však důvěrnost informací může být důležitá pro některé aplikace, jejich integrita je klíčová téměř pro všechny. V této práci je proto dále navržen model řešící důvěru mezi jednotlivými komponentami, který zabraňuje použití chybných či podvržených dat. Oba návrhy jsou realizovány v systému jDEECo, implementaci DEECo v jazyce Java.
|
host ::
RSS.