摘要
为了对核安全级仪控系统软件可靠性进行定量评估,研究依照贝叶斯网络建模步骤进行模型建设的方法。对国际上几种主要核安全级仪控系统标准体系进行对比分析,构建核安全级系统软件可靠性评估综合模型和子模型,使用贝叶斯公式对模型可靠性进行量化计算和评估,提出通过衡量模型各节点的敏感度验证模型建立的合理性。实现运用贝叶斯网络方法,通过对系统因素关系分析,结合专家定性判断,对复杂系统进行模型构建,同时提供对系统内不确定因素进行定性与定量相结合的预测和验证的方法。
In this paper, the model construction method based on Modeling Steps of Bayesian Belief Network （ BBN） is studied in order to quantitatively analyze the software reliability in nuclear safety class digital instrumentation and control system （ D-I＆amp;C） .Comparative analysis was performed on major international nuclear safety class D-I＆amp;C soft-ware standard systems, and comprehensive Evaluation Models of D-I＆amp;C Software Reliability and sub-models were constructed.Quantitative calculation and evaluation were performed for the models by Bayesian function, verifying the rationality of the models by sensitivity analysis on the nodes in the network.In the application of the BBN method, the relations of elements in a system are analyzed in combination with the qualitative judgment made by professionals and experts, and the models for a complicated system were constructed.As a result, it is concluded that the indefinite ele-ments in the network can be predicted and verified by qualitative and quantitative methods.
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2014年第12期1570-1574,共5页
Journal of Harbin Engineering University
基金
欧盟资助项目(J154213001)
关键词
核电厂
安全级
数字化仪控系统
软件可靠性
核安全标准
定量评估
nuclear power plant
safety class
digital instrumentation and control system
software reliability
nu-clear safety standards
quantitative analysis
作者简介
迟森（1980-），女，助理研究员，博士．通信作者：迟森，E-mail：chimiao@hrbeu．edu．cn．
史丽萍（1960-），女，教授，博士
