核安全关键软件的验证与确认技术(英文)

来源 :自动化仪表 | 被引量 : 0次 | 上传用户:biggertree
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了加拿大重水铀反应堆CANDU的安全关键软件的验证与确认(V&V)技术,说明了CANDU核反应堆停堆系统的脱扣计算机及其设计方法,详细描述了用于停堆脱扣计算机软件的确认和可靠性V&R测试的多功能测试平台,以及该测试平台在停堆脱扣计算机软件V&R测试中的应用。V&V技术已被成功地应用于各国CANDU核反应堆停堆系统的脱扣计算机设计中,如韩国的月城CANDU核反应堆、中国的秦山CANDU核反应堆、罗马尼亚Cernavda的2号CANDU核反应堆和加拿大Point Lepreau重建的CANDU核反应堆。随
其他文献
研究了嵌入式软逻辑控制的实现及应用,选用ARM9微处理器和嵌入式Linux操作系统构建了软逻辑控制器软硬件平台。由于Linux环境下的控制程序开发较为复杂,所以基于VC/MFC和Cygwin
可移动钢筋加工棚由合页、角钢斜撑、竖向支撑、面板、水平框架、吊点组成;使用时采用合页连接加工棚上下面板,并以角钢斜支撑固定面板,形成张开式加工棚来进行钢筋操作作业;
4月23日,农业农村部举行新闻发布会,通报今年一季度农业农村经济运行情况。一季度全国第一产业增加值达8904亿元,同比增长3.2%;农村居民人均可支配收入达4226元,实际增长6.8%
<正>目的比较脂肪血与正常悬浮红细胞制备的洗涤红细胞的质量。方法选取中、重度脂肪全血制备的悬浮红细胞作实验组,同期正常全血制备的悬浮红细胞作为对照组,手工制备洗涤红
会议
复方氯唑沙宗片(商品名:鲁南贝特).其适用于治疗各种急性骨骼肌损伤,疗效确切且不良反应较轻微,广泛应用于临床.但笔者曾遇1例口服复方氯唑沙宗片后致较严重不良反应病人,在
针对浅海的水声信道稀疏特性,提出了一种降低复杂度的前向回溯正交匹配追踪(RC-LABOMP)信道估计方法。首先计算正交匹配追踪和子空间追踪信道估计算法的两类支撑集,接着根据
2018年8月1日,辽宁省沈阳市沈北新区五五社区某养猪户出现猪只连续不明原因死亡,疑似非洲猪瘟。经现场剖检、采样送中国动物卫生与流行病学中心国家动物外来病研究中心确诊为
【正】 广东省博罗县响水公社的茶山大队和黎岗大队,都是地处山区,相距不远,土地条件、气候条件也非常相似。但是由于执行的路线、方针不同,生产效果截然相反,——茶山大队由
应用环境扫描电镜和生化技术研究了甜菜夜蛾 Spodoptera exigua 正常围食膜和光增白剂M2R处理围食膜的形态、结构和组成.结果表明:正常的围食膜表面光滑致密、无孔洞和缝隙;