【摘 要】
:
随着数字化仪控系统在核电厂保护系统中的应用,核安全级(1E级)软件的质量和可信性成为业内关注的焦点。平台软件,即操作系统软件,是数字化仪控系统运行的核心软件,几乎所有功
论文部分内容阅读
随着数字化仪控系统在核电厂保护系统中的应用,核安全级(1E级)软件的质量和可信性成为业内关注的焦点。平台软件,即操作系统软件,是数字化仪控系统运行的核心软件,几乎所有功能都依靠平台软件来实现。相关法规和标准对其提出了严格的管理和技术要求,除此之外,平台软件要在设计上充分考虑满足系统的可靠性、安全性、实时性和确定性等要求,如何开发安全、可靠的平台软件成为实现核数字化安全级仪控系统所必须解决的关键难题。本文基于标准要求和保护系统功能特征分析,提出了数字化核安全级仪控(和睦系统)平台软件的关键技术特征,阐述了该软件所采取的时间空间和行为确定性设计、无操作系统下通用平台架构设计、故障安全和自诊断设计、无中断下的软件简化设计等关键设计技术,并简要介绍平台软件的开发生命周期模型。这些设计技术为和睦系统平台软件成功应用在安全级系统中发挥了重要作用,对开发安全级软件具有重要的参考价值。
其他文献
合作学习主要以建构主义学习观为理论基础,可有效弥补传统教学的不足,实现《教育学》课程的三维目标。合作学习的运用策略,特指实现《教育学》特定教学目标的合作学习的实施
当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须对其硬件和软件进行鉴定。软件设计和编码是软件通过鉴定关键的一环。核安全级软件必须具备可确定性的特征,
目的分析颅脑肿瘤术后颅内感染护理中不同护理干预措施的效果。方法选取我院86例颅脑肿瘤患者作为研究对象,按照护理方式的不同将所有颅脑肿瘤患者划分为两组,即:研究组(43例
施肥是葡萄栽培中的关键技术过程,配方施肥对葡萄生长与生产优质的果实及改善土壤性质具有重大的意义。本研究以四川彭山区避雨栽培条件下6年生美人指葡萄为试材,通过对试验
<正> 一、引言长治市北城墙外,有一台地,名曰"分水领",高出地面10米左右,面积约30余万平方米。 1953年和1954年,我会曾两度派员到这里勘查,认为此地不懂古墓丛集,而且有
<正>河北省南水北调中线工程的输水渠道计划通过赞皇县西高古墓群所在地区,渠线工程将影响到一些古遗址和古墓葬,需进行抢救性发掘。受河北省文物局南水北调工程文物保护办公
本文主要运用自我意识理论解读阿尔比于1994年第三次摘得普利策桂冠的经典剧作《三个高个子女人》。通过分析剧中三位女性人物的自我意识从沉睡到觉醒的过程,阐述了女性在社
李清照是宋代词坛婉约派的代表作家,也是中国词史上优秀的女词人。其笔下的菊意象不但继承了高洁、远世独立的传统内涵,而且具有更丰富、更女性化、更情感化的特征。这是在传
为研究食盐对蔬菜维生素C含量的影响,本文模拟居民家庭的烹调过程,以2,6-二氯酚靛酚法,测定了7种新鲜蔬菜在不加盐及加入不同数量食盐时的维生素C的含量,结果表明食盐引起维
在快速城镇化的背景下,为了避免城市形象出现"千城一面"的问题,每个城市在规划建设中均应形成有别于其他城市的特色所在。因此如何城市空间特色资源评价体系,成为当下城市规划