Part of a study undertaken to develop formal methods for investigating the design of optimal radar (and sonar) systems as a totality and in terms of functional elements, in a way that treats the physical model, the system purpose, and the criteria ...