The subject of this diploma thesis is the design of a single-purpose machine for automatic testing of pneumatic fittings. Pneumatic fittings used in brake systems are subject to high technical requirements and 100% tightness control in production. In this case, manual testing is not effective and the goal is to automate the process. The theoretical part presents pneumatic mechanisms, analysis of the tested pneumatic fitting with technical parameters, the possibility of tightness testing, use of sensors, and rotary tables. In the practical part, a systematic analysis of the problem was performed, according to which the overall design proceeded. Subsequently, the design of the complete machine containing individual nodes is processed, supplemented by the necessary calculations. The conclusion of the thesis contains an evaluation of the whole project.

The main goal of this master’s thesis is to create a design of robotic cell for operating of blasting machine. Operation of blasting machine consists of robotic manipulation of aluminium castings from input container to the blasting machine conveyor. After blasting operation aluminium castings are manipulated by robot from conveyor to output container. The part of the master's thesis is proposal of several variants of solution of design of robotic cell. Afterwards the best option is selected. The thesis also deals with design and selection of functional components in robotic cell. Functional verification of robotic cell is made in software Tecnomatix Process Simulate. Technical-economics evaluation is also part of this master’s thesis.

Řada programovacích jazyků byla schopna zvýšit svoji rychlost výměnou běhových systémů stavěných na míru za obecné platformy, které pro optimalizaci používají just-in-time překlad, jako jsou GraalVM nebo RPython. V této práci vyhodnocuji, zda je použití takovýchto platforem vhodné i pro jazyky se závislymi typy nebo důkazovými systémy. Tato práce představuje koncepty -kalkulu a teorie typů potřebné pro úvod do závislých typů s relevantními algoritmy, specifikuje malý závisle typovaný jazyk založený na $\lambda\Pi$ kalkulu, a prezentuje dva interpretery tohoto jazyka. Tyto interpretery jsou psané v jazyce Kotlin, první je jednoduchý, psaný ve funkcionálním stylu a druhý používá platformu GraalVM a Truffle. GraalVM je platforma založená na virtuálním stroji Javy (JVM), která přidává just-in-time překladač založený na částečném vyhodnocení (partial evaluation) a Truffle je knihovna pro tvorbu programovacích jazyků využívající tento překladač. Závěr práce vyhodnocuje běhové charakteristiky těchto interpreterů na různých zátěžových testech.Závěry práce jsou ale silně negativní. Vliv JIT překladu není znatelný ani přes snahu optimalizovat běžné algoritmy z teorie typů, které jsou zjevně nevhodné pro platformu JVM. Práce končí návrhy několika navazujících projektů, které by lépe využily možnosti Truffle a které by byly vhodnější pro implementaci závisle typovaných jazyků.

Táto práca sa zaoberá s modelovaním synchronného stroja s permanentnými magnetmi pomocou metody konečných prvkov. K modelovaniu sme si zvolili 3 fázový synchronný stroj s permanentnými magnetmi na povrchu rotora z firmy VUES. Najprv vypočítame parametre stroja a potom spravíme statický model pomocou programu FEMM a Matlab a budeme hladať možné riešenia na 2D dynamický model. Pomocou programu Ansys Workbench spravíme 3D model tohoto stroja budeme a porovnávať výsledky simulácie.

This thesis deals with simulation’s possibilities of the electromagnetic fields in electrical machines. A finite element method is the final element technique. The content of this thesis is a model and mesh creation and electromagnetic simulation of synchronous machine. The stator and rotor pack termination effect on the synchronous machine.is analyzed by finite element method in ANSYS program. The type of the stator termination pack is described by four segments. The magnetic field distribution is deformed due to the material properties of used segments. In the next part a methodics of mesh creation is shown. The mesh quality (in term of elements number and elements shape) is important due to the solution accuracy and speed.

The aim of the project was to get familiar with the environment of ANSYS CFX, create several models of fans and synchronous machine model in Autodesk inventor, create model of cooling medium flow through the machine with these fans and evaluation of results. Firstly the thesis describes the synchronous machine itself, losses of the machine, the flow of power of synchronous machine and methods of its cooling. Next the thesis describes each kind of heat transfer, laminar and turbulent flow. The thesis also refers of kind of the fans and the program used to calculate the flow Ansys CFX, including the method that Ansys used to calculate. The work describes the individual modification of fans and setting of calculation in ANSYS. Then displays the results of the analysis these fans for different numbers of fan blades and for modification of the fan. Then the thesis analyzes selected modifications due to changing speed. In the last chapter shows the analysis of flow in the machine with three different fans. In particular, there is shown the mass flow rate, pressure and its distribution on areas for evaluation.

The first objective of this paper is to describe the Android operating system. The chapter presents history and architecture regarding to all versions of the operating system. The significant part of chapter is focused on security. The second main topic of this paper is analysing the NFC (Near Field Communication) technology. This technology is based on an older contactless system RFID (Radio Frequency Communication), so RFID is described either. The NFC technology chapter contains the description of usability, history and the definitions of physical layer, link layer and NDEF (NFC Data Exchange) data format, used for data transmitting. The next chapter is focusing on the analysis of the NFC vulnerability. It contains a possible attacks methods and solutions how to prevent them. The output of this paper is the projection and creation of an application, which allow sending an arbitrary data between two devices using the NFC technology. Additional Bluetooth technology can be used for larger files. In this case, NFC helps to create Bluetooth communication channel which is utilized for data transfer.

The thesis deals with the problematics of short-circuit current of synchronous machine. The first section focuses on the theoretical process of short-circuit current of synchronous machine and describes how this transient process changes throughout it's duration and with what reactances and time constants it is defined. Subsequently, this section deals with the methodics of tests of the snychronous machine,which may be used to set it's reactances. The second part of the work focuses on measurement of the short-circuit current in a specific synchronous machine. Further, there are measurements of processes of the short-circuit in time and their analysis. The last section of the thesis deals with the simulation of short-circuit current process. The simulation is ran by the Matlab/Simulink software. Simulated processes of short-circuit are then compared with the results of measurements from the previous section of the thesis.

The object of diploma thesis is a construction technology project capacity extension of nursery school Zvidalek in Slavkov u Brna. Work includes facilities of building site, technological rule of waterproofing, schedule, item budget, plan of checks and tests, design of machinery, safety and health at work and economic, time and transport evaluation of two versions of ceiling construction.

This diploma thesis deals with the structural design of the chucking jaws for RUMUL Cracktronic 160 testing machine. This apparatus is used in the fatigue laboratory of Institute of Machine Design FME BUT. Simplification, speed improvement and better test sample griping are expected gains of the new clamping system. Solidworks system is used to create 3D model of the jaws. Stress analysis is created by Finite element method in ANSYS Workbench software.