Štefan Korečko

Data Processing for Virtual Reality

Digitization of real objects into 3D models is a rapidly expanding field, with ever increasing range of applications. The most interesting area of its application is in the creation of realistic 3D scenes, i.e. virtual reality. On the other hand, virtual reality systems are typical examples of highly modular systems of data processing. These modules are considered as subsystems dealing with selected types of inputs from the modeled world, or producing this world including all providing effects respectively. This chapter focuses on data processing tasks within a virtual reality system. Processes considered are as follows: 3D modeling and 3D model acquisition; spoken term recognition as part of the acoustic subsystem; and visualization, rendering and stereoscopy as processes of output generation from the visual subsystem.

A Toolset for Support of Teaching Formal Software Development

Teachers of formal methods courses often experience disinterest or even disgust towards the topic from software engineering students. As one of the significant reasons of this situation we see the fact that students are not in touch with domains where their use is desired and worth the effort. In this paper we deal with a toolset we developed to improve the situation. The toolset brings to students, in a virtual form, one of the most successful domains of formal methods application - railway systems. It consists of a modified version of a railway centralized traffic control simulator called Train Director and a tool that allows signals and switches in a railway scenario, simulated by Train Director, to be controlled by a separate formally developed control program. We briefly describe the toolset and its typical use within a formal methods course and discuss its usability with respect to various formal methods.

Processing 3D scanner data for virtual reality

Digitization of real objects into 3D models is a rapidly expanding field, with ever increasing range of applications. The most interesting area of its application is in the creation of realistic 3D scenes, i.e. virtual reality. It can be used in the entertainment industry, design, architecture and scientific research. This paper provides a brief summary of current 3D scanning technologies, deals with some aspects of data processing required to acquire a usable 3D model and presents various 3D visualization methods with focus on stereoscopy. This processing represents large graphical data processing also in parallel computer systems pertinently.

Performance analysis of processes by automated simulation of Coloured Petri nets

This paper deals with a support tool for an automation of simulation of Coloured Petri nets and selected simulation experiments conducted with the aid of the tool. The tool is called CPN Assistant, it has been developed at the home institution of the authors and cooperates with the CPN Tools software. It allows to run and manage multiple customized simulations in a network environment. The experiments presented aim at an evaluation of several modification of a raytracing management implementation in a cluster environment.

Virtual reality - creation, usage and education

At Department of computers and informatics, FEEI TU of Košice, students can study problematic of virtual reality technologies. Study is divided into two parts. First part focus on theoretical knowledge and second part focus on practical knowledge. This paper presents practical exercises during which students earn practical experiences about these virtual reality technologies: 3D scanning, position tracking, 3D displays and 3D printing.

CPN assistant II: a tool for management of networked simulations

The paper describes CPN Assistant II, a simulation management tool for CPN Tools software. CPN Assistant II cooperates with the version 3 of CPN Tools and allows to prepare, run and manage multiple simulation jobs in a networked environment. For each simulation job a net, a number of simulation runs and transition firings per run and a selection of monitors to be processed can be specified. The data acquired by each of the selected monitors during an execution of the simulation job are merged and stored as a text file at a specified location. If needed, the tool can also execute user-defined post-processing plug-ins to convert the text files to another format, compute some statistics or to perform other required tasks with the files.

Special Input Devices Integration to LIRKIS CAVE

Abstract LIRKIS CAVE is a unique immersive virtual reality installation with a compact cylinder-based construction and a high-quality stereoscopic video output rendered on twenty 55” Full HD LCD panels. While the video output of the CAVE provides a high level of immersion to a virtual world, its original implementation of peripherals support had a negative impact because of a limited number of supported devices and certain performance issues. In this paper we describe a new, distributed, peripheral devices support implementation for the LIRKIS CAVE, which solves the performance issues and allows for ease of integration of new input devices into the CAVE. We also present a successful integration of a special input device, the Myo armband,which allows a natural and unobtrusive gesture-based control of virtual environments. The integration includes a newly developed control and monitoring application for the Myo, called MLCCS, which utilization is not limited to CAVE systems or virtual reality applications.

Virtual-reality technologies and smart environments in the process of disabled people education

Information technologies impact our daily life in many significant ways. Nevertheless, there is a lack of availability of some technologies to the wide public caused by their location and price. This insufficiency seems to be even bigger for disabled people. LIRKIS laboratory of Technical university of Košice proposes solutions in education of these people and develops technologies of virtual reality which are capable to fulfill their needs. This paper is aimed at user interfaces (as VR technology) and the smart environment from human-centered perspective. The development process could become time consuming because in many cases the electrical network, sensory network and other physical elements need to be rebuilt to begin another test. Virtual reality technologies could solve this kind of issues low cost and fast. In this work a CAVE system was used in the comparison of standard approaches.

Virtual-reality technologies in the process of handicapped school children education

Information technologies impact our daily life in many significant ways. Despite this there is a lack of availability of some technologies to the wide public caused by their availability and price. This insufficiency seems to be even bigger for handicapped people. LIRKIS laboratory of Technical university of Košice proposes solutions in education of these people and develops technologies of virtual reality which are capable to fulfill their needs. One such VR technology is a unique CAVE system, which is also available in the LIRKIS laboratory and gives a new dimension for further educational opportunities. The paper describes the technologies and original designs available at LIRKIS and their relation to the handicapped people education.

Jadex/JBdiEmo Emotional Agents in Games with Purpose: a Feasibility Demonstration

The jMonkeyEngine 3D game engine, combined with Jadex agent system and JBdiEmo emotional extension may offer a suitable toolset for effective creation of feature-rich virtual environments, provided that an appropriate interface, allowing to use the full potential of all included components, exists. Then, such environments may profit from the jMonkeyEngine ability to model and simulate the physical world and capability of Jadex and JBdiEmo to express both rational and emotional aspects of characters inhabiting it. One of the meaningful ways of utilization of such environments is to use them as virtual testing grounds for software controllers of various devices, embedded to them. To involve real humans in the testing, they may have a form of a game, where the testing occurs during an interaction between the devices and players. In this paper we present both the interface and the embedding on an emergency simulation game called JFireEmSim2. The primary goal of the player in the game is to rescue a family from a house under fire and the controller embedded into it is of a simple autonomous cleaning robot. The paper describes the architecture of the game, focusing on the interface, implementation of characters as Jadex and JBdiEmo agents and embedding of the controller. It also discusses suitability of the components for the given task. Introduction Kore ko et al. Jadex/JBdiEmo Emotional Agents in Games: a Feasibility Demonstration 196 SNE 26(4) – 12/2016 TN 1 The Platform 1.1 Jadex Kore ko et al. Jadex/JBdiEmo Emotional Agents in Games: a Feasibility Demonstration SNE 26(4) – 12/2016 197 T N 1.2 JBdiEmo Figure 1: OCC to BDI mapping as implemented in JBdiEmo. 1.3 jMonkeyEngine 1.4 Jadex 3D visualization interface