Two-dimensional simulations of the Richtmyer-Meshkov instability with re-shock are carried out based on the single-mode Mach 1.21 air/SF6 shock tube experiments of Collins and Jacobs. A second-order accurate MUSCL-Hancock scheme and several high-order WENO schemes are used for shock capturing along with a gamma-based model for interface capturing to allow for the stable and accurate representat...

Two-phase flows with dynamic interfaces are ubiquitous in daily life as well as in many industrial applications. Gas bubbles and liquid droplets are typical forms of these twophase flows. In chemical engineering, understanding the dynamics of these bubbles and droplets is crucial to the design and operation of the two-phase flow reactors, ranging from microfluidic devices to large systems such ...

Interface Definition Languages (IDLs) such as CORBA IDL/CIDL lack mechanisms for capturing semantic aspects of software components, such as their interaction protocols. This often poses significant problems for ensuring the behavioural interoperability between components in designing component-based systems. This situation is even more complicated where third-party components are involved. Our ...

In this paper, we present a comparison framework of two proposed approaches for modeling interactive systems using scenarios as defined by the Unified Modeling Language (UML). Scenarios are first transformed into partial specifications and merged to obtain a global specification capturing the behavior of an object of the system or the behavior of the entire system. From the global specification...

Haptic interfaces, which allow a user to touch virtual and remote environments through a hand-held tool, have opened up exciting new possibilities for applications such as computer-aided design and robot-assisted surgery. Unfortunately, the haptic renderings produced by these systems seldom feel like authentic recreations of the richly varied surfaces one encounters in the real world. We have t...

Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based system suffers from the scalability issues inherent in exhaustive techniques such as model checking. This work develops a theoretical framework and automated algorithms for modular verification of interface automata. ...

There are currently automatic evaluation tools the purpose of which is to implement the knowledge gained by ergonomics experts, with a view to enabling nonexperts and particularly user interface designers themselves to carry out this evaluation. Capturing the description of the User Interface to evaluate automatically this interface is one of the main objectives of these automatic evaluation to...