Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Virtual Work for a System of Connected Rigid Bodies01:06

Virtual Work for a System of Connected Rigid Bodies

Virtual work is a powerful method used to solve problems involving several connected rigid bodies. When the system is in equilibrium, virtual work is zero. This allows the calculation of the resulting forces when a system undergoes a virtual displacement. When attempting to analyze such a system, first, use a free-body diagram, where an independent coordinate represents the configuration of the links, and mark its deflected position resulting from the positive virtual displacement.
Next,...
Mesh Analysis01:20

Mesh Analysis

Mesh analysis is a valuable method for simplifying circuit analysis using mesh currents as key circuit variables. Unlike nodal analysis, which focuses on determining unknown voltages, mesh analysis applies Kirchhoff's voltage law (KVL) to find unknown currents within a circuit. This method is particularly convenient in reducing the number of simultaneous equations that need to be solved.
A fundamental concept in mesh analysis is the definition of meshes and mesh currents. A mesh is a closed...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Regulation of the EDG84A gene by FTZ-F1 during metamorphosis in Drosophila melanogaster.

Molecular and cellular biology·1996
Same author

Stereopsis with normal and reversed binocular parallax using a head mounted display in normal and strabismic subjects.

Ergonomics·1996
Same author

Follistatin and activin in bone: expression and localization during endochondral bone development.

Endocrinology·1996
Same author

Adenomatoid serous hyperplasia of sublingual gland: a case report.

Oral surgery, oral medicine, oral pathology, oral radiology, and endodontics·1996
Same author

Intracellular Na+ regulates transcription of the ntp operon encoding a vacuolar-type Na+-translocating ATPase in Enterococcus hirae.

The Journal of biological chemistry·1996
Same author

Changes in oxytocin receptor mRNA in the rat uterus measured by competitive reverse transcription-polymerase chain reaction.

The Journal of endocrinology·1996

Related Experiment Video

Updated: Jul 7, 2026

A Networked Desktop Virtual Reality Setup for Decision Science and Navigation Experiments with Multiple Participants
06:28

A Networked Desktop Virtual Reality Setup for Decision Science and Navigation Experiments with Multiple Participants

Published on: August 26, 2018

Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments.

Y Zhou1, T Murata, T A Defanti

  • 1Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL.

IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society
|February 7, 2008
PubMed
Summary

This study introduces formal methods for designing networked virtual environments (net-VEs). Applying extended fuzzy-timing Petri nets to the NICE system predicts and improves performance, addressing challenges in concurrency and real-time interactions.

Related Experiment Videos

Last Updated: Jul 7, 2026

A Networked Desktop Virtual Reality Setup for Decision Science and Navigation Experiments with Multiple Participants
06:28

A Networked Desktop Virtual Reality Setup for Decision Science and Navigation Experiments with Multiple Participants

Published on: August 26, 2018

Area of Science:

  • Computer Science
  • Virtual Reality
  • Formal Methods

Background:

  • Networked virtual environments (net-VEs) present design challenges due to concurrency, real-time, and networking demands.
  • Current net-VE design relies on empirical, trial-and-error methods lacking formal rigor.
  • High quality-of-service (QoS) is crucial for natural, real-time user interactions in net-VEs.

Purpose of the Study:

  • To apply formal modeling techniques to networked virtual environments (net-VEs) for improved design and performance prediction.
  • To introduce and utilize extended fuzzy-timing Petri nets (EFTN) for analyzing net-VEs.
  • To enhance the design and performance of the NICE (narrative immersive constructionist/collaborative environment) system.

Main Methods:

  • Introduced extended fuzzy-timing Petri net (EFTN) modeling and analysis techniques.
  • Developed EFTN models for the CAVE (CAVE automatic virtual environment), NICE, and Transmission Control Protocol (TCP).
  • Utilized Design/CPN simulation tool to analyze EFTN models, focusing on real-time behavior, network effects, latencies, and jitters.

Main Results:

  • Demonstrated the possibility analysis of the CAVE system using EFTN models.
  • Conducted simulations to study the real-time behavior and network performance of NICE.
  • Simulation results for NICE performance, including latencies and jitters, were consistent with experimental data.

Conclusions:

  • Formal modeling with EFTN provides a viable approach for designing and analyzing complex net-VEs like NICE.
  • The proposed method allows for performance prediction and optimization, moving beyond empirical design practices.
  • This work contributes to more robust and efficient development of networked virtual environments.