629 research outputs found
Zero-gravity movement studies
The use of computer graphics to simulate the movement of articulated animals and mechanisms has a number of uses ranging over many fields. Human motion simulation systems can be useful in education, medicine, anatomy, physiology, and dance. In biomechanics, computer displays help to understand and analyze performance. Simulations can be used to help understand the effect of external or internal forces. Similarly, zero-gravity simulation systems should provide a means of designing and exploring the capabilities of hypothetical zero-gravity situations before actually carrying out such actions. The advantage of using a simulation of the motion is that one can experiment with variations of a maneuver before attempting to teach it to an individual. The zero-gravity motion simulation problem can be divided into two broad areas: human movement and behavior in zero-gravity, and simulation of articulated mechanisms
Synthesis and Analysis of Product-form Petri Nets
For a large Markovian model, a "product form" is an explicit description of
the steady-state behaviour which is otherwise generally untractable. Being
first introduced in queueing networks, it has been adapted to Markovian Petri
nets. Here we address three relevant issues for product-form Petri nets which
were left fully or partially open: (1) we provide a sound and complete set of
rules for the synthesis; (2) we characterise the exact complexity of classical
problems like reachability; (3) we introduce a new subclass for which the
normalising constant (a crucial value for product-form expression) can be
efficiently computed.Comment: This is a version including proofs of the conference paper: Haddad,
Mairesse and Nguyen. Synthesis and Analysis of Product-form Petri Nets.
Accepted at the conference Petri Nets 201
- …