|
|
Transducers in Automata Library Mata
Chocholatý, David ; Lengál, Ondřej (referee) ; Holík, Lukáš (advisor)
Implementujeme konečné převodníky do nové rychlé a jednoduché automatové knihovny Mata. Konečné převodníky jsou konečné stavové stoje modelující regulární relace. Naše hlavní použití pro konečné převodníky je kódovaní operací nahrazení (nahrazení slova nebo regulárního vzoru řetězcem). Nový SMT nástroj pro řešení formulí s omezeními nad řetězci Z3-Noodler používá knihovnu Mata jako základ pro jeho rozhodovací proceduru. Noodler potřebuje konečné převodníky k analýze programů manipulujících s řetězci s operacemi nahrazení. Analýzou zmíněných programů používaných ve webových aplikacích se zabrání útokům jako cross-site scripting (XSS) nebo vložení kódu. Hlavní odlišující vlastnosti knihovny Mata zahrnují jednoduchost (jednoduchá k užívání, úpravě a rozšíření) a efektivitu (pracuje rychle). Reprezentaci a algoritmy pro konečné převodníky jsme navrhli s ohledem na tyto vlastnosti knihovny. K reprezentaci konečných převodníků a jejich algoritmů znovupoužijeme a rozšíříme existující datové struktury a algoritmy pro konečné automaty v knihovně Mata. Reprezentace pro konečné převodníky slouží jako společná reprezentace pro konečné převodníky a budoucí reprezentaci automatů využívajících multi-terminálních binárních rozhodovacích diagramů pro práci s velkými abecedami. Navíc rozšíříme návrh o algoritmy pro konstrukci konečných převodníků modelujících operace nahrazení definovaných v SMT-LIB. Nakonec experimentálně vyhodnotíme efektivitu konečných převodníků v knihovně Mata na nové sadě příkladů s operacemi nahrazení z běhů nástroje Z3-Noodler a z řešení problémů nalezení vzoru.
|
|
|
Spatial Augmented Reality for Robotic Workplace
Štrof, Jakub ; Kapinus, Michal (referee) ; Materna, Zdeněk (advisor)
The focus of this work is to create projected user interface, which will complement AREditor, an application for robotic programming and also to calibrate Kinect and projector using existing calibration method. For calibration, I used the procam-calibration method, which uses projected Gray codes onto a chessboard to calculate calibration parameters. Thanks to it, virtual objects can be placed correctly into the real space. User interface was implemented using game engine Unity. By testing the interface, it was found that it helps the user to better grasp the relation between real and virtual space when placing virtual objects into the robotic workplace. It also raises user's awareness of the robot's movements when cooperating with it.
|
|
|
Transparency of voice and light
Hejduk, Adam ; Tomáš,, Svoboda (referee) ; Ambrůz, Jan (advisor)
The diploma thesis entitled Transparency of Voice and Light presents an audiovisual installation, the theme of which is individual reflection of the environment through the creation of fictional stories. In his work, the author also deals with the possibility of overlaps with own previous works and with the creation of a thematic interconnection. The installation links a set of subjective fictional narratives. The installation is scenographic in nature and represents a platform for telling personal statements and ideas.
|
|
|
Projector camera cooperation
Walter, Viktor ; Horák, Karel (referee) ; Richter, Miloslav (advisor)
The focus of this thesis is the cooperation of cameras and projectors in projection of data into a scene. It describes the means and theory necessary to achieve such cooperation, and suggests tasks for demonstration. A part of this project is also a program capable of using a camera and a projector to obtain necessary parameters of these devices. The program can demonstrate the quality of this calibration by projecting a pattern onto an object according to its current pose, as well as reconstruct the shape of an object with structured light. The thesis also describes some challenges and observations from development and testing of the program.
|
|
|
Augmented reality and its use
Ibehej, David ; Holoubek, Tomáš (referee) ; Hůlka, Tomáš (advisor)
Augmented reality is one of the most developed technological areas. It corresponds with the fact, that we hear more and more about it and therefore it needs to be considered for the future. This bachelor thesis attempts to provide brief research in topics of its definition, history, current usage, shortcomings and options in the field of game engines and developer tools. In second part it demonstrates possible utilization in industry providing the solution of mechanical component projection and interaction.
|
|
|
Interactive web applications supporting education of 3D graphics
Morávek, Jan ; Mokrý, Ondřej (referee) ; Rajmic, Pavel (advisor)
This diploma thesis is focused on computer 3D graphics and the implementation of educational applications in JavaScript language. Discussed topics of computer graphics include object transformations, Bezier patches and the role of the camera in the scene. The thesis describes the basic theory of these areas and educational applications. The thesis also includes the detailed description of the features and the implementation of the created applications. In the end of the thesis possible extensions are discussed.
|
|
|
Computer-aided method of analytic surfaces modelling
Stodola, Jakub ; Štarha, Pavel (referee) ; Martišek, Dalibor (advisor)
The first part of the thesis deals with projections of points from an Euclidean space into a plane and displaying of the resulted planar points on a computer. The second part focuses on a discretization of analytically specified surfaces. This is an approximation with network points. Due to the previous part, we are able to display them on a computer. The third part is dedicated to various types of coating fillings. Finally, the software solution is added.
|
|
|
Railway platform Roofing
Konečný, Štěpán ; Štrba, Michal (referee) ; Barnat, Jan (advisor)
The aim of of the Bachelor’s thesis is design and analysis of steel structure of roofing the railway platform in Brodek u Prerova. The roofing has trapezoidal shape and length is 54,0 m. Width is from 8,2 m in the narrowest part of the construction up to 10,2 m in the widest part. The height is 5,2 m in the highest point of the construction. Load-bearing structure is made of main frames, which are made of truss girder supported by the solid-web column. The construction material is steel S235J2.
|
|
|
Comparison of Shadow Methods
Kiss, Marcel ; Milet, Tomáš (referee) ; Tóth, Michal (advisor)
This thesis talks about comparison of shadow casting techniques within a scene. In the theoretical part, it describes and compares possible solutions of shadow casting and more detailed about Shadow Mapping and Shadow Volumes, which are among the most commonly used real-time shadowing techniques. The main part is about design and implementation of these two shadow methods using the OpenGL library. In the measurement part it compares methods based on measured values. The outcome of my measurements can be found in the final part of my thesis.
|
|
|
A Set of Web Tools for Geo-Location System
Bečka, Petr ; Brejcha, Jan (referee) ; Čadík, Martin (advisor)
The main goal of the thesis is to develop a set of web tools to visualize results and exploit functionality of geo-location system LOCATE. Obtained informations could be showen in web map and digital terrain model. For interaction with user is prepared interface to upload photos. Furthermore was developed a method, witch allows to customize appearance and functionality of visualization means.
|
guest ::
