|
Hodnocení účinnosti separačního zařízení při separaci semen z matolin
Müller, Petr
This thesis was aimed at evaluating the effectiveness of the separation device for the separation of seeds from marc. The first chapter describes the characteristics of marc and how is obtained. In the second chapter, the work was focused on the possibility of using the marc in waste management and food industries. The next chapter deals with separation technology and its technical support, which describes the different technologies and processes for the separation. The work also highlights the technological capabilities of drying seeds vine after separation. The experimental part of the work is focused on the evaluation of the separation of selected varieties. This assessment is complemented by tables and graphs of the results of the experiment. In the last chapter of the thesis focuses on determining the cost of separation of seeds and draft technological lines for medium and large wine-growing operations. Technological operations are accompanied by model proposals mobile and fixed lines.
|
| |
|
Java Collections Performance Testing on Multicore Systems
Husar, Martin ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
This thesis deals with Java collections performance testing on multicore systems. The aim of the work is studying of core collections contained in Java Collection Framework and studying also some other collections from package java.util.concurrent and third-party project known as Javolution. The task was to suggest appropirate performance test for these collections and create based on its results a comparison. Afterwards the basic solution is an implementation of suggested tests in Java programming language and evaluation of achieved results.
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (referee) ; Müller, Petr (advisor)
Práce se zabývá detekcí nedefinovaného chování v programech v jazyce C. Zaměřujemese na nedefinované chování vznikající nesprávnou prací se sekvenčními body a vedlejšími efekty. Provedeme teoretický rozbor a pojmy jako nedefinované chování nebo vedlejší efekt zasadíme do kontextu práce. Dále vysvětlíme nebezpečnost konstrukcí vedoucích k nedefinovanému chování. Navrhneme metodu pro automatickou detekci zmíněného druhu nedefinovaného chování. Nakonec navrhneme a implementujeme nástroj pro jeho automatizovanou statickou detekci a popíšeme principy funkce tohoto nástroje. Při jeho návrhu klademe, narozdíl od současných řešení, důraz na funkčnost i v případě přístupu k paměti přes ukazatel nebo z volané funkce. Práce obsahuje příklady nebezpečných konstrukcí, na některých z nich jsou demonstrovány funkce vytvořeného nástroje.
|
|
Automatic Comparison of Static Analysis Outputs on Different Versions of Programs
Kompová, Radmila ; Müller, Petr (referee) ; Vojnar, Tomáš (advisor)
This thesis aims at development of a tool support for comparing the output of static analysis applied to different versions of program source codes. The thesis also comprises a discussion of three opensource static analyzers of the C source code. Based on this discussion, one of these analyzers, Cppcheck, was chosen for the implementation of the designed tool. The static analyzer's outputs, obtained for various versions of a specific program, are compared on the basis of the context of the line at which an error was found. The patch utility is used for comparing the appropriate contexts. Detected errors are classified into three groups: new, old, and fixed errors. A web interface allowing an easier-to-follow presentation of the results is also provided. The designed tool set has been successfully tested on three opensource projects, including the Linux kernel, Coreutils and CPython.
|
|
Machining of titanium alloys
Müller, Peter ; Sliwková, Petra (referee) ; Píška, Miroslav (advisor)
The bachelor thesis specifies the most important properties and production processes of titanium, categorizes titanium alloys and their properties. In the experimental part, titanium alloy Ti-6Al-4V blank was machined and cutting forces were measured, depending on selected feeds per revolution. Subsequently specific cutting force was calculated and compared with values given by the tool manufacturers.
|
|
Support for Jenkins Plugin Development in Python Language
Bambas, Tomáš ; Letko, Zdeněk (referee) ; Müller, Petr (advisor)
Jenkins CI, the continuous integration server, enables to extend its functionality by plug-ins. These plug-ins can be written in Java and Ruby. The support for Python language is missing although it is one of the most popular programming languages. Therefore we have implemented the SDK for Python plug-in development and this SDK has been integrated into the Jenkins CI community repository. The documentation for the plug-in development in Python has been also published. Thanks to that work, developers can now implement plug-ins in Python programming language.
|
|
Performance Test Suite for MIT Kerberos
Špaček, Petr ; Müller, Petr (referee) ; Zelený, Jan (advisor)
Tato práce se zaměřuje na vyvinutí nástrojů pro výkonnostní testování, které umožní otestovat infrastrukturu systému MIT Kerberos, zjistit její výkonnostní charakteristiky a detekovat potenciální problémy. Práce shrnuje teoretické základy protokolu Kerberos a analyzuje potenciální výkonnostní problémy v různých konfiguracích MIT Kerberosu. Dále práce obsahuje popis návrhu a implementace sady nástrojů pro distribuované testování. Pomocí implementovaných nástrojů bylo odhaleno několik výkonnostních problémů, které jsou v práci popsány spolu s návrhem jejich řešení.
|
|
Lombok Framework Study
Paštrnák, Ján ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
The aim of this thesis is to analyze Lombok framework and its usage for the development of Java programs. Framework Lombok enables the generation of a primitive, often repetitive code during compilation of the annotated code. Using annotations, programmer specifies what and where the framework needs to generate during the compilation. This thesis explains the basic principles of the framework and design tests that demonstrate practical aspects of its use for creation of Java programs. Emphasis is placed on the estimation of the time saved through the development of Lombok, study its influence on the process of compilation and testing framework integrity with three development environments - NetBeans, Eclipse and IDEA InteliJ. The thesis summarizes the pros and cons of using this framework in real work.
|
|
Corrosion resistance of cast duplex stainless steels
Müller, Peter ; Záděra, Antonín (referee) ; Pernica, Vítězslav (advisor)
The master’s thesis deals with corrosion resistance of cast duplex steels. In the first part the corrosion mechanisms and their individual types are described, the second part characterizes the types of stainless steels in terms of their properties, use, structural components, and their impact on mechanical and corrosion properties of steels. Individual chapter is dedicated to duplex steels. In the experimental part the resistance of 1.4517 steel against pitting corrosion depending on the alloy contents and the PREN value was investigated. Four specimens graded according to PREN were cast. Supplemented with sample stirrer blade which was affected by corrosion during service they were subjected to corrosion test according to ASTM G48-11 standard in 6% FeCl3 solution. Cast specimens were subjected to tensile test and impact test.
|