|
|
Production of threads with taps
Chludil, Petr ; Sliwková, Petra (referee) ; Píška, Miroslav (advisor)
This thesis deals with the study of production process of threads by screw-taps from the very description of the individual threads through all the available methods of the threads production, thread control function, up to the actual taps, materials, coatings and their distribution. In the experimental part the thesis deals with the question whether it is possible to find an alternative to the standard production of threads using cutting by taps. This alternative seems to be the use of forming taps. The experiment took place under constant cutting conditions and consisted of two parts, one of them was the production of threads into the pre-drilled through holes and the second one was the production of threads into the pre-drilled impassable holes. The result of the experiment was finding the course of the cutting moment depending on the time and the amount of wear of the examined kinds of taps when all the measured values had to be statistically processed and conclusions were then evaluated.
|
|
|
Fly over Rugged Planet
Pospíšil, Petr ; Chudý, Peter (referee) ; Jošth, Radovan (advisor)
This thesis deals with a 3D visualization of the Earth´s surface in real time. A significant part is dedicated to the buffering of the large amount of data (a height map and textures of Earth) and its effective reading from hard disk directly to the memory of a graphic card. Individual levels of detail of the Earth´s surface are made by GeoMipMapping. The algorithms "horizon" and "frustum culling" are used, which cut off the hidden parts of the planet. The application of the height data is based on a custom algorithm calculating the data directly in the graphic card, in assistance with its vertex and geometry shaders.
|
|
|
System for acquisition of data from car communication system
Pecha, Michal ; Kučera, Pavel (referee) ; Fiedler, Petr (advisor)
The thesis contains complete design of complex system for acquisition of data from bus of a vehicle. It resolves problems of connection of a new node to CAN bus of a vehicle, communication protocol NMEA 0183 of GPS receivers, logging of caught CAN frames into database system MySQL, and proposes algorithms of application for operation of the system. It includes also process of complete installation based on established concept and test results of the system in real situations.
|
|
|
Hardware Acceleration of Longest Prefix Match
Kekely, Lukáš ; Tobola, Jiří (referee) ; Kořenek, Jan (advisor)
This bachelor's thesis describes design and implementation of hardware architecture for longest prefix match in order to achieve high throughput, which is required in today's high-speed computer networks. It is focused on IPv4 as-well-as IPv6 networks. Designed hardware architecture has throughput 75 Gbps on the shortest IPv4 and IPv6 packets. Performance of designed architecture is also compared with performance of chosen algorithms, which are used in nowadays commercial devices. These algorithms are: Tree Bitmap, Shape-Shifting Trie and Binary Search on Prefixes. All algorithms were implemented in C language using multi-threaded processing.
|
|
|
On the modern technologies of thread production
Mišák, Ondřej ; Dvořáková, Jana (referee) ; Píška, Miroslav (advisor)
This bachelor's thesis deals with the study of threads, specifically the introduction to the basic geometry of threads, their production and modern trends by which threads can be made. The experimental part is devoted to the production of threads using cutting and forming taps, comparison of force and moment loads and damage caused during the production of threads when changing the cutting speed. In the end, the achieved results of experimental tests and their evaluation are summarized.
|
|
|
Autonomous generator of test scripts
Horký, Stanislav ; Šimek, Václav (referee) ; Kolouch, Jaromír (advisor)
The subject of this master thesis are state machines and their testing. To this purpose, an application is described, which is able to test these state machines autonomously. Application have two parts, first generator and editor of data is built and second part is testing procedure, which is able to test state machines in question and to give corresponding test report.
|
|
|
Parallelization of Ultrasound Simulations Using 2D Decomposition
Nikl, Vojtěch ; Dvořák, Václav (referee) ; Jaroš, Jiří (advisor)
This thesis is a part of the k-Wave project, which is a toolbox for the simulation and reconstruction of acoustic wave felds and one of its main contributions is the planning of focused ultrasound surgeries (HIFU). One simulation can take tens of hours and about 60% of the simulation time is taken by the calculation of the 3D Fast Fourier transforms. Up until now the 3D FFT has been calculated purely by the FFTW library and its 1D decomposition, whose major limitation is the maximum number of employable cores. Therefore we introduce a new approach, called the 2D hybrid decomposition of the 3D FFT (HybridFFT), where we combine both MPI processes and OpenMP threads to reach as best performance as possible. On a low number of cores, on the order of a few hundreds, we are about as fast or slightly faster than FFTW and pure MPI 2D decomposition libraries (PFFT and P3DFFT). One of the best results was achieved on a 512^3FFT using 512 cores, where our hybrid version run 31ms, FFTW run 39ms and PFFT run 44ms. The most significant performance advantage should be seen when employing around 8-16 thousand cores, however we haven't had an access to a machine with such resources. Almost a linear scalability has been proven for up to 2048 employed cores.
|
|
|
Diagonal rolling technology
Popp, Dominik ; Benč, Marek (referee) ; Podaný, Kamil (advisor)
The aim of the thesis is research in the field of diagonal rolling technology. First, the heating of the material, which is an integral part of most forming processes, is described. In particular, the prevention of undesirable phenomena that can occur during heating is mentioned. Also mentioned are the heating furnaces, most commonly found in rolling mills. Then the methods used in the initial stage of seamless tube production are presented. In addition to a description of the individual principles, the deformation behaviour of the material is outlined. Subsequently, a description of the finishing operations required to roll the tubes to final dimensions is discussed. In the last section are introduce special forming benches, which can be used to form threads, ball blanks or even ball pins, used in the suspension of passenger car wheels.
|
|
| |
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (advisor) ; Poch, Tomáš (referee)
Threaded Behavioral Protocols (TBP) is a specification language for modelling the behavior of software components. This thesis aims at an analysis of TBP specifications within environments which involve an unbounded replication of threads. Such a TBP specification - together with a model of the possible environments - induces infinite state space which contains a vast amount of symmetries caused by thread replication. A model checking technique addressing such a state space and reducing the symmetries by using symbolic counter abstraction is proposed. In order to utilize the symbolic counter abstraction, the properties of the TBP specifications (called provisions) are converted into thread state reachability properties. The proposed analysis is safe in the sense that it discovers all errors in the model. On the other hand, it may yield spurious errors, i.e., errors that do not correspond to any real error in the model. The spurious errors are well identified and further possibilities to reduce them are outlined. Beyond the scope of the specific specifications, this work may also present a small step towards supporting dynamic thread creation in TBP.
|
guest ::
