|
|
The design of fountains system
Müller, Patrik ; Štigler, Jaroslav (referee) ; Haluza, Miloslav (advisor)
The goal of this thesis is to design the fountain system. Nozzles have to squirt to the same height. Flow has to be the same on each nozzle and it has to be done for our given dimensionsThe right pump has to be chosen, but it cannot be done without proper knowledge of theroy of hydrodynamic resistence, basic hydromechanics and characteristics of the valves.
|
|
|
Integration of Jenkins CI with Undertow
Barteček, Jakub ; Letko, Zdeněk (referee) ; Müller, Petr (advisor)
This master's thesis deals with replacement of the servlet container in Jenkins CI with server Undertow. In the thesis, general information about programs, which are related to this topic, are described and current state of the servlet container is analyzed. The result is newly created servlet container for Jenkins CI. Both versions of the Jenkins CI were performance tested and the new version gave better results.
|
|
|
Production and use of zinc alloy castings
Odehnal, Pavel ; Müller, Peter (referee) ; Pernica, Vítězslav (advisor)
The bachelor thesis focuses on the development of a literature search dealing with zinc production and its applications. The theoretical part is focused on the methods of production of pure zinc, the alloys used and the methods of processing of these alloys. Furthermore, selected branches of application of castings in industry are described. The work is supplemented by an experiment concerning the evaluation and remedy of defects occurring on the component.
|
|
|
Biodegradable bone implants based on iron
Müller, Petr ; Kazda, Tomáš (referee) ; Sedlaříková, Marie (advisor)
The present work deals with the comparison of the properties of metallic biomaterials in terms of their suitability for use as a temporary metal implant. In the work is judged biocompatibility of materials, they are comparing the corrosion rates and the influence of additives in the iron alloy to change biocompatibility and corrosion rate. In a part of this work is suggesting a method of preparing biodegradable metallic samples with different alloying elements and determine the methods, processes and measuring the corrosion rates. Part of this work is the chapter dealing with the function and effect of iron in the human body and any complications that may occur when a surplus caused by the release of part of the implant during its degradation or corrosion products. The outcome of this work is sort of created an iron-based samples in terms of their electrochemical corrosion potential, corrosion rate of samples exposed in various corrosive solutions, spectroscopic elemental analysis and outputs from the microscopic observation of the structures.
|
|
|
A Tool for Analyzing Performance of Memory Allocators in Linux
Müller, Petr ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
This diploma thesis presents a tool for dynamic memory allocator analysis, focused on their performance. The work identifies the important memory allocator performance metrics, as well as the environment and program factors influencing these metrics. Using this knowledge, a tool was designed and implemented. This tool allows to gather and analyze these metrics. The tool provides the ability to create memory allocator usage scenarios for the purpose of the allocator behavior analysis under different conditions. The tool was tested on several available memory allocators with free license.
|
|
|
Planning Task Monitoring System
Maga, Martin ; Müller, Petr (referee) ; Letko, Zdeněk (advisor)
Task of this bachelor work is to create system for monitoring of statuses of planned jobs according to requirements defined by sponsor Red Hat. The main target is to understand what planning problem means, how can be defined, stored to system, how to initiate his planning and to monitor progress. Planning system has been split to the 2 parts. The first part is user interface build up based on technologies JavaServer Faces, RichFaces a Twitter Bootstrap which allows recording, beginning and put on hold of running jobs. The second part represents web service with combination of technology Enterprise JavaBeans which processes requirements for beginning/put on hold of planning run accomplishes with utilization of framework OptaPlanner, planning progress is being stored to MySQL database. Information about planning problems is obtained from this database and continuously is being displayed in user interface. For implementation both parts has been used platform Java Enterprise Edition 6 and has been deployed in application server JBoss. System has been tested on artificial planning problem N Queen and practical problems from Red Hat company cloud balancing and travelling tournament on platform UNIX via cloud service OpenShift by users.
|
|
|
Use of Hsp90 as a target of biological therapy of tumors
Bednárová, Kristína ; Bouchalová,, Pavla (referee) ; Müller, Petr (advisor)
Antibody-drug conjugates (ADCs) represent a relatively new class of highly potent anti-tumor drugs. Thanks to highly specific monoclonal antibodies, ADCs are able to deliver a cytotoxic payload directly to tumor cells and thus minimize damage to healthy cells. Therapeutic efficacy depends on the selection of an appropriate antigen that undergoes internalization upon conjugate binding. For this project, pro-oncogenic Hsp90 and c-Met were selected as potential targets. Hsp90 is a molecular chaperone that is overexpressed in tumor cells and, in addition, can be translocated to the membrane of these cells. Overexpressed Hsp90 contributes to angiogenesis, tumor cell motility or metastasis. C-Met is a receptor tyrosine kinase that plays a central role in epithelial morphogenesis and malignant transformation. Its increased activity induces pathways responsible for the proliferation, invasion and migration of malignant cells. The aim of the diploma thesis was to study the potential use of antibodies with anti-Hsp90 and anti-c-Met activities in anti-tumor therapy. The experimental part involved the purification of the EEV1-2.1 antibody with anti-Hsp90 activity and its subsequent characterization. Furthermore, it included the characterization and selection of anti-c-Met antibody clones. It was also focused on selection and optimization of the right conjugation strategy. The activity of the antibodies and their conjugates was examined by fluorescence microscopy and flow cytometry. In vivo experiments were further aimed at verifying the efficacy of ADC by monitoring the rate of inhibition of proliferation of selected tumor cell lines. The results revealed that the EEV1 antibody does not enter the cells specifically by antigen-mediated way, and is therefore not suitable for use in conjugation with a cytostatic drug. On the other hand, anti-c-Met antibody ADC conjugates exhibit high affinity for native antigen, internalization through antigen binding, and additionally inhibited proliferation of c-Met overexpressing OE33 cells.
|
|
|
Use of Peltier Elements for Temperature Cycling
Müller, Petr ; Starý, Jiří (referee) ; Šandera, Josef (advisor)
This project deals with the use of Peltier frames for thermal cycling in the implementation of rapid testing in the workplace for thermo-mechanical stress solder joints. Its base is describing the various parts of the workplace. Peltier effect is shown and Peltier cells are described, which is the base of the workplace. They are analyzed possible ways to control workplace and summarized their advantages and disadvantages. It was constructed and described the system entering temperature cycles with electronics indicating fault frame.
|
|
|
Automated Methods of Finding Bugs in Compilers
Müller, Petr ; Smrčka, Aleš (referee) ; Vojnar, Tomáš (advisor)
This thesis discusses an application of the fuzz testing method for testing compilers and interpreters. In the first part, it deals with compilers, optimizations, and bugs typical for an optimizing compiler. It analyzes applicability of static and dynamic analysis methods for searching such bugs and proposes dynamic fuzz testing as suitable for this task. A compiler testing tool suite using this method was implemented within this thesis and applied on several real compilers, including GCC, in which the tool revealed a series of bugs.
|
|
|
Automated Fuzz Testing of Applications Using D-Bus Communication System
Marhefka, Matúš ; Smrčka, Aleš (referee) ; Müller, Petr (advisor)
Tato práce se zaobírá použitím metody fuzzingu na testování aplikací komunikujících přes systém D-Bus. První část je zaměřená na seznámení s pojmem fuzzing a na využití této metody při testování aplikací. Následuje popis systému D-Bus a jeho architektury. V druhé části se práce zaobírá vhodným způsobem, jakým by se daly pomocí metody fuzzingu testovat aplikace komunikující přes systém D-Bus. V rámci práce byl implementovaný nástroj na testování aplikací, které využívají tento systém na meziprocesovou komunikaci. Při implementaci tohoto nástroje byl kladen důraz na to, aby s ním bylo možné otestovat co největší spektrum aplikací. Testování proběhlo na třech vybraných aplikacích - GNOME Shell , IMSettings a Evince . Ve dvou ze tří zmíněných aplikacích ( GNOME Shell , IMSettings ) byly nalezeny chyby, které způsobily jejich pád. Implementovaný nástroj taktéž detekoval úniky paměti v aplikaci IMSettings .
|
guest ::
RSS feed.