This diploma thesis deals with an application of the finite element method on elastohydrodynamic (EHD) lubrication simulations. Commercially available software COMSOL is used for the computation, while two different modules for modeling EHD lubrication are described in a detail. Firstly, a new approach using the module Thin-Film Flow is developed, considering and describing some limitations of this approach. This is the very first published work dealing complex with EHD simulation in Thin-Film Flow module. In the second part of the thesis, there was created a model of line contact using the module for the introduction of partial differential equations (PDE). The model is partially verified with available works for different values of the input parameters. Subsequently, the velocity effect of the contact surfaces on the pressure and the lubricant thickness in contact is analyzed. Finally, the last part is examines the influence of the values of some parameters on the final value of the contact pressure and the lubricant thickness, as well as on numerical stability of the entire model.

Diploma thesis deals with the possibilities of using video records in analysis road accidents. There are described static and dynamic camera systems. There are also explained the principles of functioning digital cameras and other related terms and associated principles. In this thesis there are compared several types of dynamic cameras, desribed analysis an evaluation procedure. Part of this thesis is to describe the legal issues of recording.

The diploma thesis deals with design and development of the system which detects and numbers train carriages in compliance with International Union of Railways. Firstly, methods for correct detection of passing wheel including time records are analysed. Also, the summary of detection sensors used in railway industry is referred. I analyse meaning of each digit in numbering according to the UIC. The system solution is designed and the interaction and communication with other sub-systems is discussed. I put emphasis on the kind of solution that returns as accurate record as possible under any circumstances. The system operates in real time. Further, the results of measuring program are back-tested in order to verify low-deviation of measuring system component. The following section describes program prototype, which processes the recorded data. The algorithms which I used for the detection of wheel and train carriages are described. In the following chapter I discuss the usage of an external camera detecting the numbers in accordance to the UIC. In the last chapter, I describe the test environment in which the solution has been tested, and summarize the results of tests on a real life railway.

The aim of this work is to create framework for static analysis of Unix shell scripts.  Bourne-again shell is chosen as the primary subject of interest. The first part of the project discusses a principles of static analysis and current static analysis tools. The diploma thesis presents a framework based on modular system,   which enables plug-ins to perform different kinds of analysis on scripts. Framework includes plug-in management, means of interaction, handling outputs and input setting. This thesis also contains the description of a few plug-ins, designed to perform basic analysis of scripts.

This diploma thesis first introduces the services of servers Prednasky.com and SuperLectures.com. After analyzing the solution it describes the design and development of a new dedicated video player that combines SuperLectures.com functionality as a web-embeddable HTML5 application.

Languages such as C use pointers very heavily. Implementation of operations on dynamically linked structures is, however, quite difficult. This can cause the programmer to make more mistakes than usual. One method for dealing with this situation is to use the static analysis tools. This thesis elaborates on the extension to the Code Listener architecture which is an interface for building static analysis tools. Code Listener is able to construct a call-graph or a control flow graph for a given source code and send it to the analyzing tool. One ability of the architecture is that it can conduct the live variable analysis internally. It detects places in the control flow graph where some subset of variables may be killed. The problem was that every variable for which a pointer address was assigned could not been killed, before. This decision had been made because there was no assurance that the variable could never been used through the pointer. So the goal of this work was to design and incorporate a points-to analysis which is able to exclude some references from the set of considered pointers to improve the live variable analysis.

This master's thesis deals with development of a module for a data mining system, which is being developed on FIT. The first part describes the general knowledge discovery process and cluster analysis including cluster validation; it also describes Oracle Data Mining including algorithms, which it uses for clustering. At the end it deals with the system and the technologies it uses, such as NetBeans Platform and DMSL. The second part describes design of a clustering module and a module used to compare its results. It also deals with visualization of cluster analysis results and shows the achievements.

The thesis is focused on the use of R-material into cold asphalt mixtures. It deals with cold recycling and with input materials for this technology. It verifies properties of R-material and residues of bituminous binder. It also verifies properties of designed cold asphalt mixtures by the probative controls (indirect tensile strenght and water resistance). Furthermore is focused on the experimental measurement of selected mixtures to ensure more characteristics. The amount of homogenity of R-material, quantity and quality of residues bituminous binder is essential for positive results.

The theoretical part of this thesis describes the rheology of bituminous binders, aging of asphalt binders and laboratory methods simulating short and long term aging. The following describes an empirical tests (needle penetration, softening point ring ball method) and functional tests (complex shear modulus and phase angle, dynamic viscosity), which are performed in the dynamic shear rheometer. At the end of this section, laboratory aging of bituminous binders using method RTFOT and method RTFOT + PAV is described in more detail. In the practical part of this thesis, the results of all tests performed on the binders aged using RTFOT + PAV are introduced and compared with results of properties of non-aged binders and binders aged by 3xRTFOT.

The asphalt mixture BBTM 5 A with crumb rubber modified bitumen (CRmB) is designed and produced in the diploma thesis. The influence of CRmB content on low temperature properties, stiffness and fatigue of asphalt mixture BBTM 5 A is determined. The influence of asphalt mixture ageing simulation on change of low temperature properties is also evaluated.