Based on Cluster Cover Algorithm in Coal Mine Gas Forecast Application | IEEE Conference Publication | IEEE Xplore