A n interactive computer aid for designing log/ca/networks representing air-traffic-control systems is described. Parallel activity streams can be described, the network functions being represented by CORAL procedures and by hierarchical sets of subnetworks. Dynamic visual checks can be made of syst
The use of man-machine simulation for support planning
β Scribed by Murray A. Geisler
- Publisher
- John Wiley and Sons
- Year
- 1960
- Tongue
- English
- Weight
- 571 KB
- Volume
- 7
- Category
- Article
- ISSN
- 0894-069X
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
Support planning under present conditions of rapid exploitation of technological advances to maintain the most advanced weapon inventory creates many new stresses for planning the support of these new weapons. In addition, support planning has always been incomplete in that there has not been a systematic way of adjusting plans to reflect operational experience.
The second major experiment of the RAND Logistics Systems Laboratory has produced techniques of support planning for new weapons which may represent major advances in such activities. This paper describes the conditions under which support planning must be performed in the present and future military environment and the experience of LPβII in performing such planning for an ICBM weapon of the 1963β65 time period, as an example.
π SIMILAR VOLUMES
It is shown that, in a high-resolution coiour graphics workstation environment, graphical descriptions of control systems in the form of block diagrams and signal flow graphs with standard mathematical text make the interface natural and friendly for the user. Manipulation, reduction and transformat
When simulation is intended a s an aid to decision making by individuals or organizations, special problems arise in connection with designing and using the model. This paper defines the use of policy simulation, explores factors related to its application, and suggests implications for model develo
We describe barnacle: a co-operative interface to the clam inductive theorem proving system. For the foreseeable future, there will be theorems which cannot be proved completely automatically, so the ability to allow human intervention is desirable; for this intervention to be productive the problem