查找： 机构为 西部矿井开采及灾害防治教育部重点实验室 的文献