|
|
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.
|
|
|
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.
|
|
|
Magic Projection
Kaisler, Vojtěch ; Polok, Lukáš (referee) ; Zachariáš, Michal (advisor)
The bachelor thesis describes the design and implementation of an application which projects an image on a mobile canvas. The user then moves the canvas within the projection space. The projection is always focused only on this canvas. The thesis deals with tracking of movement, rotation and tilt of the screen. A camera with an infrared filter is used for tracking the canvas fitted with infrared LEDs. The thesis mentions two different types of projection.
|
|
|
Photorealistic Rendering
Melcer, Pavel ; Lysek, Tomáš (referee) ; Zemčík, Pavel (advisor)
This bachelor thesis deals with the realistic rendering of 3D scenes, which describes the procedures leading to the photorealistic image. First are mentioned ways to definition objects, how the scene is rendered on screen, the types of light source and surface characteristics of materials. The work is also a description of the local shading model, optical phenomena and the methods used to realistically display (raytraycing, pathtraycing, radiosity and photon mapping). Next part mentions the reason for choosing the topic and description of implementation methods raytraycing and photon mapping.
|
|
|
Alternative use of Szondi test as a diagnostic tool
Pokorná, Martina ; Bahbouh, Radvan (referee) ; Niederlová, Markéta (referee)
The rigorous thesis analyzes the Szondi test and its theory in the light of current knowledge. Its aim is to examine the potential of this diagnostic method and to consider the possibilities of its application. On the basis of the free-association research, the direction of interest has divided into three studies. The first of them verifies the relationship of Szondi's theory with personality characteristics, that are attributed to individual photos (stimulus material) on the scale of the semantic differential. In most cases, the results confirm significant differences between the factors. In the second study, the narrative approach is selected, it means "telling stories" method will be used for discover the projective potential. Qualitative analysis indicates, that stories have some similarities - in the context of given factors, however, they almost never follow Szondi's assumptions. The data does suggest, that Szondi test has a potencial to insight into the important topics of the respondent's life. The third study examines the relationship between the Szondi test and selected personality characteristics measured by Szondi test. The research confirmed the connection between a choice of photographs and some of detected personality qualities. KEY WORDS: Szondi test, projection, face perception,...
|
guest ::
