论文部分内容阅读
利用一种基于SCADE模型驱动的嵌入式软件开发方法，研究四余度信号表决系统的设计和实现．方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高，并在很大程度上实现了软件开发的自动化。通过测试和仿真，四余度信号表决系统软件模型设计合理可行，生成代码可嵌入到实时软件中使用。
基于模型驱动的四余度信号表决系统设计
【摘 要】
：
利用一种基于SCADE模型驱动的嵌入式软件开发方法，研究四余度信号表决系统的设计和实现．方法的主要优点在于基于图形化的软件建模、代码自动生成、具有开发周期短、安全性高，并
【机 构】
：
中航工业西安航空计算技术研究所
【出 处】
：
航空计算技术
【发表日期】
：
2016年6期
【基金项目】
：
航空科学基金项目资助(2014ZD31006)
其他文献
目的：探讨心理干预在职业病患者护理中的措施及效果。方法140例职业病患者，随机分为对照组和观察组，各70例。两组患者均及时治疗，对照组患者给予常规护理，观察组在此基础上，加强心
持续非卧床式腹膜透析(Continuous ambulatory peritoneal dialysis,CAPD)作为终末期肾功能衰竭患者的一种有效替代疗法在临床已被广泛应用,CAPD患者的心理健康状况越来越受
泸州市纳溪区区域推进“四育合一”农村素质教育实践,以“三驾马车”驱动、“六项改革”举措,打开校门办教育,整合“家校社自”力量形成育人合力,培养了兼顾个性发展与全面发
通过对军校战士学员英语学习策略使用的总体情况,探讨性别、所受教育程度、英语学习间断时间对英语学习策略选择的影响。结果表明,性别和所受教育程度对语言学习策略的使用没
近年来国内高校积极探索学术英语课程的建设。本研究选取中国知网2009-2018年期间收录的关于本科生学术英语课程教学实践的相关文献,从开课对象、课程模块、教学模式以及评估
十七大报告是指引我们建设更高要求小康社会的纲领性文件，“小康社会”是报告的中心词，也是当今经济社会生活中的主题词。以纽马克的非文学翻译理论来分析解读“小康社会”的译
高校日语学习者绝大多数入学前从未接触过日语，在有限的高校学习期间难以快速提高口语水平。针对这一现象，将中国当代外语教学法运用于课堂教学以及指导学生课外学习的教学工作
评估，一般被理解为根据特定的目的和掌握的资料，对某一事物的价值或现实状态进行充分、客观和科学的定性定量分析、说明与评价的过程。评估所得出的结论，是对评估对象的价值或现