书目详细信息 : 数字化矿井通风优化理论与技术