We propose a framework for deductive logic program synthesis from the first order specification in conjunction with the definition of total correctness for a synthesized program. The necessity of such definition comes from the fact that logic program synthesis is aimed at a nondeterministic program that computes a relation so that conventional definition of total correctness for the synthesized program, i.e. partial correctness termination seems inappropriate. The point of our approach is the derivation of comp(s), completed definition of a target program S, from the given specification. It enables us to verify the total correctness of a synthesized program. The verification method is based on the recent result about negation as failure rule". Two derivation examples are given.

The radiation patterns of wire antennas on an automobile are studied at FM radio frequencies in the presence of the earth. The computational technique is besed on the wire-grid method and the reflection coefficient method. The antennas considered are a vertical monopole and a horizontal dipole mounted on the roof side and the rear window of the body, respectively. It is verified from experimental studies that the computation of the radiation pattern is reasonably accurate. Because of the effect of the body and the earth, in the case of the vertical monopole, a large component of the cross-polarized field and the lobes are generated; and in the case of the horizontal dipole, the direction of the maximum radiation faces nearly to the zenith and the radiation field becomes very weak. The computational technique and the results obtained are useful in the design of the automobile antenna system for an FM radio.

In a radar system, it is well known that the conventional and logarithmic CFAR techniques after a square-law detector are effective for Rayleigh clutter. To apply these CFAR techniques to practical radar systems with a linear detector, the false-alarm probability was calculated by a Monte Carlo simulation on a computer for a finite number of samples N. It is concluded that the conventional CFAR receiver is superior to the logarithmic CFAR receiver.