根据采场上覆岩层移动理论,将采空区沿工作面推进方向分为自由堆积区和承压堆积区,推导建立了采空区空隙率分布模型。该模型在自由堆积区和承压堆积区内分别连续可导,且在两区分界处连续。该数学特性将有利于保证采空区渗流模型求解的稳定性。