书目详细信息 : 矿区煤炭开采对建筑物抗震性能扰动研究