|
|
Product Data Visualization in PNC Build System
Korytár, Patrik ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
The thesis aims to enhance the visualization of Product-related data of the PNC build system on the system's new web user interface. Main visualization elements include tables, charts, network graphs and dashboards. The work analyses PNC user inputs to consider the actual needs of the users. Based on the analysis, completely new UI components were designed and some of the original ones were redesigned. To illustrate the new design, wireframes were created. New REST API endpoints were designed for data needed by the new components. The new features were then implemented. The implementation language is TypeScript. The main libraries include React, Chart.js, Sigma.js and Graphology. As a result, the new PNC system user interface now has new features that help with using the Product-related pages. The implementation is also easily expandable for more visualization of this kind.
|
|
|
Vykreslování rodokmenů ve webových stránkách
Zedník, Matěj ; Kočí, Radek (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce pojednává o zobrazení interaktivních rodokmenů ve webovém prohlížeči pomocí vhodně zvolené knihovny. K řešení byla využita knihovna naprogramovaná v jazyce Javascript, která byla poupravena a vylepšena. Pro získání potřebných dat rodokmenu je využit soubor typu GEDCOM anebo načtení z grafové databáze Neo4j, který se po analýze převede na strukturu typu JSON. Tato struktura je následně předána modifikované knihovně pro zobrazení rodokmenu. Výsledkem je tedy možnost zobrazit rodokmen kteréhokoli člena rodiny včetně všech jeho předků anebo i potomků.
|
|
|
Výukový nástroj pro barvené Petriho sítě
Navrátil, Ondřej ; Kočí, Radek (oponent) ; Rogalewicz, Adam (vedoucí práce)
Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou snadnou čitelností a skvělou vyjadřovací schopností. Zároveň disponují pevnými formálními podklady, jenž usnadňují jejich počítačovou simulaci a v omezené míře umožňují verifikovat některé vlastnosti. Motivací tohoto projektu je fakt, že v současnosti je veřejně dostupný pouze jediný nástroj pro úpravu a simulaci CPN, a sice CPNTools vyvíjený na univerzitě v Aarhusu. Program je však komplikovaný a pro nezainteresovaného uživatele obtížně uchopitelný. Cílem projektu je prozkoumat možnosti a vlastnosti CPN a nástroje CPNTools a na základě získaných znalostí navrhnout a implementovat didaktickou aplikaci se svižným a intuitivním rozhraním, která umožní uživatelům bez hlubších teoretických vědomostí získat přehled o problematice CPN.
|
|
|
Správa nahrávání aplikací na ARM zařízení
Hrvol, Marek ; Smrčka, Aleš (oponent) ; Kočí, Radek (vedoucí práce)
Záměrem práce je usnadnění nasazování Internetu věcí v domácnostech nebo malých firmách a také zvýšit udržitelnost vytvořené sítě. Webová aplikace slouží ke správě aplikací napříč ARM jedno-deskovými zařízeními. Umožňuje nahrávat aplikace přímo na zaregistrovaná zařízení, poskytuje ucelený, intuitivní náhled všech dostupných zařízení. Dále zaznamenává stav těchto zařízení, zobrazuje potřebná data o zařízení a informuje o případném selhání některého ze zařízení.
|
|
|
Java EE Organizér - modul úkoly
Černý, Petr ; Martinek, David (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá problematikou aplikací pro orgranizaci času a kontaktů. Obsahuje analýzu stávajících řešení, používaných architektur a stručnou charakteristiku konkrétních aplikací. Práce se také zabývá tvorbou aplikačního klienta pro Java EE aplikace a pojednává o základních technologiích, které se v této oblasti používají (Swing, platforma Java EE a její technologie). Praktická část obsahuje návrh a implementaci modulů pro správu kontaktů a úkolů, které jsou zakomponovány do demonstrační aplikace Java EE Organizér.
|
|
|
Řízení entit ve strategické hře založené na multiagentních systémech
Knapek, Petr ; Kočí, Radek (oponent) ; Zbořil, František (vedoucí práce)
Tato práce se zaměřuje na návrh a implementaci systému podpory učení a plánování agentů schopných hry real-time strategických her typu StarCraft. Budou vysvětleny problémy ovládání herních objektů a protivníků počítačem a představeny obvykle používané způsoby řešení. Na základě analýzy je navržen a implementován nový systém využívající multiagentního přístupu k ovládání hry a metod strojového učení, který je schopný porážet protivníky a přizpůsobovat se novým výzvám.
|
|
|
Nástroj pro podporu vývoje softwarových systémů
Hala, Karel ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Nástroj pro podporu vývoje softwarových systému je aplikace sloužící pro vizuální znázornění průběhu vývoje aplikace. Slouží k porozumění požadavků od zákazníka, tyto požadavky převádí do objektového návrhu s možností popisu chování tříd pomocí objektově orientovaných Petriho sítí. V této práci se postupně popíší nástroje věnující se tomuto tématu, vyberou se jednotlivé diagramy a popíše se způsob implementace těchto diagramů. V závěru budou představeny možná rozšíření.
|
|
| |
|
|
Graphical Editor for Design Models
Hlavačka, Filip ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
The thesis is aimed at the solution of graphical editing for design models, especially Object-oriented Petri nets. There are many tools for editing Object-oriented Petri nets, but none of these support complete cooperation with simulation classes. This thesis offers created tool, which is implemented in the Pharo environment and uses the Morphic library. The created tool enables users to create or modify Object-oriented Petri net. Users can export created net to SVG or PNG format. The tool also enables the saving and loading of Object-oriented Petri net. The tool provides syntax check to the user.
|
|
|
Modelem řízený návrh konferenčního systému
Caha, Matěj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.
|
host ::
RSS.