Study on automatic monitoring system of gas drainage borehole | IEEE Conference Publication | IEEE Xplore