Mathematical Challenges in Electron Microscopy

Development of electron microscopes first started nearly 100 years ago and they are now a mature imaging modality with many applications and vast potential for the future. The principal feature of electron microscopes is their resolution; they can be up to 1000 times more powerful than a visible light microscope and resolve even the smallest atoms. Furthermore, electron microscopes are also sensitive to many material properties due to the very rich interactions between electrons and other matter. Because of these capabilities, electron microscopy is used in applications as diverse as drug discovery, computer chip manufacture, and the development of solar cells. In parallel to this, the mathematical field of inverse problems has also evolved dramatically. Many new methods have been introduced to improve the recovery of unknown structures from indirect data, typically an ill-posed problem. In particular, sparsity promoting functionals such as the total variation and its extensions have been shown to be very powerful for recovering accurate physical quantities from very little and/or poor quality data. While sparsity-promoting reconstruction methods are powerful, they can also be slow, especially in a big-data setting. This trade-off forms an eternal cycle as new numerical tools are found and more powerful models are developed. The work presented in this thesis aims to marry the tools of inverse problems with the problems of electron microscopy: bringing state-of-the-art image processing techniques to bear on challenges specific to electron microscopy, developing new optimisation methods for these problems, and modelling new inverse problems to extend the capabilities of existing microscopes. One focus is the application of a directional total variation to overcome the limited angle problem in electron tomography, another is the proposal of a new inverse problem for the reconstruction of 3D strain tensor fields from electron microscopy diffraction data. The remaining contributions target numerical aspects of inverse problems, from new algorithms for non-convex problems to convex optimisation with adaptive meshes.Cantab Capital Institute for Mathematics of Informatio

Integrated tactile-optical coordinate measurement for the reverse engineering of complex geometry

Complex design specifications and tighter tolerances are increasingly required in modern engineering applications, either for functional or aesthetic demands. Multiple sensors are therefore exploited to achieve both holistic measurement information and improved reliability or reduced uncertainty of measurement data. Multi-sensor integration systems can combine data from several information sources (sensors) into a common representational format in order that the measurement evaluation can benefit from all available sensor information and data. This means a multi-sensor system is able to provide more efficient solutions and better performances than a single sensor based system. This thesis develops a compensation approach for reverse engineering applications based on the hybrid tactile-optical multi-sensor system. In the multi-sensor integration system, each individual sensor should be configured to its optimum for satisfactory measurement results. All the data measured from different equipment have to be precisely integrated into a common coordinate system. To solve this problem, this thesis proposes an accurate and flexible method to unify the coordinates of optical and tactile sensors for reverse engineering. A sphere-plate artefact with nine spheres is created and a set of routines are developed for data integration of a multi-sensor system. Experimental results prove that this novel centroid approach is more accurate than the traditional method. Thus, data sampled by different measuring devices, irrespective of their location can be accurately unified. This thesis describes a competitive integration for reverse engineering applications where the point cloud data scanned by the fast optical sensor is compensated and corrected by the slower, but more accurate tactile probe measurement to improve its overall accuracy. A new competitive approach for rapid and accurate reverse engineering of geometric features from multi-sensor systems based on a geometric algebra approach is proposed and a set of programs based on the MATLAB platform has been generated for the verification of the proposed method. After data fusion, the measurement efficiency is improved 90% in comparison to the tactile method and the accuracy of the reconstructed geometric model is improved from 45 micrometres to 7 micrometres in comparison to the optical method, which are validated by case study

Connected Attribute Filtering Based on Contour Smoothness

A new attribute measuring the contour smoothness of 2-D objects is presented in the context of morphological attribute filtering. The attribute is based on the ratio of the circularity and non-compactness, and has a maximum of 1 for a perfect circle. It decreases as the object boundary becomes irregular. Computation on hierarchical image representation structures relies on five auxiliary data members and is rapid. Contour smoothness is a suitable descriptor for detecting and discriminating man-made structures from other image features. An example is demonstrated on a very-high-resolution satellite image using connected pattern spectra and the switchboard platform

Advanced Techniques for Ground Penetrating Radar Imaging

Ground penetrating radar (GPR) has become one of the key technologies in subsurface sensing and, in general, in non-destructive testing (NDT), since it is able to detect both metallic and nonmetallic targets. GPR for NDT has been successfully introduced in a wide range of sectors, such as mining and geology, glaciology, civil engineering and civil works, archaeology, and security and defense. In recent decades, improvements in georeferencing and positioning systems have enabled the introduction of synthetic aperture radar (SAR) techniques in GPR systems, yielding GPR–SAR systems capable of providing high-resolution microwave images. In parallel, the radiofrequency front-end of GPR systems has been optimized in terms of compactness (e.g., smaller Tx/Rx antennas) and cost. These advances, combined with improvements in autonomous platforms, such as unmanned terrestrial and aerial vehicles, have fostered new fields of application for GPR, where fast and reliable detection capabilities are demanded. In addition, processing techniques have been improved, taking advantage of the research conducted in related fields like inverse scattering and imaging. As a result, novel and robust algorithms have been developed for clutter reduction, automatic target recognition, and efficient processing of large sets of measurements to enable real-time imaging, among others. This Special Issue provides an overview of the state of the art in GPR imaging, focusing on the latest advances from both hardware and software perspectives

Manufacturing Metrology

Metrology is the science of measurement, which can be divided into three overlapping activities: (1) the definition of units of measurement, (2) the realization of units of measurement, and (3) the traceability of measurement units. Manufacturing metrology originally implicates the measurement of components and inputs for a manufacturing process to assure they are within specification requirements. It can also be extended to indicate the performance measurement of manufacturing equipment. This Special Issue covers papers revealing novel measurement methodologies and instrumentations for manufacturing metrology from the conventional industry to the frontier of the advanced hi-tech industry. Twenty-five papers are included in this Special Issue. These published papers can be categorized into four main groups, as follows: Length measurement: covering new designs, from micro/nanogap measurement with laser triangulation sensors and laser interferometers to very-long-distance, newly developed mode-locked femtosecond lasers. Surface profile and form measurements: covering technologies with new confocal sensors and imagine sensors: in situ and on-machine measurements. Angle measurements: these include a new 2D precision level design, a review of angle measurement with mode-locked femtosecond lasers, and multi-axis machine tool squareness measurement. Other laboratory systems: these include a water cooling temperature control system and a computer-aided inspection framework for CMM performance evaluation