【摘要】动态概率安全评价(PSA)方法是指在系统可靠建模时通过考虑系统演化的时间因素来解释触发或随机逻辑事件之间耦合的方法,它能弥补传统PSA方法的不足,更有效地验证数字化仪控系统的可靠性及安全性。我们对美国核管会报告NUREG/CR-6901指出的最适合分析数字化仪控系统可靠性的两种方法——马尔可夫/区间映射技术(Markov/CCMT)和动态流图机制(DFM)进行研究。本文先假设系统在满功率工 […]

【摘要】文章对V&V验证与确认方法进行了总结,并对IEC和IEEE相关标准以及IAEA和NRC的相关法规导则以及我国对应的标准和法规进行了调研分析和总结,重点对IEEE1012-2012进行了剖析,并对IEEE1012的历届版本进行了时比分析,对如何应用国际国外V&V相关标准提出了建议。最后,在本文总结了V&V的关键思想,并为建立我国完善的核电厂核安全级仪控系统及软件 […]