This work deals with the automatic control of calculations of specialized system. The reader is acquainted with the numerical solution of differential equations by Taylor series method and numerical integrators. The practical aim of this work is to analyze parallel characteristics of Taylor series method, specification of parallel math operations and design of control of this operations.

Předmětem dizertační práce je návrh nových technik pro verifikaci hardwaru, které jsou optimalizovány pro použití v procesu souběžného vývoje hardwaru a softwaru. V rámci tohoto typu vývoje je hardware spolu se software vyvíjen paralelně s cílem urychlit vývoj nových systémů. Současné nástroje pro tvorbu mikroprocesorů stavějící na tomto stylu vývoje obvykle umožňují vývojářům ověřit jejich návrh využitím různých simulačních technik a/nebo za pomoci tzv. funkční verifikace. Společnou nevýhodou těchto přístupů je, že se zaměřují pouze na hledání chyb. Výsledný produkt tedy může stále obsahovat nenalezené netriviální defekty. Z tohoto důvodu se v posledních letech stává stále více žádané nasazení formálních metod. Na rozdíl od výše uvedených přístupů založených na hledání chyb, se formální verifikace zaměřuje na dodání rigorózního důkazu, že daný systém skutečně splňuje požadované vlastnosti. I když bylo v uplynulých letech v této oblasti dosaženo značného pokroku, tak aktuální formální přístupy nemají zdaleka schopnost plně automaticky prověřit všechny relevantní vlastnosti verifikovaného návrhu bez výrazného a často nákladného zapojení lidí v rámci verifikačního procesu. Tato práce se snaží řešit problém s automatizací verifikačního procesu jejím zaměřením na verifikační techniky, ve kterých je záměrně kladen menší důraz na jejich přesnost a obecnost, za cenu dosažení plné automatizace (např. vyloučením potřeby ručně vytvářet modely prostředí). Dále se práce také zaměřuje na efektivitu navrhovaných technik a jejich schopnost poskytovat nepřetržitou zpětnou vazbu o verifikačním procesu (např. v podobě podání informace o aktuálním stavu pokrytí). Zvláštní pozornost je pak věnována vývoji formálních metod ověřujících ekvivalenci návrhů mikroprocesorů na různých úrovních abstrakce. Tyto návrhy se mohou lišit ve způsobu, jakým jsou vnitřně zpracovány programové instrukce, nicméně z vnějšího pohledu (daného např. obsahem registrů viditelných z pozice programátora) musí být jejich chování při provádění stejného vstupního programu shodné. Kromě těchto témat se práce také zabývá problematikou návrhu metod pro verifikaci správnosti mechanismů zabraňujících výskytu datových a řídících hazardů v rámci linky zřetězeného zpracování instrukcí. Veškeré metody popsané v této práci byly implementovány ve formě několika nástrojů. Aplikací těchto nástrojů pro verifikaci návrhů netriviálních procesorů bylo dosaženo slibných experimentálních výsledků.

This master´s thesis deals with a design and simulation of an audio power phono amplifier using vakuum tubes. The frequency response of suggested solution should comply with the norm specified by RIAA. It also describes a vacuum tube basic description and also its advantages for audio applications and principle of usage a magnetodynamic pick-up. Last part contains a design of microprocessor system and power supply.

The thesis deals with both scheme and its implementation of water-level metering apparatus. This data are send wireless into 500 m distant station. Potential ways of solution are gradually studied and final design suggested. Detailed implementation methods are described in the following section. Ultrasonic sensors are employed for level measurement and controlling element is processor ATmega162, data are transmitted by transceiver RC1280HP. Apparatus is suggested with a view to the lowest power consumption considering it will be supplied only with a accumulator. Solving of accepting station is not a part of the thesis. Functional tested sample is understated in the execution section.

This project deals with design and study wireless security device. This device works in ISM band, created by two modules handling secure subject. Microprocessor AVR from company Atmel provides communication between these modules.

This thesis discusses design and realization of air temperature, pressure and relative humidity measuring device, transmission of measured data over internet and their presentation on a web site. First chapter introduces reader into principles of measuring air temperature, pressure and relative humidity and various types of sensors used for measuring . Next, the conception of designed system is described. Designed system must accomplish tasks from reading raw data from the sensor up to thein graphical presentation to the internet user. Second and third chapter describes hardware and software design of air temperature, pressure and relative humidity measuring unit. In next part one can find description of software used to transmit measured data over internet and software for generating web pages which are shown to users. The work is revieved in the final part of this thesis.

The aim of this work was to design a control system based on the XMega microcontroller, for a small mobile robot with an tracked undercarriage. At first, my work was to develop an electrical scheme and circuit boards for the control system. The next step was to connect sensors for non electric quantity and modify the control algorithms for a simple navigation. In the last phase I tuned the user interface and the whole control system for minimal data flow between the mobile platform and the user interface.

This thesis is devoted to detect motion and it is focused on energy consumption. The introduction involves possible ways for acceleration measuring and discusses The MEMS technology in accelerometers. It also describes components used in a low-power module and some suggestions leading to resolution of this issue. This thesis includes the module design as well, PCB design and software equipment. Finally, it evaluates the results and the solution accuracy.

This master’s thesis describes a wireless accelerometer module. The aim of this work was to study the properties and involvement of the accelerometer, wireless module design for data transfering from the accelerometer to the PC and the module implementation. As a wireless device is used bluetooth module that enables communication between the product and the computer. The wireless module used rechargable lithium ion battery that helps keep module alive without adapter or net cable.

Master‘s thesis is focused on problematic about state of RC plane model during the flight. Device is able to measure overload, height, position, pressure and velocity of the flight and store this measurement data to memory medium. The main aim of the master‘s thesis was to design a functional board, firmware for device and design simple program for evaluating of measured data. Involvement consists of five basic parts. First part is microcontroller, which processes measurement data and communicate with others parts. Next is accelerometer. Accelerometer is used for scanning overload of the plane. Barometer is used for measurement of height and pressure. For measuring position and velocity is used GPS module. Last part is memory medium. MicroSD is used as memory medium for storing measurement data. Evaluation of measured data is realized as simple program with base graphical user interface. Program was created in Matlab.