【摘 要】
：
软件鉴定是核电厂设备鉴定的一个重要方面,尤其是如何看待和处理安全级设备中嵌入式软件的应用和鉴定是核电厂建设和运营过程中一项重要的新课题。对核电厂安全级设备嵌入式
论文部分内容阅读
软件鉴定是核电厂设备鉴定的一个重要方面,尤其是如何看待和处理安全级设备中嵌入式软件的应用和鉴定是核电厂建设和运营过程中一项重要的新课题。对核电厂安全级设备嵌入式软件鉴定进行了研究。安全级系统和设备的功能分类与系统分级是软件鉴定的前提和基础。基于计算机的系统需要,进行软件鉴定的原因是软件缺陷属于系统缺陷,因而可能引发共因故障。软件鉴定各技术路线对嵌入式软件鉴定的基本思路是相通的,相比较而言,IEC技术路线操作性最强,认可度最高,应用也最广泛。
其他文献
<正> 海上避碰规则是航行在公海和连接于公海的所有水域中一切船舶的国际性法规。凡是接受或承认海上避碰规则的国家的船舶,都应严格遵守该规则的规定。海上避碰规则主要是预
11月1日，全省“社区党建和杜区建设工作”会议召开，共有33个单位参加经验交流，雨湖区中山路街道办事处作为湘潭唯一代表参加了会议，并获得“全省社区党建和社区建设先进单位”荣
本文首先分析了城市物流规划的内涵,然后初步探讨了城市物流和其它物流的区别,在此基础上阐述了城市物流规划的重要意义,并指出我国在进行城市物流规划时应注意的事项。
采用换热新技术,对锅炉疏水排污水余热回收利用,提高锅炉热效率,达到节能降耗的目的.
2019年7月9日,世界卫生组织发布了新的基本药物清单和基本诊断方法清单,帮助各国优先考虑在整个卫生系统中应广泛提供并可负担得起的重要卫生产品。基本药物清单(2019年)癌症
永久基本农田内业成果数据的质量直接影响永久基本农田的划定质量和划定数量,决定了永久基本农田数据库的建设和管理的推进速度。目前永久基本农田数据存在数据与实际情况不
<正>近日,国家食品药品监督管理总局发布了2013年医疗器械不良事件监测年度报告,报告内容包括医疗器械不良事件报告概况、医疗器械不良事件报告统计分析、对部分医疗器械安全
德育是一门实践性学科,这一特点被忽视导致德育课效果差,学生反感。德育课堂应创新教学方法,体现学生的主体地位,完善评价体系,融洽师生关系,培养学生的德育实践能力。
从项目融资、项目采购和项目管理三个层面介绍了BOT项目的特征、发展趋势及对我国建筑业的启示;从风险管理角度论述了BOT项目决策策划实施程序及项目决策因素的系统分析、可
《德伯家的苔丝》中苔丝的悲剧命运是19世纪末英国资本主义社会农民命运的一个缩影,揭露了维多利亚时代英国社会的虚伪和黑暗。本文通过分析苔丝悲剧命运的社会根源,探析了哈