本書以禹州采空區(qū)的殘余變形為研究對象，分別采用概率積分法沉陷預測理論模型和基于柵格柱體單元的沉陷預測理論模型預測采空區(qū)地表變形及覆巖內部變形。根據“三下”采煤規(guī)程，預測變形值無在建筑物保護煤柱的允許地表變形范圍內，南水北調中線禹州采空區(qū)段渠道基本穩(wěn)定。以.NET為平臺，以C#為開發(fā)語言，運用GIS組件式開發(fā)技術和模塊化程序設計思想，開發(fā)了一款基于GIS的采空區(qū)覆巖內部及地表移動變形預測系統(tǒng)，為決策者提供了一個高效的決策平臺。