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