| |
|
Simulace a návrh inteligentních agentů
Šperka, Svatopluk ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Konvenční způsob vývoje opakující fáze návrhu, implementace a testování není adekvátní pro systémy třídy inteligentních agentů, u nichž je vyžadováno komplexní chování, ale jejich specifikace je na počátku nejasná. Jako vhodnější se jeví inkrementální tvorba modelu agenta v simulaci, která dává návrháři přímou zpětnou vazbu v podobě změn chování systému. Tato interaktivita nejenže urychluje vývoj, ale také, díky novým znalostem o chování získaných během simulace, zpřístupňuje návrháři nové části prostoru možných modelů. Tato práce se zabývá srovnáním vhodnosti dvou přístupů k návrhu inteligentních agentů, a s nimi souvisejících platforem v kontextu modelovacího a simulačního frameworku SmallDEVS, pro tento způsob vývoje. Prvním přístupem je reaktivní subsumpční architektura založená na formalismu DEVS a druhým framework PNagent realizující deliberativní BDI architekturu pomocí Objektově Orientovaných Petriho Sítí.
|
|
Na modelech založený návrh řízení Smart Home
Čada, Roman ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce se zabývá návrhem, který je založený na modelu, řídicího systému Smart Home a následnou realizací tohoto systému. Cílem je vytvořit model, který slouží jako návrh, a podle tohoto modelu i realizovat systém. K tomu dobře slouží programovací nástroje, které fungují na bázi modelu. V práci je nejprve popsán na modelech založený návrh, modelovací jazyky, které slouží k tvorbě takového návrhu, a technologie, které se ve Smart Home používají. Na základě těchto poznatků je vytvořen model jako návrh pomocí modelovacího jazyku SysML a následně je tento návrh realizován pomocí programů PowerDEVS a Node-RED.
|
|
Dynamic Software Architectures for Distributed Embedded Control Systems
Richta, Tomáš ; Kavička, Antonín (oponent) ; Sawa, Zdeněk (oponent) ; Janoušek, Vladimír (vedoucí práce)
This thesis deals with dynamic reconfigurability of distributed control systems. Due to the characteristics of these systems, the Petri nets formalism is used to define their functionality. These are transformed into a interpretable form and then executed by specialized software installed on each system node. Thanks to the properties of used formalism, it is possible to replace the individual parts of the system with new variants. Similarly, it is possible to generate formal specifications for the system's parts from more abstract workflow models and descriptions in the form of domain specific languages.
|
| |
| |
|
Na modelech založený návrh řízení Smart Home
Čada, Roman ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce se zabývá návrhem, který je založený na modelu, řídicího systému Smart Home a následnou realizací tohoto systému. Cílem je vytvořit model, který slouží jako návrh, a podle tohoto modelu i realizovat systém. K tomu dobře slouží programovací nástroje, které fungují na bázi modelu. V práci je nejprve popsán na modelech založený návrh, modelovací jazyky, které slouží k tvorbě takového návrhu, a technologie, které se ve Smart Home používají. Na základě těchto poznatků je vytvořen model jako návrh pomocí modelovacího jazyku SysML a následně je tento návrh realizován pomocí programů PowerDEVS a Node-RED.
|
|
Simulace a návrh inteligentních agentů
Šperka, Svatopluk ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Konvenční způsob vývoje opakující fáze návrhu, implementace a testování není adekvátní pro systémy třídy inteligentních agentů, u nichž je vyžadováno komplexní chování, ale jejich specifikace je na počátku nejasná. Jako vhodnější se jeví inkrementální tvorba modelu agenta v simulaci, která dává návrháři přímou zpětnou vazbu v podobě změn chování systému. Tato interaktivita nejenže urychluje vývoj, ale také, díky novým znalostem o chování získaných během simulace, zpřístupňuje návrháři nové části prostoru možných modelů. Tato práce se zabývá srovnáním vhodnosti dvou přístupů k návrhu inteligentních agentů, a s nimi souvisejících platforem v kontextu modelovacího a simulačního frameworku SmallDEVS, pro tento způsob vývoje. Prvním přístupem je reaktivní subsumpční architektura založená na formalismu DEVS a druhým framework PNagent realizující deliberativní BDI architekturu pomocí Objektově Orientovaných Petriho Sítí.
|