|
|
Synchronization of the robot motion with a moving conveyor belt
Nagy, Marek ; Pochylý, Aleš (referee) ; Kubela, Tomáš (advisor)
Diploma thesis is focused on the solution of synchronization of the robot motion with a moving conveyor belt. It informs about basic principles and possibilities of using similar applications. It describes individual elements used in the application, their importance and function. It provides an overview of proposed program codes for the programmable logic controller, the smart camera and the robot. The result is the creation of a functional illustrative application with KUKA robot.
|
|
|
C Compiler for AVR32 Microprocesor
Nagy, Michal ; Husár, Adam (referee) ; Hruška, Tomáš (advisor)
This bachelor's thesis deals with creation of an AVR32 backend for the LLVM compiler framework. The core of this work consists of explaining the way of architecture description in LLVM and of my own implementation of the AVR32 backend. Furthermore, several problems encountered during the implementation are discussed along with their possible solutions. As the result of this work functional backend, with a few constraints discussed in the conclusion chapter, was created.
|
|
|
Static Analysis of C Programs in Sparse and Similar Tools
Nagy, Martin ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Software verification is steadily becoming important for software developers and companies to ensure software quality. However, the problem of writing a good static code analysis tool often stems from the lack of a good compiler front-end. To solve this problem, we try to analyse and document an existing tool called Sparse to empower software verification researchers with a ready, stable solution for their projects. Additionally, we also talk about Mygcc and it's new approach to integrate with existing compilers.
|
|
|
Instruction Set Completness Detection for Retargetable C Compiler Generation
Nagy, Michal ; Dolíhal, Luděk (referee) ; Hruška, Tomáš (advisor)
This thesis concerns the issue of completness detection of instruction set description for the LLVM compiler, or the ability of a compiler to generate target program for every valid source program in the appropriate high-level programming language. On the basis of regular tree grammar theory and several scietific theses that also concern this issue, formal tool for inclusion checking of two grammars. Furthermore a method for automatic extraction of the two grammars from the instruction set description has been devised, as a result of which the tool can be used for checking completeness of instruction selection. In combination with checking completeness of the legalization process of the LLVM compiler, which preceeds the instruction selection, it should be feaseable to check completeness of most compiler parts dependent on the target architecture.
|
|
|
Simulation and optimization of a manufacturing process in the application of injection molds in forming departments
Nagy, Martin ; Zouhar, Jan (referee) ; Píška, Miroslav (advisor)
This bachelor thesis is focused on the simulation and optimization of the manufacturing process in the application of injection molds in forming departments. The theoretical part describes the process, model, approaches to the process of modeling and software support of the simulation. The author introduced the basic elements of software FlexSim, whose knowledge was crucial to create a model in the practical part. In this part the author describes the formation and function of the model and then he experimented with this model to find optimal solutions for the specified problems. Experiments concluded that the weak point of the process is low utilization of some machines and employees. For these weak points of the process, the author suggested specific solutions.
|
|
|
The Investment Evaluation of the Machinery Company
Nagy, Martin ; Zinecker, Marek (referee) ; Luňáček, Jiří (advisor)
This thesis is focused on the investment evaluation of a machinery company. The theoretical part describes the technology of drilling, investment project, investment decision making, financing of the investment, its efficiency evaluation by dynamic methods. The practical part introduces the investment project and summarizes theoretical solutions. Moreover, the author carried out the company’s balance sheet and the prognosis of its sales by performing multiple factors linear regression analysis using software Gretl, determined the type of the investment financing and selected the investment project based on the point criteria and the theoretical solutions. Furthermore, the efficiency of the chosen project was evaluated by the dynamic methods described in the theoretical part. Finally, the author created a Net Present Value sensitivity analysis and compared results of the static and dynamic methods. These results become fundamentals for recommendation of the investment project realization.
|
|
|
Simulation tools for CAD/CAM robot programming
Nagy, Marek ; Kubela, Tomáš (referee) ; Pochylý, Aleš (advisor)
Bachelor’s thesis is focused on simulation, off-line programming and familiarization with KUKA robot. It informs about the composition, coordinate systems and the possibilities of movement of the industrial robot. It introduces methods of on-line and off-line programming and analysis of software for off-line programming aimed on CAD / CAM machining. It describes the creation of specific robot movements and explains the generated code for the implementation of created movements. The result is the creation of a functional illustrative application with KUKA robot.
|
|
|
Phytochemical study of individual plant species of Bergenia genus
Hendrychová, Helena ; Tůmová, Lenka (advisor) ; Nagy, Milan (referee) ; Šmejkal, Karel (referee)
Charles University in Prague, Faculty of Pharmacy in Hradec Králové Department of Pharmacognosy Candidate: Mgr. Helena Hendrychová Supervisor: doc. PharmDr. Lenka Tůmová, CSc. Title of Doctoral Thesis: Phytochemical study of individual plant species of Bergenia genus Bergenia, native to central Asia, is promising source of medicinal compounds mainly in the system of Chinese and Indian traditional medicine. These species have been used for centuries in therapy of various diseases. They are valued for their ability to dissolve kidney or bladder stones. Bergenia plants are used for therapy of pulmonary diseases and cold. They have demonstrated antioxidant, antibacterial, antiviral, immunostimulant, anti-inflammatory, anticancer, antidiabetic, antitussive, hepatoprotective and diuretic effects. The main aim of this thesis was to determine the content of secondary metabolites (arbutin, total polyphenols, bergenin and anthocyanins) in three taxons of Bergenia genus - Bergenia crassifolia (L.) Fritsch, Bergenia ciliata (Haw.) Sternb. a Bergenia x ornata Stein., to compare their biological activities and to identify the most appropriate kind of Bergenia plants with the greatest potential for use in therapy. Plant hybrid B. x ornata was evaluated on the content of phenolic compounds and biological activity...
|
|
|
Universal Interconnection of Electronic Health Records and Formalized Electronic Medical Guidelines
Húska, Jakub ; Nagy, Miroslav (advisor) ; Parízek, Pavel (referee)
The purpose of this thesis is to design a universal bridge between any Electronic Health Record (EHR) and formalized medical guidelines included in evaluation and presentation system. The interconnection should ensure medical data for medical guidelines that are evaluated. These data should be acquired from EHR using standard techniques, if possible. To solve the thesis there are some systems ready to be used: the medical guidelines evaluating and presenting system named "Medical Guidelines SYSTEM"[1] and an EHR named AdamekJ based on the MUDRLite2 technology. The solution should be designed in a modular way in order to connect various EHRs and medical guidelines systems. The programming language and other supportive technologies necessary for completing the task can be chosen by a student.
|
|
|
Alkaloids of the Amaryllidaceae family as potential drugs in therapy of diseases of affluence
Breiterová, Kateřina ; Cahlíková, Lucie (advisor) ; Nagy, Milan (referee) ; Lapčík, Oldřich (referee)
Charles University, Faculty of Pharmacy in Hradec Králové Department of Pharmaceutical Botany Candidate: Mgr. Kateřina Breiterová Supervisor: Assoc. prof. Ing. Lucie Cahlíková PhD. Title of Doctoral Thesis: Alkaloids of the Amaryllidaceae family as potential drugs in therapy of diseases of affluence Key words: alkaloids, Amaryllidaceae, analogues, AChE, BuChE, POP, GSK-3β, cell cycle progression, apoptosis Narcissus cv. Professor Einstein was chosen based on results of previous screening studies for detailed phytochemical work for the purpose of isolation of the widest range of AmA. From 34,3 kg of fresh bulbs was obtained 31,7 g of purified alkaloidal extract, which was processed using column chromatography with stepwise elution by light petrol, chloroform and ethanol in different ratios to almost 500 fractions. These fractions were fused into 27 subfractions, which were processed by preparative TLC, vacuum column chromatography and crystallization. Finally, 25 pure alkaloids were isolated. All compounds were identified by GC-MS, ESI-MS, NMR, optical rotation and literature. One compound was identified as a new unpublished alkaloid of lycorine structure type. All alkaloids isolated in sufficient amount were tested for their biological activities associated with Alzheimer's disease (inhibition of...
|
guest ::
RSS feed.