传感器应用于矿井安全