|
|
Implementation of a Language Interpreter for Mathematical Calculations
Kobelka, Martin ; Šátek, Václav (referee) ; Veigend, Petr (advisor)
The main goal of this bachelor thesis is to design and implement the new programing language, which can be used for mathematical computations, implement the demonstration interpret of this language and design a graphical user interface for it. The user interface makes it easy to write the calculation, enables effective and clear visualization of calculation results and basic debugging of calculation. The properties of the resulting language are described in the thesis with the several experiments with the interpret, which implements a~subset of the language. Differences between designed solution and other platforms are also described in the thesis.
|
|
|
Conference System for Excel@FIT
Kobelka, Martin ; Szőke, Igor (referee) ; Veigend, Petr (advisor)
he main goal of this work is to analyze the scientific conference in the theoretical part, and to describe the issues of organizing a scientific conference. Further map the workflow of several conferences organized in information technology. Furthermore, the Excel @ FIT conference had to be analyzed in detail. In the practical part for this conference to design an information system, and implement this system as a web application. The resulting web application for conference administration is programmed using PHP and TypeScript programming languages. The client part is designed as a one-page web application communicating with the server part using the REST API. The application enables efficient and seamless conference management, article writing and review, and export creation for commissions. The result is a fully functional application tested on previous years' data, which can be easily extended with new functionality if required.
|
|
|
Application for Demonstration of Synchronization Mechanisms in Distributed Systems
Klimčíková, Lenka ; Veigend, Petr (referee) ; Zbořil, František (advisor)
The aim of this thesis is to design and create a web application for the demonstration of selected synchronization mechanisms in distributed systems. The algorithms communicate by means of message-passing to ensure mutual exclusion of the processes in an effort to access the critical section. Implemented are Lamport's algorithm, Maekawa's algorithm, Raymond's algorithm and Suzuki-Kasami broadcasting algorithm. The application is implemented in Java programming language with the use of Spring Boot framework for listening on different endpoints. Thymeleaf template engine is used to exchange the necessary data between backend and frontend of the application. HTML + JavaScript language are used for dynamic rendering of sent messages to the screen. The algorithms are implemented in separate libraries, which are then used by the web application. The application illustratively demonstrates function of each algorithm with loads of different examples for the best possible understanding. It's primarily intended for students of Faculty of Information Technology, Brno University of Technology
|
|
|
BUT IS Modules for Final Theses and State Final Exams
Bártl, Roman ; Veigend, Petr (referee) ; Dytrych, Jaroslav (advisor)
The aim of this work is to design and implement BUT IS modules for project practise, final theses and state final exams within the transition of the Faculty of Information Technology to this system. Part of the work is to design new access rights, including parameterization to modify the behavior of modules. Rights and parametrization will be set in the Apollo information system. The PHP Framework Zend will be used for implementation. Modules will be used by faculty staff to create topics, accept students, etc., as well as by students themselves to display a list of thesis which they can apply for.
|
|
|
The Tool for Assessing the Neatness of Source Code
Jahoda, David ; Smrčka, Aleš (referee) ; Veigend, Petr (advisor)
This work deals with creation of tool that would allow the checking and evaluation of neatness of source codes in the C language. The primary user group are students of Introduction to Programming Systems (IZP). The implementation considers the use of Clang-Tidy tool (extended with custom set of checks) and program that evaluates results of checks based on the input configuration. The created program is capable of scoring source code using 16 checks according to the configuration. These checks detect various beginners errors. Testing of the student projects revealed that the most common error is the use of so-called magic numbers. The program can be deployed in the Introduction to Programming Systems (IZP) course with appropriate student instruction.
|
|
| |
|
|
Multirobot Path Planning in a Dynamic System
Dokoupil, Ladislav ; Veigend, Petr (referee) ; Zbořil, František (advisor)
This thesis deals with the problem of dynamic environment search using multi-agent systems. The primary result of this work is participation in the MAPC2022 contest, but the application can be found in the exploration of unknown space, assuming finite visibility and unlimited distance of communication of the agents. After describing the current methods for solving the given problem and their limitations, an algorithm based on ant colony optimization is proposed. Graphs were then created with data from running program with various parameters. The result of work is agents synchronization improvements and overall optimization of the platform involved in the mentioned contest from previous year. As a result half more of explored space was measured compared to previous solution.
|
|
|
Finite Integrals Semi-Analytical Computations
Veigend, Petr ; Kunovský, Jiří (referee) ; Šátek, Václav (advisor)
This bachelor thesis explains the topic of semi-analytical computation of finite integrals. It contains the mathematical definition of finite integral, along with definitions and examples for several methods that can be used to solve finite integrals analytically. For the most part however, the thesis is trying to explain how to effectively and precisely approximate finite integrals on a computer. It deals with approximations by polynomials, but mostly with the correspondence between finite integrals and differential equations. This correspondence is used in two software projects that are the part of this thesis.
|
|
|
Numerical Integrators in Control Theory
Novák, Adam ; Veigend, Petr (referee) ; Šátek, Václav (advisor)
This bachelor thesis deal with the topic of partial differential equations of parallel solutions from focus on control of dynamic systems working with real-time built-in control model. First, it is focused on real-time systems. The next section deals with the analysis of differential equations and types of differential equations. Consequently, numerical integration and derivation are discussed. The thesis deals with individual numerical methods, which are used to calculate a differential equations. This thesis also deals with individual fluids that can influence the calculation of differencial equations in the Modern Taylor method. The result is a competitive application that allows a quick and accurate solution of real-time management model and the subsequent calculation of the differential equations generated using the Modern Taylor Series Method.
|
|
|
BUT IS Modules for Reporting and Accounting Pedagogical Activities
Sojka, Matěj ; Veigend, Petr (referee) ; Dytrych, Jaroslav (advisor)
The aim of this thesis is to design and to implement modules for the BUT IS for reporting and checking of pedagogical activities for the Faculty of Information Technology, which is moving to a university-wide information system. The tools for these tasks had already been developed within the faculty information system, but had some shortcomings. The new modules are designed in this thesis with a focus on automating the activities performed within them. The modules were designed for the application called Teacher, within the BUT IS Web, and were developed using a Zend Framework. The permissions to work with the modules and their parameterization is configurable through BUT IS Apollo.
|
guest ::
