The specific objective of this paper is to develop a fully implicit compositional simulator for modeling asphaltene deposition during natural depletion. In this study, a mathematical model for asphaltene deposition modeling is presented followed by the solution approach using the fully implicit scheme. A thermodynamic model for asphaltene precipitation and the numerical methods for performing f...

The uniform verification problem for parameterized systems is to determine whether a temporal property is true for every instance of the system which is composed of an arbitrary number of homogeneous processes. We consider some aspects of the inductionbased technique which assumes the construction of finite invariants of such systems. An invariant process is one which is greater (with respect t...

The uniform verification problem for parameterized systems is to determine whether a temporal property is true for every instance of the system which is composed of an arbitrary number of homogeneous processes. We consider some aspects of the inductionbased technique which assumes the construction of finite invariants of such systems. An invariant process is one which is greater (with respect t...

This paper shows a distributed simulation framework for tactical training in networked virtual environment. The existing military training simulation systems are mostly full simulated systems operating on single platform. They are to train individual’s operation skill, but don’t support team level tactical training. In order to train team level combat and command skill in dynamic battlefield, t...

We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of 12, 7] and the phase transition system models of 15, 2], allows communication among components using both shared variables and shared actions. The main contributions of this paper are: (1) the deenition of hybrid I/O automata ...

This paper shows a distributed simulation framework for tactical training in Networked Virtual Environment (NVE). These days the NVE technology for an operational tactical training system plays a significant role in military training courses. The existing military training simulation systems are mostly full simulated systems operating on single platform. They are to train individual’s operation...

We present a study of the notion of coalgebraic simulation introduced by Hughes and Jacobs. Although in their original paper they allow any functorial order in their definition of coalgebraic simulation, for the simulation relations to have good properties they focus their attention on functors with orders which are strongly stable. This guarantees a so-called “composition-preserving” property ...

The World Wide Web has had an huge influence on the computing field in general as well as simulation in particular (e.g., Web-Based Simulation). A new wave of development based upon XML has started. Two of the most interesting aspects of this development are the Semantic Web and Web Services. This paper examines the synergy between Web service technology and simulation. In one direction, Web se...

This paper presents the architecture design of the robot operability assessment simulation testbed (called "ROAST") for the resolution of robot operability problems occurred during interactions between human operators and robots. The basic idea of the ROAST architecture design is to enable the easy composition of legacy or new simulation models according to its purpose. ROAST architecture is ba...

To enhance models for refinery processes it seems inevitable to increase the level of compositional detail to a much higher level than today. In previous work, we have developed a simulation technique for steady-state simulation, which pays respect to the particularities of this type of detailed composition models. With this new technique, it seems to be possible to significantly lower the comp...