|
|
Models and simulations of processes of emission-free wheel loader with electric drive
Cieslar, Filip ; Nevrlý, Josef (referee) ; Němec, Zdeněk (advisor)
This diploma thesis deals with the creation of models simulating the processes of an emission-free wheel loader, which was created by rebuilding the original version with a combustion engine. Part of the work is the methodical creation of models from the basic part of the machine to a simplified model of the overall machine, its functional verification and calibration based on available information’s and measurements. In this paper, selected parameters of the overall machine model are verified based on performed measurements, the suitability of selected components is verified, and the optimization and modification of the model is performed based on verification. The aim of the thesis is to present the simulation and verification procedure and its practical use in the development of an emission-free wheel loader with electric drive.
|
|
|
Autonomous differential equations
Bokišová, Lenka ; Vodstrčil, Petr (referee) ; Opluštil, Zdeněk (advisor)
This bachelor's thesis is concerned with solution of autonomous dierential equations. Attention is devoted to the basic mathematical models of population growth of single species. It is here mentioned Malthus model, model with intraspecic competition and analyzed the model of population growth under predation. The acquired knowledge is applied to specic mathematical models of sheries. Here are distinguish cases where shing is a constant and depends on the size of the population. Moreover, it is studied the model of shing of sardines with special growth function. In each model is dealt with the question of stability of stationary solutions.
|
|
|
Simulation of pharmacokinetic models
Hejč, Jakub ; Jiřík, Radovan (referee) ; Mézl, Martin (advisor)
The theoretical part of this project is occupied with analysis of pharmacokinetic actions and also basic attributes of mathematical models used in pharmacokinetics. This description is mainly focused on models used for perfusion imaging methods. The aim of this project is to create an algorithm that simulates chosen models based on assigned parameters and also an algorithm that serves to fit experimentally measured data with a chosen model with a calculation of basic pharmacokinetic parameters. The next step of this solution is graphic interface realization which enables a full use of created algorithm in more accessible surroundings for the user. The result of this work is a program that can be used to obtain real data parameters and as well as a visual sample of the influence of these parameters on a process in a chosen functions.
|
|
|
Optimization models in waste management
Šmídová, Zlata ; Smejkalová, Veronika (referee) ; Šomplák, Radovan (advisor)
The master’s thesis deals with the application of optimization models in the waste management. The analysis of the current state, the estimation of information about the flow of a specific waste, the estimation of the probable processing site and the method of processing is developed by a suitable approach based on sophisticated mathematical methods. The mathematical model, which was created by merging the two already existing models, brings results suitable also for forecasting the state of the waste management. The output is a comprehensive computational tool that was tested on data from the year 2015. The results for mixed municipal waste (catalogue number 20 03 01), bulky waste (catalogue number 20 03 07) and waste with catalogue number 19 08 05, i.e. residual sludge from sewage plants, were processed in MS Excel.
|
|
|
Alternative Transformations of Language Models
Havel, Martin ; Beníčková, Zuzana (referee) ; Meduna, Alexandr (advisor)
This thesis provides a summary of knowledge of regular expressions, finite automatas and transformation from regular expression to finite automata. The thesis proposes new transformation focused on minimal count of states and rules of finite automatas. Concept of alternative transformation is processed into algorithms and proved by mathematical proofs. The aim of thesis is to introduce approaches to transformation with new ones in the field of regular expressions and finite automatas. Great attention is dedicated to economic perspective of final finite automata. There were created algorithms, which are capable of transformation regular expression to finite automata. This work also provides a simple recipe for implementation of these structures. We introduced generic concept of transformation, that allows to create less complicated finite automatas. Using presented techniques it is possible to expand known transformation with new ones.
|
|
|
Alternative Transformations of Language Models
Havel, Martin ; Beníčková, Zuzana (referee) ; Meduna, Alexandr (advisor)
This thesis provides a summary of knowledge of regular expressions, finite automatas and transformation from regular expression to finite automata. The thesis proposes new transformation focused on minimal count of states and rules of finite automatas. Concept of alternative transformation is processed into algorithms and proved by mathematical proofs. The aim of thesis is to introduce approaches to transformation with new ones in the field of regular expressions and finite automatas. Great attention is dedicated to economic perspective of final finite automata. There were created algorithms, which are capable of transformation regular expression to finite automata. This work also provides a simple recipe for implementation of these structures. We introduced generic concept of transformation, that allows to create less complicated finite automatas. Using presented techniques it is possible to expand known transformation with new ones.
|
|
|
Alternative Transformations of Language Models
Havel, Martin ; Beníčková, Zuzana (referee) ; Meduna, Alexandr (advisor)
This thesis provides a summary of knowledge of regular expressions, finite automatas and transformation from regular expression to finite automata. The thesis proposes new transformation focused on minimal count of states and rules of finite automatas. Concept of alternative transformation is processed into algorithms and proved by mathematical proofs. The aim of thesis is to introduce approaches to transformation with new ones in the field of regular expressions and finite automatas. Great attention is dedicated to economic perspective of final finite automata. There were created algorithms, which are capable of transformation regular expression to finite automata. This work also provides a simple recipe for implementation of these structures. We introduced generic concept of transformation, that allows to create less complicated finite automatas. Using presented techniques it is possible to expand known transformation with new ones.
|
|
|
Alternative Transformations of Language Models
Havel, Martin ; Beníčková, Zuzana (referee) ; Meduna, Alexandr (advisor)
This thesis provides a summary of knowledge of regular expressions, finite automatas and transformation from regular expression to finite automata. The thesis proposes new transformation focused on minimal count of states and rules of finite automatas. Concept of alternative transformation is processed into algorithms and proved by mathematical proofs. The aim of thesis is to introduce approaches to transformation with new ones in the field of regular expressions and finite automatas. Great attention is dedicated to economic perspective of final finite automata. There were created algorithms, which are capable of transformation regular expression to finite automata. This work also provides a simple recipe for implementation of these structures. We introduced generic concept of transformation, that allows to create less complicated finite automatas. Using presented techniques it is possible to expand known transformation with new ones.
|
|
|
Models and simulations of processes of emission-free wheel loader with electric drive
Cieslar, Filip ; Nevrlý, Josef (referee) ; Němec, Zdeněk (advisor)
This diploma thesis deals with the creation of models simulating the processes of an emission-free wheel loader, which was created by rebuilding the original version with a combustion engine. Part of the work is the methodical creation of models from the basic part of the machine to a simplified model of the overall machine, its functional verification and calibration based on available information’s and measurements. In this paper, selected parameters of the overall machine model are verified based on performed measurements, the suitability of selected components is verified, and the optimization and modification of the model is performed based on verification. The aim of the thesis is to present the simulation and verification procedure and its practical use in the development of an emission-free wheel loader with electric drive.
|
|
|
Optimization models in waste management
Šmídová, Zlata ; Smejkalová, Veronika (referee) ; Šomplák, Radovan (advisor)
The master’s thesis deals with the application of optimization models in the waste management. The analysis of the current state, the estimation of information about the flow of a specific waste, the estimation of the probable processing site and the method of processing is developed by a suitable approach based on sophisticated mathematical methods. The mathematical model, which was created by merging the two already existing models, brings results suitable also for forecasting the state of the waste management. The output is a comprehensive computational tool that was tested on data from the year 2015. The results for mixed municipal waste (catalogue number 20 03 01), bulky waste (catalogue number 20 03 07) and waste with catalogue number 19 08 05, i.e. residual sludge from sewage plants, were processed in MS Excel.
|
guest ::
