论文部分内容阅读
当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须对其硬件和软件进行鉴定。软件设计和编码是软件通过鉴定关键的一环。核安全级软件必须具备可确定性的特征,其设计和编码必须体现这一特征。对于核安全级软件设计和编码如何满足核安全要求的研究,是软件厂商和监管当局面临的问题之一。
核电厂安全系统软件设计及编码研究
【摘 要】
：
当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须对其硬件和软件进行鉴定。软件设计和编码是软件通过鉴定关键的一环。核安全级软件必须具备可确定性的特征,
【机 构】
：
环保部核与辐射安全中心
【出 处】
：
核电子学与探测技术
【发表日期】
：
2012年04期
其他文献
目的对不同类型婴儿痉挛症的脑电图棘波分布特征进行分析,探讨不同病因的棘波特点。方法视频脑电图监测52例婴儿痉挛症患儿,分别计算各导联的棘波密度和相对棘波密度,并对不
大学英语精读课课堂教学是大学英语教学的主干部分。是否组织好精读课课堂教学,对非英语专业学生的英语学习效果有着重要影响。本文作者通过课堂教学实例,阐述了鼓励引导、联
目的:观察透明质酸胶原蛋白敷料对面部果酸术后的修复作用。方法:随机选取痤疮及炎症后色沉患者30名,采用半边脸自身对照方法,分别在果酸治疗后即刻给予透明质酸胶原蛋白敷料
针对华北地区发生大面积电力机车车顶污闪原因进行了分析,提出了防污闪技术方案。通过实验和实际应用效果表明,这些防污闪的措施和技术方案的可行性和有效性。
<正> 一前言民国二十五年出版之安阳殷墟之哺乳动物群一书,内中所记述者,为中央研究院历史语言研究所历年在安阳发掘所采集之材料运抵北平之一部分。尚有一大部材料,存于南京
师范生对教师职业的认同是打好师范学生的心理基础,关系到教育事业的人才培养的问题。因此,我们必须合理设置课程,改革培养模式,增强师范生教师职业情感,营造师范性校园文化,
台湾技职院校对教职员工的评鉴相当于大陆职业院校实行的教师考核制度。文章在介绍台湾技职教育师资评鉴现状的基础上,重点探讨并分析台湾技职教育师资评鉴的现状、特色,以增
在高三语文教学中,最常见的现象就是教师在对高一到高三的教学内容进行系统整理,将各个知识点罗列出来,再潜心研究最近几年的高考命题情况,进行对比分析,在此基础上,将各种题
合作学习主要以建构主义学习观为理论基础,可有效弥补传统教学的不足,实现《教育学》课程的三维目标。合作学习的运用策略,特指实现《教育学》特定教学目标的合作学习的实施