Search

Práce navazuje na práci ,,Doplnění editoru a generátoru grafů konečných automatů“, kterou vytvořil Pavel Byma. První část obsahuje základní informace o konečných automatech, jak pracují a jak se vytvářejí. V další části jsou popsány operace, které se s konečnými automaty dají provádět. Původní program byl pouze editor a neobsahoval tyto operace, program dokázal pouze automaty ručně definovat nebo náhodně generovat, dále obsahoval překladač do příkazů GasTeX. V závěrečné časti je popsána implementace nových operací, průnik, sjednocení, převod nedeterministického konečného automatu, převod do normovaného tvaru, převod na minimální tvar automatu a zrcadlový obraz do původního programu. K implementaci bylo použito JavaCC. Bylo upraveno i grafické prostředí aplikace., The dissertation is a follow-up to the dissertation "Addition of new features to a generator of finite-automata graphs", written by Pavel Bym. The first part contains fundamental information about sequential machines, how they work and how they are made. The following part describes the operations which can be carried out through the sequential machines. The initial programme was a simple editor and did not include these functions - the programme was only able to define the sequential machines manually or to generate itself on a random basis. Moreover, the programme includes a GasTex compiler of dicts. The final part contains the description of the implementation of new operations: the intersection, the union, the conversion of the nondeterministic sequential machine, the conversion into a normative shape, the conversion into the minimal shape of the machine and the mirror image of the initial programme. JavaCC has been used for implementation. The graphics of the application has been adjusted as well., Ve zpracování, Import 26/06/2013

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.

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.

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.

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.

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.

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.

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.