Animation virtual reality scene modeling based on complex embedded system and FPGA

2021 ◽  
Vol 80 ◽  
pp. 103632
Author(s):  
Kai Zhang
Keyword(s):  
Virtual Reality ◽  
Embedded System ◽  
Scene Modeling

Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

2007 ◽  
pp. 28-54
Author(s):  
Hyggo Almeida ◽  
Leandro Silva ◽  
Glauber Ferreira ◽  
Emerson Loureiro ◽  
Angelo Perkusich
Keyword(s):  
Virtual Reality ◽  
Embedded System ◽  
Petri Nets ◽  
Formal Methods ◽  
Software Tool ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Validation And Verification ◽  
Verification Techniques

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.

Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

2009 ◽  
pp. 3361-3380
Author(s):  
Hyggo Oliveira de Almeida ◽  
Leandro Silva ◽  
Glauber Ferreira ◽  
Emerson Loureiro ◽  
Angelo Perkusich
Keyword(s):  
Virtual Reality ◽  
Embedded System ◽  
Petri Nets ◽  
Formal Methods ◽  
Software Tool ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Validation And Verification ◽  
Verification Techniques

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.

scholarly journals Visualization of multidimensional numerical arrays of solid-state objects

2013 ◽  
Vol 54 ◽  
Author(s):  
Olegas Ramašauskas
Keyword(s):  
Image Processing ◽  
Virtual Reality ◽  
Embedded System ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Computational Mathematics ◽  
Computer Screen ◽  
Visual Objects ◽  
Programming Tools ◽  
System Components

This article is intended for math and computer science subjects study deepening and understanding of multidimensional computer graphics environment. The paper describes multidimensional numeric arrays visualization using object-oriented programming tools. The method allows the multidimensional numeric arrays stored data to simulate virtual reality products which, in turn, can become the reference now intensively developed new embedded system components. Shown an another option to simulate the multidimensional visual objects that may be transformed from capturing or graphically present on the computer screen using a new computational mathematics packages for solving advancedcomputer graphics tasks. It seems comfortable to use new estimated mathematics programs and packages, which already are enriched with digital image processing tools, allowing create a various objects of the real world.

Implementation and Optimization of Transmission Line 3d Scene Based on VR

2014 ◽  
Vol 668-669 ◽  
pp. 695-698
Author(s):  
Feng Jie Sun ◽  
Hui Juan Liu ◽  
He Chen
Keyword(s):  
Virtual Reality ◽  
Transmission Line ◽  
Transmission Lines ◽  
Experimental Results ◽  
Modeling Language ◽  
Scene Modeling ◽  
Virtual Reality Modeling Language ◽  
Safety And Reliability ◽  
Optimized Model ◽  
3D Scene

This paper describes the influences of transmission line on the safety and reliability of grid, and illustrates the necessary of visual management of transmission lines. Virtual 3d scene modeling method is introduced in detail, including Virtual 3d scene modeling and virtual 3d entity modeling. According to the characteristics of transmission line, the 3d scene of transmission line ia designed and implemented. At last, Virtual reality modeling language (VRML) is used to complete the optimization of the established model and the experimental results show that the data size of the optimized model has reduced considerably.

Top-Down Processing and Visual Reorientation Illusions in a Virtual Reality Environment

2004 ◽  
Vol 63 (3) ◽  
pp. 143-149 ◽  
Author(s):  
Fred W. Mast ◽  
Charles M. Oman
Keyword(s):  
Virtual Reality ◽  
Visual Processing ◽  
Line Length ◽  
Perceptual Cues ◽  
Virtual Reality Environment ◽  
Top Down ◽  
Test Conditions ◽  
The Subject ◽  
Processing Mechanisms

The role of top-down processing on the horizontal-vertical line length illusion was examined by means of an ambiguous room with dual visual verticals. In one of the test conditions, the subjects were cued to one of the two verticals and were instructed to cognitively reassign the apparent vertical to the cued orientation. When they have mentally adjusted their perception, two lines in a plus sign configuration appeared and the subjects had to evaluate which line was longer. The results showed that the line length appeared longer when it was aligned with the direction of the vertical currently perceived by the subject. This study provides a demonstration that top-down processing influences lower level visual processing mechanisms. In another test condition, the subjects had all perceptual cues available and the influence was even stronger.

Sign in / Sign up

Export Citation Format

Share Document