This thesis deals with the development environment for generating client/server database applications. The thesis defines the characteristics of good architecture of database applications and proposes appropriate concepts for the unification of system parts of the application. It also analyzes the characteristics of the development environment to facilitate the implementation of database applications. In thesis is proposed data model. There is implemented a prototype of development enviroment and verified its functionality and correctness of the proposed concepts.

Diplomová práce popisuje vývojovou techniku Model Based Design a její použití pro návrh a testování algoritmů. Popis této techniky je proveden na příkladu praktického využití v praxi při vývoji modulu monitorování stavu motoru ve spolupráci se společností UNIS,a.s. Vývoj v oblasti současné letecké techniky klade velký důraz na monitorování životnosti zařízení. Podle výstupů algoritmu se dají naplánovat preventivní opravy s ohledem na aktuální podmínky opotřebení a provozování. Implementace algoritmů je provedena v prostředí Matlab/Simulink s následným testováním na platformě dSpace

This master's thesis describes the analysis, design and implementation of an application for automatic generation of UML class diagram. Application is designed as a web service, which provides remote access, especially permanent actuality of generated class diagram. Input of the service is a compiled application written for C# .NET or Java platform. The reader is acquainted with basics of reverse engineering of mentioned platforms and with structure of UML class diagram. Then are these knowledge applied in design and implementation of the service. The main goal is to facilitate and accelerate the activities of software development team members.

This master's thesis is focused on the problem of data generation. At the beginning, it presents several applications for data generation and describes the data generation process. Then it deals with development of framework for data generators and demonstrational application for validating the framework.

The main goal of this thesis is the analysis, design and implementation of a new system, which would be able to generate music in real-time, based on terrain data or any raster image. The thesis deals with history of development of various attempts to formalize musical composition and presents contemporary approaches to its algorithmic creation. Technique of constraint programming is explored as well, because it is suitable also for automatic composition, and it is a part of implemented solution. Application components (interface, generator, music core and sound unit) and their interactions are examined in more detail. All approaches used for generating music are described in depth and, moreover, they are supported by many pictures and practical examples. Musical outputs are tested and results of these tests outline strengths, weaknesses and also inner possibilities of the designed system. Conclusion summarises author's contribution to the field of computer generated music and reveals possible prospects for application usage and its extensions.

In the development process of digital circuits, it is often not possible to avoid introducing errors into systems that are being developed. Early detection of such errors saves money and time. This project deals with automation of feedback in functional verification of various data processing components. The goal of automatic feedback is not only to shorten the time needed to verify the functionality of a system, but mainly to improve verification coverage of corner cases and thus increase the confidence in the verified system. General functional and formal verification principles and practices are discussed, coverage metrics are presented, limitations of both techniques are mentioned and room for improvement of current status is identified. Design of feedback verification environment using a genetic algorithm is described in detial. The verification results are summarized and evaluated.

This thesis explores the possibilities of abstraction of graphical user interface and automation of its design and development process at runtime. Emphasis is placed on possibility of remote control over computer network and accordingly on delegation of the interface creation on the human operated remote machine. The thesis analyzes contemporary approaches to and methods of interface generation. As a goal of the thesis a system for automatic user interface generation for remote applications was designed and implemented. The generation is based on specified data model.

Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou zavedena tři nová omezení na derivacích a je studován jejich vliv na vyjadřovací sílu těchto systémů. Poté, tato práce definuje dva automatové protějšky ke kanonickým multi-generatiním nonterminálem a pravi\-dlově synchronizovyným gramatickým systemům, generujících vektory řetězců, a ukazuje, že všechny tyto vyšetřované systemy si jsou vzájemně ekvivalentní. Dále táto práce tyto systémy zobecňuje a zakládá fundamentalní hierarchii n-jazyků (množin n-tic řetězců). V~souvislosti se zavedenými systémy tyto teze zavádí automatově-gramatický převodník založený na konečném automatu a bezkontextové gramatice. Tento převodník je pak studovaný a použitý jako nástroj přímého překladu. V~poslední části jsou v této práci zavedené automatové systémy jádrem pársovací metody založené na stromově řízených gramatikách s n omezenými cestami.

This thesis analyzes the requirements of the dance school on the software produced and designs all layers required for implementation of this product. The product manages courses, their attendees, lectors, places where the courses are held and related financial operations. It also includes an interface for automatical generation of schedules for courses according to the preferences of the dance school and course attendees. This thesis also includes detailed model of database structure, object layer model, user interface designs and describes their implementation. Furthermore this thesis includes description of communication between all parties participating in created solution and feedback from users.

The extraction of mercury species (methylmercury, ethylmercury, phenylmercury and inorganic mercury(II)) from fish tissue, its determination by reverse phase HPLC, UV-photochemical generation of cold vapour, and detection by atomic absorption spectrometry is described in this work. Various extraction agents and digestion methods were compared in order to find the best alternative. The mixture of 6.25% tetramethylammonium hydroxide and 0.05 mol·l-1 hydrochloride acid was chosen as the best extraction agent. In addition to the high extraction efficiency, the solution involved positively not only UV-photochemical generation, but also separation of observed species. On the contrary, the poor repeatability was achieved with the microwave-assisted digestion due to the proved sorption of mercury species on the Teflon vessels. Therefore, the extraction by high temperature (50-60 řC) in glass bottles was preferred. The results of the determination of the mercury species after the extraction from the real samples were compared to the outcomes obtained by AMA 254. The proposed extraction technique together with the RP-HPLC-UV-CVG-QTAAS is suitable for the speciation analysis of mercury.