Detection of gas concentration in the mine based on the principle of infra-red spectrum | IEEE Conference Publication | IEEE Xplore