|
|
OLAP Analysis of Big Data
Králik, Dalibor ; Smejkal, Milan (referee) ; Hruška, Tomáš (advisor)
The goal of this bachelor’s thesis is the creation of three OLAP data cubes, which will solve the problem of foreign trips of students and employees of BUT. The primary purpose of data cubes is to quickly provide correct data for BUT analysts. SAP Business Warehouse software is used for their modeling and implementation, and SAP Analysis for Microsoft Excel software is used for testing. After successful design, implementation and testing, BUT has these three OLAP data cubes on the production and development servers of SAP Business Warehouse, to which BUT analysts have access. Thanks to this work and data cubes focused on foreign trips, analysts and BUT employees in managerial roles have the opportunity to quickly access data and analyzes that serve to support correct decisions related to the functioning of BUT.
|
|
|
Enriching the Process of Verification of RISC-V Processor with Formal Techniques
Horký, Jakub ; Šnobl, Pavel (referee) ; Hruška, Tomáš (advisor)
This thesis provides a brief overview of the RISC-V architecture, design of processors, and how easily a bug can arise during the development. Then this thesis describes the way functional verification tries to discover those bugs and what are its pros and cons. More specifically, the thesis focuses on what the verification environment in UVM look like. Then the thesis describes, how formal verification fits in to the functional verification and shows the tools that are available for formal verification. The final part of this thesis, describes the process of how I wrote the assertions (written in SVA) for a RISC-V processor, using a property checking tool. Using these assertions for verifying a processor in the late stage of development, when functional verification already had the possibility to discover most of the bugs, I still was able to discover few of those bugs.
|
|
|
Design and Implementation of an OLAP Data Cube
Hurdálek, Pavel ; Smejkal, Milan (referee) ; Hruška, Tomáš (advisor)
This diploma thesis deals with the creation of a data OLAP cube for the purpose of analyzing big data. The process is shown when creating a cube containing data from the university's admissions process (specifically Brno University of Technology). The data is processed by the commercial tool Business Warehouse from the German company SAP, the cube visualization itself takes place in the program Excel using the Analysis extension. The result of this work is an OLAP cube, which can be used to create analyses of the university's admission procedure and obtain data to fill in the relevant section of the annual activity report.
|
|
|
Mobile Application for BUT Students
Klinovský, Ondrej ; Pastushenko, Olena (referee) ; Hruška, Tomáš (advisor)
With the growth of their popularity, demand for mobile application continues to grow in various areas, including education institutions. The aim of this thesis is to design and implement a mobile application providing students of BUT easy access to their information. Based on analysis of available solutions for developing mobile applications, React Native was chosen an an implementaion technology. React Native offers development for both Anroid and iOS with a single codebase.
|
|
|
Modelling and Analysis of Logistics Processes by Applying Process and Data Mining Techniques
Rudnitckaia, Julia ; Wang, Hao (referee) ; Zendulka, Jaroslav (referee) ; Hruška, Tomáš (advisor)
In this thesis, we propose an approach for modelling hidden and unknown processes and subprocesses in the example of a seaport logistics area. Having the underlying process model makes it possible to exploit more advanced algorithms since deviations and main paths are becoming visible and better controlled. The obtained model is the foundation for the core research of this work and will be enriched with key performing indicators and their forecast by applying advanced process mining, statistics, and machine learning techniques. The main difference of the approach is that we take as a target variable not any specific value, but the object - a process variant or a process type with a set of parameters. Bottleneck analysis, from one side, and predictive analysis, on the other hand, are enforced with context-aware information, especially with these additional objective process attributes. Furthermore, the support of the descriptive ("As is") current process model with certain notation and the integration with relevant bottleneck and predictive methods compromise the advantages of the approach. The work primarily focuses on the design of algorithms and methods for supporting logistics data analysis. However, it can be adjusted and applied to other areas accordingly, which makes the approach flexible and versatile. The result of the work is the framework for unstructured process modelling and the key process parameters predictive method. This analysis of processes with their attributes might be used for decision-making systems and process maps in future.
|
|
|
Web Services to Integrate BPMS in BPMN 2.0 Specification
Mihola, David ; Burget, Radek (referee) ; Hruška, Tomáš (advisor)
The goal of this thesis is to chose and implement appropriate BPMN blocks, which enable integration with surrounding web based systems, exchange of messages between parallel BPMN processes and their synchronization. The goal was reached with an implementation of an information system, which is based on the MVC design pattern. The system primarily enables uploading of BPMN models, their configuration and creation of BPMN processes described by those models, which can be then managed and solved within the system. Synchronization of BPMN processes owned by different organizations, which are using instances of this system, and message exchange between them is specified by users in BPMN models with blocks Message Event and Signal Event. The system then executes modeled synchronization and message exchange. Integration of this system with other systems is ensured via Application Programming Interface calls, which can be configured in the GUI. Configured APIs can be integrated into BPMN models by using the Service Task block. That enables automation of API calls with data obtained during the interpretation of BPMN processes. Great emphasis was also placed on security and correct code structuring during the implementation.
|
|
|
Business Plan for virtual Services in the Field of PR
Hruška, Tomáš ; Fuciman, Lukáš (referee) ; Putnová, Anna (advisor)
The diploma thesis is focused on the presentation of a business plan for the creation of a range of services, based on IT capabilities, connected to marketing activities. The diploma thesis is divided into three main parts, which gradually follow each other. The first part is the theoretical basis of the work, the second is the analysis of the business sector and the third part is the actual design of the business plan based on the information obtained.
|
|
|
Admissions in Information System
Witassek, Pavel ; Musil, Rudolf (referee) ; Hruška, Tomáš (advisor)
The aim of this work is to create a solution for the electronization of the study department within the BUT IS, which will be universal for all faculties. The work deals with the electronization of administrative procedures within students. The final implementation consists of several parts, the first part is the settings module of administrative procedures and the second module is management for concrete procedures.
|
|
|
Mobile Application for Employees with Biometrics Support
Tesařová, Alena ; List, Jaroslav (referee) ; Hruška, Tomáš (advisor)
This thesis deals with the design and implementation of a mobile application for BUT employees. The final application is written for Android and iOS in React Native. The goal is to facilitate the daily activities of an employee, which leads to more efficient work and reduced administration. The theoretical part deals with the selection of the most important modules in the information system based on statistical data and questionnaires. The implementation part contains the design of the user interface of selected modules and a description of the application implementation. The final application was tested by a group of employees and received a very good verbal evaluation.
|
|
|
Automated Testing in FPGA
Valecký, David ; Přikryl, Zdeněk (referee) ; Hruška, Tomáš (advisor)
The aim of this work is to analyze the testing of processors developed by Codasip and find out which of the tests should be performed using FPGA devices. Furthermore, the goal is to design and implement a system for remote operation of FPGA devices connected to a central server in order to perform tests. The system is programmed in Python using the client-server architecture and Flask framework. The interaction of the server with the FPGA devices is ensured with the help of OpenOCD. The implemented system allows a~user to find out the status of connected FPGA circuits, configure these devices and then use them to run tests. The work uses FPGAs Artix-7 series made by Xilinx, placed on Digilent Nexys A7 development boards. The resulting testing of programmed chips in an FPGA representing a microprocessor is accelerated when using an FPGA device. Its results are faster on hardware representation than on its simulation in some cases.
|
guest ::
