AN APPLICATION OF FORMAC TO THE COMPUTATION OF COVERAGE FUNCTIONS,
Abstract
The Paper deals with a method of evaluating coverage functions, significantly different from existing methods in two respects: First, the method uses a new set of damage functions that are on the one hand empirically realistic, and on the other hand are sufficiently mathematically tractable to allow fairly complicated integrals to be evaluated exactly. Second, the method is implemented on the computer by means of FORMAC, the IBM written symbolic mathematical compiler. This second aspect, which will be the primary concern of this Paper, is an interesting example of how FORMAC may be used when the application of a mathematical approach to an actual 'real world' problem requires cumbersome and involved computations. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1970
- Accession Number
- AD0712697
Entities
People
- Samuel D. Oman
Organizations
- RAND Corporation