OPTIMAL PLACEMENT OF WAVE GLIDERS FOR ANTI-SUBMARINE WARFARE

Many nations must contend with the need to keep pathways in the oceans secure against an increasing number of maritime challenges under the constraints of limited capital to acquire naval platforms. Unmanned platforms such as Wave Gliders may help to address this problem. A Wave Glider is an unmanned underwater vehicle that can be equipped with a passive array and can remain deployed in the area of interest (AOI) for extended durations. They are capable of providing a layered defense to prevent adversaries from transiting the area undetected, thereby providing a low cost, persistent, anti-submarine warfare (ASW) solution. The capabilities of ASW Wave Gliders to successfully track a manned submarine were demonstrated during the Unmanned Warrior exercise in 2016, led by the British Royal Navy. Yet, the question of how to deploy a given number of Wave Gliders to detect a transiting adversary submarine remains relatively unexplored. This thesis aims to develop a model to determine the detection capability of deployed Wave Gliders that accounts for variables associated with the detection of underwater contacts, using passive sonar in an acoustically challenging underwater environment and with constraints on deploying unmanned assets. The model prescribes an optimal number of Wave Gliders required to achieve a given probability of detection and provides a reference for their placement in the AOI to minimize the probability of an adversary submarine transiting the area undetected.Lieutenant Commander, Indian NavyApproved for public release. Distribution is unlimited

Leak Detection and Localization in Pressurized Space Structures Using Bayesian Inference: Theory and Practice

Impact from micrometeoroids and orbital debris (MMOD) can cause severe damage to space vehicles. The crew habitat can begin to leak precious oxygen, critical systems can be punctured causing fatal failures, and an accumulation of impacts by MMOD can decrease the lifetime of any and all devices in space. Due to these and other potential dangers, MMODs have been considered the third largest threat to spacecraft after launch and re-entry. Many satellites and other spacecraft face this very problem inherent in all space travel on a daily basis, but often times they can be repaired. A major hurdle is to first be able to identify the presence of a leak. Many times an impact and subsequent leak is not discovered until it has caused a problem. A complete system is needed to detect and localize the impact to improve longevity of the habitat or other pressurized space structures. In this work, a system for detection and localization of air leaks using air-borne acoustic waves is proposed. The system uses microelectromechanical systems (MEMS) microphone sensors to detect and record high frequency noise in an environment, angle of arrival (AOA) calculations to estimate possible leak locations, and a Bayesian tree-search filter to detect and more accurately localize a leak. This work includes proof of concept, simulations, and physical prototypes as steps to creation of a complete system. Data from deployed flight test using said prototypes are analyzed. Modeling the effects of environmental reflections on the accuracy of localization is also studied

Medical image analysis methods for anatomical surface reconstruction using tracked 3D ultrasound

The thesis focuses on a study of techniques for acquisition and reconstruction of surface data from anatomical objects by means of tracked 3D ultrasound. In the context of the work two experimental scanning systems are developed and tested on both artificial objects and biological tissues. The first system is based on the freehand ultrasound principle and utilizes a conventional 2D ultrasound transducer coupled with an electromechanical 3D position tracker. The main properties and the basic features of this system are discussed. A number of experiments show that its accuracy in the close to ideal conditions reaches 1.2 mm RMS. The second proposed system implements the sequential triggered scanning approach. The system consists of an ultrasound machine, a workstation and a scanning body (a moving tank filled with liquid and a transducer fixation block) that performs transducer positioning and tracking functions. The system is tested on artificial and real bones. The performed experiments illustrate that it provides significantly better accuracy than the freehand ultrasound (about 0.2 mm RMS) and allows acquiring regular data with a good precision. This makes such a system a promising tool for orthopaedic and trauma surgeons during contactless X-ray-free examinations of injured extremities. The second major subject of the thesis concerns development of medical image analysis methods for 3D surface reconstruction and 2D object detection. We introduce a method based on mesh-growing surface reconstruction that is designed for noisy and sparse data received from 3D tracked ultrasound scanners. A series of experiments on synthetic and ultrasound data show an appropriate reconstruction accuracy. The reconstruction error is measured as the averaged distance between the faces of the mesh and the points from the cloud. Dependently on the initial settings of the method the error varies in range 0.04 - 0.2% for artificial data and 0.3 - 0.7 mm for ultrasound bone data. The reconstructed surfaces correctly interpolate the original point clouds and demonstrate proper smoothness. The next significant problem considered in the work is 2D object detection. Although medical object detection is not integrated into the developed scanning systems, it can be used as a possible further extension of the systems for automatic detection of specific anatomical structures. We analyse the existent object detection methods and introduce a modification of the one based on the popular Generalized Hough Transform (GHT). Unlike the original GHT, the developed method is invariant to rotation and uniform scaling, and uses an intuitive two-point parametrization. We propose several implementations of the feature-to-vote conversion function with the corresponding vote analysis principles. Special attention is devoted to a study of the hierarchical vote analysis and its probabilistic properties. We introduce a parameter space subdivision strategy that reduces the probability of vote peak omission, and show that it can be efficiently implemented in practice using the Gumbel probability distribution

Application of general semi-infinite Programming to Lapidary Cutting Problems

We consider a volume maximization problem arising in gemstone cutting industry. The problem is formulated as a general semi-infinite program (GSIP) and solved using an interiorpoint method developed by Stein. It is shown, that the convexity assumption needed for the convergence of the algorithm can be satisfied by appropriate modelling. Clustering techniques are used to reduce the number of container constraints, which is necessary to make the subproblems practically tractable. An iterative process consisting of GSIP optimization and adaptive refinement steps is then employed to obtain an optimal solution which is also feasible for the original problem. Some numerical results based on realworld data are also presented

Online Audio-Visual Multi-Source Tracking and Separation: A Labeled Random Finite Set Approach

The dissertation proposes an online solution for separating an unknown and time-varying number of moving sources using audio and visual data. The random finite set framework is used for the modeling and fusion of audio and visual data. This enables an online tracking algorithm to estimate the source positions and identities for each time point. With this information, a set of beamformers can be designed to separate each desired source and suppress the interfering sources

Mathematics and Algorithms in Tomography

This is the eighth Oberwolfach conference on the mathematics of tomography. Modalities represented at the workshop included X-ray tomography, sonar, radar, seismic imaging, ultrasound, electron microscopy, impedance imaging, photoacoustic tomography, elastography, vector tomography, and texture analysis

Multistatic Tracking with the Maximum Likelihood Probabilistic Multi-Hypothesis Tracker

Multistatic sonar tracking is a difficult proposition. The ocean environment typically features very complex propagation conditions, causing low target probabilities of detection and high clutter levels. Additionally, most sonar targets are relatively low speed, which makes it difficult to use Doppler (if available) to separate target returns from clutter returns. The Maximum Likelihood Probabilistic Data Association Tracker (ML-PDA) and the Maximum Likelihood Probabilistic Multi-Hypothesis Tracker (ML-PMHT) --- a similar algorithm to ML-PDA --- can be implemented as effective multistatic trackers. This dissertation will develop a tracking framework for these algorithms. This framework will focus mainly on ML-PMHT, which has an inherent advantage in that its log-likelihood ratio (LLR) has a simple multitarget formulation, which allows it to be implemented as a true multitarget tracker. First, this multitarget LLR will be implemented for ML-PMHT, which will give it superior performance over ML-PDA for instances where multiple targets are closely spaced with similar motion dynamics. Next, the performance of ML-PMHT will be compared when it is applied in Cartesian measurement space and in delay-bearing measurement space, where the measurement covariance is more accurately represented. Following this, a maneuver-model parameterization will be introduced that will allow ML-PDA and ML-PMHT to follow sharply maneuvering targets; their previous straight-line parameterization only allowed them to follow moderately maneuvering targets. Finally, a novel method of determining a tracking threshold for ML-PMHT will be developed by applying extreme value theory to the probabilistic properties of the clutter. This will also be done with target measurements, which will allow the issue of trackability for ML-PMHT to be explored. Probabilistic expressions for the maximum values of the LLR surface caused by both clutter and the target will be developed, which will allow for the determination of target trackability in any given scenario