|
|
Databáze pro genealogické modely
Hoffmann, Michael ; Zbořil, František (oponent) ; Kočí, Radek (vedoucí práce)
Bakalářská práce je součástí projektu DEMoS, který si klade za cíl vytvořit systém pro správu digitalizovaných záznamů starých matrik. Cílem této bakalářské práce je navrhnout a vytvořit aplikaci s databází, která bude umožňovat uživatelům spravovat vytvořené či vygenerované genealogické modely, přičemž bude možné provázat osoby uvedené v modelech se záznamy v databázi digitalizovaných matrik. Pro řešení byly využity technologie PHP, Javascript, HTML, CSS a Neo4j.
|
|
|
Remote API Web Reference for Java Enterprise Applications
Krpec, Ondřej ; Turoňová, Lenka (oponent) ; Kočí, Radek (vedoucí práce)
The Master's thesis focuses on testing REST API interfaces of web applications. The result of the thesis is the Restty application, which allows to test API endpoints of said interfaces, as well as to create extensive test cases from the interface's endpoints. The theoretical part of the thesis explains the principles of web services, remote interfaces, technologies that are used for development of the application, and the Swagger framework upon which the application is built. Subsequently, the design drafts of the application are presented in detail. The following section covers Restty's implementation and demonstrates how the Restty can be used for testing the interface of a Red Hat JBoss BPM Suite application. In conclusion, the benefits of the Restty application are evaluated and its possible extensions are proposed.
|
|
|
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ší.
|
host ::
RSS.