Seismic Waveform Inversion: Bump functional, parameterization analysis and imaging ahead of a tunnel-boring machine

During a seismic experiment, mechanical waves are usually generated by various manmade sources. These waves propagate in the subsurface and are recorded at receivers. Modern seismic exploration methods analyze them to infer the mechanical properties of the subsurface; this is commonly referred as quantitative imaging. These properties assist in...

Stochastic optimization with randomized smoothing for image registration

Image registration is typically formulated as an optimization process, which aims to find the optimal transformation parameters of a given transformation model by minimizing a cost function. Local minima may exist in the optimization landscape, which could hamper the optimization process. To eliminate local minima, smoothing the cost function...