National Repository of Grey Literature 151 records found  1 - 10  jump to record: Search took 0.00 seconds.
 Lattice constructions and Priestley duality Hartman, Juraj ; Růžička, Pavel (advisor) ; Tůma, Jiří (referee) In this thesis after recalling some basic definitions and theorems in category theory, lattice theory and topology we first introduce the so called Stone duality of the category of boolean lattices and the category of boolean topological spaces. Then we introduce its generalization, the so called Priestley duality of the category of bounded distributive lattices and the category of total order disconnected topological spaces. Then we introduce the M3[.] lattice construction and prove that for every bounded distributive lattice L there is an isomorphism from the lattice M3[L] to the lattice of all continuous monotone maps from the Priestley space of L to the lattice M3 with discrete topology. Finally we introduce the so called boolean power, which we generalize to the so called priestley power and we prove that for every natural number n ≥ 3 and every bounded distributive lattice L there is an isomorphism from the lattice Mn to the priestley power of the lattice Mn by the lattice L. 1 Detailed record Pole Shifting Theorem in Control Theory Gažo, Alexander ; Tůma, Jiří (advisor) ; Holub, Štěpán (referee) Title: Pole Shifting Theorem in Control Theory Author: Alexander Gažo Department: Department of Algebra Supervisor: doc. RNDr. Jiří Tůma, DrSc., Department of Algebra Abstract: The pole-shifting theorem is one of the basic results of the theory of linear dynamical systems with linear feedback. This thesis aims to compile all knowledge needed to fully understand the theorem in one place, in a way compre- hensive to undergraduate students. To do this, I first define first order dynamical linear systems with constant coefficients with control and define the stability of such systems. Examining this property, I demonstrate that the characteristic polynomial of the coefficient matrix representing the system is a valuable indica- tor of the system's behaviour. Then I show that the definition of controllability motivated by discrete-time systems also holds for continuous-time systems. Using these notions, the pole-shifting theorem is then proved. Keywords: discrete linear dynamical system with constant coefficients, contin- uous linear dynamical system with constant coefficients, eigenvalue assignment, control, controllability, linear feedback, stability, basic control theory 1 Detailed record Design of assembly device for automotive industry Poláček, Tomáš ; Tůma, Zdeněk (referee) ; Tůma, Jiří (advisor) The aim of this master thesis is the construction of a single-purpose semi-automatic machine to assembly a component of a car. The component of assemble is a device to refueling, which consists of more thermoplastic parts. It is used a knowledge of 3D modeling software, solution of construction assemblies and necessary calculations to design the machine. The result of this thesis is detailed 3D model and drawing documentation of designed assembly machine. Detailed record The issue of Ecodesign in the machine tool Burtsev, Ilya ; Tůma, Jiří (referee) ; Holub, Michal (advisor) This bachaelors thesis discusses the issues of Ecodesign in the machine tools. The first part of the thesis includes analysis of current legislation requirements in Ecodesign. The second part of the thesis includes researches in Ecodesign and energy efficent components. In conclusion of the thesis described personal recommendation in sphere of Ecodesign. Detailed record Design of equipment for drill bits grinding Rusňák, Filip ; Tůma, Jiří (referee) ; Kočiš, Petr (advisor) The thesis deals with research in the field of drill sharpeners and with the design of a device. The first part is introduction to drill sharpening. Subsequently, an overview and assessment of grinders currently available on the market is presented. The second part focuses on three design options: one of them is selected and further elaborated in detail including its 3D modelling and drawings. The functionality of the design is checked using basic calculations. Detailed record Design of a cross table for a machine tool Bouchal, Tomáš ; Tůma, Jiří (referee) ; Blecha, Petr (advisor) This choice topic: Design of milling machine cross table belongs at branch machine tool. Cross table is mechanical table, which moved in two axis. Cross table is used exclusively of milling machines. Next use of drilling machines, CNC machines, grinding machines. Bachelor works is divided into a search part in which contains summary cross table on the market. Practical part bachelor works in which contains computational part and designer part. Computational part cross table our help to acquire basic pamaterers for designer parts. Designers part cross table designers to help 3D modelling program Solidworks. Detailed record Zvýšení efektivity kontroly ramene tankovací nádrže Sobotková, Kateřina ; Tůma, Jiří (referee) ; Blecha, Petr (advisor) The diploma thesis consists of a new design of a controlling procedure for a plastic component of a tank. Its theoretical part deals with the potential sources of errors and uncertainties arising from the measuring itself. It also deals with the characteristics of available CMM devices and includes an analysis of the methods assessing the acceptability of the measurement plan. The practical part analyses systematically the current state and proposes a new solution using a program created using a coordinate machine. A comparison of both variants is presented as an output of the thesis. Detailed record Design of lathe chuck with machine-adjustable excentricity Petrych, Jan ; Holub, Michal (referee) ; Tůma, Jiří (advisor) This master´s thesis focuses on constructional design of chuck with settable eccentricity in two axes. The first part consists of brief analysis of the clamping of CNC machines and summary of available chucks with settable eccentricity. Next part deals with study of possible construction designs. Two construction variants will be based on those designs in the next part. Following part then describes dimensionality of the main parts of the chuck. Based on the calculations, the 3D model of chosen variant is created with the description of its functionality. Finally the conditions of operation for the chuck are described. Detailed record Energetic model of linear axis with ball screw and servodrive Sládek, Vojtěch ; Tůma, Jiří (referee) ; Huzlík, Rostislav (advisor) The aim of the thesis was to study the Energy Models of Linear Axes with Ball Screws and Servo Drives, to analyze the individual parts of the axis with respect to losses, the methodology of calculating the losses on the electrical part and the mechanical part of the drive and creating a complex algorithm that calculates the energy consumed for the specified motion. The thesis is divided into a theoretical and practical part, where the theoretical part is divided into the treatise on the electrical part of the axis and its losses and the part that deals with the mechanical part and its losses. The calculation is divided into the basic verification algorithm and the calculation on the given example. Each calculation is calculated for both linear acceleration and S-curve acceleration. For both types of acceleration, the result of energy and its course over time is also the waveforms of position, velocity, acceleration, angular acceleration, moments, powers, power, speed and currents over time. Detailed record Project automation assembly of small components Musil, Tomáš ; Tůma, Jiří (referee) ; Knoflíček, Radek (advisor) The thesis deals with the possibilities of pre-assembly automation overflow valves at Bosch Diesel s.r.o. in Jihlava. At the beginning, you will find an introduction to the company's production portfolio and an explanation of where and for what purpose the overflow valve is used. This is followed by an analysis of the type spectrum of overflow valves and a description of the differences of individual components. The thesis also deals with time analysis of current working time using MTM analysis and description of existing assembly process. After this research, processes suitable for automation and automation variants are selected. Based on the multi-criteria method, the final version is selected and it is further elaborated including risk analysis and economic evaluation. Detailed record

National Repository of Grey Literature : 151 records found   1 - 10  jump to record: