|
|
SPARQL compiler for Bobox
Čermák, Miroslav
Cílem práce je navrhnout a implementovat překladač jazyka SPARQL pro systém Bobox. Kromě lexikální a syntaktické analýzy odpovídající W3C standardu jazyka SPARQL je součástí práce i sémantická analýza a optimalizace dotazů, která pro dotaz navrhne vhodný model výpočtu pro Bobox v závislosti na konkrétním fyzickém schématu databáze.
|
|
|
Model-driven Pretty Printer for Xtext Framework
Novotný, Marek ; Malohlava, Michal (vedoucí práce) ; Čermák, Miroslav (oponent)
Doménově specifický jazyk slouží k popisu problémů v doméně, pro níž byl vytvořen. Tento fakt implikuje existenci velkého množství jazyků tohoto druhu. Používání doménově specifických jazyků přináší s sebou potřebu tyto jazyky formátovat a zvýrazňovat jejich syntaxi. Jedním z nástrojů, které umožňují tvorbu doménově specifických jazyků, je prostředí Xtext, který nabízí pouze omezenou paletu nástrojů umožňující nadefinovat formátování kódu a jeho zvýraznění. Navíc jsou tyto nástroje pro uživatele těžko pochopitelné, jelikož jsou nepřehledné a vyžadují znalosti vnitřních záležitostí prostředí Xtext. Proto tato práce představuje nový způsob formátovaní a zvýrazňování kódu pro prostředí Xtext, který je založen na deklarativní definici formátovacích pravidel. Kromě toho tato práce pomáhá uživateli s tvorbou formátovacích pravidel na základě netriviálních heuristik.
|
|
|
Web server attack analyzer
Mižišin, Michal ; Novotný, Miroslav (vedoucí práce) ; Čermák, Miroslav (oponent)
Analyzátor útokov na webový server - Abstrakt Cieľom práce bolo vytvorenie prototypu analyzátora útokov typu injection flaws na webový server. Navrhované riešenie kombinuje možnosti firewallu webových aplikácii a analyzátora logov webových serverov. Analýza je založená na konfigurovateľných signatúrach definovaných regulárnymi výrazmi. Práca začína popisom webových útokov, nasledovaný analýzou detekčných techník útokov na webové serveri, popisom a zdôvodnením vybranej implementácie. Nakoniec sú popísané možnosti ďalšieho vývoja na dosiahnutie lepších výsledkov v oblasti falošných hlásení. Implementovaná detekcia všetkých navrhovaných útokov spomalila čas odpovede servera o 10% a bola schopná odhaliť viac jako 99% útokov typu SQL injection, Path traversal a SSI injection nachádzajúcich sa v bezpečnostných skeneroch.
|
|
|
Hlasový komunikační systém
Stránský, Martin ; Ježek, Pavel (vedoucí práce) ; Čermák, Miroslav (oponent)
Tato bakalářská práce byla zaměřena na vyřešení problémů spojených s komunikací přes IP sítě, primárně problémů spojených s hlasovou komunikací v realném čase. Jako výsledek práce vznikl program umožňující nejen hlasovou komunikaci s možností jejího spravování za pomoci systému oprávnění. Tato aplikace umožňuje, aby současně probíhaly oddělené komunikace dvou a více účastníků, přičemž zajišťuje správné fungování nad nespolehlivým protokolem. Program je rozšiřitelný za pomocí doplňků vytvořených třetí osobou bez zásahu do kódu programu. Aplikace je určena pro operační systém Windows s nainstalovaným .NET.
|
|
|
Framework pro strategické webové hry
Pešek, Jan ; Čermák, Miroslav (vedoucí práce) ; Martínek, Vladislav (oponent)
Tato bakalářská práce popisuje softwarový projekt, který umožňuje tvorbu internetových tahových her v internetovém prohlížeči s důrazem na upravitelnost, tzv. framework. Výsledná aplikace umožňuje snadnou tvorbu tahové hry pro dva hráče, a poskytuje mechanismy pro pokročilou konfiguraci prostřednictvím modulů naprogramovaných uživatelem. Součástí projektu je vzorová hra s předdefinovanými daty, ukázkovými moduly a grafickou úpravou. V práci jsou zhodnoceny současné technologie použitelné pro vývoj interaktivních internetových aplikací a diskutovány některé klíčové problémy, na které se při vývoji aplikace naráží. Dále je v textu popis implementace celého projektu, zejména struktura aplikace a databázový a objektový návrh. V práci je dále dokumentace k programu zahrnující názorný návod pro tvorbu vlastních modulů.
|
|
|
SOFA 2 graphical tools improvement
Kudláček, Ondřej ; Malohlava, Michal (vedoucí práce) ; Čermák, Miroslav (oponent)
Tato práce se zabývá vylepšením komponentového systému SOFA 2 a je zaměřena na grafické řídící rozhranní. SOFA 2 je založena na modelovacím nástroji Eclipse Modeling Framework. Pomocí něj je vykonstruován hierarchický model tohoto systému. Rozšíření vyvinutá v rámci tohoto projektu poskytují skrz grafické rozhraní možnost upravovat tzv. Deployment plány aplikací vyvinutých v systému SOFA 2 a přenášet jejich komponenty mezi repozitáři. Grafické rozhraní je provedeno jako samostatný program nebo jako rozšiřující součástka (plug-in) do platformy Eclipse. Vylepšení systému je zahrnuto v součástce MConsole, pomocí které se dají vyvíjené aplikace v systému SOFA 2 spravovat. Celý program je implementován v jazyce Java. Grafická rozhranní jsou zkonstruována pomocí knihovny JFace, která umožňuje práci s modely založenými na EMF. Při úpravách modelu se používá framework EMF.Edit a jeho podknihovna Command.
|
|
| |
|
|
Informační systém pro plánování konferencí
Malý, Petr ; Zavoral, Filip (vedoucí práce) ; Čermák, Miroslav (oponent)
Tématem této práce je navrhnout a implementovat informační systém využitelný v oblasti vědeckých konferencí. Práce čtenáře seznámí s problémy, které bylo během vývoje zapotřebí vyřešit a dále ho obeznámí se strukturou programu a jeho ovládáním. Aplikace uživateli dovolí shromažďovat data o vědeckých konferencích a manipulovat s nimi. Systém také umožňuje správu přidělovaných financí z grantu a dále jejich provázání s jednotlivými konferencemi. Poskytuje tedy vytváření přehledů finančních zdrojů.
|
|
|
NetRadio
Daniel, Jakub ; Marek, Lukáš (vedoucí práce) ; Čermák, Miroslav (oponent)
V této práci je představen přehrávač internetových rádií schopný vybírat oblíbený obsah nezávisle na uživatelově zásahu, pokud to není nutné, jako řešení problé- mu, kdy přehrávaný obsah přestane odpovídat uživatelově zájmu a uživatel je nucen ručně naladit vhodnější stanici. K dosažení tohoto cíle aplikace nepřetržitě odposlouchává všechny vložené stanice a zároveň nahrává uživatelovy preference. Pokaždé, když se změní množina právě dostupných obsah·, se m·že přehrávač rozhodnout, která stanice bude s největší pravděpodobností doceněna uživatelem.
|
|
|
Adaptívne formácie pre viruálnych agentov
Švagerka, Michal ; Plch, Tomáš (vedoucí práce) ; Čermák, Miroslav (oponent)
Dnešní virtuální světy obsahují velké množství virtuálních agentů. To s sebou přináší i nutnost koordinace jejich pohybu. V této práci navrhujeme algoritmy pro řízení pohybu skupiny agentů ve formaci. Důraz je kladen na takové metody, které umožňují udržovat vlastnosti formace a zároveň překonávat rozličné terénní překážky. Tyto metody poté porovnáváme pomocí vhodně zvolené hodnotící funkce na vzorových scénářích.
|
host ::
RSS.