Dynamic manifestation mechanism of mining on the island coalface along fault and dynamic pre-warning of seismic waves with seismic tomography