|
Proposal of Software Improvement Support for a Trading Strategy in Commodity Markets
Levek, Petr ; Kotlík,, Josef (referee) ; Škapa, Stanislav (advisor)
The Bachelor work is focused on proposals to improve software support and the efficiency of investment in commodity exchanges worldwide. The aim is to propose software improvements for selected software used for trading. Improvements will be made on the basis of analysis and comparison, the currently commonly used traders software for trading on world stock exchanges, with a focus on finding and proposing modules that improve the strategies used during trading. Based on the introduction and the use of these improved modules, that are currently not available, will increase efficiency of work for traders and reduce potential risks of investments used.
|
|
Production of Pattern Equipment for Casting Pump
Suchomel, Martin ; Dvořák, Jaromír (referee) ; Kalivoda, Milan (advisor)
The bachelor thesis focuses on the design of foudry technology, design and production of pattern equipment for castiong of pump from cast iron ČSN 42 2420. The practical part elaborates design of technology and pattern equipment in CAD system SolidWorks. Simulation of casting was made in CAE system ProCAST. For design of milling technology was used CAM system HSMWorks. On the CNC machines was machined model, core box and underlay. Result of my thesis is pattern equipment for moulds and cores for the casting. In the end was made molds, cores and five samples of casting was casted.
|
| |
| |
|
Making sand moulds and cores for casting
Katrňák, Jiří ; Kaňa, Václav (referee) ; Pernica, Vítězslav (advisor)
Bachelor thesis describes various methods for the production of sand molds and cores in foundry and basic concepts associated with this issue. Due to the large number of production methods are described only basic and most widespread methods. The work includes the design and manufacture of cast-iron grate for the stove, made into a mixture of bentonite and self-hardening mixture AlpHasetTM.
|
| |
|
Verification of Programs with Pointers Based on Pattern Detection
Kubíček, Jan ; Erlebach, Pavel (referee) ; Vojnar, Tomáš (advisor)
This paper presents our results in study of verifiaction of infinite state space systems. We deal more concretely with abstract model checking. As main part of study we learned about pattern-based verification. This method is supposed to verify programs with dynamic memory structures like lists. Those structures are presented as directed graph. Pattern-based verifiaction abstracts any number of nodes by replacing them with summarized node. This way we achieve bounded presentation of unbounded memory structure. Afterwards, verification is very effective due to low number of possible memory configurations. In our own work we deal with making model of a program for a tool that implements pattern-based verification. This model isconstructed from a subset of the C language. The main contribution of work is making the verification of simple programs written in C language completely self-acting by automation of constructing input model. In this paper wepresent the grammar of created subset of the C language and implementation details of translation.
|
|
Production System Simulation and Analysis
Hromková, Ivana ; Křivka, Zbyněk (referee) ; Zendulka, Jaroslav (advisor)
The work deals with creating of simulation model of production system (foundry) and its analyze. Simulation of production systems is discussed in the introduction as well as basic principles and processes during simulation model making. Next chapter describes problems arise when such type of systems are solved. Next issue about virtual fabric is discussed. Information regarding virtual fabric has been obtained from Siemens conference. Follows views of simulation tools specialized on manufacturing systems. In last one chapter is taking up of implementation of simulation system. The whole process of creating of simulation model which consists of making conceptual model, abstract model, description of model making, analysis outcomes and experimentation with simulation model.
|
|
Application of the multi-axis milling of a shaped part
Klíma, Jiří ; Sedlák, Josef (referee) ; Píška, Miroslav (advisor)
This diploma thesis focuses on the design and production technology of making pattern and core box by milling. The theoretical part summarizes the issue of production models, CAD / CAM technology and milling technology. The practical part is elaborates engineering design of machined parts focused on the specific requirements for application in the foundry. For designing of milling technology was used CAM system. This milling technology was programmed and optimized. Parts are finally produced on 3-axis milling machine. In the end there is technical-economic evaluation of production and discussion of results.
|
|
Sheet metal drawing and its verification by computer simulation
Něnička, Filip ; Kopřiva, Miloslav (referee) ; Štroner, Marek (advisor)
This thesis engages on the differences between the numerical simulations of sheet metal drawing process performed using AutoForm software from AutoForm Engineering, Swiss company and actual results measured using non-contact measurement system Argus from German GOM company. This work used DC06 material (whose mechanical properties were determined at Technical University of Liberec) for comparison. The calculated results of simulations were compared to measured results of actual plate thickness.
|