|
|
Modelovací úlohy - Role strategií při procesu transformace mentální představy do formální reprezentace
GEYER, Jakub
Modeling tasks, consisting in the transformation of a mental image into the formal representation, very often occur in the study of computer science, mathematics, but also in other technical and non-technical fields. From the didactic point of view, it is interesting in modeling tasks (among others), which methods/procedures solvers (students) use to manage more demanding complex tasks. It is often possible to encounter students, who have significant problems solving complex tasks (or they are not able to solve them satisfactorily at all), even though they did not have any problems with similar simpler tasks before during the course. A possible explanation can be seen in the suboptimal use of modeling strategies (e.g. divide&conquer, iterative approach, etc.) or their total absence. This research is focused on the analysis of the role of strategies in modeling tasks, the possibilities of their support/development and teaching methods. The study is conducted, which aimed to analyze the possible impact of strategies in the procedures of university students in solving modeling tasks in the areas of 3D modeling and databases. The goal of the research was also to analyze the possibility of generalization of modeling strategies and their transferability between domains with different type of model.
|
|
|
Design and Implementation of Project for Optimizing Processes within IT Project Portfolio
Hrušková, Eliška ; Doskočil, Radek (referee) ; Širáňová, Lenka (advisor)
This diploma thesis aims on the usage of project methodologies in implementing solutions within IT. The theoretical part closely describes concepts of project management, process modelling, audit and other identified topics. Second part contains a description of Garrett Motion company, in which this project is executed, their aim, locations and a analysis of current state. The design part introduces a project aiming on process optimization within IT Project Portfolio with BIC Tool and implementation of activities related to support these processes.
|
|
|
Analysis of the Impact of Problem Solving Strategies using UPPAAL STRATEGO
Karásek, Filip ; Žádník, Martin (referee) ; Strnadel, Josef (advisor)
This thesis analyzes and addresses the impact of strategies created using Uppaal Stratego. The implementation of four problems, counter, maze, bitmap, and intersection is demonstrated in this thesis. Experiments are conducted on these models, and strategies are formulated. For the first three problems, strategies with a positive impact on the given system were identified. However, for the last intersection model, it was not possible to find a strategy that demonstrably improved the system. This inability to demonstrate improvement is due to limitations in Uppaal Stratego and the complexity of the model.
|
|
|
Design of a rotary pendulum with a flexible joint
Palát, Ondřej ; Formánek, Martin (referee) ; Dobossy, Barnabás (advisor)
This Bachelor thesis is focused on design of laboratory equipment with flexible joint. It describes construction, control electronics design, microcontroller programming and mathematical modelling describing flexible joint dynamics. Model parameters were estimated based on measurements. First part also describes market survey and brief description of algorithms used for numeric parameter estimation.
|
|
|
Statistical Model Checking of Approximate Computing Systems
Blažek, Michal ; Sekanina, Lukáš (referee) ; Strnadel, Josef (advisor)
This bachelor's thesis focuses on the simulation of models of approximate multipliers. The main aim of the thesis is comparing selected properties of multipliers in an application-specific scope of input values. The thesis includes the conversion of multiplier models from the EvoApproxLib library into models used in the UPPAAL environment. These models are then simulated while monitoring their selected evaluation metrics such as error probability, mean absolute error, etc. From the obtained results, one can conclude that using a suitable approximate multiplier in a specific context can have a positive effect on the error in calculations. The results could therefore have further applications in the field of approximate computing systems.
|
|
|
Design and realization of 110 kV overhead and cable line laboratory models
Lelek, Jan ; Jurák, Viktor (referee) ; Ptáček, Michal (advisor)
The bachelor thesis deals with modelling of overhead and cable of 110 kV lines in PSCAD simulation environment and realization of equivalent laboratory models of these lines. The objectives of the thesis also include an approximation of the technical design of 110 kV lines, definition of the necessary parametrs for the creation of the models themselves, including descriptions of the possibilities of mathematical modelling of the lines. Following the fulfilment of the mentioned objectivites, the theoretical part of the thesis presents factual data of 110 kV lines located within the distribution networks of the Czech Republic, including the basic theory related to line parameters. Subsequently, the thesis deals with the introduction of possible approaches of mathematical modelling of lines, targeted description of possible modelling approaches in the PSCAD simulation environment and selection of necessary parameters for the creation of these models. The practical part of the thesis presents the mathematical models of overhead and cable lines, presenting the results of simulations for different operating states of the lines. The practical part also presents in detail the design, realization and laboratory measurement of physical laboratory models of overhead and cable of 110 kV lines. The thesis then includes a comparison between the results obtained for the line models that were created in the PSCAD simulation environment and the laboratory models.
|
|
|
Analysis of Characteristics of Train Traffic Controlled by ERTMS/ETCS
Ondroušek, Adam ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
The aim of this thesis is to analyze train operations controlled by ERTMS/ETCS, primarily within the Czech Republic. A model was created using the Uppaal software, which simulates train operations. Subsequently, a scenario was designed that significantly increased the efficiency of the modeled track. This scenario was verified using Uppaal SMC's simulation and probabilistic queries. Favourable results were achieved by doubling the intervals of passenger transport during peak hours and adding a freight train unit to the operation during this time with minimal time delay while maintaining operational safety. The model is designed to simulate any train unit and track section and could thus serve as a tool for planning and analyzing train transport after the implementation of ERTMS/ETCS.
|
|
|
Design and optimization of the hydraulic suspension model
Zrnčík, Matej ; Králík, Jan (referee) ; Radil, Filip (advisor)
Tato práce se zaměřuje na návrh a optimalizaci modelu odděleného hydraulického odpružení s cílem dosáhnout požadovaného dynamického chování automobilu. Model zavěšení je vytvořen v prostředí Matlab, Simulink. Tato práce popisuje proces návrhu modelu zavěšení, zjištění vstupů do jeho simulace, určení výstupu simulace a proces jeho optimalizace. Nakonec vyvození závěrů z výsledků optimalizace.
|
|
|
Investigation of transport processes in humic systems using computer modelling
Zeman, Matěj ; Sedláček, Petr (referee) ; Smilek, Jiří (advisor)
This bachelor’s thesis deals with issue of humic acid diffusion. The main goal of this work is to obtain a simple mathematical model that simulates the dialysis of a dye and humic acid and thus to investigate the bonding properties of humic acids as a sorption agent. This model was simplified enough to be used as a basis for the next modelling. The COMSOL Multiphysics program was used to create the model, especially the „Transport od Diluted Species“ and „Chemistry“ modules, which enable simulation of the mentioned processes. The results showed that it is possible to monitor dialysis over time using this model and at the same time the sorption properties of these substances can be observed.
|
|
|
Household consumption diagram model
Bočan, Tomáš ; Brettschneider,, Zbyněk (referee) ; Radil, Lukáš (advisor)
The thesis deals with the creation of a model of the household consumption diagram. Firstly, the thesis outlines an analysis of current approaches to creating household consumption diagrams with their evaluation. The thesis then describes the input data, the procedure for creating the model itself, and in the last section, a simulation of household consumption is performed and an evaluation of the accuracy of its prediction, based on reference data.
|
guest ::
