IEC 60880和IEEE 1012在核安全审评中的适用性分析

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:wfj0808
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
IEC 60880和IEEE 1012是核电厂数字化仪表和控制(I&C)系统软件验证与确认(V&V)活动的主要参考标准,两者在软件V&V的具体要求方面不尽相同.由于在实际开发过程中,大多数国内核安全级软件开发单位通常同时执行IEC 60880和IEEE 1012,所以在核安全审评时,审评者如何结合具体核安全要求来掌握上述两项标准的适用性是一个值得研究的问题.论文通过系统对比的方法,对IEC 60880和IEEE 1012在V&V流程、独立性、软件安全、工具评估等方面的异同点
其他文献
作品创作想法:拼贴(Collage)的灵感来源于毕加索和布拉克根据巴黎街头贴满层层海报的墙面所创造的。而法文Coller就是粘贴东西的意思。最初,毕加索将有真实质感的物件贴在画布上
期刊
在电控共轨高速柴油机试验台上,对比研究了分别以纯柴油和聚甲氧基二甲醚(PODE)/柴油(φPODE=20%)为燃料时,喷射压力、预喷相位和主喷相位等喷油参数对发动机燃烧及其颗粒物排放特性
结合半人工热电偶法和人工热电偶法的特点,提出了一种新的测量切削温度的方法——动态人工热电偶法.该方法具有人工热电偶法无需二次标定、能够测量绝缘体的切削温度以及半人
针对系统不确定性和外界干扰条件下飞艇降落过程的控制问题,利用飞艇的6自由度非线性动力学模型设计了基于滤波器的含修正补偿的改进自适应反演控制器,并通过Lyapunov理论验证
厄瓜多尔CCS水电站勘测设计使用的测量坐标系统投影在893 m高程面,控制网边长投影变形过大,不满足施工阶段测量规范要求,对测量坐标系进行优化设计,解决控制网边长投影变形过大的
针对面向雷达应用可重构系统中数据访存冲突严重、访存效率低等问题,设计了一种片上层次化缓存结构,并提出基于多存储体的线性步长可变的数据管理机制,通过建立计算阵列与各个存
摘 要:中国书法作为古老的艺术一直存在于世,它不仅是我们中华民族的艺术精髓,也是世界艺术的一朵奇葩,在当今社会依然不断地发展,甚至以不同的形式、状态存在。王学仲先生的书法理论与书法创作,在当今书界有着杰出的地位,具有鲜明的特点,对现代书坛有着深刻的影响,甚至在某些方面起着不可代替地作用。以王学仲的书法艺术、书法创作和理论研究为纽带进行了资源整合,阐述在当今书界中国传统书法的重要性及其书法创作与理论
为揭示双向应力作用下飞艇用层压织物膜材料弹性参数的响应特征,针对高性能蒙皮材料Uretek3216LV~进行了一系列双轴拉伸试验,获得了9种应力比例条件下的应力-应变关系数据,
通过贵州芙蓉江角木塘水电项目对高强度混凝土的需求,讲述了混凝土拌合系统运行的一系列管理机构设置、职责及措施。
专利布局是指企业综合产业、市场和法律等因素,对专利进行有机结合,涵盖了企业利害相关的时间、地域、技术和产品等维度,构建严密高效的专利保护网,最终形成对企业有利格局的专利