|
|
Browser Game with Artificial Intelligence
Moravec, Michal ; Volf, Tomáš (referee) ; Bartík, Vladimír (advisor)
Thesis describes design and implementation of a web browser game, which can be played by multiple players via the internet. The main goal is to manage the economy, although players can cooperate (trading) or play against each other (battles). NoSQL database is used for persistent storage of progress, which is also described in the thesis. Apart from human players there are also agents/bots, which play the game autonomously via state machines generated by genetic algorithms. Paper describes design and functionality of either the genetic algorithms, but also the state machines.
|
|
|
Congruences for Tree Automata
Žufan, Petr ; Janků, Petr (referee) ; Holík, Lukáš (advisor)
This thesis discusses testing of tree automata (TA) equivalence. We propose a new algorithm based on Bonchi Pouse's algorithm of word automata. The new algortihm combines bisimulation and determinization on the fly. Using an optimalization based on congruence closure, we try to avoid extreme expansion of state space. From this point of view, the new algorithm is better than others.
|
|
|
Noise meter and sound detector
Jedlička, Petr ; Novák, Marek (referee) ; Povalač, Aleš (advisor)
This work deals with design and construction of a noise meter, which measures sound pressure level. The device can be set either for weighting filter A or for weighting filter C considering the characteristics of human hearing, the device also allows two modes, fast and slow, depending on the rate of changes of sound pressure level. It tis possible to send measured data to a PC through a measuring application. The noise meter can be powered either by three AA batteries or by a PC through USB interface. The noise meter can be controlled by voice commands.
|
|
|
Code Generation from UML State Machine Description
Píš, Ľuboš ; Richta, Karel (advisor) ; Nečaský, Martin (referee)
This paper discusses the implementation of a suitable algorithm for code generation from UML state machine diagrams. The work includes analysis of state machines described in UML, followed by a description of the input fi le format of the proposed design of the generator and the generator itself. The generator was fully implemented in the work along with other functional requirements. At the end of this thesis is a description of the resulting implementation.
|
|
|
SIMULATION AND IMPLEMENTATION ANALYSIS OF THE AUTOSYNCHRONOUS SUBSYSTEMS IN VLSI DEVICE
Kováč, Michal ; Kostka,, František (referee) ; Jalovecký, Rudolf (referee) ; Kolouch, Jaromír (advisor)
This thesis focuses on problem-solution analysis of synchronous digital circuits; the results of which are autosynchronous circuit design methodology, timing parameter definitions based on simulation models and constraint settings. The RTL transformation of the synchronous state machine in VHDL language to an autosynchronous state machine was created with minimal modifications for the simple design of these circuits. Following this, a comparison of the transformed state machines with their synchronous originals in parameters such as chip area, current consumption and timing specification domain is introduced. The summation of this thesis displays a theoretical comparison of several types of synchronization (synchronous, autosynchronous, fundamental asynchronous, EAIC, Bundled-data, Dual-rail) which are presented on the single state machine example with the same technology parameters.
|
|
| |
|
| |
|
|
Stepper motor control using CPLD
Daněk, Jan ; Kolouch, Jaromír (referee) ; Kováč, Michal (advisor)
The aim of my bachelor thesis was the control of CPLD stepper motor. To create a radio controlled antenna rotator. The controlling is done by a computer using RF circuits. The thesis includes a construction and principles of stepper motor. Basic structures of CPLD circuits were applying to create the control circuit. The possibilities of sensing the position and the data storage circuit were discussed. The control program in VHDL was implemented in development boards. The development board is connected to radio receiver circuit and the stepper motor driver. A transmitting board was connected to a personal computer or other device using RS232 interface. Printed circuit boards for transmitter and receiver circuits were created. The PC program was designed for data transmission. The program sends data and communicates via RS232 interface.
|
|
|
Autonomous generator of test scripts
Horký, Stanislav ; Šimek, Václav (referee) ; Kolouch, Jaromír (advisor)
The subject of this master thesis are state machines and their testing. To this purpose, an application is described, which is able to test these state machines autonomously. Application have two parts, first generator and editor of data is built and second part is testing procedure, which is able to test state machines in question and to give corresponding test report.
|
|
|
Control of sliding window in passenger car
Keprt, Jaroslav ; Vejlupek, Josef (referee) ; Lamberský, Vojtěch (advisor)
This bachelor thesis deals with the installation of power electronics on the PCBdesign and control algorithm for the DC-motor function, which is part of the window motion control system for a passenger car. The paper describes the principles of function state machines that are easily programmed using Stateflow and implementation of control algorithm in the PIC microcontroller. The control program is designed in Simulink and Stateflow its superstructure using Kerhuel Toolbox.
|
guest ::
