Mascot: 一种实时软件的开发方法

来源 :航空电子技术 | 被引量 : 0次 | 上传用户:softguner
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
一、引言随着航空电子系统综合规模的增大,其中的软件也变得更加复杂,难于驾驶。要克服这种困难,必须选用合适的程序设计方法学来指导航空电子软件的开发,并且要有相应的软件开发环境来支持方法学的应用。近十年来,涌现了几十种软件设计方法。
其他文献
一件小小的离婚案办了二十四年,竟和我们共和国文化大革命结束时期的历史一样长。共同经历了经济恢复时期、困难时期、文化大革命和经济改革的初期。结果“一醉”“一疯”家
目的探讨咯血患者采用聚乙烯醇颗粒栓塞剂(polyvinyl alcohol,PVA)颗粒选择性支气管动脉栓塞治疗的安全性及疗效。方法选择56例肺咯血患者,均使用PVA颗粒急诊选择性支气管动
C22是由法国航空航天公司导弹分部为主承包商研制的一种用于试验新一代空空和面空导弹的靶机。它可以模拟先进亚音速歼击机的飞行特性。介绍了C22的使用要求、地面设备等情况。
新时期党建政工工作面临着众多新的挑战,特别是煤矿企业,党建政工工作人员在实际工作的过程中遇到了若干问题,亟待采取有效的措施进行处理,以此提高党建政工工作的实效性。因
目的了解脑卒中后吞咽障碍患者身心健康状况,并探讨其相关影响因素。方法采用洼田饮水试验对火箭军总医院脑卒中患者进行筛查,共筛选出120例脑卒中后吞咽障碍患者,对其进行一
My argument in this article,will be that nature,in general,and human nature in particular,suggests that,in principle,it is possible to derive the causal time ar
期刊
目的探究手术固定后踝骨折块对踝关节骨折后关节功能恢复的影响。方法随机抽样分组选取2012年至2014年6月我院收治的60例踝关节骨折患者,并随机分为观察组和对照组,观察组选
针对复杂的多相流动体系,构建了一套用于计算多相微流体的格子波尔兹曼模型方程,成功地对方形通道中的液滴流动进行了三维模拟,并对直通道和弯曲通道中不同的流动、混合机制
本文依据图书馆学相关指南及理论,结合国内外图书馆亲子阅读活动的优秀实践案例及广州少年儿童图书馆的实践情况,初步提出评价指标。利用Kano模型对评价指标进行质量属性验证
目的研究开滦集团急性胰腺炎(acute pancreatitis,AP)疾病的流行病学特征,分析影响AP疾病发生的危险因素。方法选取在职员工及离职退休职工12400例为研究对象,其中确诊AP患者