Research on Gas Explosion IDSS in Coalmines Based on CBR | IEEE Conference Publication | IEEE Xplore