|
|
Statistical evaluation of dimensional setting the car for 3D measurement
Čada, Michal ; Jankových, Róbert (referee) ; Šrámek, Jan (advisor)
This bachelor´s thesis proposes a dimensional calibration improvement concept for a newly produced car. Before the dimensional calibration itself, a car must be fit in place – aligned into the main graphical coordinate system. Prevalent method of geometric levelling (3-2-1) upon reference points of the chassis does not meet requirements of the contemporary cars, whose support frames blocks accessibility of these points. Proposed alignment method uses advanced laser measuring systems and software capable of 3D scan processing. Statistical evaluation of measured control variables on the car body this bachelor´s thesis proposes minimal allowance limit, for which this method is possible to viable.
|
|
|
Automated Hydroponic System
Borsuk, Adam ; Kolařík, Martin (referee) ; Číka, Petr (advisor)
The aim of the bachelor thesis is to study the design and creation of an automatic hydroponic system for plant cultivation and to solve the creation of components of the system according to the basic conditions for plant growth and subsequently to test and verify their properties, to evaluate their functionality. The second goal is to create a communication interface for sending and storing data from the system while creating a transparent display of stored and up-to-date data. The third objective is to verify the functionality and stability of the selected microcontroller as a control unit.
|
|
|
Process a review of the specified electrical equipment
Lanc, Rudolf ; Mach, Martin (referee) ; Veselka, František (advisor)
The revision of the electrical equipment means verifying the state of the equipment concerning its safety. The aim of the Bachelor Thesis is the revision of the selected electrical equipment. The particular equipment will undergo a revision, measurements, supervisions, and tests, which are subject of the norms. A revision report will be issued as a result of the established facts, in which possible failures will be described. Further on eventual risks will be explained and techniques how to eliminate them proposed.
|
|
| |
|
|
Verification of digital circuit Microcore GNSS Baseband
Peroutka, Ondřej ; Fujcik, Lukáš (referee) ; Dvořák, Vojtěch (advisor)
The topic of the master´s thesis is to verify Acquisition Engine and Tracking Engine in the Microcore GNSS Baseband digital circuit from Honeywell. Theoretical part contains a brief introduction into the satellite position determination, basic principles of the verified blocks is given and UVM methodology is introduced. Practical part contains requirements, test cases and test procedures. The verification environment is also described. In the last part of the thesis is the verification process and it´s results.
|
|
|
Validace CFD výpočtů s experimentálními daty, metody a jejich přesnost
Uruba, Václav
Validation and verification are the processes which could the virtual reality of CFD simulations bring closer to physical reality. The key role in those processes play the method of quantification of similitude of the different situations in the flow-field, thus the metric, which should be properly chosen. In the verification process the proper strategy of the mathematical model modification should be adopted, while in the validation process the proper experimental data should be utilized. The experimental data is used also for the boundary condition definition. The present paper deals with those aspects.
|
|
|
Soothsharp: A C#-to-Viper translator
Hudeček, Petr ; Parízek, Pavel (advisor) ; Ježek, Pavel (referee)
Viper is a verification infrastructure developed at ETH Zurich. Using this infrastructure, programs written in the Viper language may be analyzed for correctness with respect to assertions and contracts. In this thesis, we develop a contracts library and a translator program that compiles C# code into the Viper language and thus allows it to be verified. A user may annotate their C# program with these contracts and then use the translator to determine its functional correctness. The translator supports most C# features, including types and arrays. It also integrates with Visual Studio, showing translation and verification errors to the user on-the-fly.
|
|
|
Method for Energy Efficience Simulation of Machine Tools in Design Stage
Tůma, Jiří ; Demeč, Peter (referee) ; Suchánek, Rostislav (referee) ; Blecha, Petr (advisor)
Ph.D. thesis is focused on the design of the method for simulation of energy demands of machine tool in operation at the stage of its development. Proposed method is developer on the basis of literature search in science and in industry. The method itself is composed of five related steps, that must be realised in the proper order in order to create a relevant energy profile of a machine tool. The output from the method are simulated data providing a course of comsumed energy and required power which are time dependent. Output data are obtained on the basis of the drive system simulation of machine tool through G-code, that is interpreted for simulation by the compiler into the matrix. It contains data necessary for controlling of machine tool, such as the required end points of the tool and required feed rates, to which is assigned a time value. G-code is partially time parametrized. It is then followed by full time parametrization through a of mathematical model of drive mechanisms and due the synergy of software for drive mechanisms control (Matlab Simulink) and software for physical simulation (MSC Adams) is processed into output data. As an input parameter figures also coefficient used as multiplier of the normal force of driving mechanisms, which is a function of feed rate. This loss function is obtained experimantally. In the context of Ph.D. thesis were conducted two experiments, used to verify the developed method. For each experiment is proceeded according to estabilished method and it is included a comparsion of simulation and measured data for various operating modes. The proposed method, described in the Ph.D. thesis, allows designers to summarize the energy demand of the proposed machine before its production. When correctly interpreted, the results of the method can serve as a basis for improving the energy profile and thereby increasing the energy efficiency of the machine tool.
|
|
|
Method for Energy Efficience Simulation of Machine Tools in Design Stage
Tůma, Jiří ; Blecha, Petr (advisor)
Ph.D. thesis is focused on the design of the method for simulation of energy demands of machine tool in operation at the stage of its development. Proposed method is developer on the basis of literature search in science and in industry. The method itself is composed of five related steps, that must be realised in the proper order in order to create a relevant energy profile of a machine tool. The output from the method are simulated data providing a course of comsumed energy and required power which are time dependent. Output data are obtained on the basis of the drive system simulation of machine tool through G-code, that is interpreted for simulation by the compiler into the matrix. It contains data necessary for controlling of machine tool, such as the required end points of the tool and required feed rates, to which is assigned a time value. G-code is partially time parametrized. It is then followed by full time parametrization through a of mathematical model of drive mechanisms and due the synergy of software for drive mechanisms control (Matlab Simulink) and software for physical simulation (MSC Adams) is processed into output data. As an input parameter figures also coefficient used as multiplier of the normal force of driving mechanisms, which is a function of feed rate. This loss function is obtained experimantally. In the context of Ph.D. thesis were conducted two experiments, used to verify the developed method. For each experiment is proceeded according to estabilished method and it is included a comparsion of simulation and measured data for various operating modes. The proposed method, described in the Ph.D. thesis, allows designers to summarize the energy demand of the proposed machine before its production. When correctly interpreted, the results of the method can serve as a basis for improving the energy profile and thereby increasing the energy efficiency of the machine tool.
|
|
|
Compiler of C Language Fragment to ARTMC Tool
Marušák, Matej ; Hruška, Martin (referee) ; Rogalewicz, Adam (advisor)
Abstract With growing complexity of software programs the need for automated analysis and verifi- cation grows as well. Reasearch group VeriFIT based on Faculty of Information Technology of Brno University of Technology is involved in research of this area. One of the developed tools is the ARTMC tool. This bachelor’s thesis designs and implements compiler of C lan- guage fragment into input format of the ARTMC tool. Implemented compiler makes work with ARTMC tool much easier, since the input format is not suitable for manual creation.
|
guest ::
