Effective use of 3D Cad systems in the field of process engineering-I

Zadáním této bakalářské práce bylo efektivní použití 3D CAD systémů v procesním a ekologickém inženýrství. Tato práce je zaměřená na program s názvem SolidWorks 2006, kde je úkolem obecně popsat tvorbu dílu, sestavy, výkresu a konkrétně popsat modul Routing tj. modul využitelný pro tvorbu potrubních systémů. Práce dále popisuje význam bodu styku, bodu trasy a problematiku spojenou s podsestavou trasování.This work is focused on effecitive use of 3D CAD systems in process and environmetal engineering. The system SolidWorks 2006 is applied. The purpose of this work is to describe creation of basic parts, assemblies and drawings in general way. Special attention is paid on the program unit Routing dedicated for piping system design. The work next describes the importace of reference items required and problems associated with routing subassembly.

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.

Symbolic Representation of Finite Automata

V~oblasti formální analýzy se často setkáváme s~konečnými automaty s~velkým množstvím stavů nad velkými abecedami. Jejich explicitní reprezentace může vyústit ve stavovou explozi a~tento problém může být vyřešen použitím symbolické reprezentace schopné pracovat s~celou množinou stavů najednou. Cílem této práce je rozšířit knihovnu libVATA o~podporu této reprezentace včetně algoritmů pro některé operace nad touto reprezentací. Předložený text se v~úvodu zabývá předpoklady nezbytnými pro pochopení konečných automatů a~binárních rozhodovacích diagramů, které se využívají pro jejich symbolickou reprezentaci. Dále jsou uvedeny některé existující knihovny pro práci s~konečnými automaty. Následuje jádro této práce, návrh symbolické reprezentace a~operací nad ní, které jsou poté implementovány jako rozšíření zmíněné knihovny. Výsledky testů dokazují, že symbolická reprezentace je zajímavou alternativou explicitní reprezentace.In formal analysis we often encounter finite automata with a~large amount of states over large alphabets. Their explicit representation can result in a~state explosion and this problem can be solved by the use of symbolic representation that can manipulate a~whole set of states at once. The aim of this work is to extend the libVATA library to support such a~representation including algorithms for some operations on this representation. The presented text first deals with prerequisites necessary to undestand finite automata and binary decision diagrams used for their symbolic representation. Then it lists some existing libraries for work with finite automata. Next follows the core of this work, the~design of a~symbolic representation and operations on it, which are later implemented in the previously mentioned library. The test results proves that the symbolic representation is an interesting alternative to the explicit representation.

Program for Generation of the Image Crosswords

Ústředním tématem této práce jsou obrázkové křížovky, tedy hlavolamy podobné např. známému sudoku či criss cross. Pozorost je věnována zejména problematice automatického a poloautomatického generování těchto rébusů z digitálních obrázků a otázce řešení, respektive řešitelnosti obrázkových křížovek. Zkoumané vlastnosti a postupy jsou demonstrovány v aplikaci picross, implementované jako součást této bakalářské práce.Main topic of this thesis is the picross, a puzzle similar to well-known sudoku or criss cross. Central questions discussed in the text are automatic and semi-automatic generation of the rebus from digital images and solving and solvability of the puzzle. Characteristics and procedures described are demonstrated in the aplication picross, which was implemented as a part of this bachelor's thesis.

Optimized Ray Tracing

Tato práce se zabývá optimalizačními algoritmy, které se snaží zefektivnit a zrychlit metodu sledování paprsku. Je zde řešeno několik akceleračních struktur a metoda pro snížení náročnosti výpočtu průsečíku se složitými tělesy. Část textu se rovněž zabývá samotnou metodou ray tracing a pojmy s ní spojené. Pro účely práce je vytvořena aplikace, na které je implementován algoritmus sledování paprsku za použití uniformní mřížky pro jeho optimalizaci.This thesis deals with optimization methods for ray tracing. There are discussed several methods of acceleration structures and method for reducing the complexity of calculating intersection with complex objects. Part of the text also deals with the ray tracing method and the concepts associated with this technique. For the purposes of this thesis have been created application, which is implemented ray tracing algorithm using a uniform grid for optimization.

Roman spa - sauna world

Předmětem diplomové práce je architektonická studie římských lázní a saunového světa v blízkosti Brněnské přehrady v městské části Brno-Bystrc. Lázně jsou součástí komplexu aquaparku. V objektu aquaparku je vymezená část věnována rekreaci a očistě těla. Navrhuji prostor otevřený novým průhledům, umožňující průnik světla a vzduchu. Prostor zahrnující dojem kontinuity a zároveň představu intimity. Použití jednoduchých geometrických forem dovoluje intenzivně vnímat důležité principy provozu.The theme of dissertation is to create the architectural study of a Roman bath and sauna World. Spa are part of a complex aqvapark. There is a defined a part of the aqvapark. Dedicated to recreation and clearing the body. I propose a new open space, allowing penetration of light and air. THe area comprising the impression of kontinuity and at the same time the idea of intimacy. Using simple geometric forms allows capturing the important principles of operation.

Realistic Visualisation of Alcoholic Beverages

Cílem práce bylo vytvořit jednoduchý program, který má sloužit k vizualizaci alkoholických nápojů. Použita byla globální zobrazovací metoda sledování paprsků (raytracing), která slouží k vizualizaci 3D scény ve fotorealistické kvalitě. Do scény jsou vysílány paprsky, které se odrážejí a lámou na prostředích, na něž dopadají, a tím nesou informaci o barvě jednotlivých povrchů. Ve výsledku paprsek určí barvu pixelu. Jedná se o složitý proces, při kterém je potřeba řešit průchody paprsků různými prostředími.The object of thesis was to make a simple program for visualisation of alcoholic beverages. There was used a global illumination method raytracing, which serve the purpose to visualize 3D scene in photorealistic quality. The rays sent to the scene reflects and refracts on the interfaces and getting information about color of materials. Finally the ray determine the color of pixel. It's a very complicated process where it is necessary to solve passing rays through different interfaces.

Advanced Methods of Optimization in Compilers

Tato práce se zabývá optimalizací zdrojového kódu při jeho překladu. Práce představuje některé v současnosti používané metody. Mimo to jsou zde zavedeny i metody nové, vycházející z vlastností booleovy algebry. Práce se pak také zabývá implementaci těchto metod.This thesis deals with optimization of source code during its compilation. The paper introduces some of the existing methods. The paper also introduces some new methods, that are based on properties of boolean algebra. Implementation of some of these methods is also described.

Analytical methods determining the quality of joints of wooden adherend

Předkládaná bakalářská práce je zaměřena na hodnocení analytických metod, které jsou určeny pro analýzu lepené spáry u dřevěného adherendu. Hlavní náplň práce je zaměřena na konkrétní metody, tj. metody určování proniku lepidla do dřevěného adherendu pomocí fluorescenční mikroskopie, dále metodu infračervené spektrometrie (FTIR) a dynamicko-mechanické analýzy (DMA) polymerů.Bachelor's thesis is focused on evaluation of analytical methods, which are used for analyzing of bondline in timber adherend. Primary goal of this thesis is focused on specific methods, it means methods used for evaluation of adhesive flow into timber adherend with help of fluorescence microscopy, method of FTIR Fourier transform infrared spectroscopy and thermal analysis method such as Dynamical - mechanical analyse.

Optimized Ray Tracing

Bakalářská práce se zabývá analýzou, návrhem a implementací programu pro vytvoření obrazu, který využívá optimalizované metody sledování paprsku. Hlavní optimalizací je rozdělení scény do pravidelné mřížky.This bachelor's thesis describes analysis, design and implementation of an application for reneding pictures based on optimized ray tracing. As the main optimalization is used the method of uniform space subdivision.