Recent applications and advances of numerical modeling and wavefield inversion in nondestructive testing

This paper presents recent advances and future challenges of the application of different linear and nonlinear inversion algorithms in acoustics, electromagnetics, and elastodynamics. The presented material can be understood as an extension of our previous work on this topic. The inversion methods considered in this presentation vary from linear schemes, like the Synthetic Aperture Radar (SAR) applied electromagnetics and the Synthetic Aperture Focussing Technique (SAFT) as its counterpart in ultrasonics, and the linearized Diffraction Tomography (DT), to nonlinear schemes, like the Contrast Source Inversion (CSI) combined with different regularization approaches. Inversion results of the above mentioned inversion schemes are presented and compared for instance for time-domain ultrasonic data from the Fraunhofer-Institute for Nondestructive Testing (IZFP, Saarbrücken, Germany). Convenient tools for nondestructive evaluation of solids can be electromagnetic and/or elastodynamic waves; since their governing equations, including acoustics, exhibit strong structural similarities, the same inversion concepts apply. In particular, the heuristic SAFT algorithm can be and has been utilized for all kinds of waves, once a scalar approximation can be justified. Relating SAFT to inverse scattering in terms of diffraction tomography, it turns out that linearization is the most stringent inherent approximation. A comparison of the inversion results using the linear time-domain inversion scheme SAFT and well tested nonlinear frequency-domain inversion schemes demonstrates the considerable potential to extend and improve the ultrasonic imaging technique SAFT while consulting the mathematics of wavefield inversion, yet, in particular if the underlying effort is considered, the relatively simple and effective SAFT algorithm works surprisingly well. Since SAFT is a widely accepted imaging tool in ultrasonic NDE it seems worthwhile to check its formal restrictions and assumptions whether they could be overcome and whether they would outperform the standard and original SAFT algorithm