Construction of dynamic stochastic simulation models using knowledge-based techniques

Over the past three decades, computer-based simulation models have proven themselves to be cost-effective alternatives to the more structured deterministic methods of systems analysis. During this time, many techniques, tools and languages for constructing computer-based simulation models have been developed. More recently, advances in knowledge-based system technology have led many researchers to note the similarities between knowledge-based programming and simulation technologies and to investigate the potential application of knowledge-based programming techniques to simulation modeling. The integration of conventional simulation techniques with knowledge-based programming techniques is discussed to provide a development environment for constructing knowledge-based simulation models. A comparison of the techniques used in the construction of dynamic stochastic simulation models and those used in the construction of knowledge-based systems provides the requirements for the environment. This leads to the design and implementation of a knowledge-based simulation development environment. These techniques were used in the construction of several knowledge-based simulation models including the Advanced Launch System Model (ALSYM)

Knowledge-based simulation

An architecture for a knowledge-based simulator is described. The task of scheduling represents an area in which such a tool might be applied. More specifically, scheduling for crew and ground support activities for the shuttle and space station would benefit from the application of knowledge-based simulation. The knowledge-based simulator would allow the crew and support personnel to schedule and reschedule activities in a timely and flexible manner in order to examine and test possible plans

An AI approach for scheduling space-station payloads at Kennedy Space Center

The Payload Processing for Space-Station Operations (PHITS) is a prototype modeling tool capable of addressing many Space Station related concerns. The system's object oriented design approach coupled with a powerful user interface provide the user with capabilities to easily define and model many applications. PHITS differs from many artificial intelligence based systems in that it couples scheduling and goal-directed simulation to ensure that on-orbit requirement dates are satisfied

Design of a simulation environment for laboratory management by robot organizations

This paper describes the basic concepts needed for a simulation environment capable of supporting the design of robot organizations for managing chemical, or similar, laboratories on the planned U.S. Space Station. The environment should facilitate a thorough study of the problems to be encountered in assigning the responsibility of managing a non-life-critical, but mission valuable, process to an organized group of robots. In the first phase of the work, we seek to employ the simulation environment to develop robot cognitive systems and strategies for effective multi-robot management of chemical experiments. Later phases will explore human-robot interaction and development of robot autonomy

Knowledge-based simulation model for performance analysis and reliability of computer networks

Modeling and analysis of performance of computer networks is essential for ensuring smooth operation of an organization\u27s networks and preventing major failures. Mathematical analysis and simulation modeling are the common procedures for network system performance analysis. In this paper, a knowledge-based simulation model is developed that can be used for predicting network performance and reliability

TEMPORAL LOGIC AS A SIMULATION LANGUAGE

We advocate the use of temporal logic instead of the first-order logic in rules of knowledge-based simulation systems. We argue that this provides several advantages that will be discussed in the paper. We show how temporal logic is used in simulation by considering language PTL based on temporal logic programming.Information Systems Working Papers Serie

EXTENDING TEMPORAL LOGIC TO SUPPORT HIGH-LEVEL SIMULATIONS

A high-level simulation language based on temporal logic is described. The language combines a large set of temporal tenses and a rich class of high-level modeling primitives. Also an implementation of the language interpreter is presented. Finally. a real-world case study is described that shows how a programmer can develop structured, reliable, and well-maintainable simulation programs using the language.Information Systems Working Papers Serie

Integrated knowledge-based hierarchical modelling of manufacturing organizations

The objective of this thesis is to research into an integrated knowledge-based simulation method, which combines the capability of knowledge based simulation and a structured analysis method, for the design and analysis of complex and hierarchical manufacturing organizations. This means manufacturing organizations analysed according to this methodology can manage the tactical and operational planning as well as the direct operation of shop floor. [Continues.