|
|
Generování kódu z modelů Petriho sítí
Fryč, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá modelováním systémů pomocí Objektově orientovaných Petriho sítí (OOPN) a navržením mechanismu, který tento formalismus transformuje do programovacího jazyka Java. V první části práce je popis Petriho sítí, rozšíření o objektovou orientaci a jazyka PNtalk, který je konkretní implementací OOPN. Další část se zabývá samotným mechanismem, který z modelu zapsaných v jazyku PNtalk vygeneruje ekvivalentní modely v Javě a popisuje způsob simulace takto vygenerovaných modelů. Generátor je koncipiován tak, aby byl snadno rozšiřitelný a vygenerované modely modifikovatelné.
|
|
|
Twitter client pro Apple TV
Zvara, Marek ; Kočí, Radek (oponent) ; Hrubý, Martin (vedoucí práce)
Táto práca popisuje a analyzuje platformu tvOS a porovnáva jej výhody a nevýhody voči platforme iOS. Okrem toho ponúka prehľad aktuálneho stavu Twitter API.Na základe týchto poznatkov ponúka popis návrhu, úspešne zrealizovanej implementácie a testovania aplikácie. Twitter klient pracuje so základnými funkcionalitami ako prezeranie časovej osi, retweet, like/unlike tweetu či reakcia v diskusii k danému tweetu.
|
|
|
Automatizované obchodování na kryptoměnových burzách
Křesťan, Zdeněk ; Zbořil, František (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce je zaměřena na automatizované obchodování na burzách s kryptoměnami. Kryptoměny jsou dnes velice rozšířené. Možnost automatického nákupu a prodeje je zajímavé téma, které je stále více zmiňováno. Hlavní část práce je návrh algoritmu pro zpracovávání dat z burz, jejich vyhodnocování a následné provádění obchodů s kryptoměnami. Popisuje také jeho implementaci, testování a nastiňuje možné další rozšíření.
|
|
|
Interpret Petriho sítí
Blažek, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá konceptem formalismu Petriho sítí, který umožňuje zkoumat dynamické chování paralelních a nedeterministických systémů. Dále se práce zabývá jeho variantou Objektově orientovaných Petriho sítí (OOPN), jejímž cílem je usnadnit proces modelování systémů objektově orientovaným přístupem. Cílem této diplomové práce je navrhnout vnitřní reprezentaci modelů OOPN vhodnou pro efektivní interpretaci a implementovat překladač z jazyka PNtalk do vnitřní reprezentace. Následně pak navrhnout a realizovat interpret modelů OOPN, který bude umožňovat provádění simulace běhu těchto modelů s tím, že výsledný interpret musí také kromě objektů Petriho sítí umět pracovat i s vybranou podmnožinou objektů z jazyka Java.
|
|
|
Demonstrace vlastností značených grafů
Horák, Michal ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce prezentuje problematiku Petriho sítí jakožto modelovacího prostředku. Probrány jsou jejich vlastnosti a dělení na podtřídy, jejichž součástí jsou značené grafy. Cílem práce je analýza stavového prostoru Petriho sítí za účelem zkoumání jejich vlastností. Výsledkem práce je nástroj, který umožní tuto analýzu a případně rozšíří využití Petriho sítí.
|
|
|
Webová aplikace zprostředkovávající výsledky testování výkonu platformy JBoss
Vlasák, Jaroslav ; Letko, Zdeněk (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá vývojem aplikace typu klient-server pro firmu Red Hat. Klientská aplikace se účastní procesu testování platformy JBoss a získává uživatelem definovaná výkonnostní data, která v průběhu testování odesílá serverové aplikaci platformě nezávislou komunikací. Serverová aplikace umožňuje přijatá data analyzovat a několika pohledy vzájemně porovnávat. Tyto služby pro analýzu a srovnávaní dat jsou uživatelům serverové aplikace dostupné prostřednictvím webového klienta. Serverová aplikace rovněž podporuje import výkonnostních dat uložených v XML souboru a také jejich export pro portál qVue. Klientská část aplikace je implementována v jazyce Java a její serverová část je postavena na platformě Java EE.
|
|
|
Porovnání výkonnosti virtuálního stroje CACAO s HotSpot JVM
Malík, Nikolaj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této práce je představit platformu Java a dva vybrané zástupce implementací virtuálních strojů (JVM). V první řadě bude představen rozšířený virtuální stroj JVM HotSpot, v druhé řadě jedna z alternativních variant, JVM CACAO. Práce popisuje vybrané prvky implementace obou strojů, kde uvedené informace jsou vhodné pro všechny, kdo se zabývají optimalizacemi běhu programů. Závěrečná část prezentuje výsledky porovnání vybraných oblastí výše zmíněných strojů z hlediska paměťové a časové náročnosti.
|
|
|
Diskrétní simulace v Javě: Plánování procesů
Skočovský, Peter ; Kočí, Radek (oponent) ; Martinek, David (vedoucí práce)
Tato práce se zabývá implementací plánování procesů pro diskrétní simulaci v Javě. Rozebírá dva přístupy: implementaci simulačních procesů pomocí vláken a implementaci simulačních procesů bez vláken. Hlavním problémem při použití vláken bylo zabezpečit jejich kooperativní přepínání. Procesy implementované bez vláken jsou rozdělené na atomické části a k přerušení může dojít pouze mezi těmito částmi. Výsledky testování poukazují na to, že implementace pomocí vláken je podstatně pomalejší a paměťově náročnější.
|
|
|
Multiagentní podpora pro vytváření strategických her
Válek, Lukáš ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Tato práce se zaměřuje na návrh frameworku, který usnadní tvorbu počítačem řízených protivníků ve strategických hrách. V práci se soustředíme na analýzu typů strategických her a systémů umělé inteligence používaných v současných hrách. Budou vysvětleny problémy, jež se u těchto systémů vyskytují a jak je agentní systémy řeší. Dále je s využitím těchto poznatků navržen a implementován framework, který slouží jako podpora pro tvorbu inteligentních systémů ve strategických hrách.
|
|
|
Software Versions Management in Containers Deployment
Růžička, Adam ; Kočí, Radek (oponent) ; Smrčka, Aleš (vedoucí práce)
The aim of this thesis is to analyse requirements and design a solution for using the open-source project Katello to manage software present on Docker images. In this thesis there are introduced virtualization technologies with emphasis on container virtualization and also projects Foreman and Katello and their usage for content management of RPM software packages. Furthermore, it deals with design and implementation of extension for project Katello allowing managing Docker images. The functionality of the application was experimentally tested and verified and further possibilities for extension were outlined.
|
host ::
RSS.