|
|
Static Analysis of C Programs in Sparse and Similar Tools
Nagy, Martin ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Software verification is steadily becoming important for software developers and companies to ensure software quality. However, the problem of writing a good static code analysis tool often stems from the lack of a good compiler front-end. To solve this problem, we try to analyse and document an existing tool called Sparse to empower software verification researchers with a ready, stable solution for their projects. Additionally, we also talk about Mygcc and it's new approach to integrate with existing compilers.
|
|
|
Simulation and optimization of a manufacturing process in the application of injection molds in forming departments
Nagy, Martin ; Zouhar, Jan (referee) ; Píška, Miroslav (advisor)
This bachelor thesis is focused on the simulation and optimization of the manufacturing process in the application of injection molds in forming departments. The theoretical part describes the process, model, approaches to the process of modeling and software support of the simulation. The author introduced the basic elements of software FlexSim, whose knowledge was crucial to create a model in the practical part. In this part the author describes the formation and function of the model and then he experimented with this model to find optimal solutions for the specified problems. Experiments concluded that the weak point of the process is low utilization of some machines and employees. For these weak points of the process, the author suggested specific solutions.
|
|
|
The Investment Evaluation of the Machinery Company
Nagy, Martin ; Zinecker, Marek (referee) ; Luňáček, Jiří (advisor)
This thesis is focused on the investment evaluation of a machinery company. The theoretical part describes the technology of drilling, investment project, investment decision making, financing of the investment, its efficiency evaluation by dynamic methods. The practical part introduces the investment project and summarizes theoretical solutions. Moreover, the author carried out the company’s balance sheet and the prognosis of its sales by performing multiple factors linear regression analysis using software Gretl, determined the type of the investment financing and selected the investment project based on the point criteria and the theoretical solutions. Furthermore, the efficiency of the chosen project was evaluated by the dynamic methods described in the theoretical part. Finally, the author created a Net Present Value sensitivity analysis and compared results of the static and dynamic methods. These results become fundamentals for recommendation of the investment project realization.
|
|
|
The Investment Evaluation of the Machinery Company
Nagy, Martin ; Zinecker, Marek (referee) ; Luňáček, Jiří (advisor)
This thesis is focused on the investment evaluation of a machinery company. The theoretical part describes the technology of drilling, investment project, investment decision making, financing of the investment, its efficiency evaluation by dynamic methods. The practical part introduces the investment project and summarizes theoretical solutions. Moreover, the author carried out the company’s balance sheet and the prognosis of its sales by performing multiple factors linear regression analysis using software Gretl, determined the type of the investment financing and selected the investment project based on the point criteria and the theoretical solutions. Furthermore, the efficiency of the chosen project was evaluated by the dynamic methods described in the theoretical part. Finally, the author created a Net Present Value sensitivity analysis and compared results of the static and dynamic methods. These results become fundamentals for recommendation of the investment project realization.
|
|
|
Simulation and optimization of a manufacturing process in the application of injection molds in forming departments
Nagy, Martin ; Zouhar, Jan (referee) ; Píška, Miroslav (advisor)
This bachelor thesis is focused on the simulation and optimization of the manufacturing process in the application of injection molds in forming departments. The theoretical part describes the process, model, approaches to the process of modeling and software support of the simulation. The author introduced the basic elements of software FlexSim, whose knowledge was crucial to create a model in the practical part. In this part the author describes the formation and function of the model and then he experimented with this model to find optimal solutions for the specified problems. Experiments concluded that the weak point of the process is low utilization of some machines and employees. For these weak points of the process, the author suggested specific solutions.
|
|
|
Static Analysis of C Programs in Sparse and Similar Tools
Nagy, Martin ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Software verification is steadily becoming important for software developers and companies to ensure software quality. However, the problem of writing a good static code analysis tool often stems from the lack of a good compiler front-end. To solve this problem, we try to analyse and document an existing tool called Sparse to empower software verification researchers with a ready, stable solution for their projects. Additionally, we also talk about Mygcc and it's new approach to integrate with existing compilers.
|
guest ::
RSS feed.