论文部分内容阅读
本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程,此外还介绍了为开展可信的验证与确认活动的所制定的V&V流程与规范、构建的各种V&V平台及采用的V&V关键技术等。
数字化核安全级仪控系统软件的验证与确认
【摘 要】
：
本文讨论了核安全级软件验证与确认的方法论。详细描述了在数字化核安全级仪控系统研发过程中V&V活动的具体实施过程,此外还介绍了为开展可信的验证与确认活动的所制定的V&V
【机 构】
：
北京广利核系统工程有限公司
【出 处】
：
核科学与工程
【发表日期】
：
2012年S2期
其他文献
1 发病情况2007年11月5日，一养殖户刘某带鸡前来就诊。19日龄的肉鸡，存栏3100只左右。17日龄开始出现呆立、呼吸道症状、死亡的现象。经某门市兽医技术员诊断为包心包肝型大肠
6月9日，攀钢18万t／年高钛渣工程施工现场到处洋溢着胜利的气息。上午11时36分，装机容量为25MVA、亚洲最大的钛渣炉开始烘炉。相关人士指出，这标志着攀钢在发展民族钛工业道路上又
中国特钢企业协会已经提出建议，要求控制特钢用特种合金的出口，对钼、矾、钨等稀有贵重铁合金出口退税要有政策，控制出口。由于钼、钒、钨行情大涨，引发投资热潮，无序开采现象严重
１引言粒子物理学领域的研究主要是根据粒子加速器所产生的结果来进行。但是，采用目前的加速器仍不能解决某些基本的问题。一些新的结果也需要更高能量、更高亮度的粒子束来发现
按照今年全市领导干部教育培训工作的安排，今天我们在这里举行2012年南宁市领导能力素质提升大培训暨秋季主体班开学典礼，主要目的是深入学习贯彻党的十八大精神，加强理论武装，提
采用张量代数，用严格的分析方法获得普遍的非线性Ｈａｍｉｌｔｏｎ方程任意阶近似解析解，从而建立非线性束流动力学统一的任意阶正则象差理论，并对正则象差系数所满足的辛条件进行了讨论。
一直是国家宏观调控重点对象的铁合金行业，在连续经历了电价上调、原材料涨价、产品销售市场价格下滑等诸多困难后，正在面临着行业的重新洗牌。在政策和市场的双重影响下，山西的
以当地畦灌模式为对照，采用完全随机裂区设计，在河西走廊（甘肃省永昌县）地区进行了大田喷灌试验，试验设置了灌水量（I高、I中、I低：3300、2550、1800m3／hm2）与施肥量（F高、F中、F低：337．5