【摘 要】
：
针对综合模块化航空电子系统中机载软件规模、复杂度大幅上升的趋势,对传统机载软件研制方法不能满足机载大规模复杂软件研制的问题进行了分析。针对机载综合化大规模软件,为
【机 构】
：
中国人民解放军驻六三一所军事代表室,中航工业西安航空计算技术研究所
【基金项目】
：
国家重大专项基金(2012ZX01041-006);国家航空科学基金资助项目(2013ZC31003)资助~~
论文部分内容阅读
针对综合模块化航空电子系统中机载软件规模、复杂度大幅上升的趋势,对传统机载软件研制方法不能满足机载大规模复杂软件研制的问题进行了分析。针对机载综合化大规模软件,为解决软件的可信性、确定性、健壮性和连续性,提出“需求管理、模型开发、仿真验证、产品复用、工具支撑、过程管理”为核心的软件开发方法。经过国产机载嵌入式操作系统等机载大规模软件研制实践,可有效提高软件研制质量。该方法对同等软件的研制具有极强的参考价值。
其他文献
目的考察叶下珠中没食子酸及鞣质含量。方法用HPLC法以对照品外标法测定没食子酸、UV法测定鞣质。结果叶下珠药材样品中没食子酸含量为0．57％～0．67％，鞣质含量为3．81％～4．35％。结论方法简便
为了确定豆腐的最佳预处理条件和参数,对其在电磁炉煮制、蒸制、过热蒸汽、油炸、微波短时加热处理过程中的品质变化进行了研究。探索在不同加热方式处理下豆腐中心温度的变
目的:回顾性分析收治的新型冠状病毒肺炎(COVID-19)患者入院首诊的临床特征及CT影像表现特点,旨在为该病的诊断和治疗提供参考.方法:纳入2020年1月末至2020年2月中上旬内在武
采用计算机科学和运筹学交叉的学科研究的方法,是组合优化对经典问题进行研究的方式。组合优化,就是对于离散结构的问题进行性质的求解,将不同离散问题进行结构差异的分析,采
在业余合唱团队的活动中,合唱指挥是核心。对这个定位,自己一定要很清楚。因此,一定要不断地自我完善。因为指挥者的完善与提高直接关系着团队活动水平的高低。其中克服常见
"跃步上挑"是《初级剑术》中的一个难点动作。文中具体讲述了关于这一动作的各种教法及实施,以便在今后的武术教学中能举一反三,有效地提高武术的整体教学水平。
目的：观察双黄连颗粒佐治小儿支原体肺炎的疗效。方法：130例按随机数字表分为两组各65例,两组均用阿奇霉素干混悬剂治疗,研究组加用双黄连颗粒。结果：总有效率研究组95.38%、对
定积分是高等数学的重点，也是学生学习的难点．本文从简化定积分的计算入手，给出了定积分的一些特殊计算方法和技巧．
【正】如同女士的年龄一样,个人经济收入属于不该涉及的话题,这是现代社交礼仪中的N项基本原则之一,看那架式,大概也还要坚持N百年不动摇。不过,像个他人
通过分析传统部门法划分标准的不足 ,归纳提炼出以利益关系作为划分部门法的客观标准。在深入分析了环境问题的成因之后 ,指出环境资源法是以对生态利益的维护和增进为其独立