|
|
Hledání řídicích strategií pomocí UPPAAL STRATEGO
Hruška, Filip ; Hrubý, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Tato práce se zabývá hledáním řídicích strategií v předem vybraných problémech z různých oblastí pomocí nástroje Uppaal Stratego. Byly vybrány čtyři oblasti k řešení, jmenovitě šachy, hanojské věže, posuvné pole a kinematický problém zahrnující balíček, auto a letadlo. Pro zvolené problémy a oblasti byla navržena a vytvořena sada jim odpovídajícím modelů. U hanojských věží a posuvného pole bylo možné úspěšně vyhodnotit relevantní strategie, zvedající pravděpodobnosti úspěchu až na více než 90 %. U dalších modelů byl nalezen problém ve velikosti stavového prostoru a strategie nebylo možné vyhodnotit, protože maximální kapacita paměti, kterou nástroj využívá, nebyla dostatečná. U kinematického problému se po omezení a zjednodušení modelu podařilo strategie vyhodnotit, ovšem u šachů to nebylo možné ani po významném zjednodušení.
|
|
|
Framework for Data Synchronization in the Context of Apple User Applications
Klembara, Filip ; Smrčka, Aleš (oponent) ; Hrubý, Martin (vedoucí práce)
The goal of this thesis is to design and implement a library for data synchronization between multiple client's devices in the context of the ecosystem of a single application targeting the iOS, iPadOS or MacOS operating system. The work focuses on the simple integration of the library into existing applications using the Realm database system and on the simple way to connect the user interface with the synchronization process. I solved the chosen problem by designing a synchronization protocol primarily based on log synchronization to distribute changes between the client and the server, implementing a library to monitor changes in the client's database and distribute them to the server, and implementing a server library to integrate received changes and distribute them with help of notifications. The solution provides an easy way to implement data synchronization between multiple devices using custom database server and with the ability to define how to handle new changes of objects presented in the user interface during the synchronization. Created library can be quickly and easily integrated and thus effectively speed up the application development process.
|
|
|
Implementace GIS služby WPS
Maďarka, Dušan ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Cieľom tejto diplomovej práce bolo navrhnúť a implementovať webovú mapovú službu Web Processing Service. Účelom tejto služby je poskytovať výpočty s geografickým zameraním v prostredí internetu. V úvodnej fáze bola prevedená analýza existujúcich implementácií mapových služieb a používaných štandardov. Následne boli vyvodené závery a služba bola implementovaná s ohľadom na efektívnosť využitia výpočtových prostriedkov, možnosť rozširovania služby užívateľom a jednoduchosť integrácie do aplikácií typu klient. Súčasťou implementovanej služby je aj rozhranie pre prácu s geografickým informačným systémom GRASS GIS, ktoré prináša možnosť jeho využitia službou pre geografické výpočty. Záverečná kapitola sa venuje testovaniu implementovanej služby z hľadiska funkčnosti i výkonu.
|
|
| |
|
|
Zpracování dokumentů specifikovaných jazykem Texy
Bodeček, Miroslav ; Hrubý, Martin (oponent) ; Kočí, Radek (vedoucí práce)
Současné prostředky pro publikaci na internetu řeší problém, jak uživateli zjednodušit zadávání dokumentů, které jsou zobrazovány na webových stránkách. Tento problém v minulosti vyřešila knihovna Texy, který je postavena na platformě PHP. Práce spočívá v reimplementaci jazyka Texy pro prostředí platformy Java. V této zprávě je popsán způsob implementace překladače, vytvoření modelu jazyka a formální gramatiky. Práce se zabývá i možnostmi dalšího rozvoje knihovny, zejména pak výstupu do jiných formátů, než je HTML.
|
|
|
Metody synchronizace uživatelské databáze v prostředí zařízení s iOS
Matěj, Kryštof ; Smrčka, Aleš (oponent) ; Hrubý, Martin (vedoucí práce)
Cílem této práce je ověřit funkčnost synchronizace objektových databází přes CoreData a Datastore. Ověření funkčnosti synchronizace objektových databázi jsem provedl pomocí dvou zařízení a experimentálního serveru. V předložené bakalářské práci jsem vytvořil kni- hovnu DB2iCloud, která poskytuje abstraktní rozhraní CoreData pro Datastore. Přínosem této práce je vytvoření knihovny DB2iCloud v demonstrační aplikaci a ověření funkčnosti CoreData a Datastore.
|
|
|
Distribuce místně závislých informací v mobilních aplikacích
Bátrla, Tomáš ; Hrubý, Martin (oponent) ; Hanáček, Petr (vedoucí práce)
Tato diplomová práce se zabývá získáváním multimediálních dat ze serveru v závislosti na poloze mobilního telefonu a vyfotografovaného dvojrozměrného grafického kódu. V práci jsou popsány platformy mobilních zařízení, technologie pro zjištění polohy a pro rozpoznávání grafických kódů. Dále je zde popsán návrh klient-server architektury, která umožňuje mobilním zařízením získat multimediální informace závislé na poloze. Na konci práce jsou shrnutky mé poznatky při reálném testování vytvořeného systému a nastíněny možnosti dalšího zlepšení systému pro distribuci místně závislých informací.
|
|
|
Implementace GIS nástroje pro mobilní počítačová zařízení
Kalčík, Vojtěch ; Smrčka, Aleš (oponent) ; Hrubý, Martin (vedoucí práce)
Diplomová práce se zabývá návrhem GIS nástroje pro mobilní počítačová zařízení. Výsledný program bude přizpůsoben pro sběr geografických dat v terénu. Program bude pracovat se standardními formáty souborů pro GIS. Velký důraz je kladen na ovládání, které je na mobilních zařízeních s kapacitním displejem specifické. Program bude navržen tak, aby mohl běžet jak na smartphone, tak na tabletu. Součástí práce je vysvětlení principu mapování a popis geografických informačních systémů.
|
|
|
Navigační systémy v geografických průzkumných akcích
Pop, Pavel ; Kočí, Radek (oponent) ; Hrubý, Martin (vedoucí práce)
Cílem projektu je návrh a implementace navigačního systému pro geografické průzkumné akce. Systém musí být schopen pracovat globálně a řešit více typů navigačních úloh v návaznosti na dopravní prostředek, pomocí něhož je průzkum prováděna. Jedním z úkolů je také zlepšení průběhu navigace odstraněním chyb vznikajících nepřesnostmi v zaměření pozice a technickými omezeními GPS, jako je například malá frekvence poskytovaných vstupních dat pro navádění. Problematika malé frekvence poskytovaných vstupních dat je řešena pomocí predikce pohybu, čímž je umožněno plynulé zobrazování výstupu uživateli. Protože není možné otestovat systém kompletně v reálném provozu, je vytvořen simulační nástroj, který umožňuje sledovat chování navigace ve všech situacích. Dokument obsahuje rozbor problému z hlediska geografie, definici problémů orientace v prostoru a způsobů jejich matematických řešení a nástin implementace aplikace.
|
|
|
Metody a nástroje modelování trhu s více komoditami
Janeček, Vítězslav ; Janoušek, Vladimír (oponent) ; Hrubý, Martin (vedoucí práce)
Cílem této práce je prostudovat teorii her, včetně ekonomických teorií, které se vztahují k chování zemědělských producentů. Částí, která navazuje na teoretické východiska, je vytvoření modelu pro simulaci ekonomického systému. Pro simulaci produkce komodit je zvolena obecná teorie her s hledáním Nashových equilibrií. Modelování poptávky je založeno na spotřební funkci, která vychází z Cournotovy hry. Součástí systému je také obchodování s půdou založené na jednoduchých aukcích obálkovou metodou s druhou cenou. Práce využívá externího programu Gambit, což je volně dostupný nástroj pro řešení her. Hodnocení modelu se nachází v sekci experimentů, kde je zkoumána realističnost modelu a jeho logická struktura.
|
host ::
RSS.