机译:基于模糊逻辑的核电厂安全验证框架
Faculty of Energy Systems and Nuclear Science, University of Ontario Institute of Technology (UOIT), 2000 Simcoe Street North, Oshawa L1H7K4 ON, Canada;
Faculty of Energy Systems and Nuclear Science, University of Ontario Institute of Technology (UOIT), 2000 Simcoe Street North, Oshawa L1H7K4 ON, Canada,Address correspondence to Hossam A. Gabbar, Faculty of En-ergy Systems and Nuclear Science, University of Ontario, Insti-tute of Technology, UOIT, 2000 Simcoe St. N., Oshawa L1H7K4 ON, Canada;
Fuzzy logic; NPP safety; nuclear power plant safety; safety verification;
机译:安全关键计算机系统的安全验证:以核电站系统为例
机译:建立核电厂诊断程序的系统框架的适当性-实验验证
机译:使用Petri网验证核电厂的安全关键和控制系统
机译:核电站安全分析软件验证与验证方法研究
机译:核电厂安全验证应用的不确定度量化。
机译:在核电站预测错误违规和安全参与行为
机译:图1来自:Belonosov M,Kishkin V(2018)基于逆向工程方法验证核电厂安全系统的应用程序生成和装载。核能和技术4(4):223-228。 https://doi.org/10.3897/nucet.4.31868
机译:WWER-440型213核电站的实验设计验证。参考工厂:Bohunice V2(斯洛伐克)。关于评估WWER-440 213型核电厂安全方面的原子能机构技术合作项目RER / 9/004的报告