Michael William Haney

Acousto-Optic Techniques For Real Time SAR Imaging

Recent advancements in the development of the Real Time Acousto-optic SAR Processor are presented. In particular, the technique for introducing the azimuth reference function into the processor via an acousto-optic Bragg cell is discussed. This approach permits the reference function to be stored in electronic memory, thus giving the processor the flexibility needed to adapt rapidly to changes in the radar/target geometry. The architecture is described and results are presented which show the applicability of the technique to both spot-light and strip-map SAR.

Optical Techniques For Increasing The Efficiency Of Tree Search Algorithms

Artificial Intelligence problems are often formulated as search trees. These problems suffer from exponential growth of the solution space with problem size. Consequently, solutions based on exhaustive search are generally impractical. To overcome the combinatorial explosion, forward-checking techniques are employed to prune the search space down to a manageable size before or during the actual search procedure. Boolean matrices are a natural data representation for those problems in which the initial problem information is given in the form of a set of binary constraints. In this paper optical implementations of Boolean matrix operations are described for manipulating the constraint matrices to perform forward-checking and thereby increase the search efficiency. Architectural issues affecting the speed of these techniques are discussed.