核电厂数字化仪控系统算法软件自动化生成方法

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:ChampionHan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在核电厂数字化仪控系统(DCS)中,算法软件主要完成系统的业务功能,属于安全级软件.算法软件开发遵循软件的典型生命周期,即从软件的需求,设计到实现的整个过程.在核电行业的算法软件开发生命周期中,需求一般对应功能图,设计一般对应逻辑图,实现一般对应C代码.在算法软件的开发过程中,可能在不经意间引入一些人为错误,导致一些不可承受的严重后果.文中针对核电厂DCS系统算法软件的安全性要求,基于SCADE软件的KCG模式生成代码,提出算法软件从需求到代码自动化生成的方法,并利用该方法开发出符合核电行业高安全性要求的
其他文献
大学基层学术组织历史悠久 ,并随着社会的发展而变革。它的发展既受到大学规模不断扩大、功能日趋复杂的影响 ,又受到知识迅猛发展、学科分化与综合共存的影响 ,甚至还受到各
采用近 2 0年来中国各省 (市、区 )的人口、GDP、工业、农业、第三产业的产值及消费额数据 ,计算出其各年的重心坐标 ,定量表示出中国近 2 0年来人口、GDP、工业、农业、第三
为建立城市经济社会与环境协调发展的多目标决策模型,考虑了模型特点、数学模型的结构以及模型的求解方法.据此,建立了西安市2000年经济、社会与环境协调发展的多目标决策模
本文分别从系统网络的合理配置、抗干扰侵害、电源安全评价、规范操作及人为故障的防范措施等方面,详尽阐述了对煤矿安全监测系统运行的故障防治,并对几种典型运行故障进行了
当前,制造企业中存在一个普遍的现象:战略是董事会在做,预算是财务部在做,绩效考核又是人力资源部在做;战略制定的不是预算支持的,预算支持的不是绩效考核看中的,考核的又不
总结了我科2015年发生的、无惩罚原则支持下、主动上报的14例护理不良事件,分析其原因主要包括意外拔管、查对不严、给药错误、输液穿刺意外、导管堵塞、护理带教不严、患者自
<正>2019年8月,全国337个地级及以上城市平均优良天数比例为87.1%,同比下降3.1个百分点;PM2.5浓度为20微克/立方米,同比持平;PM10浓度为40微克/立方米,同比上升2.6%;O3浓度为
卫星遥感是耕地资源调查的一种重要技术手段,利用遥感时间序列数据进行耕地提取具有很强的实践意义。光学遥感成像过程易受光照和大气条件影响,在云雨多发地区所能获取的可用
也斯的文学艺术活动,包括小说、散文、诗歌、翻译等,隐含着香港本土作家寻找自身文化身份的冲动和努力。他的散文创作具有“城市漫游者”的特质,这既表现在他本人的写作姿态
“三农”问题是关系到新世纪、新阶段改革开放和现代化建设全局的大问题,也是关系到社会稳定的大问题。但解决“三农”问题必须跳出过去基于农村本身就“三农”论“三农”的