A GIS Based Unsteady Network Model and System Applications for Intelligent Mine Ventilation

With the development of state-of-the-art technology, such as the artificial intelligence and the Internet of,ings, the construction of “intelligent mine” is being vigorously promoted, where the intelligent mine ventilation is one of the primary concerns that provides the efficient guarantee for safety production in the underground coal mine system. ,is study aims to integrate the geographical information system (GIS) and the unsteady ventilation network model together, to provide location based information and online real-time support for the decision-making system. Firstly, a GIS based unsteady network model is proposed, and its algorithm steps are brought out. Secondly, a prototype web system, named 3DVentCloud, is designed and developed based on the front and end technique, which effectively integrates the proposed algorithms. ,irdly, the model is validated, and the system is applied to a real coal mine for ventilation solution, which demonstrates that the model is reasonable and practical. ,e online simulation system is efficient in providing real-time support. ,e study is potential and is expected to guide the real-time coal mine safety production.


Introduction
e "intelligent mine" is being constructed and developed vigorously in recent years, which is expected to provide reliable, fast, smart and accurate decision support for safety operation and production in underground coal mine. Mine ventilation system is one of the most important and basic systems to ensure safety production. An efficient ventilation system is potential to guarantee a health working environment for coal miners and ensure sustainable development of the underground coal mine system. e concept of the intelligent mine ventilation is being proposed, while there are still a lot of scientific issues to be solved [1,2]. e current research on ventilation network model and ventilation software is mainly focused on the traditional steady calculation model. However, mine ventilation system essentially belongs to a dynamic complex system with geospatial and temporal characteristics. For example, although the ventilation state is steady during normal production of coal mine, various internal disturbances and ground air pressure would have certain influence on airflow and pressure inside the laneway; thus, it causes airflow pulsation [3]. Besides, due to gas outburst, mine fire, and other major accidents, the ventilation state will change instantaneously and cause transient disorder of airflow inside the laneway. erefore, the ventilation states during normal production or disaster should all be regarded as unsteady flow; thus, it requires to establish a unified ventilation simulation model, and that is well adapted with the concept of the intelligent mine ventilation [4].
Besides, the current data acquisition and processing procedures for mine ventilation lack an online integrated system to better adapt to intelligent mine ventilation system. Nowadays, there are a lot of ventilation software systems that implemented informatization for mine ventilation, for example, Polish Academy of Sciences developed VENT-GRAPH and Mine Fire Simulation software [5][6][7]. Chasm company in Australia developed Ventsim software, which is widely used around the world [8].
e US and UK also developed some ventilation software systems such as VentPC 2003, Ventilation Design, VR-MNE, and Datamine [9].
ere are also some successful domestic ventilation systems such as MFire, MVSS, and VentAnaly developed by Chinese institutes and universities [10,11]. With the deep understanding for mine ventilation system and the great demand for practical production, mine ventilation belongs to a typical geographical environment, which has spatial, temporal, and attribute data as well as the spatial topological relationship [12]. Fortunately, the geographic information system (GIS) is regarded as one of the most effective ways to manage the geospatial data [13]. erefore, based on traditional GIS technology, a great number of ventilation software systems have been developed. For instance, LongruanGIS, LKGIS, and VRMine GIS platform and some secondary developed systems based on AutoCAD or ArcGIS are developed and have been widely used [14][15][16][17].
However, it is difficult to deal with the spatial, temporal, and attribute data as well as the topological relationship using AutoCAD. In addition, the ventilation software systems based on GIS are mostly focusing on the combination of traditional GIS or static GIS with steady ventilation simulation model. us, a unified unsteady ventilation model integrated with GIS technology is needed to provide online and fast decision support to better satisfy the requirement of intelligent mine ventilation. erefore, this study aims to provide a fast online ventilation simulation solution to promote the construction of intelligent mine ventilation by integrating the unsteady ventilation network model and GIS as well as the system development. Firstly, the basic ventilation theory is introduced and an algorithm of GIS based unsteady network model is proposed. Secondly, based on the data structure of the ventilation model as well as the laneway network, a prototype simulation web system, called 3D VentCloud, is designed and developed.
irdly, two experiments are implemented to validate the ventilation model and apply the web system, respectively.

GIS-Based Unsteady Network Model
Mine ventilation is a daily work to ensure safety production of coal mine, which requires accurate simulation to learn about the onsite ventilation situation. Rather than the traditional steady ventilation simulation model, this section mainly introduces the unsteady network model based on GIS technology as well as the model integration with the online web system.

Mathematical Models.
Firstly, an ideal geometric laneway model is established to build the basic equation for the unsteady ventilation network model. As can be seen in Figure 1, the laneway length is L and cross section area is A, without considering the compressible properties of airflow.
Without any external force, the airflow inside the laneway belongs to the steady state. If the wind pressure at the ends of the laneway suddenly changes, there will be an equivalent external force F to the ends of the air column. According to the Newton's second law, suppose that the external force gives the acceleration a, and the air column has the corresponding equations [18]: where R is the ventilating resistance, p 1 and p 2 are static pressures, v 1 and v 2 are the velocities at the laneway ends, and h r is the external power. Assuming that a laneway is single and horizontal, both ends are connected with the atmosphere. When a fan placed at the end of the laneway suddenly starts, the pressure difference in equation (2) is 0, then we obtain As for the airflow inside the laneway network, the air is assumed to follow three basic laws of wind flow, which are the law of ventilation resistance, the law of pressure balance in loops, and the law of wind balance at nodes. ese three laws represent the restriction and equilibrium relationships for three basic ventilation parameters, that is, air volume and ventilating resistance for laneway branch and node pressure in the ventilation network model [19]. A simple ventilation network graph is shown in Figure 2.
e three basic laws of wind flow can be described as where N is the number of the laneway branches, and M is the number of network nodes. ε ki and C ij are the elements from basic correlation matrix and independent loop matrix of the network graph, and the value is 0, 1 or −1. ΔP i � h Fj (Q)∓h Nj (Q) stands for the ventilation power, including fan power h Fj (Q) and natural power h Nj (Q). Equation (5) can also be simplified to the matrix form of loop equations: Figure 1: An ideal geometric laneway model. 2 Discrete Dynamics in Nature and Society where C is the loop matrix, and the elements in D are Based on this, the Runge-Kutta iterative algorithm can be applied to simulate the air volume changing with time for each laneway branch [20,21]. e following is our specific solution based on the classical fourth-order Runge-Kutta method.

Data Models for Ventilation
Network. Based on GIS theories and methods, the data model for unsteady ventilation network model is designed. Firstly, the ventilation network graph is described as , v m is a set of nodes in network graph, and E � e 1 , e 2 , . . . , e n is a set of laneway branches in network graph. Consider that airflow on every laneway branch has a wind direction; thus, the ventilation network graph is a directed graph. en, we obtained the adjacency matrix, incidence matrix, cut set matrix, loop matrix, and path matrix of the network graph, which stores the topological information of the ventilation network graph. Besides, based on the perspective of GIS, the ventilation network graph and model belong to typical geospatial objects, including spatial data, attribute data, temporal data, and the spatial relationship, where the spatial relationship mainly includes the topological relation of the ventilation network graph, which connected the laneway branches and nodes, and is stored as point-line (node-branch) indexed structure based on GIS data organization, as can be seen in Table 1.
e specific data structure for laneway branch and nodes is established and presented in Table 2.

Algorithm Design.
e whole algorithm is designed for the GIS based unsteady ventilation network model. Table 3 shows the specific procedure of the whole structure. is model and data organization structure provides more details of geospatial and attribute data for ventilation network by integrating geographical information.

System Design and Development
A prototype system, called 3D VentCloud, is designed in this study, which is developed by combing the front-end and the back-end technologies. e front-end is developed by using Html, JavaScript, and CSS. e back-end mainly includes the model and algorithm, which is developed by C++ and Python. Besides, Tornado is adopted as the server to transmit data between the front-end and back-end, and thus the two ends are connected. e system mainly includes three layers. As presented in Figure 3, they are, respectively, technology layer, service layer, and application layer.
Each layer and its functions are specifically described as follows: (1) Technology layer. is layer contains the data source and the GIS based unsteady ventilation network model, which is the key technology for the system development. e data source includes the original obtained centerline data of the laneway network, which is processed and stored in GIS database as GeoJson format, including the geospatial, attribute, and temporal data of the laneway branch and nodes. e GIS based unsteady network model includes the generation of the topological relationship of the ventilation network graph, and the unsteady ventilation simulation model, where the topological relation and the dynamic simulation results are linked by the point-line indexed structure. ese models jointly constructed the core model library and the key technology for the ventilation simulation system.
(2) Service layer. In this layer, the Tornado architecture is applied as the service, and WebSocket interface is utilized to link the front-end of JavaScript with the  back-end of Python and C++ program to realize the data transmission. ree .js are adopted to implement the 3D visualization function. (3) Application layer. is layer provides the unsteady ventilation simulation function, 3D visualization and spatiotemporal attribute query function of the laneway network, and simulation results. e system can read the original data of laneway centreline to store it and display the 3D laneway model and output the .stl file of the laneway geometric model. When the simulation function is implemented, each of the laneway branches can also be rendered with different colors based on different air volume, and the geospatial coordinates and attribute data of the laneway can be queried and displayed to show more geographical laneway details.

GIS-Based Unsteady Ventilation Network Model
Validation. In order to verify the GIS based nonsteady network model before field application, we acquired the data from reference [3]. e simplified mine ventilation network diagram and its minimum spanning tree are shown in Figure 4. e network diagram has 11 laneway branches including one virtual branch, and 8 nodes. Table 4 presents

Algorithm 1. Algorithm steps for GIS based unsteady network model
Step 1: Establish the ventilation network graph, initialize the geospatial and attribute data for laneways and nodes.
Step 2: Generate the topological relation for the ventilation network graph and stored as point-line indexed structure and basic incidence matrix.
Step 3: Sort the laneway branches according to wind drag, and generate the minimum spanning tree based on Dijkstra shortest path algorithm.
Step 4: Search the cotree branches, generate the independent loop and loop matrix.
Step 6: Save the results as time series air volume for each laneway branch based on point-line indexed structure.  Figure 3: e architecture of 3D VentCloud system. the basic ventilation parameters for the network. e case study investigated wind flow and pressure disturbance caused by the mine car movement in the transportation laneway, which belongs to the unsteady flow phenomenon. In this case study, the mine car is moving windward inside the transportation laneway (with the branches numbers 2 and 3), which would lead to the increase of dynamic wind drag and the corresponding decrease of air volume in laneway branches 2 and 3. Based on the nonsteady network model, we simulated the variation regularity over time of air volume for each laneway, as can be seen in Figure 5. e positive value represents the reduced air, and the negative value stands for the increased value of air quantity. It is obvious that the transportation laneway with branches numbers 2 and 3 has the maximum air reduced quantity, while branch number 5 has the maximum air increased quantity, which is easy to understand because most of the airflow from the air intake laneway flows into the laneway (with branch number 5) that is connected with transportation laneway in node 2.
Besides, we also investigated the particular laneways and nodes to observe the changing regularity over time of air volume and pressure after mine car stops moving to windward. As presented in Figures 6 and 7, the laneway branches 2 and 5, nodes 3 and 5 are taken as examples to show the nonsteady characteristics of air volume and pressure change. It shows that, with the mine car moving to windward, air volume reduction in laneways 2 and 5 presents a significantly rising trend and falling trend, respectively, and then keeps a steady state. After the mine car stops moving to windward, air volume reduction in laneways 2 and 5 appears with an opposite tendency and finally reaches the initial steady state. e wind pressure variation has the similar regularity. e result is in accord with the published research in [3] and is consistent with the variation law of airflow and wind pressure in ventilation network model.

A Case Study Application for a Real Mine Ventilation Network.
is study is also applied to Xinqiao coal mine (located in Henan province, China) to extend the practicality of the model and investigate the real mine ventilation to further promote the development of intelligent ventilation. erefore, the real mine ventilation network data from Xinqiao coal mine is obtained, which contains 290 laneways and 222 nodes. e three-dimensional geometric model of Xinqiao laneway network is read and visualized by 3D VentCloud system, as presented in Figure 8. e specific spatial data and attribute data include the ID and name of the laneway, the ID and coordinates of the start node and end node, the area and perimeter of laneway section, laneway length, laneway type, wind drag, ventilating resistance, and friction resistance. Here, some of the basic ventilation parameters are shown in Table 5. e topological structure for ventilation network graph of Xinqiao coal mine is established based on GIS to simulate the ventilation state. At first, the shortest path algorithm is      on the traditional steady ventilation network model. is study takes a few seconds at the web end to get the simulation result, it consumes 4.72 s in our latest experiment, which is expected to provide fast or real-time decision support for afterwards site applications. e 3D geometric model of Xinqiao laneway network is rendered based on the simulation results and visualized on 3D VentCloud, as can be seen in Figure 9. e web system supports user interaction such as the geospatial query function. For example, the spatial and attribute features will be shown on web page by clicking on each laneway branch.

Conclusions
is paper investigated the unsteady mine ventilation simulation model based on GIS technology and developed a prototype web system to implement the online ventilation simulation, which can better adapt and promote the construction of intelligent mine ventilation.
Specifically, by integrating the GIS technology and unsteady ventilation simulation model, this study provides a unified GIS based ventilation network model, which can effectively simulate the dynamic changes of the unsteady ventilation state as well as the steady ventilation state. Besides, a prototype web system is developed based on the proposed algorithm, which can provide fast simulation result and location based information. e result is demonstrated to be effective in simulating the unified ventilation result, and the simulation system is expected to provide the online and real-time decision making support for coal mine safety production.
However, the ventilation system belongs to a complex and dynamic 3D system. Mine accidents are occasionally happened inside the laneway network. e future work should comprehensively consider the inner structure and 3D characteristics of the laneway network as well as the airflow, and the quantitative accuracy of the model is also worth study in the future.

Data Availability
e data used in this study are confidential. e readers can access the data by sending e-mail to the corresponding author.

Conflicts of Interest
e authors declare that there are no conflicts of interest regarding the publication of this paper.