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

【Abstract】 In order to achieve a better completeness and identification performance,the verification and validation(V&V) technique for qualitative models is applied to the signed graph(SG or SDG) quantitative fault diagnosis model.Based on the SDG-HAZOP platform,four key V&V steps are proposed: informal verification,static check,dynamic test,and semi-quantitative risk analysis of diagnosis results.Two steps in the static check procedure,operational point reachability verification of abnormal reason and adverse consequence,are described in detail.Finally,application of these two steps is demonstrated using a heating furnace as an example.更多还原