|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
|
|
Process Control with Dynamic Resource Scheduling
Šinkora, Jan ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This project pursues issues on the border of information technologies and process optimization. Previously published concepts of~modeling projects and shared resources with object-oriented Petri nets are presented and further expanded. The possibilites of~the use of~genetic algorithms for dynamic realtime optimization of the resource schedules are explored. The resource constrained project sheduling problem is presented and it is shown, how instances of the problem can be implemented. A more complex model that is inspired by real production systems is then created. Next, a control agent, which monitors a running production system and allows for it's dynamic optimization is designed. The whole system is implemented in the Squeak Smalltalk environment with the use of the tool PNtalk, which is an experimental implementation of the object oriented Petri nets paradigm.
|
|
|
Petri Net Interpreter for Control Systems with Atmel Processor
Minář, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
Thesis focuses on interpretation of nested petri nets described in PNML language on Atmel processors. It introduces this limited - from memory capacity and perfomance point of views - targeted architecture, since it greatly affected both design and implementation. The interpreter is thouroughly described from all aspects of its design. One of most important concerns in the whole process was the ability to test and verify achieved state of functionality quickly and possibly without Atmel processor. That’s why the implentation took place on a squeak platform, that allowed to translate whole interpreter for targeted platform. Motivation behind this and overall process of translation is also a subject of this work.
|
|
|
The Trilobot Model
Štěpán, Miroslav ; Janoušek, Vladimír (referee) ; Hrubý, Martin (advisor)
This MSc Thesis describes creation of motion model of mobile robot called Trilobot. This model is implemented into simple simulation tool. Some laboratory experiments with the robot are described in this paper. There is also some information about SmallDEVS tool and Squeak Smalltalk environment in which the model was implemented. Motivation of this work is effort to simplify the design and testing of navigation algorithms for Trilobot, which is available for students of FIT BUT in the robotics lab of department of intelligent systems. This simple simulation tool could partially reduce dependence on physical availability of this robot.
|
|
|
AI Algorithms
Petrželka, Jan ; Hrubý, Martin (referee) ; Janoušek, Vladimír (advisor)
This master's thesis describes artificial intelligence algorithms based on the book Artificial Inteligence: A Modern Approach by S. Russel and P. Norvig and implementation of the algorithms in the Squeak Smalltalk programming language with object oriented approach. Algorithms are based on pseudocode in the book and existing implementations in Lisp, Python and Java language. Main concepts are intelligent agents, agent simulation environments, state space search, game playing, planning, uncertainty and learning.
|
|
|
Web Browser for Squeak Smalltalk
Šlemr, Martin ; Hrubý, Martin (referee) ; Janoušek, Vladimír (advisor)
This Master's thesis is about web browser Scamper in Squeak Smalltalk system environment, it's actual progress, new design and implementation, which respect CSS box model and visual formatting model including tables. Also describe web browsers generally and Internet technologies such HTTP protocol, or structure MIME. Next part of this document is describing Squeak Smalltalk system and it's graphic environment Morphic.
|
|
|
Simulation Sever for DEVS
Šimara, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
The purpose of this master's thesis was to design and implement the simulation server for the DEVS that is using already existing SmallDEVS system. The work is aimed to description of the DEVS formalism, SmallDEVS and implemented simulation server. This server provides functions to create new DEVS models, edit already existing models and control simulation. In addition server saves information about state changes during the simulation process, so we can find out the state of the model at any simulation time. It allows to analyze this data and get more information about the simulation process, which was not possible until now. There is a complete description of the communication protocol between client and server in this document. If a new function is implemented in the SmallDEVS system, this protocol can be easily updated. A prototype of client was implemented during this project to test the implemented simulation server. The client implements this communication protocol and allows the user to work with the SmallDEVS system on the server.
|
|
|
The Trilobot Model
Štěpán, Miroslav ; Janoušek, Vladimír (referee) ; Hrubý, Martin (advisor)
This MSc Thesis describes creation of motion model of mobile robot called Trilobot. This model is implemented into simple simulation tool. Some laboratory experiments with the robot are described in this paper. There is also some information about SmallDEVS tool and Squeak Smalltalk environment in which the model was implemented. Motivation of this work is effort to simplify the design and testing of navigation algorithms for Trilobot, which is available for students of FIT BUT in the robotics lab of department of intelligent systems. This simple simulation tool could partially reduce dependence on physical availability of this robot.
|
|
|
AI Algorithms
Petrželka, Jan ; Hrubý, Martin (referee) ; Janoušek, Vladimír (advisor)
This master's thesis describes artificial intelligence algorithms based on the book Artificial Inteligence: A Modern Approach by S. Russel and P. Norvig and implementation of the algorithms in the Squeak Smalltalk programming language with object oriented approach. Algorithms are based on pseudocode in the book and existing implementations in Lisp, Python and Java language. Main concepts are intelligent agents, agent simulation environments, state space search, game playing, planning, uncertainty and learning.
|
|
|
Process Control with Dynamic Resource Scheduling
Šinkora, Jan ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This project pursues issues on the border of information technologies and process optimization. Previously published concepts of~modeling projects and shared resources with object-oriented Petri nets are presented and further expanded. The possibilites of~the use of~genetic algorithms for dynamic realtime optimization of the resource schedules are explored. The resource constrained project sheduling problem is presented and it is shown, how instances of the problem can be implemented. A more complex model that is inspired by real production systems is then created. Next, a control agent, which monitors a running production system and allows for it's dynamic optimization is designed. The whole system is implemented in the Squeak Smalltalk environment with the use of the tool PNtalk, which is an experimental implementation of the object oriented Petri nets paradigm.
|
guest ::
