This paper explores the formal specification of the physical behaviour of devices “unplugged” from their digital effects. By doing this we seek to better understand the nature of physical interaction and the way this can be exploited to improve the design of hybrid devices with both physical and digital features. We use modified state transition networks of the physical behaviour, which we call...

VIM demonstrates a 3D interactive diagram serving as a radically cooperative user interface to an Underlying Knowledge Base System (UKBS). VIM comprises a Prolog client linked by the In-ternet to a diagram graphics server linked by X/Motif to conventional 2D display hardware. The diagram integrates three concurrent layers of mixed-initiative, direct-manipulation interaction: (i) User-UKBS dialo...

Angular Voronoi diagram was introduced by Asano et al. as fundamental research for a mesh generation. In an angular Voronoi diagram, the edges are curves of degree three. From view of computational robustness we need to treat the curves carefully, because they might have a singularity. We enumerate all the possible types of curves that appear as an edge of an angular Voronoi diagram, which tell...

The Voronoi diagram is a fundamental geometric structure widely used in various fields, especially in computer graphics and geometry computing. For a set of points in a compact domain (i.e. a bounded and closed 2D region or a 3D volume), some Voronoi cells of their Voronoi diagram are infinite or partially outside of the domain, but in practice only the parts of the cells inside the domain are ...

This work presents a probabilistic model for the microscopic simulation of traffic roads based on Nagel-Schreckenberg’s model. Each driver’s behavior is described through the combination of a continuous probability function with an anticipatory feature that leads to a counter flow velocity tunning. The simulations developed and described herein give rise to a phase diagram which resembles and e...

A fundamental problem with the development of courseware is that no instruments exist which enable the likely performance of courseware to be estimated. For such a purpose, the construction of a model of computer-assisted instruction, such as a qualitative block diagram, is essential. The block diagram is then formalized using genera1 systems theory as a framework. The genera1 systems model is ...

Nonlinear dynamic model of the coupled lateral-torsional vibrations of a gear transmission system is developed, in which time-varying gear meshing stiffness, errors, and gaps are considered. The fundamental rules of the system’s multi-harmonic dynamic response have been obtained based on the time domain diagram, frequency domain diagram, phase plot, and Poincaré map. Therefore, estimation of th...