An Application of FORMAC to the Computation of Coverage Functions.
A new method of computing coverage functions (target coverage functions when the subject is weapon effectiveness). Such functions usually cannot be evaluated exactly and require approximation or Monte Carlo methods to compute. The new approach, due to Mario L. Juncosa, uses a new set of damage functions that are both empirically realistic and mathematically tractable enough to allow fairly complicated integrals to be evaluated directly. It is implemented on the computer by means of PL/I-FORMAC, the IBM-written symbolic mathematical compiler (Formula Manipulation Compiler), illustrating how FORMAC may be used for real-world problems whose solutions are cumbersome. In this first application, the common problem of "expression swell" did not arise, the simplest case provided a fairly good approximation to the final answer, and the core storage and computing time required were minimal. 27 pp. Ref. (MW)