核电安全级软件可靠性设计标准要求及方法

来源 :自动化仪表 | 被引量 : 0次 | 上传用户:a7395937
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对核电厂数字化仪控执行安全功能软件可靠性设计要求,通过对核电站数字化仪控系统软件可靠性设计的相关国内外标准法规分析,结合核电厂软件可靠性工程实践经验,从软件可靠性设计“ 避错” 和“ 容错”两个维度给出了核电厂安全级软件可靠性设计的主要方法以及具体评估条款.同时也对软件F MEA/FMECA 、makov、Petri网分进行了简单说明,以期为我国核电安全级软件可靠性评估策划和实施提供借鉴.
其他文献
目的探讨RNA干扰AKT2对人胰腺癌细胞株裸鼠移植瘤对吉西他滨敏感性的影响。方法构建荷胰腺癌裸鼠模型,采用腹腔给药和瘤内注射方式,以吉西他滨配合AKT2 siRNA表达载体对荷瘤
桩基础是土木工程的一类主要基础方式,为了确保桩基础的质量,会采取一些检测方法。对于放射波来说,由于具备诸多特征,因此被广泛应用于工程桩检测中。本文重点探讨工程桩应力
不同地貌单元和岩层中含水构造及金属矿化特征在测深断面上反映为不同的视电阻率特征异常。利用衍生指数结合垂向电测深剖面的电性参数异常值,可以推断地下含水层及含水富集
近年来,我国防范化解金融风险攻坚战成效显著,但突如其来的新冠肺炎疫情,为金融风险化解带来了更多的困难和挑战。我国建立存款保险制度以来,积极探索发挥存款保险制度在金融
肝硬变并发多系统脏器功能衰竭(MSOF),病情危重,病死率高,我院1993年至1997年6月收治肝硬变366例,其中并发MSOF者34例,现将其诱因及治疗转归情况分析如下。
氟化物对桑蚕幼虫中肠ATP酶活性影响的电镜细胞化学定位陈玉银,包焕盛,吴玉澄(浙江农业大学杭州3100N)桑蚕Bombyxmori(L.)氟中毒导致蚕茧严重减产是目前蚕业界最为关切的问题,有关桑蚕幼虫氟中毒的机理研
纳米纤维素具有优异的力学性能、生物可降解性和生物活性。以纳米纤维素为载体或增强相,制备功能复合材料,可以集成各组分的性能并产生新的性能,形成水凝胶、气凝胶、膜,在制
引言今年是著名的英国数学家、理论物理学家麦克斯韦(James Clerk Maxwell,1831—1879)诞辰180周年,他在物理学史上的地位与牛顿、爱因斯坦齐名。麦克斯韦把电、磁、光等现象用简
针对早期新民居建设中乡村风貌混杂、村民真正的居住需求没有受到切实关注等现实问题,杭州市政府于2013年提出了“杭派民居”的概念,并从2014年开始,分两批选了 25个村落作为
对国内外典型的核电厂控制室声环境情况进行了调查,并对其法规标准符合性进行了研究.针对国内外核电厂控制室声环境标准要求存在较大差异的特点,对国内外控制室声环境法规标