|
|
Discrete Simulation of Programmable Systems
Mynář, Pavel ; Zuzaňák, Jiří (referee) ; Mlích, Jozef (advisor)
The subject of this thesis is the design and implementation of software library for discrete simulation of programmable units and their mutual communication and implementation of several illustrative examples based on it. The library is designed to be platform independent and as robust and simple to use as possible.
|
|
|
Intelligent Agents in Wireless Networks
Kružliak, Miroslav ; Samek, Jan (referee) ; Zbořil, František (advisor)
This Master thesis deals with synchronization of sensor nodes in wireless sensor net. It is used event ordering by the implementation of logical clocks . Lamport's algorithm is used here for synchronization, which is trying to order events within the given system. The thesis also evaluates how appropriate this principle for synchronization is. The implementation has been carried out in agent-oriented language AgentSpeak on the Jason platform. Samson environment has been used and modified for observation of this synchronization's behaviour and testing purposes.
|
|
|
Computer-Generated Music
Mederly, Peter ; Grézl, František (referee) ; Fapšo, Michal (advisor)
The main goal of this thesis is the analysis, design and implementation of a new system, which would be able to generate music in real-time, based on terrain data or any raster image. The thesis deals with history of development of various attempts to formalize musical composition and presents contemporary approaches to its algorithmic creation. Technique of constraint programming is explored as well, because it is suitable also for automatic composition, and it is a part of implemented solution. Application components (interface, generator, music core and sound unit) and their interactions are examined in more detail. All approaches used for generating music are described in depth and, moreover, they are supported by many pictures and practical examples. Musical outputs are tested and results of these tests outline strengths, weaknesses and also inner possibilities of the designed system. Conclusion summarises author's contribution to the field of computer generated music and reveals possible prospects for application usage and its extensions.
|
|
| |
|
|
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.
|
|
|
Platform for Mobile Agents in Wireless Sensor Networks
Horáček, Jan ; Kočí, Radek (referee) ; Zbořil, František (advisor)
This work deals with implementation of an agent platform, which is able to run agent code in wireless sensor networks. Implementation has been done for MICAz platform, which uses TinyOS operating system for developing applications. This work contains list of chosen TinyOS parts and illustrates, how such a platform can be used for our purposes. We will describe main features of ALLL language and we will also demonstrate some examples of agents.
|
|
|
Robotic Soccer
Suchý, Václav ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.
|
|
|
Simulation and Design of Intelligent Agents
Šperka, Svatopluk ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
Conventional method of development which repeats phases of design, implementation and testing is not adequate for systems like intelligent agents for which complex behavior is required but specification is unclear at the beginning of development process. Incremental design of agent's model during simulation seems more suitable for it enables direct feedback in behavioral changes of a system. This interactivity speeds up development process and helps to uncover parts of a space of all models to designer - thanks to new knowledge acquired during simulation. This thesis aims to provide comparison of suitability of two agent architectures and respective platforms in context of SmallDEVS modeling and simulation framework for this methodology of development. First approach is reactive and decentralized subsumption architecture based on DEVS formalism and the second one is PNagent, framework realizing deliberative BDI architecture using Object Oriented Petri Nets.
|
|
| |
|
|
Optimalisation of Agent Languages Compiler
Kalmár, Róbert ; Kočí, Radek (referee) ; Zbořil, František (advisor)
The aim of this work is an optimization of AHLL language compiler. Several intermediate representations of compiled code along with code optimization techniques are introduced. The main part of the work is focused on implementing these optimization techniques and generation of the target code in ALLL language. At the end of the work, the results achieved by new version of AHLL compiler are presented. In addition, there are also presented some ideas for the future work on AHLL and the compiler.
|
guest ::
