|
|
Tahová strategie
Poljak, Štěpán ; Zavoral, Filip (vedoucí práce) ; Plch, Tomáš (oponent)
Cílem práce je návrh a implementace síťové tahové strategie pro dva a více hráčů, kde jednotliví hráči spravují své město, armády, zdroje surovin a jednotky, bojují proti ostatním hráčům a zdokonalují své hrdiny. Hra využívá 2D grafické rozhraní a umožňuje hru přes lokální síť na architektuře klient-server. Program dále obsahuje umělou inteligenci pro počítačem řízeného hráče. Práce se také zabývá srovnáním podobných existujících projektů, popisem možných přístupů k řešení umělé inteligence v oblasti rozhodování a analýzou implementačních problémů převážně v oblasti síťové komunikace a umělé inteligence.
|
|
|
C++ Runtime for HelenOS
Jindrák, Jaroslav ; Děcký, Martin (vedoucí práce) ; Zavoral, Filip (oponent)
Aby operační systém podporoval běh programů napsaných v určitém programovacím jazyce, musí obsahovat běhové prostředí daného jazyka. Běhová prostředí různých programovacích jazyků se mohou lišit, ale obecně sestávají z nástroje umožňující samotný běh, jako například interpret nebo takzvaná runtime knihovna, a standardní knihovna obsahující funkce a typy použité daným programem. V této práci zhodnotíme, které části běhového prostředí jazyka C++ jsou nejvíce potřebné ke spouštění existujících programů napsaných v jazyce C++ a naimplementujeme je pro operační systém HelenOS. Následně naportujeme existující open-source program napsaný v C++ na ověření správnosti našeho vyhodnocení a implementace tohoto běhového prostředí.
|
|
|
Map routing
Hrubý, Kryštof ; Zavoral, Filip (vedoucí práce) ; Šmelko, Adam (oponent)
Webové aplikace pro plánování trasy se pro cyklisty již stávají běžným nástrojem. K dispozici je poměrně velké množství aplikací, které však nedávají uživateli dostatečnou možnost navolit si trasu dle vlastních preferencí. Cílem této práce je proto najít způsob, jak využít známé směrovací algoritmy pro tvorbu více individualizovaných tras. Pro za- chování nároků na rychlost hledání tras je vhodné použít heuristické algoritmy, které si směrovací graf předzpracovávají. Aby bylo možné dosáhnout rychlého nalezení optimální trasy vůči zadaným preferencím, je nutno směrovací graf předzpracovat pro každou kom- binaci preferencí. Pro potvrzení tohoto konceptu byla vytvořena webová aplikace, která pro nalezení optimálních tras využívá jeden z vhodných heuristických algoritmů (Con- traction Hierarchies). Aplikace také poskytuje interaktivní mapový editor a vyhledávání v mapě. Evaluace aplikace ukázala, že navržený koncept je funkční, tj. je možné nalézt požadovanou trasu dle specifikovaných preferencí v akceptovatelném čase. 1
|
|
|
Collective Entity Matching Solution for ClueMaker Application
Jaroschy, Petr ; Zavoral, Filip (vedoucí práce) ; Nečaský, Martin (oponent)
ClueMaker (CM) je Java aplikace, využitelná pro vizualizaci dat (na grafu) subjekty jako jsou pojištovny (pro odhalení podvodné aktivity), česká organizace Hlídač státu (pro identifikaci spojitostí mezi subjekty) a mnoha dalšími. Momentálně tato aplikace používá naivní způsob sjednocení entit z různých zdrojů dat (spojení na základě přesné rovnosti klíče). Cílem této práce je vymyslet, vybrat a integrovat řešení do CM, které by umožnilo sjednocování entit na základě jejich podobnosti, včetně vytvoření GUI pro tuto integraci. Toto řešení by mělo umožnit uživateli spojení podobných entit v grafu, zobrazení potenciálně shodných nebo podbných entit a provedení globálního skenu v momentálním grafu. Navíc, kromě využití podobnosti vlastností entit, toto řešení by mělo využít vztahy datových entit v CM. 1
|
|
|
Client-side execution of PHP applications compiled to .NET
Husák, Tomáš ; Zavoral, Filip (vedoucí práce) ; Peška, Ladislav (oponent)
Peachpie je moderní kompilátor umožňující kompilace PHP skriptů do .NET. Blazor je nová část platformy ASP.NET nabízející použití C# na straně klienta díky novému webovému standartu WebAssembly. Tato práce zkoumá nový způsob, jak spouštět PHP založený na integraci Peachpie a Blazor. PHP skripty mohou být referencovány z Blazor a vyhodnoceny, bohužel tato akce vyžaduje mnoho kroků k jejímu provedení. My jsme tyto kroky analyzovali, navrhli řešení pro vkládání těchto skriptů do Razor stránek, navigování těchto skriptů a nakonec vyhodnocení. Výsledkem se stala knihovna obsahující pomocné třídy umožňující PHP programátorům přesunout PHP exekuci na stranu klienta s výho- dami Blazor prostředí. Rozdílnost použitých technologií nicméně limituje možnosti, které se s nima lze provádět, což je popsáno prostřednictvím dvou měření. 1
|
|
|
IntelliSense Implementation of a Dynamic Language
Míšek, Jakub ; Zavoral, Filip (vedoucí práce)
Vývojáři během samotného programování často opakují stejná slova a stále opisují běžné výrazy. Dále také prohledávají dokumentace a zdrojové kódy, například kvůli znění deklarací metod a jiných symbolů. Z tohoto pohledu je velmi užitečná asistence ze strany vývojového prostředí. Konkrétně metody IntelliSense značně usnadňují práci tím, že shromažďují informace o používaných symbolech a programátorovi je automaticky nabízejí. Během práce s dynamickými jazyky je ale tato pomoc velmi problematická, jelikož sémantika jednotlivých symbolů není definitivně známa, dokud program není spuštěn. Součásti projektu Phalanger tak byli implementovány metody pro syntaktickou, ale také sémantickou analýzu zdrojového kódu, zaměřené hlavně na dynamický jazyk PHP. Je tak možné sestavit seznam slov, které je možné zapsat na určité místo ve zdrojovém kódu; jako jsou klíčová slova jazyka, deklarované symboly či parametry funkce, včetně informací o nich.
|
|
|
Balancing Keyword-Based Data and Queries in Distributed Storage Systems
Wirth, Martin ; Parízek, Pavel (vedoucí práce) ; Zavoral, Filip (oponent)
Výzkum v oblasti distribuovaných systémů dosud neodhalil optimální způsob vy- važování zátěže. Existující přístupy pracují primárně s replikací a horizontálním dělením dat. Tato práce shrnuje současný stav zkoumání v této oblasti, se zaměřením na horizon- tální dělení dat, a obsahuje experiment, který porovnává moderní vyvažovací algoritmus Weighted-Move s náhodným a také s existujícím doménově-specifickým přístupem. Výz- namnou součástí práce je univerzální a škálovatelná implementace pro vyvažování zátěže v jakémkoli distribuovaném systému a její nasazení do skutečného systému Sklik pro výdej internetové inzerce. Hlavní výzvy řešení byly spojeny s různými problémy, které se týkaly konzistence dat, výkonu a synchronizace, a také s nutností udržet kompatibilitu implementace se zbytkem neustále vyvíjeného systému Sklik. Námi provedený experi- ment ukazuje, že zmíněný doménově specifický přístup k vyvažování zátěže umí data distribuovat tak, že systém dosahuje největšího výkonu ze všech porovnávaných vari- ant. Nicméně z výsledků algoritmu Weighted-Move je možné vidět jeho velký potenciál, přičemž očekáváme, že další práce na naší implementaci by tyto výsledky mohla ještě vylepšit. 1
|
|
|
Multifiltrový prohlížeč fotek
Hanák, Drahomír ; Zavoral, Filip (vedoucí práce) ; Kliber, Filip (oponent)
Práce se zaměřuje na návrh a implementaci prohlížeče fotek, který naroz- díl od existujících programů umí ukládat uživatelsky definovaná metadata přimo v souborech s fotkami. Metadata se tak neztratí při přesunu nebo přejmenování souborů. Dalším cílem práce je navrhnout dotazovací jazyk, který umožní hle- dat fotky na základě uživatelem definovaných metadat a existujících metadat souboru. Vytvořený program by měl mít přizpůsobivé uživatelské rozhraní pro zobrazení výsledků dotazu, prohlížení a editaci metadat souborů a editor dotazů s podporou integrované nápovědy (IntelliSense) pro vytvářený dotaz. 1
|
|
|
Static data flow analysis for Java programs
Mečiar, Martin ; Zavoral, Filip (vedoucí práce) ; Kofroň, Jan (oponent)
Tato práce navrhuje metodologii JaBSSA určenou k ziskání zavislostí mezi vstu- py a výstupy Java programů za použití statické programové analýzy na byte- code Java programů. Metodologie JaBSSA je založená na konstrukci context- sensitive grafu volání analyzovaného programu a následnou konstrukci oriento- vaného grafu datových toků, kde uzly majíci specifická metadata reprezentují vstupy a výstupy analyzovaného programu a hrany představují datové toky mezi nimi v analyzovaném programu. Program na přiloženém CD obsahuje imple- mentaci pro metodologii JaBSSA, což slouží jako ověření navrhovaného konceptu. Příklady Java programů spolu se sadou testů, která generuje výsledky implemen- tace metodologie JaBSSA na příkladech, jsou součástí daného programu. Vyge- nerované výsledky slouží pro demonstraci schopností a nedostatků navrhovaného konceptu. 1
|
|
|
Optimalizace rozmístění zásob v skladových lokacích
Douša, Daniel ; Zavoral, Filip (vedoucí práce) ; Syrovátková, Jana (oponent)
Sklady obsahují různé sekce s lokacemi, které jsou vhodné pro různé produkty členěné podle jejich rozměrů, hmotnosti a zejména obrátkovosti. Cílem práce je navrhnout model rozložení a automatizované realokace jednotlivých produktů v rámci skladu od jejich příjmu od dodavatelů až k výdeji zákazníkům. Je potřeba zakomponovat chování k novým produktům bez historických prodejních dat, držení minimálních a maximálních zásob na jednotlivých lokacích a kdy produkty doplňovat nebo přesouvat. Hlavním cílem celé práce je nalezení algoritmu pro výpočet uskladnění zásob, aby následně zákazník mohl dostat svoji objednávku co nejrychleji. Existují zde i vedlejší cíle. Mezi ně patří například množství potřebných zásob a počet přesunů. Nalezené řešení, i při horším hodnocení dle hlavního požadavku, může být díky lépe hodnoceným vedlejším cílům lepším řešením
|
host ::
RSS.