论文部分内容阅读
联锁系统对安全等级要求高,采用高安全性软件开发十分必要。文章介绍基于SCADE工具实现联锁逻辑软件的开发过程,使用模型化的方法从联锁逻辑的层次化设计到最终代码验证,实现开发过程的自动化,不仅极大地提高软件开发过程中的效率,而且能够保证系统的安全性和可靠性。
基于SCADE联锁逻辑实现与仿真分析
【摘 要】
：
联锁系统对安全等级要求高,采用高安全性软件开发十分必要。文章介绍基于SCADE工具实现联锁逻辑软件的开发过程,使用模型化的方法从联锁逻辑的层次化设计到最终代码验证,实现
【机 构】
：
南京恩瑞特实业有限公司
【出 处】
：
现代城市轨道交通
【发表日期】
：
2019年6期
其他文献
随着新课程改革的不断深入推进,核心素养的培养力度在不断增强,尤其是小学数学的核心素养培养更为明显。在小学数学教学中培养小学生的核心素养不仅能提升学生的数学综合能力
阻塞性睡眠呼吸暂停低通气综合征(OSAHS)是一种常见的睡眠紊乱性疾病,表现为睡眠过程中反复发生上气道阻塞或塌陷。颏舌肌作为最重要的上气道扩张肌,成为当今研究的热点。本
目的观察扶正抗癌方联合化疗治疗气阴两虚型非小细胞肺癌(NSCLS)的临床疗效。方法选择诊断为气阴两虚型NSCLC患者60例,随机分为2组,对照组采用吉西他滨+顺泊治疗,治疗组在此
随着我国金融业的全面开放,信用卡市场竞争日益激烈,我国信用卡如何参与竞争和提高盈利能力则成为处于金融全面开放条件下的我国银行当前和未来必须要解决的问题。运用SCP①
目的分析肺癌患者化疗后贫血情况.方法选择2017年6月-2018年6月医院收治的280例接受同期化疗的肺炎患者为研究对象.所有肺癌患者均接受吉西他滨联合顺铂方案进行化疗.分析受
稀土发光纳米材料由于其源于f-f电子跃迁的独特发光特性而被认为是一类理想的发光成像探针。我们利用溶液化学方法对稀土发光纳米材料的组成、结构和表面性质进行了调控,获得
本文采用全要素生产率的分析方法对辽宁省1991—2006年农业发展进行了定量测度,并对全要素生产率增长和经济发展源泉做了简要分析。探讨了资本、劳动力和广义的技术进步对经
<正>作为教师,在课堂教学中要培养学生成为知识的探究者、获得者,就必须鼓励学生对问题勤于思考,敢于质疑,善于解决,激发他们的创新意识。那么,教师如何在课堂教学中培养学生
上世纪50年代开始的传统笙的改革与创新,具体包括了笙簧的增减、音域的拓宽、音量的增大等方面,这些变革在使笙逐步发展、成熟的同时,由于缺乏统一的共识与研究,存在着一些不
本文对汉赋与雕塑予以横向层面的探讨，指出汉代大赋的铺陈手法追求雕塑中的方位性、空间感；汉代雕塑的艺术表现则具有大赋的浪漫主义特色；汉代大赋的精雕细琢与雕塑的气势古拙看