查找： 机构为 中国矿业大学矿业工程学院深部煤炭资源开采教育部重点实验室煤炭资源与安全开采国家重点实验室 的文献