CAJ | 학술논문

将定量模型检验和验证的思想应用于符号有向图(SG或SDG)定性故障诊断模型,以使其达到较高的完备性和分辨率.基于SDG-HAZOP平台,提出了针对SDG定性模型检验和验证的非正式检验、静态检查、动态试验和诊断结果半定量风险分析的4个关键步骤,给出了静态检查中的操作点非正常原因可达性检验和不利后果可达性检验步骤的具体内容.以加热炉SDG故障诊断模型为例,验证了上述步骤的有效性.
장정량모형검험화험증적사상응용우부호유향도(SG혹SDG)정성고장진단모형,이사기체도교고적완비성화분변솔.기우SDG-HAZOP평태,제출료침대SDG정성모형검험화험증적비정식검험、정태검사、동태시험화진단결과반정량풍험분석적4개관건보취,급출료정태검사중적조작점비정상원인가체성검험화불리후과가체성검험보취적구체내용.이가열로SDG고장진단모형위례,험증료상술보취적유효성.
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.