Interferometric Synthetic Aperture Sonar Signal Processing for Autonomous Underwater Vehicles Operating Shallow Water

The goal of the research was to develop best practices for image signal processing method for InSAS systems for bathymetric height determination. Improvements over existing techniques comes from the fusion of Chirp-Scaling a phase preserving beamforming techniques to form a SAS image, an interferometric Vernier method to unwrap the phase; and confirming the direction of arrival with the MUltiple SIgnal Channel (MUSIC) estimation technique. The fusion of Chirp-Scaling, Vernier, and MUSIC lead to the stability in the bathymetric height measurement, and improvements in resolution. This method is computationally faster, and used less memory then existing techniques

Three Dimensional Bistatic Tomography Using HDTV

The thesis begins with a review of the principles of diffraction and reflection tomography; starting with the analytic solution to the inhomogeneous Helmholtz equation, after linearization by the Born approximation (the weak scatterer solution), and arriving at the Filtered Back Projection (Propagation) method of reconstruction. This is followed by a heuristic derivation more directly couched in the radar imaging context, without the rigor of the general inverse problem solution and more closely resembling an imaging turntable or inverse synthetic aperture radar. The heuristic derivation leads into the concept of the line integral and projections (the Radon Transform), followed by more general geometries where the plane wave approximation is invalid. We proceed next to study of the dependency of reconstruction on the space-frequency trajectory, combining the spatial aperture and waveform. Two and three dimensional apertures, monostatic and bistatic, fully and sparsely sampled and including partial apertures, with controlled waveforms (CW and pulsed, with and without modulation) define the filling of k-space and concomitant reconstruction performance. Theoretical developments in the first half of the thesis are applied to the specific example of bistatic tomographic imaging using High Definition Television (HDTV); the United States version of DVB-T. Modeling of the HDTV waveform using pseudonoise modulation to represent the hybrid 8VSB HDTV scheme and the move-stop-move approximation established the imaging potential, employing an idealized, isotropic 18 scatterer. As the move-stop-move approximation places a limitation on integration time (in cross correlation/pulse compression) due to transmitter/receiver motion, an exact solution for compensation of Doppler distortion is derived. The concept is tested with the assembly and flight test of a bistatic radar system employing software-defined radios (SDR). A three dimensional, bistatic collection aperture, exploiting an elevated commercial HDTV transmitter, is focused to demonstrate the principle. This work, to the best of our knowledge, represents a first in the formation of three dimensional images using bistatically-exploited television transmitters

Radar Imaging in Challenging Scenarios from Smart and Flexible Platforms

undefine

Coherent Change Detection Under a Forest Canopy

Coherent change detection (CCD) is an established technique for remotely monitoring landscapes with minimal vegetation or buildings. By evaluating the local complex correlation between a pair of synthetic aperture radar (SAR) images acquired on repeat passes of an airborne or spaceborne imaging radar system, a map of the scene coherence is obtained. Subtle disturbances of the ground are detected as areas of low coherence in the surface clutter. This thesis investigates extending CCD to monitor the ground in a forest. It is formulated as a multichannel dual-layer coherence estimation problem, where the coherence of scattering from the ground is estimated after suppressing interference from the canopy by vertically beamforming multiple image channels acquired at slightly different grazing angles on each pass. This 3D SAR beamforming must preserve the phase of the ground response. The choice of operating wavelength is considered in terms of the trade-off between foliage penetration and change sensitivity. A framework for comparing the performance of different radar designs and beamforming algorithms, as well as assessing the sensitivity to error, is built around the random-volume-over-ground (RVOG) model of forest scattering. If the ground and volume scattering contributions in the received echo are of similar strength, it is shown that an L-band array of just three channels can provide enough volume attenuation to permit reasonable estimation of the ground coherence. The proposed method is demonstrated using an RVOG clutter simulation and a modified version of the physics-based SAR image simulator PolSARproSim. Receiver operating characteristics show that whilst ordinary single-channel CCD is unusable when a canopy is present, 3D SAR CCD permits reasonable detection performance. A novel polarimetric filtering algorithm is also proposed to remove contributions from the ground-trunk double-bounce scattering mechanism, which may mask changes on the ground near trees. To enable this kind of polarimetric processing, fully polarimetric data must be acquired and calibrated. Motivated by an interim version of the Ingara airborne imaging radar, which used a pair of helical antennas to acquire circularly polarised data, techniques for the estimation of polarimetric distortion in the circular basis are investigated. It is shown that the standard approach to estimating cross-talk in the linear basis, whereby expressions for the distortion of reflection-symmetric clutter are linearised and solved, cannot be adapted to the circular basis, because the first-order effects of individual cross-talk parameters cannot be distinguished. An alternative approach is proposed that uses ordinary and gridded trihedral corner reflectors, and optionally dihedrals, to iteratively estimate the channel imbalance and cross-talk parameters. Monte Carlo simulations show that the method reliably converges to the true parameter values. Ingara data is calibrated using the method, with broadly consistent parameter estimates obtained across flights. Genuine scene changes may be masked by coherence loss that arises when the bands of spatial frequencies supported by the two passes do not match. Trimming the spatial-frequency bands to their common area of support would remove these uncorrelated contributions, but the bands, and therefore the required trim, depend on the effective collection geometry at each pixel position. The precise dependence on local slope and collection geometry is derived in this thesis. Standard methods of SAR image formation use a flat focal plane and allow only a single global trim, which leads to spatially varying coherence loss when the terrain is undulating. An image-formation algorithm is detailed that exploits the flexibility offered by back-projection not only to focus the image onto a surface matched to the scene topography but also to allow spatially adaptive trimming. Improved coherence is demonstrated in simulation and using data from two airborne radar systems.Thesis (Ph.D.) -- University of Adelaide, School of Electrical & Electronic Engineering, 202

Sparsity driven ground moving target indication in synthetic aperture radar

Synthetic aperture radar (SAR) was first invented in the early 1950s as the remote surveillance instruments to produce high resolution 2D images of the illuminated scene with weather-independent, day-or-night performance. Compared to the Real Aperture Radar (RAR), SAR is synthesising a large virtual aperture by moving a small antenna along the platform path. Typical SAR imaging systems are designed with the basic assumption of a static scene, and moving targets are widely known to induce displacements and defocusing in the formed images. While the capabilities of detection, states estimation and imaging for moving targets with SAR are highly desired in both civilian and military applications, the Ground Moving Target Indication (GMTI) techniques can be integrated into SAR systems to realise these challenging missions. The state-of-the- art SAR-based GMTI is often associated with multi-channel systems to improve the detection capabilities compared to the single-channel ones. Motivated by the fact that the SAR imaging is essentially solving an optimisation problem, we investigate the practicality to reformulate the GMTI process into the optimisation form. Furthermore, the moving target sparsities and underlying similarities between the conventional GMTI processing and sparse reconstruction algorithms drive us to consider the compressed sensing theory in SAR/GMTI applications. This thesis aims to establish an end-to-end SAR/GMTI processing framework regularised by target sparsities based on multi-channel SAR models. We have explained the mathematical model of the SAR system and its key properties in details. The common GMTI mechanism and basics of the compressed sensing theory are also introduced in this thesis. The practical implementation of the proposed framework is provided in this work. The developed model is capable of realising various SAR/GMTI tasks including SAR image formation, moving target detection, target state estimation and moving target imaging. We also consider two essential components, i.e. the data pre-processing and elevation map, in this work. The effectiveness of the proposed framework is demonstrated through both simulations and real data. Given that our focus in this thesis is on the development of a complete sparsity-aided SAR/GMTI framework, the contributions of this thesis can be summarised as follows. First, the effects of SAR channel balancing techniques and elevation information in SAR/GMTI applications are analysed in details. We have adapted these essential components to the developed framework for data pre-processing, system specification estimation and better SAR/GMTI accuracies. Although the purpose is on enhancing the proposed sparsity-based SAR/GMTI framework, the exploitation of the DEM in other SAR/GMTI algorithms may be of independent interest. Secondly, we have designed a novel sparsity-aided framework which integrates the SAR/GMTI missions, i.e. SAR imaging, moving target and background decomposition, and target state estimation, into optimisation problems. A practical implementation of the proposed framework with a two stage process and theoretically/experimentally proven algorithms are proposed in this work. The key novelty on utilising optimisations and target sparsities is explained in details. Finally, a practical algorithm for moving target imaging and state estimation is developed to accurately estimate the full target parameters and form target images with relocation and refocusing capabilities. Compared to the previous processing steps for practical applications, the designed algorithm consistently relies on the exploitation of target sparsities which forms the final processing stage of the whole pipeline. All the developed components contribute coherently to establish a complete sparsity driven SAR/GMTI processing framework

Integration of ground-penetrating radar and gamma-ray detectors for non-intrusive localisation of buried radioactive sources

This thesis reports on the integration of ground-penetrating radar (GPR) and gamma ray detectors to improve the non-intrusive localisation of radioactive wastes buried in porous materials such as soil and concrete. The research was undertaken in two phases. In the first phase, a new non-intrusive technique for retrieving the depth of a buried radioactive source from two-dimensional raster radiation images was developed. The images were obtained by moving a gamma-ray detector in discrete steps on the surface of the material volume in which the source is buried and measuring the gamma spectrum at each step. The depth of the source was then estimated by fitting the intensity values from the measured spectra to an approximate three-dimensional gamma-ray attenuation model. This procedure was first optimised using Monte Carlo simulations and then validated using experiments. The results showed that this method is able to estimate the depth of a 658 kBq caesium-137 point source buried up to 18 cm in each of sand, soil and gravel. However, the use of only gamma-ray data to estimate the depth of the sources requires foreknowledge of the density of the embedding material. This is usually III IV difficult without having recourse to intrusive density estimation methods or historical density values. Therefore, the second phase of the research employed integrated GPR and gamma ray detection to solve this density requirement problem. Firstly, four density models were investigated using a suite of materials and the best model was then used to develop the integration method. Results from numerical simulations showed that the developed integration method can simultaneously retrieve the soil density and the depth and radius of disk-shaped radioactive objects buried up to 20 cm in soil of varying conditions with a elative error of less than 10%. Therefore, the integration method eliminates the need for prior knowledge of the density of the embedding material. This work represents the first time data from these two systems i.e., GPR and gamma-ray detector, will be integrated for the detection and localisation of radioactive sources. Furthermore, the results from the developed methods confirm that an integrated GPR and gamma-ray detector system is a viable tool for non-intrusive localisation of buried radioactive sources. This will enable improved characterisation of buried radioactive wastes encountered during the decommissioning of nuclear sites and facilities

Adaptive Sensing Techniques for Dynamic Target Tracking and Detection with Applications to Synthetic Aperture Radars.

This thesis studies adaptive allocation of a limited set of sensing or computational resources in order to maximize some criteria, such as detection probability, estimation accuracy, or throughput, with specific application to inference with synthetic aperture radars (SAR). Sparse scenarios are considered where the interesting element is embedded in a much larger signal space. Policies are examined that adaptively distribute the constrained resources by using observed measurements to inform the allocation at subsequent stages. This thesis studies adaptive allocation policies in three main directions. First, a framework for adaptive search for sparse targets is proposed to simultaneously detect and track moving targets. Previous work is extended to include a dynamic target model that incorporates target transitions, birth/death probabilities, and varying target amplitudes. Policies are proposed that are shown empirically to have excellent asymptotic performance in estimation error, detection probability, and robustness to model mismatch. Moreover, policies are provided with low computational complexity as compared to state-of-the-art dynamic programming solutions. Second, adaptive sensor management is studied for stable tracking of targets under different modalities. A sensor scheduling policy is proposed that guarantees that the target spatial uncertainty remains bounded. When stability conditions are met, fundamental performance limits are derived such as the maximum number of targets that can be tracked stably and the maximum spatial uncertainty of those targets. The theory is extended to the case where the system may be engaged in tasks other than tracking, such as wide area search or target classification. Lastly, these developed tools are applied to tracking targets using SAR imagery. A hierarchical Bayesian model is proposed for efficient estimation of the posterior distribution for the target and clutter states given observed SAR imagery. This model provides a unifying framework that models the physical, kinematic, and statistical properties of SAR imagery. It is shown that this method generally outperforms common algorithms for change detection. Moreover, the proposed method has the additional benefits of (a) easily incorporating additional information such as target motion models and/or correlated measurements, (b) having few tuning parameters, and (c) providing a characterization of the uncertainty in the state estimation process.PHDElectrical Engineering-SystemsUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/97931/1/newstage_1.pd

Imaging Electrical Properties Using MRI and In Vivo Applications

University of Minnesota Ph.D. dissertation. November 2015. Major: Biomedical Engineering. Advisor: Bin He. 1 computer file (PDF); viii, 137 pages.Electrical properties, namely conductivity and permittivity, describe the interaction of materials with the surrounding electromagnetic field. The electrical properties of biological tissue are associated with many fundamental aspects of tissue, such as cellular and molecular structure, ion concentration, cell membrane permeability, etc. Electrical properties of tissue in vivo can be used as biomarkers to characterize cancerous tissue or provide useful information in applications involving tissue and electromagnetic field. Among many related electrical-property imaging technologies, electrical properties tomography (EPT) is a promising one that noninvasively extracts the in vivo electrical properties with high spatial resolution based on measured B1 field using magnetic resonance imaging (MRI). In this thesis, advanced EPT methods have been developed to improve the imaging quality of conventional EPT. First of all, a multi-channel EPT framework was introduced to release its dependency on a B1 phase assumption and expand its application under high field strength. Secondly, a gradient-based EPT (gEPT) approach was proposed and implemented, showing enhanced robustness against effect of measurement noise and improved performance near tissue boundaries. Using gEPT, high resolution in vivo electrical-property images of healthy human brain were obtained, and an imaging system for rat tumor models was also developed. As a result of malignancy, increased conductivity was captured in tumors using the in vivo animal imaging system. Thirdly, based on EPT theory, quantitative water proton density imaging was proposed using measured B1 field information, provide a new way for estimating water content in tissue for diagnostic and research purpose

Recent Techniques for Regularization in Partial Differential Equations and Imaging

abstract: Inverse problems model real world phenomena from data, where the data are often noisy and models contain errors. This leads to instabilities, multiple solution vectors and thus ill-posedness. To solve ill-posed inverse problems, regularization is typically used as a penalty function to induce stability and allow for the incorporation of a priori information about the desired solution. In this thesis, high order regularization techniques are developed for image and function reconstruction from noisy or misleading data. Specifically the incorporation of the Polynomial Annihilation operator allows for the accurate exploitation of the sparse representation of each function in the edge domain. This dissertation tackles three main problems through the development of novel reconstruction techniques: (i) reconstructing one and two dimensional functions from multiple measurement vectors using variance based joint sparsity when a subset of the measurements contain false and/or misleading information, (ii) approximating discontinuous solutions to hyperbolic partial differential equations by enhancing typical solvers with l1 regularization, and (iii) reducing model assumptions in synthetic aperture radar image formation, specifically for the purpose of speckle reduction and phase error correction. While the common thread tying these problems together is the use of high order regularization, the defining characteristics of each of these problems create unique challenges. Fast and robust numerical algorithms are also developed so that these problems can be solved efficiently without requiring fine tuning of parameters. Indeed, the numerical experiments presented in this dissertation strongly suggest that the new methodology provides more accurate and robust solutions to a variety of ill-posed inverse problems.Dissertation/ThesisDoctoral Dissertation Mathematics 201