推导半无限开采地表移动与变形的计算公式评分规则关键环节：（）单元开采引起单元下沉的推导；（）水平移动与下沉关系说明；（）半无限开采如何用erf函数表示；（）半无限开采移动与变形表达式矿山开采沉陷模拟研究方法第五单元单元测验