1. Introduction
During coal mining, coal seam roofs may collapse due to non-homogeneous stress, which may cause cracks above the coal seam and subsidence on the surface. The magnitude of subsidence increases as the goaf area increases. If the strata are horizontal, subsidence may appear as a regular subsidence bowl, which may cause damage to people’s lives and property. Therefore, monitoring coal-mining subsidence is crucial.
Traditional analytical methods include point monitoring, area monitoring and numerical simulation (
Table 1). The former two are direct-monitoring methods, while numerical simulation is a forward prediction method. Point-monitoring measurements are collected in the subsidence area by using instruments that collect leveling and GPS measurements. Area monitoring is a method that monitors the surface subsidence area using microwave remote sensing, such as InSAR. Differential InSAR (D-InSAR), as a method for deformation monitoring in mining areas, can accurately identify subsidence areas. In addition, time series InSAR (TS-InSAR) technology improves the monitoring accuracy of D-InSAR. With sufficient data and reasonable acquisition time intervals, it can achieve millimeter-scale monitoring accuracy [
1,
2,
3]. With the help of computers, the numerical simulation method solves practical problems by using numerical calculation, simulation and image display on the basis of finite element, finite volume, discrete element and relevant mathematical models. With the development of rock simulation theories, the simulation of mining subsidence has been widely used. Fast Lagrangian Analysis of Continua in three dimensions (FLAC
3D) is a numerical simulation software for rock and coal mines [
4,
5]. Xia et al. applied FLAC
3D to detect illegal mining with the combination of InSAR and the probability integral method (PIM) [
6]. Regassa et al. proposed an equivalent discontinuous modeling method that simplifies a complex joint system into a simple joint-system hypothesis and estimates the mechanical parameters in each subarea of the models to simulate the mining-induced rock movement [
7]. The probability integral method (PIM), one of the numerical simulation methods, is a normal distribution function of the mining surface subsidence prediction model based on the principle of random medium and has been widely used in predicting and evaluating coal-mining subsidence [
8]. This method expresses the surface subsidence caused by underground mining by using a simple formula. It is applicable to the subsidence of horizontally and gently dipping strata [
9,
10]. Tan et al. improved the PIM to simulate the irregular shape of the goaf, which divides the mining area into a series of triangular elements using Delaunay triangulation [
11].
Precise leveling is accurate, but the measurement process is time-consuming and laborious, and it is not applicable to large scale monitoring. The accuracy of the GPS elevation component is much lower than that of leveling. In addition, they all measure sparse points, which cannot describe the total subsidence. Furthermore, the measurement results are impacted by the distribution of GPS points, which is not economically feasible because it is time-consuming and has a high labor cost [
9]. The limits of D-InSAR, such as some types of decorrelations, DEM error and atmospheric delay, seriously affect the accuracy of deformation. Due to the side-looking imaging geometry of SAR sensors, InSAR with a single data source can only calculate surface deformation along the line-of-sight (LOS) direction, which cannot obtain the real displacement from coal mining. Karamvasis et al. compared three open-source TS-InSAR methods in an active opencast coal mine and showed that the high deformation areas in active mining regions were not identified by using a simple TS-InSAR method [
12]. Chen et al. and Zhang et al. combined SBAS-InSAR and offset tracking to monitor the large gradient subsidence caused by mining [
13,
14]. The results showed that the fusion method can compensate for the large and nonlinear subsidence. Due to the development of fissures and the inclination of strata, the PIM is affected by the discrepancy between the location and scope of the surface subsidence and the goaf [
9].
Combining the probability integral method with TS-InSAR may effectively address the problems associated with mining subsidence monitoring. SBAS-InSAR technology can obtain high-precision monitoring results, which help to explain the details of mining subsidence, draw subsidence profiles, inverse parameters, etc. Integrating the goaf subsidence range calculated by SBAS-InSAR into the PIM as a constraint can improve the efficiency and accuracy in the determination of coal-mining subsidence.
For the integration of InSAR (D-InSAR, TS-InSAR) and the PIM, several methods have been proposed in recent years. Fan et al. simulated the wrapped phase of mining subsidence with a large deformation gradient by using the PIM and subtracted it from the interferometric phase to mitigate the decorrelation and obtain a true subsidence by adding the result calculated by SBAS-InSAR and the simulated deformation results [
16]. Yang et al. improved the PIM by integrating the PIM and the Knothe time function, which can predict the dynamic deformation of mining-induced subsidence during the entire period of excavation. In addition, they combined the LOS observation derived by InSAR and eight geometric parameters describing the coal mining-induced goaf by using the PIM and proposed a functional relationship between them [
17,
18]. Zheng et al. combined the deformation predicted by the PIM and temporarily coherent point SAR interferometry (TCPInSAR) to invert the deformation in low coherent mining areas [
19]. Du et al. discussed the location deviation of the real inflection point and proposed an improved PIM by using the back basin boundary derived by D-InSAR in the mining direction to calculate the mining depth [
20]. Wang et al. combined the PIM with D-InSAR, subband InSAR and offset tracking to monitor the small-scale, medium-scale and large-scale images, respectively [
21]. According to the above research, the improvements of the integration of the PIM and InSAR are mainly focused on the refinement of the InSAR results, but due to the complicated condition underground, the displacement simulated by the PIM may mismatch the real surface displacement derived by InSAR. Although the location of the goaf is obtained, the geological conditions above the goaf are uncertain. Therefore, mining-induced deformation will be delayed and deviated.
In this paper, we propose a new method with a boundary constraint of the goaf in the PIM during the parameter inversion procedure. With the time series deformation derived by TS-InSAR, we predict the mining-induced dynamic deformation during the entire period of the excavation. According to the inverse dynamic parameters, we can estimate the mining process and provide a suitable prediction of mining subsidence.
The content of this paper is arranged as follows.
Section 2 introduces the main methodology of the integration of TS-InSAR and the PIM. The establishment of the boundary constraint and the procedures of the proposed method are discussed.
Section 3 describes an example to analyze the reliability of the proposed method.
Section 4 presents the conclusion and prospects.
3. Results
To verify the method discussed above, we select a coal mine located in Jiaozuo, Henan Province, China, to estimate the new method. With SBAS-InSAR technology and the improved PIM, we predict and monitor the coal-mining subsidence.
3.1. Condition of Research Zone
The study area is located in Jiaozuo, Henan Province. There are many coal mines in the research area, and the surface is covered by farmland. Following mine exploration, subsidence has become increasingly serious, which may lead to property damage and risks to human life.
The working face in this study area is a rectangle toward N43°E (
Figure 5), and the inclination is toward the SE. The stratum is slightly inclined between 10 and 19° with no folding, forming a monocline structure. The coal seam is under the surface at approximately 547.9–553.64 m. Some leveling data obtained from 36 points from 31 July 2015 to 29 July are used for validation. The leveling points are set on the road or balk for high accuracy.
3.2. SBAS-InSAR Processing
In this study, 45 C-band Sentinel-1A SAR images are acquired to generate 129 interferometric pairs by using SBAS-InSAR technology (
Figure 6). The Shuttle Radar Topography Mission 3 (SRTM3) DEM is selected to simulate the elevation phase. Then, a temporal high-pass filter and spatial low-pass filter are applied in the time series process to reduce the atmospheric phase from the mixed interferometry phase. A spatial filter is also adopted to decrease the residual atmosphere. The main procedures are detailed as follows.
We set the threshold of the perpendicular baseline from 0.4 to 184.4 m. Due to the nonuniform acquisition caused by missing data, the time interval is set from 12 to 336 d. Then, we obtain 129 pairs of interferograms.
The maximum deformation rate is 0.091 m per year (
Figure 7). Darker red regions are associated with larger deformations. The results show that the real deformation is a non-homogeneous deformation with the development of mining. The working face of the coal mine is not in the center of the deformation zone, which is similar to a subsidence bowl in space, but its extension direction is consistent with the surface deformation. The surface deformation did not show concentric subsidence, which may have been due to the heterogeneous stratigraphic structure. Most leveling points are in the range of the deformation zone for further validation.
From the equations, the accumulative deformation is calculated (
Figure 8). During the observation period, the deformation of the coal mine gradually increased. At the beginning, the displacement is not significant. With time, the deformation zone is increasingly obvious and elliptical in the periphery with irregular polygons in the interior. The maximum subsidence is not in the center of the deformation zone nor in the working face. It changed with mining. In addition, there is another coal mine in the northeastern part of the study area, which shows a similar subsidence. The connecting part is affected by the two mining subsidence areas. Furthermore, the influence of the other coal mine is considered very slight because of the large magnitude of deformation [
37,
38].
After we calculate the accumulated deformation of the coal mine, the dynamic information on coal-mining subsidence could be clearly illustrated by time series profiles. In this study, we established two profiles along the strike and dip directions and extracted every profile during the observation period (
Figure 9). Over time, the surface above the coal mine sank gradually. The subsidence profiles are almost symmetrical at the center and decrease from the center to the edge. There are some differences between the shapes of the two profiles. The length of the strike profile is longer and more symmetrical than the dip profile. Hence, the subsidence on the ground is related to the shape of the working face underground. This characteristic is applied to the proposed method in an integral function to simulate reasonable subsidence.
The profiles show time series information in different directions. However, the curves are not smooth all over, which may have been caused by different geological conditions underground and other decorrelation errors [
39]. The maximum subsidence in the two directions approximately is 0.2 m. When the coal mine is excavated, the faults above may have reactivated along with strata movement, which generated non-homogeneous subsidence. Another reason may have been caused by the different surface structures. Different mechanical structures have different responses to subsidence. The major land type in the study area is farmland; however, there are some roads and houses in the study area. Thus, the displacements derived by InSAR in these areas are slightly different.
3.3. Proposed Processing
Due to the Yanshan movement, the geological structure in the research zone is complicated and is especially controlled by the high-angle downthrown fault in the northeastern direction. The strata present a monoclinic structure with downfaulted blocks from north to south [
39]. The coal seam in the research zone is mainly distributed in anthracolithic strata 547.9–553.64 m underground. The NE-trending fault system affects the mechanism of the surface subsidence process caused by the mining. Therefore, adding a boundary constraint condition on the integral interval can solve this problem (
Figure 10). Based on known data and the proposed method (
Table 2), we entered the SBAS-InSAR time series results into the proposed method, inversed the dynamic parameters and obtained a continuously changing subsidence coefficient. The subsidence coefficient indicates the conditions of coal mining, such as the strength of the rock, disposal methods of the goaf, repeated mining and the depth of the coal seam. The dynamic subsidence coefficient is illustrated in
Figure 11. Due to the nonuniform acquisition of the SAR data, the results are sparse from 5–15 months. After 15 months, the subsidence coefficient increases with the degree of mining.
3.4. Validation
Because not all leveling points are distributed in the subsidence area, we compare the proposed method with the nine typical leveling data within the working face (
Figure 12). The abscissa axis is the point number, and the vertical axis is the subsidence value. With time, the leveling data have a decreasing tendency, and the gradient increased gradually. The different colored lines and points represent the results of the proposed method and the field measurements at in different observation times. The results of the leveling data and the proposed method are approximately equal. Considering the precision of leveling, we regard the proposed method as calculating correct results for use.
In addition, the average RMSE between the results derived by the proposed method and leveling data is 0.0025 m. There is no decreasing trend in the time dimension with the other leveling points away from the working face, which could have been due to the slight deformation magnitude and human disturbance.
4. Discussion
4.1. Comparison between the Proposed Method and the Traditional PIM
We choose one acquisition time and compared the results of the proposed method with those of the traditional PIM. The profiles show several differences between the proposed method and traditional PIM (
Figure 13). In the strike direction, the ranges of these two methods are different because of the longer goaf. The maximum deviation is 0.0918 m, located at point 15; the average error is 0.0395 m, the RMSE is 0.0508 m. On account of different integral intervals, the inverse subsidence coefficient and subsidence are different, which leads to a different forward model. Therefore, the maximum subsidence of the two methods are different. The proposed method shows a deeper subsidence. In the dip direction, the two methods exhibited obvious differences in both range and magnitude, because integral ranges are notably different and the subsidence center deviates by the complex geological condition. The maximum deviation is 0.0478 m, located at point 17; the average error is 0.0272 m, the RMSE is 0.0472 m. Thus, using the proposed method, the coal-mining subsidence simulation is more believable. Due to the smaller range in the dip direction of the working face, the profile of the traditional model in the dip direction is narrow in the subsidence bowl. In comparison, the profile of the proposed method is wider in the subsidence bowl. The maximum of these methods in the dip direction is the same as that in the strike direction. Considering the SBAS-InSAR results, the profiles of the proposed method are more suitable for approximating the real deformation, thus being advantageous compared with the traditional model.
4.2. Comparison between the Proposed Method and the SBAS-InSAR Results
We compare the proposed method with the SBAS-InSAR results in the vertical direction (
Figure 13). The figure indicates that there is little difference between the InSAR results and those of the model with constraints on the subsidence magnitude. In the strike direction, the maximum deviation is 0.061 m, located at point 19; the average error is 0.0172 m, the RMSE is 0.0254 m. In the dip strike direction, the maximum deviation is 0.0436 m, located at point 32; the average error is 0.0096 m, the RMSE is 0.0151 m. The significant difference is the maximum amount of subsidence. The SBAS-InSAR results show a very deep subsidence area that is deeper than that of the simulation model. This may be caused by geologic structures such as faults or springs underground. Additionally, the width of the subsidence bowl in strike direction is different between the proposed method and SBAS-InSAR results. The subsidence bowl of the proposed method is narrower than that calculated by SBAS-InSAR due to the complexity of the surface structure.
In this study, coal-mining subsidence is simulated by the proposed method. It is noteworthy that this improved PIM requires InSAR results to establish inverse parameters related to subsidence prediction and estimation. In fact, TS-InSAR yields a good estimation and monitored coal-mining subsidence. On account of the convenience and speed of the time series InSAR process, the coal mine situation could be obtained in a short period of time. Thus, the key of this study is analyzing the entire process of the coal mine by using the PIM combined with the InSAR time series. The InSAR time series emphasizes the data of the coal-mining subsidence, while the proposed method is used to obtain the deformation model information, which is the mechanism of the subsidence. Only two methods are applied, the entire process occurring in the coal mine could be detected.
4.3. Influence of Complex Geological Conditions and InSAR Geometry
Considering the complex geological conditions, the proposed method regards all surface deformation as resulting from coal mine exploitation. If the stratigraphic dip is small, the simulation could be suitable. Otherwise, the surface subsidence would produce a large deviation, which would not be well simulated by simply changing the integral interval. Besides, the faults and springs in the strata may accelerate the subsidence but deviate the subsidence bowl because they developed low stress region, which could be filled by fragmental rock.
Due to the side-looking imaging geometry of SAR sensors, the result from InSAR is in the LOS direction. However, the surface displacement caused by mining is 3D displacement. Although the subsidence in the subsidence bowl is very significant, the surface deformation is still caused by the horizontal and vertical displacement.
If we ignore the displacement in the dip direction, for a certain point in the subsidence area caused by mining in strike profile, the true displacement can be projected into two directions, while the LOS is another direction. If we just consider the subsidence simulated by PIM or measured by leveling, the true deformation information is not fully considered. Only if we project the vertical and horizontal displacement into LOS and add them together, the deformation information is closest to the real situation. The relevant formula is shown in function 12–14. The inversed horizontal displacement shows a slight horizontal displacement of the coal mine deformation, which helps establish a 3D deformation to fit the LOS deformation derived by SBAS-InSAR.
5. Conclusions
This study utilizes coal-mining monitoring and prediction with the integration of SBAS-InSAR and the PIM and proposes an improved method that creates a boundary constraint in the determination of integral intervals combining SBAS-InSAR and the PIM for locating the goaf and monitoring mining subsidence. Although the traditional PIM provides a suitable prediction for surface subsidence, complex geological conditions exceeds the original assumptions. The improved method is different from the traditional PIM in the integral interval, which regards the change in geological structures as an equivalent boundary constraint. The cumulative displacement derived by SBAS-InSAR is regarded as maximum extension of the equivalent working face. Through PSO, the constrained dynamic parameters in the PIM are inversed and analyzed in the time domain. Therefore, we believe the proposed method will have a wide application in surface deformation caused by extraction.
We select a coal mine located in Jiaozuo, Henan Province, to test the proposed method with 45 Sentinel-1A images. The LOS deformation is transferred into a mining subsidence model to acquire model dynamic parameters (such as the subsidence coefficient and horizontal displacement coefficient). To validate the results of the proposed method, we compare vertical displacement with the leveling data, and the RMSE of leveling point is 0.0025 m. To test the proposed method, profiles of the coal mine in both strike and dip directions are illustrated and compared with the SBAS-InSAR results. Comparisons of the proposed method, traditional PIM and SBAS-InSAR indicate that the proposed method is more consistent with SBAS-InSAR.
The deformation boundary derived by SBAS-InSAR is affected by multiple factors, such as surface resolution, spatial-filtering method and atmospheric conditions. Furthermore, SAR data from different orbits can improve the accuracy of deriving LOS deformation. In the future, more SAR data with high ground resolutions and different types of coal mines may be considered in the method.