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...

Full waveform inversion with an auxiliary bump functional

Least-squares inversion of seismic arrivals can provide remarkably detailed models of the Earth's subsurface. However, cycle skipping associated with these oscillatory arrivals is the main cause for local minima in the least-squares objective function. Therefore, it is often difficult for descent methods to converge to the solution without an...