Time and space effect of water gushing from drainage borehole in coal mine and controlling drainage to prevent roof water disaster in coal seam Journal of Mining and Safety Engineering . 2023, (2): 313 -321 .  DOI: 10.13545/j.cnki.jmse.2021.0601