|
|
Automatic lifting of expressions for typed functional languages
Smrž, Roman ; Pudlák, Petr (advisor) ; Hric, Jan (referee)
In typed functional programming there is often the need for combining pure and monadic (or other effectful) computations, but the required lifting must be done manually by the programmer and may result in cluttered code. This thesis explores ways to allow the compiler to perform this task automat- ically. Several possible approaches are described, where the final one reduces the task to solving a system of linear diophantine equations. Apart from monads, the described method is also considered for the case of applicative functors as another abstraction to represent effectful operations. 1
|
|
|
Image Compression Using the Wavelet Transform
Urbánek, Pavel ; Polok, Lukáš (referee) ; Bařina, David (advisor)
This thesis is focused on subject of image compression using wavelet transform. The first part of this document provides reader with information about image compression, presents well known contemporary algorithms and looks into details of wavelet compression and following encoding schemes. Both JPEG and JPEG 2000 standards are introduced. Second part of this document analyzes and describes implementation of image compression tool including inovations and optimalizations. The third part is dedicated to comparison and evaluation of achievements.
|
|
|
Handling truck for manipulation of cone with product, load capacity: 1500 kg
Gavenda, Jiří ; Nosterský, František (referee) ; Pokorný, Přemysl (advisor)
The thesis discusses a constructional project of a simple handling truck for an easy taking out of a cone with the product of load capacity of 1500 kg from the line winder and removing it from the line. The aim is to propose a simple construction of the truck including a suggestion of a possible solution of the lift. It deals with its design including processing of important strength construction calculations and lifting parts. There is also a significant part of the work which includes the drawing documentation.
|
|
|
The changeable strut devices for cranes in hall
Dvořáček, Jan ; Pokorný, Jan (referee) ; Kašpárek, Jaroslav (advisor)
This thesis was created for Bosch Rexroth in order to simplify the lifting work in the manufacturing hall. There was made the construction project of changeable strut devices for lifting loads. The project is comprised of two parts. The first deals with the analytical calculation and the second part consists of a numerical calculation using the finite element method.
|
|
|
Brightness control of light sources
Dostál, Lukáš ; Vorel, Pavel (referee) ; Huták, Petr (advisor)
Thesis is focus on brightness control of lighting sources. The first objective of the thesis is to determine basic concepts and explain interrealationships among particular magnitudes of lifting technology. Further is necessary describe functionality, particular light sources and thein possibility of use in practise. There is also outline issue of darkfall of particular types of sources and their evolution. The other part of thesis compare energy output of lighting sources and describe their possible future development. Further this thesis deals with options of regulating of brightness for LED moduls. There is also proposal of acceptable amperage regulator LED moduls including its software - microcontrol ATMEL AVG. Microcontrol ATMEL AVG Tiny 13 is programme in C language within computer environment AVR Studio 4 and will be record through the use of AVR Dragon.
|
guest ::
