Cover: An Application of FORMAC to the Computation of Coverage Functions.

An Application of FORMAC to the Computation of Coverage Functions.

Published 1970

by S. D. Oman

Purchase Print Copy

 Format Price
Add to Cart Paperback27 pages $20.00

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)

This report is part of the RAND paper series. The paper was a product of RAND from 1948 to 2003 that captured speeches, memorials, and derivative research, usually prepared on authors' own time and meant to be the scholarly or scientific contribution of individual authors to their professional fields. Papers were less formal than reports and did not require rigorous peer review.

This document and trademark(s) contained herein are protected by law. This representation of RAND intellectual property is provided for noncommercial use only. Unauthorized posting of this publication online is prohibited; linking directly to this product page is encouraged. Permission is required from RAND to reproduce, or reuse in another form, any of its research documents for commercial purposes. For information on reprint and reuse permissions, please visit

RAND is a nonprofit institution that helps improve policy and decisionmaking through research and analysis. RAND's publications do not necessarily reflect the opinions of its research clients and sponsors.