|
|
Music Creation Using Cellular Automata
Novotný, Pavel ; Martinek, David (referee) ; Peringer, Petr (advisor)
In this thesis the cellular automata are used for algorithmic music composition. It contains a general overview of the algorithmic composition method and cellular automata. The crucial part of the thesis describes the concept and implementation of the program with a graphical user interface which uses two simple methods for conversion cellular automata's states into music. The final program was tested on several cellular automata and the sound outputs of both methods were compared with each other. The program is useful especially for the creation of short melodies.
|
|
|
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.
|
|
|
Cellular Automata Simulator
Martinek, Dominik ; Polášek, Petr (referee) ; Peringer, Petr (advisor)
This work describes concept and implementation of cellular automata simulator. It is resolved into three thematic parts. First part is devoted to describe many kinds of cellular automata.In second part is concept of simulator. Thirt part contains procedure of implementation and some test and exemplary models.
|
|
|
Optimization Methods for SIMLIB/C++
Godula, Martin ; Martinek, David (referee) ; Peringer, Petr (advisor)
Bachelor's thesis is concerned with methods for global optimization. It deals with concept of optimization theoretically, and describes its goals and chosen optimization methods, suggests process of their implementation with regard to compatibility with simulation library SIMLIB/C++. It describes their implementation in C++ language and demostrates their functionality on different test problems and evaluates their rate of success.
|
|
|
Virus Checking Module for Thunderbird
Ďurfina, Lukáš ; Rychnovský, Lukáš (referee) ; Peringer, Petr (advisor)
This bachelor thesis deals with development of virus checking module for e-mail client Thunderbird. The module checks e-mail content using AVG tools. It is accomplished by scanning attachments in incoming and outgoing e-mails. The module is implemented by using technologies XUL, XPCOM, JavaScript and DOM. It works successfully with protocols POP3 and IMAP, and provides execution of several actions with infected message.
|
|
|
Simulation and Management System for Beekeepers
Kaňovský, Zdeněk ; Kočí, Radek (referee) ; Peringer, Petr (advisor)
This bachelor thesis deals with analysis, design and implementation of the management and simulation system for beekeepers. The management system provides storing, updating and browsing the state of bee hives and is designed for the type of hives with removable frames. The simulation system contains the model of collecting nectar by honey bees and is addapted to management system. Depending on parameters of simulation model the application visualizes locations where would honey bees probably fly for the nectar and shows the amount of collected honey in one day.
|
|
|
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.
|
|
|
Static Value Analysis over C Programs
Ďuričeková, Daniela ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Value-range analysis is a static analysis technique based on arguing about the values that a variable may take on a given program point. It can be used to prove absence of run-time errors such as out-of-bound array accesses. Since value-range analysis collects information on each program point, data-flow analysis can be used in association with it. The main goal of this work is designing and implementing such a value-range analysis tool. The work begins with an introduction into the topic, an explanation of data-flow and value-range analyses and a description of abstract interpretation, which provides the formal basis of the analyser. The core of this work is the design, implementation, testing and evaluation of the analyser. In the conclusion, our personal experience obtained in the area of the thesis is mentioned, along with a discussion of a possible future development of the designed tool.
|
|
|
New Design and Implementation of RPM Database
Zelený, Jan ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
Package management systems are very effective and comfortable solution of installing, maintaining and erasing software from computer. Their basic idea is that all information about installed software is kept in one place and is managed by common utilities. RPM database is such place, where information are being kept. Currently used solution is obsolete and needs some improvements. This thesis analyzes current solution, possible alternative options and based on this a new database design is proposed. A prototype implementation is also included and it is compared with current solution.
|
|
|
File Manager With Text User Interface
Woś, Radek ; Smrčka, Aleš (referee) ; Peringer, Petr (advisor)
This thesis deals with C++ design and implementation of a file manager with text user interface. At first it presents the issues of file managers and introduces several examples from this category. Description of application design using design patterns and detailed examination of implementation which is based on this design follows.
|
guest ::
