Showing papers on "Verification and validation of computer simulation models published in 1977"

Computer Simulation: a Tutorial

Abstract: Simulation has been described by Shannon1as "the process of designing a computerized model of a system (or process) and conducting experiments with this model for the purpose either of understanding the behavior of the system or of evaluating various strategies for the operation of the system." It follows from this definition that we must concern ourselves with a precise formulation of the system to be studied, translation of this formulation into a computer program, and interpretation and use of the simulation results.

Stochastic simulation as a validation tool for econometric models

Abstract: The complete validation of an econometric model is a process which involves a formidable number of activities in the various steps of model building, like economic structure specification, test of hypothesis and parameter estimation, simulation behaviour and decision making. Our attention will be mainly focussed on some aspects related to simulation and decision making; in particular, the purpose of this paper is to analyze some problems of the validation process for which stochastic simulation can be profitably used.

Validation and verification aspects of information modeling

Abstract: The problem of designing a valid and consistent information model for a data base is examined. An information model is considered valid if it, from the user point of view, adequatly represents the relevant portion of reality and if it has an acceptable evolution tolerance. A consistent model has components which, at any time, satisfy certain interdependence constraints. After an outline of the design process in general and a discussion of some of its major problems we introduce four 'facets' of existing conceptual bases for information modeling. These are (1) Abstraction levels, (2) Degree of integration, (3) Scope of the model and (4) Time perspective. The second half of the paper offers some thoughts on the effect that these four facets may have on information model validation and consistency verification.

Review of road traffic network simulation models

Abstract: Proposals for computer traffic simulation data from 1951, and the first actual documented simulation was performed in 1955 on an analog computer. Since that time, many simulation models have been developed as knowledge of traffic principles has increased and computer facilities have improved. Such traffic simulation models may be placed in three groups: single road, single intersection, and traffic network. This paper discusses only the last. Nineteen network simulation models are discussed. These are grouped into ten obsolete models, six traffic network models suitable for current computers, and the simulation portions of three signal optimization programs. A brief description of the operating principles and unique features of each model is given, and the level of modeling detail, model flexibility, and usefulness of the output are assessed. Validation efforts on the model are considered, and, where known, computer language, type of machine, core requirements, and speed of execution are given. /Author/

Simulation modeling workshop

Abstract: This paper reviews the fundamentals of computer simulation modeling. Simulation is viewed here as a technique for the experimental manipulation of a model of a real-world system, drawing heavily upon computer science, mathematics, probability and statistics. Simulation involves modeling the entities in a physical system and the activities in which those entities engage. It affords the opportunity to construct ideally configured systems and select optimum system operating conditions on the basis of results obtained by simulating such configurations and conditions on a digital computer. Models of some simple material handling systems are used to illustrate the simulation concepts presented here.

Validation of human body modeling for dynamic simulation

Abstract: The two purpose of this paper are to discuss the state of the art of correlation and validation of mathematical crash victim simulators and to describe recently developed software, the Validation Control Language or VCL, which is designed to aid the user as he conducts correlation or validation studies. /SRIS/