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