|
|
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.
|
|
|
Evropská komise jako aktér při řešení krizí
Čermák, Miroslav ; Kasáková, Zuzana (vedoucí práce) ; Šlosarčík, Ivo (oponent)
Zhruba deset let od největší celosvětové ekonomické krize, která Evropskou unii zasáhla v roce 2008 a výrazně otestovala její připravenost a akceschopnost, byla Evropa na konci roku 2019 zasažena celosvětovou pandemií COVID-19. Tato krize postavila před Evropskou unii a její instituce před řadu výzev plynoucích ze zavádění bezprecedentních opatření na ni reagujících. Oproti ekonomické krizi bylo tentokrát zasaženo více segmentů samotného fungování Evropské unie, nikoli pouze evropské hospodářství a finance. Cílem práce je poukázat na odlišnosti dopadů dvou krizí a prozkoumat roli, kterou při procesu řešení těchto krizí sehrála Evropská komise.
|
|
|
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.
|
|
| |
|
|
Analýza voleb do Evropského parlamentu ve Velké Británii v roce 2014
Čermák, Miroslav ; Kasáková, Zuzana (vedoucí práce) ; Váška, Jan (oponent)
Bakalářská práce Analýza voleb do Evropského parlamentu ve Velké Británii v roce 2014 se věnuje tématu teorie druhořadých voleb, které zasazuje do politického prostředí Spojeného království. Nejdříve přibližuje samotnou teorii voleb druhého řádu, aby se práce následně na příkladech z britského prostředí a jeho zvyklostí pokusila na základě výzkumných kritérii o zodpovězení otázky, zdali se dají volby do Evropského parlamentu z roku 2014 v rámci Velké Británie považovat za druhořadé. Text analyzuje volební účast a volební výsledky jednotlivých britských politických stran v uplynulých evropských volbách a vztahuje je k výsledcím z evropských voleb roku 2009 a voleb do Dolní sněmovny parlamentu z roku 2010. V práci je použito tří dílčích výzkumných kritérií, která analyzují jednotlivé hypotézy v duchu teorie druhořadých voleb. Po zjištění pravdivosti jednotlivých kritérií práce principem dedukce dochází k závěru, že se volby do Evropského parlamentu z roku 2014 dají považovat za volby druhořadé.
|
|
|
Simulation of Multi-UAV Cooperative Surveillance Using Pogamut and USARSim
Dufek, Jan ; Plch, Tomáš (vedoucí práce) ; Čermák, Miroslav (oponent)
Hlavním cílem této práce je vyvinout platformu, založenou na technologiích Pogamut a USARSim, pro simulaci kooperativního leteckého dohledu pomocí bezpilotních letounů (UAV). Grafické uživatelské rozhraní (GUI) simulátoru obsahuje automaticky vytvářený ptačí pohled na 3D virtuální prostředí. Tento ptačí pohled je používán pro zadávání pozic a parametrů objektů (UAV, dobíjecích stanic a oblastí) a také pro náhled na probíhající simulaci. Práce také navrhuje způsob pro rozbor kvality dohledu, jehož výsledky jsou zobrazeny v GUI v grafu s časovou osou a také jako tepelná mapa. Částí navrženého řešení je také cílově orientovaný řídící systém pro UAV zahrnující rozvrhování dobíjecích stanic. Celkem sedm algoritmů pro kooperativní dohled bylo implementováno, otestováno na třech scénářích a rozebráno z hlediska kvality dohledu. Powered by TCPDF (www.tcpdf.org)
|
|
|
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.
|
host ::
RSS.