核安全级数字化仪控系统的软件可靠性评估

来源 :The 4th International Symposium on Materials and Reliability | 被引量 : 0次 | 上传用户:something190
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
日本福岛核事故后,社会对于核电厂安全运行的要求空前高涨.因为数字化仪控系统(DCS)在核电厂系统运行中的重要作用,因而提出了对数字化仪控系统、尤其是对执行安全功能的数字化仪控系统的可靠性和安全性进行有效评估的技术要求.对于核安全级数字化仪控系统而言,软件相对硬件来比,要复杂很多,因为它受到很多因素的影响,同时软件具有独特的失效机理,为此,软件的可靠性研究则显得尤为重要.本文针对软件是否符合标准的层面,对核安全级数字化仪控系统的软件建立阶段评估模型以及综合评估模型,通过选择测试分析工具及测试对象后,分别展开定性及定量的分析,从定量上可以计算软件无故障工作的信度;从定性上可以发现核安全级DCS软件在生存周期中存在的薄弱环节,以便加以改进,为评估核安全级数字化仪控系统的可靠性和安全性奠定基础.
其他文献
1968年长乐县大鹤大队利用沿海风沙地种植柑桔成功。1972年12月我所在长乐建立科研基点,认真总结群众经验,采用边总结、边试验、边示范的方式,推广了风沙地发展柑桔技术经验
在毛主席革命路线的指引下,毕节县清水铺区的革命干部和广大贫下中农,认真贯彻执行“以粮为纲,全面发展”的方针,发扬“自力更生”、“艰苦奋斗”的革命精神,战天斗地,克服
饮茶不是一件纯粹休闲的事情,关键看你喝什么样的茶。一边随意聊天,一边轻松地减肥,唔,是不是有点异想天开?最近在日本的一系列实验结果表明,有一些茶可有效防止肥胖。茶中含
细绿萍(A20lla Filiculoides Lank)又名细满江红、蕨状满江红,1977年开始在我国养殖利用,由于它具有高固氮、高光能租高产特性,养殖利用发展迅速,但细绿萍在养用上最大的弱
利用空气炮对包装组合结构的跌落过程进行模拟,进行了缩比模型的正撞和30°斜撞实验,针对模型实验进行了数值分析,获得了包装组合结构模型在撞击过程中的应力分布和塑性变形,
成本管理是提升航空发动机市场竞争力的有力保障,与航空发动机研制和生产处于同等重要地位。为解决当前航空发动机出厂费用估算过于依赖经验、没有数学模型作为理论支撑等现状,以涡轴发动机为研究对象,优选参数法作为费用估算方法。收集17种型号的发动机出厂费用,将起飞功率、压气机转速、动力涡轮转速等参数作为费用驱动因子,线性拟合得到完整的发动机出厂费用与费用驱动因子对应关系,进而采用多元线性回归分析方法建立发动机出厂费用估算模型。经验证,该估算模型的平均相对误差仅为10.4%,将某1200 kW涡轴发动机的费用驱动因子
主氦风机是HTR-PM高温气冷堆的关键设备,其功能是提供一回路氦气循环所需的压力升,将反应堆堆芯产生的热量传输给蒸汽发生器.本文基于国内外核电厂实际运行经验与研究结果,结
桑葚是那种不经意就会错过的水果,因为它只会匆匆露一面,错过了就只能等来年了。也正是如此,这种酸甜的小果品的诱惑就凸显出来了。桑葚也叫“桑果”。有黑、红、白三种,红色
最近通信界一个热门话题,就是IP电话。什么是IP电话,它与普通电话有什么不同,它的发展前景如何?本文在此做一点简介,以飨读者。 A hot topic in recent communications is
NM7000B导航设备被多数机场仪表着陆系统采用,但存在接入方式单一、监控通道单一、冗余性不好和可拓展性低等问题。分析NM7000B运行状态监控原理,归纳出传统光纤环网监控系统的局限性,提出一种基于MOXA公司Nport S8458服务器的NM7000B光纤环网监控系统建设方案。系统采用“以太网交换机—光纤接口—串口服务器”集成方案:一是通过串口转以太网传输,实现CI 1748连接板与Nport S8458的连接;二是利用Nport S8458的Turbo Ring和Turbo Chain协议,组成光