通过采空和压力释放造成的覆盖层移动和地表变形:地质力学模型与现场测试 | Synapse