Optimization design of the mine gas detector | IEEE Conference Publication | IEEE Xplore