核安全级仪控软件可靠性评估模型构建.pdfVIP

第３５卷第 １２期 哈　 尔　 滨　 工　 程　 大　 学　 学　 报 Ｖｏｌ．３５ №．１２ ２０１４年１２月 Ｊｏｕｒｎａｌ ｏｆ Ｈａｒｂｉｎ Ｅｎｇｉｎｅｅｒｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ Ｄｅｃ． ２０１４ 核安全级仪控软件可靠性评估模型构建 迟淼 ，史丽萍 ，刘盈１ １ ２ （１．哈尔滨工程大学 经济管理学院，黑龙江哈尔滨１５０００１；２．哈尔滨工程大学核科学与技术学院，黑龙江哈尔滨１５０００１） 摘　 要：为了对核安全级仪控系统软件可靠性进行定量评估，研究依照贝叶斯网络建模步骤进行模型建设的方法。 对国 际上几种主要核安全级仪控系统标准体系进行对比分析，构建核安全级系统软件可靠性评估综合模型和子模型，使用贝 叶斯公式对模型可靠性进行量化计算和评估，提出通过衡量模型各节点的敏感度验证模型建立的合理性。 实现运用贝 叶斯网络方法，通过对系统因素关系分析，结合专家定性判断，对复杂系统进行模型构建，同时提供对系统内不确定因素 进行定性与定量相结合的预测和验证的方法。 关键词：核电厂；安全级；数字化仪控系统；软件可靠性；核安全标准；定量评估 ｄｏｉ：１０．３９６９／ ｊ．ｉｓｓｎ．１００６⁃７０４３．２０１４０７００６ 网络出版地址：ｈｔｔｐ：／ ／ ｗｗｗ．ｃｎｋｉ．ｎｅｔ／ ｋｃｍｓ／ ｄｅｔａｉｌ／ ２３．１３９０．Ｕ１５２５．００４．ｈｔｍｌ 中图分类号：Ｘ９２３　 文献标志码：Ａ　 文章编号：１００６⁃７０４３（２０１４）１２⁃１５７０⁃０５ Ｓｏｆｔｗａｒｅ ｒｅｌｉａｂｉｌｉｔｙ ｍｏｄｅｌ ｃｏｎｓｔｒｕｃｔｉｏｎ ｉｎ ｎｕｃｌｅａｒ ｓａｆｅｔｙ ｃｌａｓｓ ｄｉｇｉｔａｌ ｉｎｓｔｒｕｍｅｎｔａｔｉｏｎ ａｎｄ ｃｏｎｔｒｏｌ ｓｙｓｔｅｍ ＣＨＩ Ｍｉａｏ ，ＳＨＩ Ｌｉｐｉｎｇ ，ＬＩＵ Ｙｉｎｇ１ １ ２ （１．Ｓｃｈｏｏｌ ｏｆ Ｅｃｏｎｏｍｉｃｓ ａｎｄ Ｍａｎａｇｅｍｅｎｔ，Ｈａｒｂｉｎ Ｅｎｇｉｎｅｅｒｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ，Ｈａｒｂｉｎ １５０００１，Ｃｈｉｎａ；２．Ｃｏｌｌｅｇｅ ｏｆ Ｎｕｃｌｅａｒ Ｓｃｉｅｎｃｅ ａｎｄ Ｔｅｃｈｎｏｌｏｇｙ，Ｈａｒｂｉｎ Ｅｎｇｉｎｅｅｒｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ，Ｈａｒｂｉｎ １５０００１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｉｎ ｔｈｉｓｐａｐｅｒ，ｔｈｅ ｍｏｄｅｌ ｃｏｎｓｔｒｕｃｔｉｏｎ ｍｅｔｈｏｄｂａｓｅｄ ｏｎ Ｍｏｄｅｌｉｎｇ Ｓｔｅｐｓｏｆ Ｂａｙｅｓｉａｎ Ｂｅｌｉｅｆ Ｎｅｔｗｏｒｋ （ＢＢＮ） ｉｓ ｓｔｕｄｉｅｄ ｉｎ ｏｒｄｅｒ ｔｏ ｑｕａｎｔｉｔａｔｉｖｅｌｙ ａｎａｌｙｚｅ ｔｈｅ ｓｏｆｔｗａｒｅ ｒｅｌｉａｂｉｌｉｔｙ ｉｎ ｎｕｃｌｅａｒ ｓａｆｅｔｙ ｃｌａｓｓ ｄｉｇｉｔａｌ ｉｎｓｔｒｕｍｅｎｔａｔｉｏｎ ａｎｄ ｃｏｎｔｒｏｌ ｓｙｓｔｅｍ （Ｄ⁃Ｉ＆Ｃ）． Ｃｏｍｐａｒａｔｉｖｅ ａｎａｌｙｓｉｓｗａｓｐｅｒｆｏｒｍｅｄ ｏｎ ｍａｊｏｒ ｉｎｔｅｒｎａｔｉｏｎａｌ ｎｕｃｌｅａｒ ｓａｆｅｔｙ ｃｌａｓｓ Ｄ⁃Ｉ＆Ｃ ｓｏｆｔ⁃ ｗａｒｅ ｓｔａｎｄａｒｄ ｓｙｓｔｅｍｓ，ａｎｄ ｃｏｍｐｒｅｈｅｎｓｉｖｅ Ｅｖａｌｕａｔｉｏｎ Ｍｏｄｅｌｓ ｏｆ Ｄ⁃Ｉ＆Ｃ Ｓｏｆｔｗａｒｅ Ｒｅｌｉａｂｉｌｉｔｙ ａｎｄ ｓｕｂ⁃ｍｏｄｅｌｓ ｗｅｒｅ ｃｏｎｓｔｒｕｃｔｅｄ． Ｑｕａｎｔｉｔａｔｉｖｅｃａｌｃｕｌａｔｉｏｎａｎｄｅｖａｌｕａｔｉｏｎｗｅｒｅｐｅｒｆｏｒｍｅｄｆｏｒｔｈｅｍｏｄｅｌｓｂｙ Ｂａｙｅｓｉａｎｆｕｎｃｔｉｏｎ，ｖｅｒｉｆｙｉｎｇｔｈｅ ｒａｔｉｏｎａｌｉｔｙｏｆｔｈｅｍｏｄｅｌｓｂｙｓｅｎｓｉｔｉｖｉｔｙａｎａｌｙｓｉｓｏｎｔｈｅｎｏｄｅｓｉｎｔｈｅｎｅｔｗｏｒｋ．ＩｎｔｈｅａｐｐｌｉｃａｔｉｏｎｏｆｔｈｅＢＢＮｍｅｔｈｏｄ，ｔｈｅ ｒｅｌａｔｉｏｎｓ ｏｆ ｅｌｅｍｅｎｔｓ ｉｎａｓｙｓｔｅｍａｒｅａｎａｌｙｚｅｄｉｎｃｏｍｂｉｎａｔｉｏｎｗｉｔｈｔｈｅｑｕａｌｉｔａｔｉｖｅｊｕｄｇｍｅｎｔ ｍａｄｅｂｙｐｒｏｆｅｓｓｉｏｎａｌｓａｎｄ ｅｘｐｅ