A Whole Closed Space Intrinsically Safe GPR System for Detection of Geological Hazard Sources in Coal Mines | IEEE Journals & Magazine | IEEE Xplore