【摘 要】
：
随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件设计方法势在必行。本文研究了一种航空机载
【机 构】
：
上海飞机设计研究院飞控系统设计研究部
论文部分内容阅读
随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件设计方法势在必行。本文研究了一种航空机载软件开发方法—高安全性开发环境SCADE,并以飞机自主导航软件为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模和模拟仿真自动生成可直接面向工程的安全嵌入式C代码。实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间。
其他文献
老字号企业的档案管理是其文化传承和发展的有效途径,也是弘扬地方文化品牌的珍贵渠道。本文从分析老字号企业档案管理的现状入手,指出这类企业进行档案管理的必要性,提出了
<正>河姆渡遗址是全国重点文物保护单位,为举世闻名的新石器时代遗址,位于余姚市罗江乡河姆渡村东北,面积约4万平方米,1973年开始发掘。遗址有4个相继叠压的文化层,其中第三
以晶须状多壁碳纳米管为导电剂,纸纤维为基体,采用高速剪切分散工艺将碳纳米管均匀分散在纸纤维基体中制成碳纳米管纸纤维浆料,经真空抽滤制备碳纳米管导电纸。检测了碳纳米
针对半干法脱硫工艺中使用的布袋除尘器滤袋破袋严重的问题,对如何降低滤袋消耗、提高脱硫同步率的生产实践进行介绍,并提出了下一步努力方向。
<正> HMS与西门子公司合作发布了最新的CANopen主站/从站扩展模块用于西门子SIMATIC ET200S I/O系统。新产品1SI CANopen模块为SIMATIC ET200S分布式I/O带来了CANopen接口,可
本文主要以中国期刊全文数据库里1993-2009年国内所发表的有关语料库翻译研究的学术论文为数据样本,通过对样本的数据分析,就国内语料库翻译研究现状进行调查。结果显示:国内
综述了近年来国内外利用天然高分子壳聚糖、海藻酸钠制备载药纳米微球的方法。着重介绍了采用离子交联法和乳化法制备海藻酸钠/壳聚糖纳米微球作为药物载体的研究进展,并对应
目的探讨胸腰椎结核一期手术入路与手术方式的选择。方法对22例胸腰椎结核患者采用3种不同术式:胸、腰椎前路病灶清除植骨,同期钢板内固定;胸椎后路病灶清除植骨,同期经椎弓
班组长是班组团队中最高的领导者、班组生产管理的指挥者和组织者,班组团队建设成功与否关键看班组长。班组长要畅通与班组成员的沟通渠道,提升班组成员的归属感,在班组中营