|
|
Home security system
Čada, Jan ; Burda, Karel (referee) ; Lattenberg, Ivo (advisor)
This master thesis deals with the design and implementation of a security system for a family house. It consists of a central control panel, a control keyboard and detectors connected using cables. The first part of the thesis discusses the electronic security and fire alarm systems, describing the individual elements of these systems and their different types. Magnetic contacts, fire detectors, sirens and a mains power supply with UPS function are selected from the current offer based on a comparison of parameters. In the next section, a block diagram of the whole system is designed. Raspberry Pi Pico development board with an RP2040 microcontroller is selected along with a GSM module SIM800L for SMS alarm notification and an Ethernet module with a Wiznet W5500 chip for the possibility of implementing a web interface. Schematics of the individual modules of the system are designed - for the central control panel, input module with PCF8574 circuit and two PCBs of the control keyboard module, which is equipped with a button keyboard with backlight, character LCD display type 1602 and proximity sensor VL53L0X for automatic lighting when person comes closer than a defined distance. PCBs are designed according to the schematics. Their manufacturing is then ordered, all components are mounted and the PCBs are placed in a 3D printed enclosure in the case of the control keyboard, and on the mounting plate of the metal cabinet in the case of the central control panel, according to the designed mounting plan. For the selected piezo sirens, covers are designed and 3D printed in the design of the selected Paradox NV5 motion sensors. In addition to the central control panel and the control keyboard, door and window contacts, fire detectors and sirens are installed in the house. The next part is dealing with the development of the control software for the central control panel and control keyboard in MicroPython language and the design of a custom communication protocol on the RS-485 bus for communication between the central control panel and control keyboard. Both control programs are based on the state machine principle, and their state diagrams are presented in the thesis. Part of the text is also focused on the development of the central control panel web interface and integration of the desinged system into the Home Assistant open-source automation system. The last part describes the activation and testing of the system in real conditions of a family house.
|
|
|
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.
|
|
|
Comparison of sensor and sensorless control of 3-phase BLDC motor
Drápal, Michal ; Šťastný, Jiří (referee) ; Roupec, Jan (advisor)
The diploma thesis is focused on comparison of sensored and sensorless control of 3phase BLDC motor. This diploma thesis was compiled with engineers from Honeywell, spol. s r. o. and NXP Semiconductors comapny. Theoretical part of the diploma thesis is describing princip of function BLDC motor and different methods of control. The testing of NXP sensored and sensorless application is done in the practical part. Regarding to the fact, that applications were provided by NXP, furthemore the diploma thesis additionally contains a state machine using sensorless application from NXP. Finally, the author is evaluating a cooperation with NXP company and he thinks about next possible cooperation.
|
|
|
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.
|
|
|
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.
|
|
|
Design and implementation of the control for the robotic cell
Mbontar, Patrik ; Pochylý, Aleš (referee) ; Kubela, Tomáš (advisor)
This master´s thesis thesis deals with the design of software for the control of a robotic cell, which consists of two KUKA robots and a belt conveyor. The robots will perform robotic operations similar to those in real industrial practice. At the beginning of the work will be the state of current knowledge. A key part will be the design of software for robotic cell control in the TwinCAT environment from Beckhoff. The robots and the conveyor will be controlled by a superior PLC, which will be commanded from the designed software using the HMI. The goal is to successfully implement the proposed software for robotic cell control and monitoring using a unique visualization, which will be designed specifically for the robotic cell and its associated manipulation operations.
|
|
|
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.
|
|
|
Functional HIL testing of an electronic control unit
Štramberský, Jan ; Appel, Martin (referee) ; Brablc, Martin (advisor)
This thesis deals with the functional HIL testing of a universal electronic control unit. The control unit is graphically programmed in an application in which it is possible to create state machines with pre-programmed functions. Within the scope of this work, a HIL test of the unit has been created. Signals are exchanged between the unit and PC using an input/output card. The PC runs the HIL test script in Matlab. This test verifies the firmware of the unit by checking the expected behaviour of the functions and the conditions of the transitions.
|
|
| |
|
|
Uncertainty of vehicle dimension measurement using 2D lidar
Želinský, David ; Richter, Miloslav (referee) ; Šedivá, Soňa (advisor)
This diploma thesis deals with the explanation of terms such as measurement error and uncertainty of measurement. It also introduces the term LiDAR, describes its construction, how it works and what it can be used for. The information from the theoretical part of this thesis is then used to analyze the uncertainties of measuring the dimensions of vehicles using 2D LiDAR. The individual measurement uncertainties are explained and calculated on an example. Furthermore, a LabVIEW program is created, which calculates the dimensions of the vehicle and the uncertainties of these dimensions from measured data. Finally, the results of the program are compared with real dimensions. The thesis is elaborated for the company Cross Zlín.
|
guest ::
