|
|
Generic Reverse Compilation to Recognize Specific Behavior
Ďurfina, Lukáš ; Šaloun, Petr (referee) ; Zahradnický,, Tomáš (referee) ; Kolář, Dušan (advisor)
Práce je zaměřena na rozpoznávání specifického chování pomocí generického zpětného překladu. Generický zpětný překlad je proces, který transformuje spustitelné soubory z různých architektur a formátů objektových souborů na stejný jazyk na vysoké úrovni. Tento proces se vztahuje k nástroji Lissom Decompiler. Pro účely rozpoznání chování práce zavádí Language for Decompilation -- LfD. LfD představuje jednoduchý imperativní jazyk, který je vhodný pro srovnávaní. Konkrétní chování je dáno známým spustitelným souborem (např. malware) a rozpoznání se provádí jako najítí poměru podobnosti s jiným neznámým spustitelným souborem. Tento poměr podobnosti je vypočítán nástrojem LfDComparator, který zpracovává dva vstupy v LfD a rozhoduje o jejich podobnosti.
|
|
|
Airconditioning in a sport center
Šafář, Robert ; Tesař, Zdeněk (referee) ; Rubina, Aleš (advisor)
Bachelor work is focused on designing an air conditioning system for the gym so as to meet functional, hygienic and operational requirements for the microclimate of sports building. The main tasks of the device are covering heat losses of area of the gym in the winter and transportation of fresh air into the room. The system is also designed to cover the summer heat gains. The first theoretical part deals methods of heat recovery for air conditioning needs, and the second part contains two designs of ventilation of changing rooms and air conditioning system for gyms. The result of this work is detailed design work for two air conditioning equipments for specified object.
|
|
|
Design of air conditioning in the family house
Němcová, Aneta ; Jelínek, Ondřej (referee) ; Blasinski, Petr (advisor)
The subject of this dissertation is the design of an air conditioning system for a family house. The design contains the actual state, in which a central unit with variable air volume regulators and air supply adjustment is designed. The first version of optimisation offers a simple central ventilation, and in the second version a decentral ventilation for the object. These options were compared based on their purchasing price and additionally from the interior comfort feel point of view. In the next part a long-term measurement of an energy recovery ventilation was performer, and data was processed to evaluate and compare the efficiency with efficiency promised by producer.
|
|
|
Hydrogen quantification by electron spectroscopy
Endstrasser, Zdeněk ; Polčák, Josef (referee) ; Čechal, Jan (advisor)
The absence of hydrogen in the photoelectron spectrum remains one of the greatest limitations of X-ray photoelectron spectroscopy. The main aim of this work is therefore to determine the concentration of hydrogen atoms in the near surface region of a sample. The REELS electron spectroscopic method based on quasi-elastic electron scattering is used for this purpose. The choice of this method was given mainly by the fact that the photoelectron spectrometers has an electron source in the basic equipment, so there is no requirement to purchase additional equipment. In our case, measurements were realized using the AXIS Supra photoelectron spectrometer in CEITEC laboratories. We were primarily focused on the study of polymer samples in this work. The gus cluster ion source was used for sputter cleaning of the sample surface. Then the XPS and REELS measurements were performed on such cleaned samples. The obtained data were subsequently evaluated, and the results discussed. The most important output of this work was to develop the methodology of detection and quantification of hydrogen atoms. However, the theoretical description of the methods used, and the appreciation of critical aspects associated with the use of the REELS method are also embraced. In particular, the effect of sample charging and electron dose on measurement results is discussed.
|
|
|
Graphical User Interface of Retargetable Decompiler
Jánský, Jiří ; Zemek, Petr (referee) ; Matula, Peter (advisor)
P { margin-bottom: 0.21cm; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }P.western { font-family: "Times New Roman",serif; font-size: 11pt; }P.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }P.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } The thesis deals with creating a graphic interface for disassembler of project Lissom, which is controlled from command line. The dissasembler produces a translated code and graphs of functions calling and flow control. The mentioned outputs of the disassembler shows, functionally connects and adds to each representations of outputs useful features.
|
|
|
C Language Source Files Similarity Detection
Rek, Petr ; Kučera, Jiří (referee) ; Matula, Peter (advisor)
This thesis deals with design, implementation and testing of the csim tool, which compares two C source files by their similarity. The primary purpose of this tool is testing of a decompiler developed by AVG Technologies s.r.o. Testing is based on comparing abstract syntax trees of the original and decompiled source files. The reader is introduced to the basics of reverse engineering, especially reverse engineering of a binary file into a high-level programming language source file. The process of compiling followed by decompiling of a file is described along with its effect on reverse engineering. The LLVM project and the Clang compiler is introduced to the reader, since its libraries are the foundation upon which the csim tool is built.
|
|
|
Application and evaluation of energy enthalpy heat exchanger
Jetelina, Michal ; Horák, Petr (referee) ; Uher, Pavel (advisor)
This master thesis is solving measuring the efficiency heat recovery and application unit, which includes heat recovery into selected building. In the first part of the thesis are analy-zed the different types of heat recovery system, their behavior and suitability of use in HVAC systems. The second part includes the actual experiment, when were measured parameters of air, which passed through the unit and then were analyzed the results. In the last part, third, was measured unit applied to the selected house and was compared to operation of the unit in case of use by the producer given unit parameters and measured parameters.
|
|
|
Condensing steam turbine
Krška, Jan ; Kracík, Petr (referee) ; Fiedler, Jan (advisor)
This master’s thesis deals with the design of a condensing steam turbine for certain parameters. In the initial part of the thesis, a research on steam turbines and types of blading is carried out. The computational part of the thesis is divided into several subchapters which have been made into larger chapters. One of the chapters deals with the thermodynamic calculation of the flow section of a steam turbine for a clamp power of 5 MW, a speed of 11,000 min-1 and a pressure of 0,1 bar (a). The calculation has been optimized for several basic operating parameters that the steam boiler is capable of achieving with respect to the highest possible thermodynamic efficiency of the plant. The work includes the evaluation of the results in the form of a graph. After the calculations for all steam parameters have been performed, the point was selected which with it’s values meets the requirements for the highest thermodynamic efficiency. The optimum operating parameters of this turbine are such that the turbine at a nominal temperature of 490 °C and an operating pressure of 65 bar (a) achieves a clamp power of 5190,220 kW. The thermodynamic efficiency of the steam turbine is 85,07 % and the reheat factor is 1,0634. Subsequently, basic dimensioning calculations were performed. The calculations are followed by a chapter entitled discussion where some important steps are evaluated. The master’s thesis also contains an appendix. It is a conceptual longitudinal section of a steam turbine.
|
|
|
Object Recognition by Neural Networks
Marák, Jaroslav ; Rozman, Jaroslav (referee) ; Zbořil, František (advisor)
This thesis is focused on neural networks and their classification capability in object recognition tasks. For recognition is there used neural networks with feedforward architecture which is learned by Back Propagation algorithm. We discusses about problems which appear while a choosing topology of network or using various lerning-significant parametters while a learning process. Achieved results are presented in experiments with estimation.
|
|
|
Critical infrastructure protection using distributed temperature sensing
Holcman, Jiří ; Dejdar, Petr (referee) ; Münster, Petr (advisor)
This master thesis aims to show the possibility of practical use of an optical fiber as a distributed temperature sensor. The main goal is the possibility of protection of waste pipes (critical infrastructure) against leaks, fluid leaks, line disturbances, fires, freezing, etc. The first part describes the basic elements of the system for distributed temperature measurement using optical fiber such as optical fiber sensor, block diagram involvement and theoretical basis on which the measurement is based. The physical principle of temperature sensing using an optical fiber using Raman backscattering of light is explained, as well as Rayleigh and Brillouin scatterings, which, however, are not used in this thesis. Furthermore, the main advantages of DTS systems are presented, such as the possibility of detection over long distances, almost maintenance-free operation with a long service life and easy installation in practice. Next, some global DTS manufactures of equipment for the implementation of these distributed temperature measurement systems. To verify the main parameters, a reference measurement was designed and implemented. In the next part of the work is assembled a simple DTS system simulating the practical implementation of pipelines in laboratory conditions. The possibilities of measured quantities such as sensitivity to temperature changes, resolution and measurement accuracy were verified on this system. All these values were recorded, graphically represented and evaluated. The investigated quantities were clearly marked and described on the graphs of the results. At the end of the work, the results of measurements were clearly summarized and the possibilities of practical use for the protection of critical infrastructures were indicated.
|
guest ::
