Optimization of coal mine gas sensor based on simulation and underground electromagnetic measure | IEEE Conference Publication | IEEE Xplore