This paper presents the development of a realistic driving simulator and its use in the study of driving education methods. In this study, a large set of persons without driving license will be used. Each person will be submitted to a driving course that may include driving lessons in a real car and / or in the driving simulator. The realism used in the simulation can be adjusted between the cl...

Our work features an ontology-supported framework for developing a qualitative simulator for explaining the behaviors of selected sample of organic chemistry reactions. The design of the simulator uses Qualitative Reasoning (QR), and in particular, Qualitative Process Theory (QPT) for constructing qualitative models and the simulation of basic steps in the chemical reactions such as creating an...

The paper implements an automated test system for evaluating flight simulator fidelity. Flight simulator fidelity is determined by direct comparison to flight test, the detailed design process and arithmetic are given. These problems about how to measure simulator fidelity and about how much fidelity is required to guarantee a certain level of transfer of training is solved. The automated test ...

We are in the process of building a large-scale peer -to-peer simulator. In this paper, we discuss common aspects of existing peer-to-peer systems that required our attention in the design of our simulator. We provide details on peer-to-peer classification, network topologies, evolution, event handling and communication. We also describe features that figured prominently in the design of our si...

We are in the process of building a large-scale peer -to-peer simulator. In this paper, we discuss common aspects of existing peer-to-peer systems that required our attention in the design of our simulator. We provide details on peer-to-peer classification, network topologies, evolution, event handling and communication. We also describe features that figured prominently in the design of our si...

This paper describes a simulator for SDL, a formal description technique for distributed, concurrent, communicating systems. The simulator consists of three main components: the translator, the activator, and the process execution and interleaving mechanism. All components are written in a subset of Common Lisp, and their desired properties are proved in ACL2. The simulator is intended as a bas...

RAISE is a research project aimed at building a framework and platform that supports the integration of multiple existing models, simulations, and data. The grand challenge is to facilitate the process of pulling the independently created models together. In our approach, RAISE, we explore a reflective middleware to address challenges of integrated simulation environments in which interoperabil...

Process simulators are a key software tool used in the fluid processing industries for day to day process calculations, for process design, for process optimization and for the debottlenecking of existing processes. Current commercial process simulators do not provide the simulator’s source code; the users must rely on a closed black-box approach for the unit process models. This historical app...