|
|
Grafický editor návrhových modelů
Švub, Daniel ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této práce byl návrh a vývoj uživatelsky přívětivého grafického editoru Objektově orientovaných Petriho sítí (OOPN). Pro popis tohoto formalismu je použit jazyk PNtalk, který spojuje Petriho sítě s objektově orientovaným jazykem Smalltalk. Výsledná aplikace má uživatelům umožnit modelování objektů a jejich chování za pomocí OOPN a simulování přímo v editoru.
|
|
|
Plánování pohybu objektu v 3D prostoru
Krčmář, Radim ; Janoušek, Vladimír (oponent) ; Rozman, Jaroslav (vedoucí práce)
V následující práci jsou předvedeny základy plánování v prostoru se zaměřením na pravděpodobnostní plánování. Oborem úzce spjatým je detekce kolizí, s užitím lineární algebry je vytvořen systém pro kolize objektů v libovolném počtu rozměrů. Jsou popsány základní možnosti vizualizace trojrozměrných dat. Vybrané algoritmy byly implementovány v haskellu a užity k vytažení ježka z klece.
|
|
|
Predator-Prey Simulation in JavaScript
Méry, Jozef ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Studying the populations of organisms is a useful research field. It can help predict, understand, and possibly help preserve populations. This bachelor's thesis focuses on modeling and simulating an agent-based predator-prey model. The agents' essential traits include flocking based on C. Reynolds's boids model, reproduction, and mutation. This thesis's result is a configurable browser-based application, which can be used to simulate different scenarios and extract various statistical information. The application contains setting templates that were simulated. The results of the simulations are briefly evaluated.
|
|
|
Internet věcí s uzly na bázi PNVM
Korejtko, Tomáš ; Peringer, Petr (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá problematikou Internet of Things (IoT) a otevřených technologických řešení s tím souvisejících. Konkrétně se zaměřuje na softwarová řešení v oblasti chytrého domu kompatibilní s platformou Raspberry Pi a protokolem MQTT. Dále se práce zabývá studiem Petri Net Virtual Machine (PNVM) a jeho potenciální aplikace v IoT. Cílem práce je navrhnout integraci PNVM v IoT za pomoci existujících prostředků kompatibilních s MQTT a implementovat demonstrační aplikaci pro chytrý dům.
|
|
|
Interaktivní generátor syntaxe heterogenních datových struktur
Kotraš, Martin ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
V dnešní době jsou softwarové systémy často skládány z několika komponent předávající si data různými komunikačními kanály. I přes to, že existuje řada standardizovaných formátů kódování dat, vývojáři stále vytváří své vlastní většinou s ohledem na specifické použití jimi vytvářeného softwaru. Jednou ze zásadních částí ověření kvality nebo minimalizace chyb z přenosu dat je validace vstupních dat. Prvním krokem k validaci je formalizace jazyka popisující datové struktury. Nejobecnějším formalismem pro tyto účely je gramatika jazyka ve standardním popisu, např. BNF, ABNF, nebo EBNF. Tvorba gramatiky specifického jazyka však může být krok, který je citlivý na vznik chyby pro nezkušeného vývojáře. Cílem tohoto projektu je jednoduchá aplikace pro tvorbu gramatiky ze vzorku dat. V práci je řešeno generování gramatiky a následných validačních kousků kódu z nahraného ukázkového řetězce jazyka, např. zdrojového kódu programovacího jazyka. Problém řeší uživatel aplikace postupným označováním částí nahraného řetězce, jejich pojmenováním a přiřazováním vlastností. K tomu mu dopomáhají nástroje na rozdělování pravidel, slučování prefixů a/nebo sufixů pravidla, vytváření seznamů a optimalizaci výsledných pravidel. V rámci práce vznikla jednostránková webová aplikace, která při testování na jazycích JSON a XML dokázala poměrně dobře obstát a bylo možné tak vytvořit obecnější gramatiku i přes problémy se slabým syntaktickým analyzátorem. Díky této práci tak mohou i méně zkušení uživatelé vytvářet obecnější gramatiky jejich řetězců a používat je pro validaci. Práce navíc dává základ pro další zkoumání v této oblasti a je otevřená pro další vylepšení.
|
|
|
Simulátor 3D tiskárny
Čillo, Vladimír ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce se zabýva návrhem a implementací simulátoru 3D tiskárny v jazyce C++ s využitím knihovny Qt. Simulátor předpokládá tiskárnu založenou na nejrozšířenější metodě 3D tisku - Fused Deposition Modeling. Vstupem simulátoru je 3D model ve formátu STL. Pro daný 3D model simulátor poskytuje odhad celkové doby tisku. Součástí simulace je také vizualizace procesu 3D tisku. Výsledkem práce je přenositelný program testovaný pod operačními systémy Linux a Windows. Funkčnost simulátoru byla experimentálně ověřena na příkladech.
|
|
|
Multiagentní systém pro řízení subsystému Smart Home
Pločica, Peter ; Zbořil, František (oponent) ; Janoušek, Vladimír (vedoucí práce)
In today’s world, technology has become an essential part of practically every person’s life. The development in technology has led to the creation of Smart Home. The advancement in artificial intelligence has resulted in the emergence of multi-agent systems, which is the focus of this work. The aim of this work was to create a multi-agent system to control the subsystem of Smart Home, which can lead to better integration of devices from different companies and better handling of more demanding operations. The work includes topic of Smart Home, which is related to the concept of ambient intelligence and the topic of multi-agent systems. Furthermore, the work includes the design of this system and a detailed description of its implementation, specifically the agents in the system. Finally, the functionality of the system is tested and the results are also part of the work.
|
|
|
Multiagentní systém pro řízení subsystému Smart Home
Pločica, Peter ; Zbořil, František (oponent) ; Janoušek, Vladimír (vedoucí práce)
In today’s world, technology has become an essential part of practically every person’s life. The development in technology has led to the creation of Smart Home. The advancement in artificial intelligence has resulted in the emergence of multi-agent systems, which is the focus of this work. The aim of this work was to create a multi-agent system to control the subsystem of Smart Home, which can lead to better integration of devices from different companies and better handling of more demanding operations. The work includes topic of Smart Home, which is related to the concept of ambient intelligence and the topic of multi-agent systems. Furthermore, the work includes the design of this system and a detailed description of its implementation, specifically the agents in the system. Finally, the functionality of the system is tested and the results are also part of the work.
|
|
|
Code Generation from Object Oriented Petri Nets
Frlička, Eduard ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
PNtalk is a language used for modelling of object-oriented Petri nets. The existing simu- lator implemented in Smalltalk language is used mainly for modelling and debugging. For practical use, however, a more efficient representation of Petri net models is needed. This work presents a C++ representation of object-oriented Petri nets.
|
|
| |
host ::
RSS.