Vestavěné systémy se staly nepostradatelnými pro náš každodenní život. Jsou to obvykle úzce zaměřená, vysoce optimalizovaná, jednoúčelová zařízení. Jádro vestavěných zařízení obvykle tvoří jeden nebo více aplikačně specifických instrukčních procesorů. Tato disertační práce se zaměřuje na problematiku testování nástrojú pro návrh aplikačně specifických procesorů a následně i samotných aplikačne specifických procesorů. Snahou bylo vytvořit systém, ve kterém bude možné otestovat jednotlivé nástroje, jako například překladač, assembler, disassembler, debugger. Nicméně vyvstává také potřeba provádět složitější testy, například integrační, které zaručí, že mezi jednotlivými nástroji nevzniká nekompatibilita. Autor vytvořil s podporou přůběžně integračního serveru prostředí, které napomáhá odhalování a odstraňování chyb při návrhu aplikačně specifických procesorů a které je navíc do značné míry automatizované.

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 diploma thesis deals with a problem of spores venturia inaequlis recognition. These spores are captured on a special tape which is then analyzed using a microscope. The tape can be analyzed by a laboratorian or by the program Sporedetect v3. This program provides functions for complete picture processing and object recognition. In this diploma thesis, there are also described ways to automatically control a sliding stage of a microscope utilizing motorized translation stages and linear actuators. The information about automatic control of a microscope stage was obtained from catalogues of the companies Standa and Edmundoptics.

This diploma thesis deals with the creation of interactive tools for 3D computer graphics. The introduction of the thesis focuses on general theory of curves and surfaces and its mathematical description. The topics of Geometric transformation, Perspective projection and Parametric description of 3-dimensional surface are analysed in more detail. The successive chapter deals with the subject of visualisation of spatial objects in Java platform interface. The practical part describes the implementation of individual applets. JAVA programming language, which uses the library functions JOGL, was employed for the very realization of the interactive tools. The goal of the diploma thesis is the creation of a set of interactive applets in the field of computer graphics. These applets will be placed on the website of the faculty and they will serve students of VUT in Brno to improve the quality of education.

The thesis is concerned with optical character recognition from image data with different methods used for character classification. In the first theoretical part it focuses on explanation of all important parts of system for optical character recognition. The latter practical part of the thesis describes an example of image segmentation, the implementation of artificial neural networks for image recognition and create simple training set of data for the evaluation of the network. It also describes the process of training Tesseract tool and its implementation in a simple application EasyTessOCR for character recognition.

Elaborate master’s thesis investigates at first the general knowledge of the theoretical background related with the global financial crisis and its subsequent transfer to the automotive industry. After the theoretical examination is master’s thesis analyzing company MS technik in the period before the financial crisis and especially during the drop in production caused by the effects of financial crisis in the automotive industry. The main part of master’s thesis is solving the impacts of the crises and their consequences in MS technik and in particular the proposals and their subsequent application in the enterprise to cope with the effects of financial crisis which in 2008 affected the market of the automotive industry.

The aim of this thesis is to research how the functional paradigm can be used for hardware acceleration with an emphasis on data-parallel tasks. The level of abstraction of the traditional hardware description languages, such as VHDL or Verilog, is becoming to low. High-level languages from the domains of software development and modeling, such as C/C++, SystemC or MATLAB, are experiencing a boom for hardware description on the algorithmic or behavioral level. Functional Languages are not so commonly used, but they outperform imperative languages in verification, the ability to capture inherent paralellism and the compactness of code. Data-parallel task are often accelerated on FPGAs, GPUs and multicore processors. In this thesis, we use a library for general-purpose GPU programs called Accelerate and extend it to produce VHDL. Accelerate is a domain-specific language embedded into Haskell with a backend for the NVIDIA CUDA platform. We use the language and its frontend, and create a new backend for high-level synthesis of circuits in VHDL.

This paper addresses the problem of mobile robot localization based on current 2D and 3D data and previous records. Focusing on practical loop detection in the trajectory of a robot. The objective of this work was to evaluate current methods of image processing and depth data for issues of localization in environment. This work uses Bag of Words for 2D data and environment of point cloud with Viewpoint Feature Histogram for 3D data. Designed system was implemented and evaluated.

(EN) Valency Dictionary of Arabic Verbs PhDr. Viktor Bielický This dissertation serves as a theoretical background for creating a valency dictionary of verbs in Modern Standard Arabic (MSA) which is primarily in the form of an electronic database. The Functional Generative Description is used as a theoretical framework for the description of verbal valency in Arabic. Chapter 1 introduces the verbal system of MSA with an emphasis on semantic relations within the system of verbal morpho- semantic patterns (verbal stems). Chapter 2 outlines the current research status of valency in Arabic including various research projects focused on creating electronic databases for Arabic verbs. Chapter 3 presents an overview of a valency theory developed within the Funtional Generative Description and it also provides a brief description of two broad coverage valency dictionaries for the Czech language - VALLEX and PDT-Vallex. Chapter 4, the core of the study, analyses semantics and the surface realization of different types of valency complemens in MSA, i.e. actants, quasi-valency and free (adverbial) complements. The final chapter, Chapter 5, describes the methodology and the structure of the valency dictionary the printed version of which is attached to the thesis. Key words: verbal valency, Modern Standard...

In my dissertation, I inquire into the phenomenon of monastic architecture and its plastic decoration in 16th century New Spain. The aim of this work is to present Mexican monasteries and their artistic significance. In my analysis, I build on the interpretation of monastic architecture from the perspective of early colonial society, I also reflect on the individual level, assessing its impact on the conquest and colonization of America. The methodology of this research project combines analysis of historical (e.g. study of historical sources) and art historical processes (iconological analysis of E. Panofsky) with analysis of anthropological concepts (e.g. rituals of transition of A. van Gennep, thick description of Cl. Geertz, concepts of liminality, structure and communitas of V. Turner). During my PhD studies, I conducted a field trip in Central Mexico (2013), supported by a grant from the Government of Mexico. I visited and documented one hundred and sixteen monasteries and the photographic documentation is the main empirical source of my analysis which further draws from the study of historical sources and academic literature. My research primarily focuses on three aspects: 1. the monastic architecture and art; 2. the role of the monastery in the process of European conquest and colonization...