|
| |
|
|
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.
|
|
| |
|
|
Virtual Machine Implementation of Strongtalk System
Sitarčík, Ľuboš ; Hrubý, Martin (referee) ; Kočí, Radek (advisor)
The goal of this bachelor's thesis is to develop own virtual machine based on existing system Strongtalk virtual machine, respectively modify the virtual machine written in the language MS C++ so that it would be portable between operating systems Windows and GNU-Linux. Thesis describes a programming language and a system Smalltalk-80, which is implement by Strongtalk, thesis contains informations about what is a virtual machine and then describes the actual implementation of virtual machine, its testing and its shortcomings, which should be focused in the future.
|
|
| |
|
|
Client-Server Application for DEVS-Based Modelling and Simulation
Brázdil, Martin ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
This bachelor’s thesis describes the analysis, design and implementation of an application for DEVS-based modelling and simulation. It is a client-server application, where the client is implemented as a seperate desktop Java application. Server is based on the Smalltalk language (more precisely, Squeak) and builds on existing application SmallDEVS. The reader is acquainted with the basics of discrete event systems specification (DEVS) and Petri nets used for modeling and simulation. The thesis is also dedicated to the design of user-friendly graphical interface on the client side, respectively editor.
|
|
|
Explorative Source Code Editor
Šomlo, Ivan ; Jirák, Ota (referee) ; Křivka, Zbyněk (advisor)
The thesis discusses the tools commonly used by developers in exploratory environments of languages Smalltalk and Self. These languages free their users from using plain unstructured source code. Moreover, they contain tools with richer features. The thesis consists of an analysis, a design proposal, and a description of Object Viewer, a Self based tool designed for languages C and C++. The tool graphically displays fragments of a program (objects and pointers) and allows for manipulating them during debugging. The conclusion consists of a summary and a recommendation for additional new features.
|
|
|
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.
|
|
|
Patform-Neutral Representation of Simualtion Models Based on XML
Durman, David ; Smrčka, Aleš (referee) ; Janoušek, Vladimír (advisor)
The variety of platforms for describing models of discrete event systems brings about the problem of how these models should be represented in order to be easily shared across platforms (shared for the purposes of model validation, effective execution, model reusing, or model integration). This study develops and implements the language DEVSML for the representation of the DEVS models. For the description of these models components, I use state diagrams, which are represented by SCXML. Actions and guards of the state diagrams are described using the language Scheme. This study also presents a visual tool for creation of the state diagrams, which is incorporated in the SmallDEVS system. For the Adevs environment, a transformer of the models described by DEVSML is implemented.
|
|
|
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 ::
