A mathematical model for integrated diagnostics

The authors expand on the form of the information flow model they introduced previously, (see ibid., vol.8, no.3, p.16-30 (1991)). Compiling the model requires three algorithms for determining higher-order relationships. One of these, the algorithm for computing logical closure, helps to simplify the modeling task. The authors also introduce a hypothetical antitank missile launcher to illustrate concepts and computations presented previously.<
>