|
|
WebArchitekt System
Smola, Ladislav ; Burget, Radek (referee) ; Hruška, Tomáš (advisor)
This thesis concerns universal content management system, which works on AJAX basis. System is modular and based on plugins, which forms its core. In first part, I am concern with CMS and programming languages, which are used for programming in most cases. There are also mentioned libraries and add-ons, which simplify programming itself. Problem solution is described theoretically at the beginning, then I describe the object model itself. The methods of certain classes are described to express the functionality of system core and then a describe plugins which can be add to core. Future development is mentioned at the end. It will be controlled mostly by the projects, on which will be this system apply next.
|
|
|
Processor Model Creation Using ADL Language
Ostatník, Kristián ; Zachariášová, Marcela (referee) ; Hruška, Tomáš (advisor)
The goal of this thesis is to create an instruction-accurate model of ARC processor using the CodAL ADL language. The first part is dedicated to classification of processors and ADL languages. The second part describes the implementation process and the generation of C/C++ compiler for debugging and verification of the created model. At the end the created model is compared to an existing model ARC 700 on a set of benchmark tests.
|
|
| |
|
|
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.
|
guest ::
