书目详细信息 : 掘进巷道通风控制策略及其控制系统设计