覆岩移动特性的数值模拟及其在煤矿安全中的应用