|
Prototype Part Design Using the Reverse Engineering Technology and Rapid Prototyping
Luňák, Václav ; Sámelová, Vendula (referee) ; Slaný, Martin (advisor)
This Bachelor thesis is dealing with the manufacturing process of a motorcycle turn signal part using the technologies of reverse engineering and rapid prototyping. The thesis contains a brief description of the available technological methods. The following chapters deal with designing the component and its preparation for casting. The component is manufactured using the FDM method. The quality check is performed by the ATOS 3D scanner, which compares the newly manufactured component to the original part. The next step is the preparation of a silicone mold, which is used to cast more parts. Finally, the cost-effectiveness of this method is compared to the method using metal molds.
|
| |
|
Extending Data Lineage Analysis for Python with Runtime Types
Luňák, Václav ; Parízek, Pavel (advisor) ; Petříček, Tomáš (referee)
There is an increasing demand in the domain of data science for auto- mated tools analyzing the data lineage of software systems. In situations where general-purpose programming languages are used, Python is among the most popular choices. It is also one of the most challenging to analyze. Manta Flow is an automated data lineage analysis platform that contains a scanner for Python. In this work, we developed an extension of this scanner. Its purpose is to statically determine the types of expressions in an analyzed application. We achieved this by expanding the concept of data flows to carry type information and we appropriately refactored the internals of the scanner. This information was then used to implement an improved method for finding the targets of function invocations during the analysis of data flows.
|
|
STP solver for OpenSMT
Luňák, Václav ; Kofroň, Jan (advisor) ; Kučera, Petr (referee)
The Simple Temporal Problem is one of the fundamental scheduling problems. In the context of formal verification, it is closely related to SMT, where we can encounter it while solving the theory of difference logic. In this work we create a solver for difference logic as a part of the OpenSMT solver. We look at existing approaches and evaluate their applicability to OpenSMT. Then we analyze an algorithm based on exhaustive theory propagation and use it to create an efficient implementation of the solver. This implementation is tested and compared to other current SMT solvers, proving its comparable efficiency. 1
|
| |
|
Prototype Part Design Using the Reverse Engineering Technology and Rapid Prototyping
Luňák, Václav ; Sámelová, Vendula (referee) ; Slaný, Martin (advisor)
This Bachelor thesis is dealing with the manufacturing process of a motorcycle turn signal part using the technologies of reverse engineering and rapid prototyping. The thesis contains a brief description of the available technological methods. The following chapters deal with designing the component and its preparation for casting. The component is manufactured using the FDM method. The quality check is performed by the ATOS 3D scanner, which compares the newly manufactured component to the original part. The next step is the preparation of a silicone mold, which is used to cast more parts. Finally, the cost-effectiveness of this method is compared to the method using metal molds.
|