Auswahl der wissenschaftlichen Literatur zum Thema „Inkrementální analýza“

The aim of master thesis was to create a program for the quantitative analysis of data backup schemes and with its help to identify and analyze the properties of commonly used schemes for different loads. Based on the obtained results, compile a set of principles for choosing the optimal data backup scheme. The program was created by Matlab. It can be used to find out parameters for individual backup schemes: Parameters C (total backup volume) and E (medium volume of recovery backups), backups size of individual days, workload of individual storages, cost of storages and cost of overall backup scheme, size the total amount of data written per storage per time slot. At the end of the thesis is defined a scheme for choosing the optimal backup scheme.

The master thesis encompasses the possibilities of position evaluation and drive control with the aid of SMI work enviroment. Furthermore the thesis is directed to create a program through a designed control algorithm. The work is realised on the elevator model with electronically commuted motor. An incremental scanner is used as the position sensor. The motor control unit is set up and programmed in the SmartMotorInterface software. In the next part, measurements with altered parameters are conducted. On the basis of these measurements the influence of parameters on the positioning process and its accuracy is evaluated. At the conclusion of the work, a design of laboratory task for educational purposes is created. The laboratory task is composed in such a way, that students would become familiar with the SMI work enviroment and would be able to practicaly test the setup of incremental position sensor and motor control with the aid of entered algorithm.

Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomicky. Analyzátor Atomer se tudíž snaží takové sekvence hledat a poté zjišťovat, pro které z nich může být v některých jiných bězích programu porušena atomicita. Autor této diplomové práce ve své bakalářské práci navrhl a implementoval první verzi nástroje Atomer jako zásuvný modul aplikačního rámce Facebook Infer. V této diplomové práci je navržena nová a výrazně vylepšená verze analyzátoru Atomer. Cílem vylepšení je zvýšení jak škálovatelnosti, tak přesnosti. Kromě toho byla přidána podpora pro několik původně nepodporovaných programovacích vlastností (včetně např. možnosti analyzovat programy napsané v jazycích C++ a Java nebo podpory pro reentrantní zámky nebo stráže zámků, tzv. "lock guards"). Prostřednictvím řady experimentů (včetně experimentů s reálnými programy a reálnými chybami) se ukázalo, že nová verze nástroje Atomer je skutečně mnohem obecnější, přesnější a lépe škáluje.

This work deals with issues in data streams mining which nowadays is a very dynamic area in information technology. The thesis describes the general principles of data mining. There are also the principles of data mining in the data streams. Special attention is given to the implemented algorithm CluStream. In the practical part the data stream processing solution was designed and implemented by the MSSQL technology using the above algorithm. The functionality of the algorithm was verified using own data stream generator.

Dissertation thesis deals with possibilities of incremental compiler construction. It represents the compiler construction possibilities for languages with a fixed set of lexical units and for languages with a variable set of lexical units, too. The methodology design for the incremental compiler construction is based on the known algorithms for standard compiler construction and derived for both groups of languages. The part focused on incremental compiling of common programming languages is based on a published methodology of incremental parser construction. The method uses syntax-directed translation scheme. The part focused on incremental compiling of languages with a variable set of lexical units is engaged in incremental compiler construction for on of the typical representantives, typographic system TeX. Unline the frontal compilation it is necessary to adapt the semantic actions to the incremental environment and bring additional information for their links to the appropriate location in the grammar rules. The thesis discusses the problem of the storage of information about current lexical units categories during the repeated compilation and it offers solutions. The thesis also describes the application of proposed methodology in the web application that is used for teaching the course Theory of programming languages at the Faculty of Business and Economics, Mendel University in Brno.