|
|
Web Service for Analysis of Measurement Results of Semiconductor Circuit Elements
Střálka, Jan ; Peringer, Petr (referee) ; Kočí, Radek (advisor)
The aim of the bachelor thesis is to design and implement software system for increase the output quality of the distributed chips by phasing out potentially defective chips. This project is designed for ON Semiconductor, manufacturer of semiconductors in Rožnov pod Radhoštěm. The software is written in Java and the architecture is based on the modules with algorithms that are applied to measurements map of semiconductor devices (wafer maps). The system runs on Tomcat application server, and the application is managed via web service interface.
|
|
|
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.
|
|
|
Solving of Optimisation Tasks Inspired by Living Organisms
Popek, Miloš ; Peringer, Petr (referee) ; Martinek, David (advisor)
We meet with solving of optimization problems every day, when we try to do our tasks in the best way. An Ant Colony Optimization is an algorithm inspired by behavior of ants seeking a source of food. The Ant Colony Optimization is successfuly using on optimization tasks, on which is not possible to use a classical optimization methods. A Genetic Algorithm is inspired by transmision of a genetic information during crossover. The Genetic Algorithm is used for solving optimization tasks like the ACO algorithm. The result of my master's thesis is created simulator for solving choosen optimization tasks by the ACO algorithm and the Genetic Algorithm and a comparison of gained results on implemented tasks.
|
|
|
An Automatic Configuration of Services of Operating System
Schiffer, Peter ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This Master thesis describes the configuration of operating systems and their capabilities. It introduces differences between configuration of different operating systems according to their specialization, and it introduces advanced configuration of operating systems with third-party applications. The practical part of the thesis is a design of a new computer language aimed at describing a configuration of an operating system and its services. Such a description is used to automatically configure system services by translating it to a sequence of configuration commands. An advantage of the language is its readability by a human, but its similarity with natural languages introduces a certain level of ambiguity. The proposed method of automatic generation of commands deals with the ambiguity by searching and selecting as least as possible destructive commands.
|
|
|
Automated Document Categorization
Sváček, Radim ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis deals with design and implementation of automated document categorization application. Text contains analysis of existing systems and description of classification methods. Thesis includes object oriented design of application including plugins. Application is implemented in C++ with possibility of functionality extension through plugins. Application aims to simplify work with unsorted documents through their organization into directory structure based on informations extracted from files, including their metadata.
|
|
|
Simple 3D Printer Simulator
Čillo, Vladimír ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis deals with design and implementation of 3D printer simulator in C++ using Qt. The simulator assumes a printer based on widely used method of 3D print - Fused Deposition Modeling. An input of simulator is a 3D model in STL file format. For the 3D model simulator provides an estimate of the total print time. Simulation also includes visualization of 3D print. The result is a cross-plaform program tested under Linux and Windows. Functionality of simulator has been tested by several experiments.
|
|
|
Ehanced UNICODE Support for GNU Command Line Utilities
Oprala, Ondrej ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
This thesis solves the problem of missing support for proper handling of Unicode input in the utilities of the coreutils project. Support was implemented for utilities cut, expand, fmt, fold, paste and unexpand. The implementation was done using the libunistring and gnulib libraries. Programs were properly tested and performance tests proved that performance is comparable or superior to the original implementation.
|
|
|
Checker of User Experience Guidelines
Kříž, Vítězslav ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
The aim of this work is to create a tool for automated checking the correct characteristics of the user interface. The thesis includes a list of rules from GNOME, KDE and OSX, which are suitable for automatic control. The tool verifies the background elements of the user interface while the user operates the program under test. The rules are ranked according to the severity and outcome of the program is also overall score. The final part contains testing of normally available programs. The application is appropriate for verifying a graphical user interface in development.
|
|
|
Vector Analysis in GIS Systems
Životský, Tomáš ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
This master's thesis deals with the geographic information systems with an emphasis on so - called vector analysis . The aim of the thesis is to create a library that implements the internal representation of geographic data and performs analytical operation over them . The thesis describes the logical structure of the application and the hierarchy of abstract classes . In the form of pseudo -code is shown a set of individual computing operations . Work is strongly based on geographic system GRASS. This GIS is connectable through import and export vector data in shapefile format. Concept of storing layers is designed for ease of data manipulation and their portability . The main idea behind the application is to split the library into individual modules . These modules are independent , but also can benefit from each other's functions . In conclusion are demonstrated implemented vector analysis and representation of their calculation .
|
|
|
Algorithms for Computerized Optimization of Logistic Combinatorial Problems
Bokiš, Daniel ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
This thesis deals with optimization problems with main focus on logistic Vehicle Routing Problem (VRP). In the first part term optimization is established and most important optimization problems are presented. Next section deals with methods, which are capable of solving those problems. Furthermore it is explored how to apply those methods to specific VRP, along with presenting some enhancement of those algorithms. This thesis also introduces learning method capable of using knowledge of previous solutions. At the end of the paper, experiments are performed to tune the parameters of used algorithms and to discuss benefit of suggested improvements.
|
guest ::
