Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system

An input coupling circuit for detuning the Q of a high-Q ferrite rod antenna is disclosed. A high-impedence low-noise amplifier is used to amplify the output signal from the LC resonant tank of the rod antenna. A portion of the amplified signal is fed back directly into the magnetic circuit of the antenna tank. This negative feedback reduces the losses produced in the magnetic circuit due to the presence of nearby conductors. As a result of this reduction, an increase in the antenna sensitivity and a decrease in the cross-feed from other nearby antenna is produced.