Rule-restricted Automaton-grammar transducers: Power and Linguistic Applications

This paper introduces the notion of a new transducer as a two-component system, which consists of a nite automaton and a context-free grammar. In essence, while the automaton reads its input string, the grammar produces its output string, and their cooperation is controlled by a set, which restricts the usage of their rules. From a theoretical viewpoint, the present paper discusses the power of this system working in an ordinary way as well as in a leftmost way. In addition, the paper introduces an appearance checking, which allows us to check whether some symbols are present in the rewritten string, and studies its e ect on the power. It achieves the following three main results. First, the system generates and accepts languages de ned by matrix grammars and partially blind multi-counter automata, respectively. Second, if we place a leftmost restriction on derivation in the context-free grammar, both accepting and generating power of the system is equal to generative power of context-free grammars. Third, the system with appearance checking can accept and generate all recursively enumerable languages. From more pragmatical viewpoint, this paper describes several linguistic applications. A special attention is paid to the Japanese-Czech translation

Physics Simulation for Pinball Game

Cílem této práce je vytvořit knihovnu pro fyzikální simulaci a pomocí ní vytvořit hru Pinball, na které bude vidět její funkčnost. Ve zprávě jsou popsány problémy a jejich řešení, které se v průběhu návrhu a programování objevily. Mezi těmito problémy lze vyzdvihnout tunelování, detekce a výsledek kolize. Jsou popsány i optimalizace řešení těchto problémů, které bylo možné použít pro naší specifickou knihovnu. Neméně důležité jsou principy, které snižují zátěž výsledné simulace - mezi hlavní lze zařadit správnou volbu mezí, detekce kutálení a uspání pomalu se pohybujících dynamických objektů. The objective of this work is to create a library for physical simulation and using the library to create a game of pinball, on which you can test functionality of the library. Problems that appeared during the creation of the library, are described in this paper along with their solutions. In particular, tunneling, detection and results of collisions. Subsequent optimization solutions to these problems for our specific library. Of no smaller importance are principles which reduce the requirements of the final simulation. Among the most important ones are the correct choice of limits, detection of rolling and sleep of slowly moving dynamic objects.

3D scanning methods

Tato práce se v první části zabývá rozdělením 3D skenerů, vysvětluje některé principy jejich fungování. V druhé části jsou podrobněji rozebrány některé metody, konkrétně jsou to 3D skenování za pomocí laserové technologie a 3D skenování využívající strukturované světlo. U obou těchto metod je popsán postup procesu měření a jsou srovnány některé komerčně dostupné skenery. V závěru jsou tyto dvě metody porovnány.In the first part of this thesis there is a task of taxonomy of the 3D scanners. It explains some principles of the 3D scanners functioning. Then in the second part there are described two particular technologies of the 3D scanning in the more complex way. In the chapters of both of these methods there is described procedure of scanning and compared several commercially available sensors. In the end there is comparison of these two methods.

Patented solutions of professional laundry machinery

Práce se zabývá problematikou právní ochrany technických řešení na národní i mezinárodní úrovni a zaměřuje se na postup vytváření patentových rešerší. Výstupem je přehled již chráněných řešení v oblasti snižování energetické náročnosti profesní prádelny. Součástí práce je i stručné seznámení s procesem profesní údržby prádla.The subject of the thesis is national and international legal protection of technical solutions of professional laundry machinery with a view to a patent review creation procedure. The output is the review of already legally protected solutions relating to the reduction of industrial laundry energy consumption. The part of thesis is also a brief summary relating to the professional laundry care process.

Automorphing of the Image Pairs

Tato práce se zabývá tvorbou automorfingu mezi zdrojovým a cílovým obrazem. Práce popisuje již existující metody a algoritmy pro tvorbu morfingu. Dále se práce zaměřuje na popis návrhu a realizaci metody pro tvorbu automorfingu. K tomuto účelu je zapotřebí detekovat významné body v obraze, tyto body korespondovat a podle těchto korespondencí vytvořit vlastní morfing.This thesis I deal with creating automorphing between source and destination image. The thesis describes existing methods and algorithms for creating morphing. The thesis focuses on the design and implementation methods for creating automorphing. For this purpose it is necessary to detect significant points in the image, find correspondence of to these points and create your own morphing.

Systems of Formal Models with Applications

Tato práce pojednává o automatových systémech jako o novém způsobu zpracování formálních jazyků. V textu jsou zmíněny čtyři modely. První z nich pracuje v sekvenčním módu. V jednom okamžiku počítá jediná komponenta systému. Druhý z nich pracuje v částečně paralelním módu. Zde během jednoho výpočetního kroku aktivně pracují buďto všechny, nebo pouze jediná komponenta systému. V posledních dvou modelech každý automat zpracovává svůj vlastní vstupní řetězec, přičemž jeho výpočet je řízen stavy, resp. přechody ostatních komponent. Stavy, resp. pravidla přechodů komponent mohou zapříčinit i tzv. blokaci, nebo odblokování dílčích automatů.This paper introduces and discusses automata systems as a new way for formal languages processing. In the text there are four models described. The first model works on sequential mode. At one computation step only one of components works. The second one works on semi-parallel mode. At the one computation step either one or all the components of the automata system work. In the last two models each component of the automata system has its own input string. The computation step of each component is influenced by their states, or used rules. The state, or used rule of the components of automata system can block or unblock some or all automata of the system.

Voronoi cell constructions on the map

Práce se zabývá studiem Voroného buňky, jejího zapracování do Voroného diagramů a jejich konstrukcí na modelu zemského povrchu. Nejdříve jsou Voroného diagramy a jejich vlastnosti vysvětleny v rovině, je zde popsána jejich konstrukce pomocí Fortunova algoritmu, poté je vysvětlena sférická geometrie a některé vztahy pro počítání na sféře, které můžeme použít při určování vzdáleností na Zemi, kterou aproximujeme koulí. Nakonec se Fortunův algoritmus aplikuje na sféru, jsou zde vysvětleny principy konstrukce Voroného diagramu tímto algoritmem na sféře a změny oproti rovinnému případu, se kterými se musí počítat. Cílem práce je zobrazit Voroného diagram na Google mapách, pracujeme tedy s rozhraním Google Maps API.This bachelor’s thesis deals with study of Voronoi cell and its representation in Voronoi diagrams and their construction on the model of Earth’s surface. At first, Voronoi diagrams and their characteristics are explained in a plane, we describe their construction using Fortune’s algorithm, then spherical geometry is explained. Then we take a look at some equations that are useful for calculating on a sphere, and we use them for calculating distances on Earth, which we approximate with a sphere. Finally we apply Fortune’s algorithm on a sphere, we explain the principles of construction of Voronoi diagrams with this algorithm on a sphere and changes compared to the planar case that must be taken care of. The goal of the thesis is to display Voronoi diagram on Google maps, thus we work with Google Maps API.

Moving Object Detection in Video Using CUDA

Tato práce se věnuje sledování objektů ve videa z monokulární kamery za pomocí modelu sledovaného tělesa. Stav 3D objektu je určený pomocí minimalizace účelové funkce užitím částicového filtru. Účelová funkce je založena na podobnosti renderované scény a skutečného videa.This thesis deals with model-based approach to 3D tracking from monocular video. The 3D model pose dynamically estimated through minimization of objective function by particle filter. Objective function is based on rendered scene to real video similarity.