SDG故障诊断模型的检验和验证

将定量模型检验和验证的思想应用于符号有向图（SG或SDG）定性故障诊断模型，以使其达到较高的完备性和分辨率。基于SDGHAZOP平台，提出了针对SDG定性模型检验和验证的非正式检验、静态检查、动态试验和诊断结果半定量风险分析的4个关键步骤，给出了静态检查中的操作点非正常原因可达性检验和不利后果可达性检验步骤的具体内容。以加热炉SDG故障诊断模型为例，验证了上述步骤的有效性。