Abstract
Gasifier system is one of the important components of coal gasification device. The technical characteristics of this system mainly lie in the following facts as huge technical scale and high complexity, and there is a dynamic correlation between the failure modes of gasification equipment. Traditional safety analysis methods such as fault tree and bow-tie diagram suffer from drawbacks as being static and ineffective in handling uncertainty, which hamper their application to risk analysis of process systems. This paper presents a newly developed model based on Dynamic Bow-Tie (DBT) and Dynamic Bayesian network (DBN) for quantitative dynamic risk assessment of gasifier system. In the meantime, in order to cope with the uncertainty of the failure data, fuzzy numbers and the defuzzification method are used to transform the experts' language into the failure rates. The results showed that dynamic risk assessment can solve the difficulties dealing with complex dynamic systems which have process variables and characteristics such as multiple, failure correlations, and noncoherence. And it also has important theoretical significance and application value for coal chemical industry to improve the scientificity of risk assessment.
1. Introduction
Coal gasification plays an important role in human history, and this technology has been widely developed throughout the world, especially after the oil crisis in the 1970s [1–3]. China is a typical “rich coal, lean oil, and low gas” country; coal energy accounts for more than 65% from the perspective of energy structure [4–6]. Coal gasification is a new industry; China's shortage of oil and gas resources can be remedied by developing a safe, green, and environmentally coal gasification. With widespread and successful applications, this technology has greatly promoted the development of the coal chemical industry in China [1]. The water-coal slurry gasification process is under simultaneous conditions of high temperature and high pressure; water-coal slurry and oxygen undergo a fierce redox reaction in the gasifier and generate syngas. The syngas is an inflammable and explosive mixed gas, so once an accident happens, it will not only lead to property loss, but also cause casualties and even environmental pollution. Therefore, as the key equipment of water-coal slurry gasification, it is necessary to analyze and describe the risk factors of the gasifier in this paper.
There also have been some researches regarding security problem in coal gasification process [7–10]. Reference [11] reported many accidents in gasification plants during the last 20 years in the world; the researchers suggest that more careful concentration is needed during the design of the coal gasifier and the preparation of the constructed gasifier operation. Reference [12] developed a comprehensive technique to control the major hazards of the GE coal gasification process. The technique consisted of process hazard identification based on critical events, barrier performance evaluation based on barrier diagrams, and quantification of risk influence factors based on Bayesian network. Reference [13] introduced an efficient methodology utilizing improved Signed Directed Graph for the HAZOP analysis, and an industrial case about the coal conveying in a complex process of coal gasifier is modeled and analyzed. Although these researches focused on the safety issues in coal gasification process, the risk assessment methods applied in these researches were not dynamic, it encountered many difficulties in dealing with the safety assessment of complex systems such as polymorphism, nonmonotonicity, failure correlation [14], dynamics [15], process variables, and other influencing factors [12].
Dynamic risk assessment approaches can significantly reduce both the potential for hazardous events and undesirable consequences [16]. In turn, it increases the safety of the operation and reliability of the systems; it is an extension of the definition of risk taking into account the time-varying characteristics. With respect to the dynamic risk assessment approaches, many researchers have done much work on it. Reference [17] proposed a complete set of dynamic risk assessment to predict the frequencies of abnormal events utilizing accident precursor data, helping to achieve inherently safer operations. Based on these methods, the failure probabilities of safety systems and end-states were estimated using copulas and Bayesian analysis to ensure better predictions. The method was further developed by Kalantarnia et al. [18], where a model was established. The model has used Bayesian theory to revise the risk profile, denoted as the posterior risk function, based on real-time data from the system. As pointed out in [19], Bayesian networks (BNs) have become a popular tool for quantitative risk assessment. Reference [20] aimed at developing dynamic safety analysis methodology for the offloading process for FLNG platforms using BN analysis. The purpose of conducting this safety assessment is to advance better understanding of the floating liquefied natural gas (FLNG) concept during the construction phase [20]. Zarei et al. [21] applied BN to model accident scenarios of natural gas stations for risk assessment. However, BN is time-independent, and it cannot reflect temporal evolution of system and give prevention measures effectively. To this end, dynamic Bayesian network (DBN) [22–24] has been introduced, and it is equipped with other techniques such as bow-tie model [25, 26]. This composite model has been applied to quantitative risk analysis of hydrogen generation unit leakage [27] and offshore drilling incidents [28]. Nevertheless, a composite analysis model of coal-water slurry gasifier accidents is not available; few studies concern this issue.
The present paper attempts to integrate DBN and dynamic bow-tie model [29] for dynamic risk analysis of coal-water slurry gasifier failure. Meanwhile, fuzzy numbers and the defuzzification method are used to transform the experts’ language into the failure rates, solving the problem that it is difficult to obtain a large amount of historical statistical data. The rest of the paper is organized as follows: A brief description of theoretical basis for dynamic bow-tie model and dynamic Bayesian networks is presented in section 2. Conversion rules and processing of DBN model are specifically described in section 3. The proposed method is applied for dynamic risk analysis of gasifier heating in the case study of section 4. Finally, the conclusions of this study are presented in section 5.
2. Theoretical Basis for Dynamic Bow-Tie Model and DBN
2.1. Dynamic Bow-Tie Model
The bow tie model is an accident causality analysis method that combines fault tree and event tree analysis methods into one; this method can not only comprehensively analyze the causes and consequences of an event, but also clearly and intuitively describe the timing of the accident and the logical relationship of each event. The bow tie model is characterized by a fault tree on its left-hand side and event tree on its right-hand side with a “bottom event” in its center.
Dynamic bow tie model adds sequential notion to traditional FT method, building a complex system failure model, as shown in Figure 1 As an extension of ordinary static bow-tie, the dynamic bow-tie analysis not only includes Boolean logic relation but also includes dynamic logic gates (e.g., PAND, SEQ, SPARE, and FDEP), and some events’ reliability changes over time.

2.2. DBN
A static Bayesian network (BN) as a probability-based knowledge representation method is appropriate for the modeling of causal processes with uncertainty; it models a system at a fixed time [30, 31]. A DBN extends the notion of a Bayesian network to model the stochastic evolution of a set of random variables over time. To quantify the timing of discrete changes in the data, the state distribution at each moment contains a Bayesian network called a time slice. Therefore, structure and parameters in DBN do not vary over time, which reflects only the time-varying process of sample data. Then DBN can be split into an initial network and a transition network, representing the initial network as a probability distribution at the initial moment, transition network is expressed as transition probability distribution of adjacent time slices, as shown in equation (1):
Figure 2 is a structural diagram of DBN; different colors are used to distinguish nodes and directed arcs of different time slices. DBN’s conditional probability can be divided into intra-slice CPT and inter-slice CPT. If a DBN can expend T time slices, the joint probability distribution of these T time slices is

3. Conversion Rules and Processing of DBN Model
DBN can be constructed directly from an understanding of sequential systems, while considering the existence of a large number of static/dynamic fault trees. DBN is modeled based on the existing FT model. Because historical information can be used for reference, this method not only effectively avoids subjectivity but also improves reliability. Meanwhile, this method also implements the method of automatic network construction by utilizing the rules of static/dynamic fault tree conversion to DBN, reducing the difficulty of DBN modeling.
3.1. Transformation of Static Logic Gates
Assume E = 0 means that event E does not occur, E = 1 means that event E occurs, is the probability density function of the time when E occurs.
3.1.1. And Gate
Figure 3 shows the DBN corresponding to the logical relationship of “AND gate”, and the node conditional probability distribution is as follows:

3.1.2. Or Gate
The DBN corresponding to the “Or gate” logic is consistent with Figure 3 the conditional probability distribution of and is the same as in equations (1)–(4). The conditional probability distribution of the node TE is shown as follows:
3.1.3. Not Gate
Figure 4 shows the DBN corresponding to the “not gate” logical relationship. The conditional probability distribution of is the same as in equations (1) and (2). The conditional probability distribution of the node TE is shown as follows:

3.2. Dynamic Logic Gate Transformation
3.2.1. Priority And Gate
Priority And gate includes several input events, and output events occur when they happen in a specific order, as shown in Figure 5. If events A, B, and C all occur, and event A occurs before event B, and event B occurs before event C, the output event will occur. Conversely, if not all three input events occur, or event B occurs before event A or event C occurs before event B, the output event will not occur. It is important to point out that if the input events occur at the same time, it is considered that the output event also occurs.

According to sequential and logical relationship of the priority and gate, two binary state nodes FS1 and FS2 need to be added. Among them, FS1 = 1 means that A happened before B, FS2 = 1 means B happened before C, FS1 = 0 means A did not happen before B, FS2 = 0 means B did not happen before C. The relationship between the Priority And gate and the DBN is shown in Figure 5, the conditional probability distribution of each node is
3.2.2. Sequence-Correlated Gate
The sequence-correlated gate includes several input events, which require the input events to occur in a specific order (from left to right). Unlike priority and gates, sequence-correlated gates force their input events to occur only in a specific order. According to the temporal logic relationship of sequence-correlated gates, analyze the function-correlated gates of the three basic events in Figure 6 to obtain the dynamic Bayesian network corresponding to them, and the conditional probability distribution of each node is

3.2.3. Spare Gate
The spare gate includes a main part and several backup parts. After the main part fails, the first backup part starts to operate instead of the main part. After the first backup part fails, the second backup part starts, and so on. The output event does not occur until all parts have failed. According to the numerical of dormancy factor , the spare gate can be divided into three types: cold spare gate , warm spare gate , and hot spare gate . Warm gate is discussed in this paper, as shown in Figure 7; other types of spare gates can be studied as special cases.where is the failure density function of component S in the backup period.

3.2.4. Function-Correlated Gate
Function-correlated gate includes a trigger event and several related basic events, related basic events are repeatable event. According to the relationship between the trigger event and related basic events, Figure 8 shows the function-correlated gate which contains a trigger event and two related basic events, and the corresponding dynamic Bayesian network is shown as follows:

3.3. Fuzzy Possibility
When using DBN for evaluation, it is necessary to obtain the failure probability of the device, but in practical production, the integrity of data of each device cannot be guaranteed. In view of this, using fuzzy numbers and the defuzzification method to transform the experts’ language into the failure rates is a practical solution. The fuzzy set theory was first proposed by zadeh and is often used to calculate the probability of fuzzy events. It is an effective way to deal with uncertainty or lack of information. In recent years, the combination of fuzzy set theory and Bayesian network has also been widely used in risk analysis and evaluation [32–36].
3.3.1. Expert Elicitation
Expert elicitation is essentially a scientific consensus methodology, often used for calculating the probabilities of vague events. This method is a solution for dealing with uncertainty and lack of sufficient data and provides useful information for assessing risks. Eight different conversion scales have been provided by [37]. In the present study, we use Scale 7 [VH, H, RH, M, RL, L, VL] (Table 1) for estimating the severity of an event. The reason for selecting scale number 7 is that humans’ memory capacity is seven plus-minus two chunks, and the linguistic terms are in the form of trapezoidal fuzzy numbers [32].
3.3.2. Aggregation of Fuzzy Number
Since experts are different in knowledge and views, in order to reach a consensus among them, it is required to integrate the assigned terms by experts to a single one. For the objectivity of the data, this paper categorizes experts’ weighting criteria according to their education level, professional position, and experience time, as shown in Table 2. And five expert decisions are considered, and then expert language is converted into data. Table 3 shows some information about experts. Integrate the weights and fuzzy numbers of experts by linear weighting method, and equations (15) and (16), respectively, give expert weights and linear weighted integration. where refers to the weighting factor of the i-th expert, n of all experts, ET score, EL score and PP score are shown in Table 2.where is an aggregate fuzzy number of basic events, is the fuzzy probability assigned by an expert, n of all experts, and m of all events.
3.3.3. Defuzzification
To draw useful results for decision making, the fuzzy probability of the basic and conditional events must be mapped to crisp number through defuzzification, and this facilitates computational reasoning in DBN. A trapezoidal fuzzy function can be defined as in Figure 9, defuzzification of the trapezoidal fuzzy number based on the center of area method can be calculated as equation (17).

The last step is to convert fuzzy possibility (FP) of vague events into fuzzy probability (FPr). A function developed by (18) is used for converting FPs to FPr:where FPs is fuzzy possibility and FPR is fuzzy probability for each event.
4. Case Studies
4.1. DBT Modeling
Through the analysis of the coal water slurry gasification process, combined with the HAZOP analysis report and expert opinions, the risk factors that lead to the overheating of the gasifier are identified, and the dynamic butterfly model shown in Figure 10 is constructed. Table 3 shows five experts’ information, Table 4 describes the basic events in the model. The model shows the evolution process of risk factors to accidents and accidents to consequences through dynamic fault trees and event trees.

It can be seen from Figure 10 that high oxygen-coal ratio, poor atomization effect of the burner, and low coal slurry concentration are the three main factors that lead to gasifier overheating. The oxygen-coal ratio is a key index for regulating the operating temperature of gasification in the production process. The fluctuation of the oxygen-coal ratio is mainly due to the abnormal feeding, the interruption of the coal slurry supply, or the sudden increase of the oxygen feed, so that the oxygen-coal ratio is higher than the set value, and the temperature of the gasifier also increases immediately. The atomization effect of the burner is closely related to the performance of the burner. If the pressure difference of the burner is low, the atomization effect will be significantly reduced, and the central-oxygen ratio is the main factor affecting the pressure difference of the burner. As the time elapsed, the burner is sprayed because uneven wear of coal slurry is also a factor that causes the atomization effect to deteriorate. The low concentration of coal slurry is mainly due to the failure of the pulping section or excessive flushing water entering the coal slurry line, which leads to a reduction in gasification efficiency and an increase in oxygen consumption, then leads to overheating of the gasifier. According to this model, it can be seen that a safety barrier is adopted in the project to prevent the expansion of the overheating accident of the gasifier, but the four safety barriers will also fail, resulting in different accident consequences. In this paper, the information of experts on basic events and safety barrier failure evaluation is transformed into corresponding fuzzy numbers according to equations (15)–(18).
The evaluation information of experts is converted into fuzzy numbers corresponding to basic events and safety barriers according to equations (15)–(18) in this paper. Then convert fuzzy numbers into fuzzy possibility (FP) based on center of gravity, and fuzzy probability for each event is calculated be equation [17]. In addition, due to the maintainability of the equipment, this paper also calculates the maintenance rate (µ) of the equipment. The above calculation data are shown in Table 4.
4.2. DBN Modeling
Figure 11 shows the DBN modeling for gasifier overheating and the simulation is based on application software (GeNie) which is an intuitive and easy-to-use software supporting a variety of inference algorithms. The DBN modeling of gasifier overheating is firstly established on the conversion algorithm including graphical and numerical conversion [25]. The graphical structure is obtained by the conversion of fault tree and event tree which are connected by the central node transformed from the central event. In fault tree, input and output of logic gate turn into parent node and child node linked by directed arcs. In event tree, all possible consequences integrate into one consequence node and all safety barriers turn into safety nodes. Both safety nodes and central node are linked with the consequence node. The node generally takes two states to indicate the occurrence and non-occurrence of the event. In this study, the nodes of the basic events, intermediate events, and central event are represented by “Y” and “N”, the safety nodes are represented by “W” and “F”, “Y” indicates that the event occurs, and “W” indicates that the safety barrier has successfully prevented escalation of the accident. Especially, the consequence node consists of five states which contains\ identified possible consequences C1–C4, and the added “C0” state is set to indicate that the gasifier is not overheating.

The dynamic evolution of events has not been described through the above procedure because directed arcs only connect nodes in the same time slice. In order to accomplish the expansion of BN on the time slice, assume that the probability of fault occurrence follows exponential distribution. Therefore, the nodes of basic events are selected as dynamic nodes, and considering that safety barriers S1 and S3 are controlled by electronic systems, safety nodes S1 and S3 are dynamic nodes too. As shown in Figure 3, the dynamic node has a directed arc from itself in addition to linking with other nodes; that is, the node under the previous time slice is the parent node of it under the present time slice. Moreover, dynamic logic gates are added in BT modeling to represent the dynamic dependencies between events, and the connection between nodes is based on the mapping rule of logical gate to DBN in the section 2.
Prior probability and CPT need to be determined for quantitative analysis in DBN. FPr calculated by expert evaluation serves as prior probability, the result is shown in Table 3. A node’s CPT can be calculated by the mapping rules of logic gates in section 3, which consists of conditional probabilities under all its parent nodes. The conditional probability is calculated by probability density function for nodes between different time slices, and relevant calculation parameters µ, λ are also listed in Table 3. For safety barriers, the failure of overheating alarm leads to the failure of manual cooling operation; conditional probability is expressed as and other safety barriers are independent of each other. Developing 52 time slices after prior probability and conditional probability are input into GeNie, every time slice represents 1 week.
4.3. Dynamic Risk Analysis
4.3.1. Predictive Analysis
The probability of gasifier overheating can be predicted based on DBN forward reasoning, causality, and prior probability of events. Figure 12 shows the probability of an over-temperature accident in the gasifier operating 52 weeks (1 year) with and without maintenance. It can be seen from the Figure 12 that in the first four weeks of gasifier operation, the probability of overheating accidents is not greatly affected by maintainability. What is especially worth noticing is that the probability of overheating of the gasifier will increase monotonically with time, so if no maintenance measures are taken within 52 weeks, the probability of accidents will be as high as 0.983. However, maintenance can be used to reduce the probability of accidents during operation, which shows the importance of maintenance measures for safe operation of the device.

Through DBN’s forward reasoning, the probability of overheating causing different consequences can also be predicted. As shown in Figure 13, the probability of occurrence of each consequence also increases with time, the probability of the consequences C1, C2, C3, and C4 under the action of four safety barriers in Week 52 are 5.14E-01, 1.10E-01, 2.05E-02, 2.71E-05. Therefore, under the protection of the safety barrier, there is still a 51.4% probability that it can work normally even if the gasifier is over-temperature, thereby effectively avoiding further expansion of the accident. C2 and C3 are much larger than C4, indicating that even if the cooling the temperature fails, the emergency shutdown can still effectively prevent the accident from worsening. This also illustrates the importance of maintaining the normal operation of the emergency parking system.

4.3.2. Diagnostic Reasoning
It can be seen from above that the probability of overheating accidents in gasifiers is very high. Although the danger level can be reduced through maintenance and safety barriers, there are hidden dangers of untimely maintenance or failure of safety barriers. Thus, it is necessary to identify the key events that affect gasifier overheating and locate its weak links. DBN's diagnostic reasoning is a process from the child node to the parent node, dedicated to identifying the weak links in the whole risk scenario. This paper sets the gasifier overheating to “Yes”, then the posterior probability of the basic event at any time segment can be obtained, Figure 14 shows the posterior probabilities of weeks 4 and 52 for all basic events. In previous studies, the production process has not been divided into time segments for safety evaluation.

Figure 14 compares the prior probability, the posterior probabilities of weeks 4 and 52, the results show that the basic events with higher posterior probability in week 4 are X27, X1, X31, X13, and X26, and the basic events with higher posterior probability in week 52 are X30, X1, X22, X34, and X6. The comparison results show that the main event leading to gasifier overheating is equipment failure when running for about one month, while after a year, operation error is the main factor leading to gasifier overheating. Comparison results show attention should be paid to equipment maintenance at the initial stage, while one year later, safety management needs more attention to avoid accidents caused by operational errors.
5. Conclusions
(1)Based on fuzzy mathematics and DBN, a quantitative dynamic risk analysis of gasifier overheating was carried out. For the problem of incomplete historical data of equipment in the actual production process, fuzzy logic concepts were employed, which convert the experts’ linguistic judgement to aggregated results in the aggregation process, and this method was feasible.(2)The DBN model of gasifier overheating was constructed, dynamic change law of equipment failure rate when system running for 1 year was obtained by forward reasoning method. According to DBT converted to DBN, the main event leading to gasifier overheating is equipment failure when running for about one month, while after a year, operation error is the main factor leading to gasifier overheating. At the same time, the maintenance factor was also considered, and the impact on the system failure risk analysis when repaired or not is compared.(3)Based on the reasoning function of DBN, fault diagnosis of gasifier overheating was carried out. The prior probability of root nodes was obtained by fuzzy set theory, and then posterior probability of root nodes were deduced and sorted by the powerful reverse inference function of DBN; thus, the weakness of the system were identified. The calculation results show that with the prolonging of time and the increase of “precursor incident”, equipment failure probability and accident risk show a significant growth trend.
Data Availability
The data of numerical results were generated during the study.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
The authors are grateful for National project funding for Key R & D programs under Grant no. 2018YFC0808500, Scientific Research Project of the Department of Education of Liaoning Province (No. L2019044), and the Natural Science Foundation of Liaoning Province (No. 2019-ZD-0056).