假如使用Ada语言

介绍了Ada语言的应用现状及其前景,并通过一项实验说明Ada语言比C语言更适合于航空电子软件开发。     

教务管理信息系统的开发与设计

本文详细介绍了沈阳航空工业学院学生学籍管理，教师档案管理和电子注册系统的功能和实现，该系统是教务管理信息系统的一个子系统。同时介绍了系统实现时在数据库服务器端保持数据的完整性和一致性，并应用ADO技术连接和访问数据库。     

惯性导航仿真系统的设计

用惯性导航仿真系统代替真实的设备参与飞机飞行训练模拟系统,是为了获得更好的动态效果,减少测试的复杂性,降低实际费用。本文在分析惯性导航系统功能的基础上,提出了仿真系统的基本设计方案及软件设计技术。     

单片机在炮弹射击发数控制中的应用

介绍了航炮射击炮弹数目的单片机控制方法 ,并给出了较为详细的硬件组成及软件设计方案。     

计算机软件技术基础多媒体辅助教学软件研究与开发

通过对计算机软件技术基础多媒体辅助教学软件结构进行分析 ,提出了抽象模型 ,给出了基于推理的学习过程控制算法 ,讨论并实现了数据库管理及数据库表结构多媒体字段 ,最后分析了软件运行现状。     

一种高负荷叶型优化设计方法

采用3段3次贝塞尔曲线拟合叶型中弧线弯角分布,两段3次贝塞尔曲线拟合厚度分布,进行流线面造型,并结合优化算法进行寻优.S1流场评价工具为MISES软件,寻优算法为遗传算法（GA）.将传统遗传算法进行改进,引入并行模块,较大程度地提高了计算效率.实现了高负荷叶型的自动优化,探讨了高负荷叶型的设计准则,并将准则应用于超声叶型设计.结果表明:相比于原始叶型,优化后的叶型Ⅰ在总压损失系数略降低和出口气流角不变的条件下,可用攻角范围拓宽约2°,叶型Ⅱ的总压损失系数明显降低,可用攻角范围拓宽约0.6°,落后角降低约3.9°.      

基于DO-178C及CMMI的民用航空发动机控制软件质量保证研究

随着嵌入式软件逐渐成为民用航空发动机控制系统这一复杂系统的最重要组成部分,对于其安全性和可靠性的要求也日渐提高,而软件因为其研发过程的特殊性,要保证其产品质量则必须依靠过程的监控与符合性检查.软件质量保证(SQA)就是评估软件生存周期过程及其输出,以保证目标得以满足,故障得以检测、评估、追踪和解决,并保证软件产品和软件生存周期资料符合合格审定要求的活动,是航空软件产品研发过程中重要的一环.以DO-178C为指导,结合CMMI三级关键过程域实践,总结出一套民用航空发动机控制软件的质量保证流程,为质量保证人员(QA)提供参考.     

基于ASDC 模型的民用飞机供应商评估和监控准则研究

在“主制造商–供应商”的民用飞机研制模式下,供应商的选择和监控在某种程度上决定着民用飞机项目的成败。从供应商机载软件的研制资质、经验、体系规范和资源等角度出发,建立了供应商机载软件研制能力(Airborne Software Development Capability,简称ASDC)模型,并结合具体机载软件项目的技术要求提出了一套确定供应商评价和监控准则的机制。在此基础上对ASDC 模型向系统/技术/价格/质量/服务层级扩展,就可以建立一套完整的民用飞机项目供应商选择和监控准则。     

ARI_OPT气动优化软件研究进展及应用综述

针对飞行器气动外形精细化设计需求,为提高设计效率和设计质量,基于数值优化设计技术发展了气动优化设计工具ARI_OPT。ARI_OPT包含气动外形参数化、网格自动变形、高逼真度数值模拟、代理模型、高效优化算法等模块,分别简要介绍了各个模块基本的基本原理和方法及单个模块的验证结果。给出了ARI_OPT针对数值函数算例的功能验证结果和宽速域翼型、多段翼型和飞翼布局机翼等典型单目标和多目标气动外形优化问题的应用算例,表明了其可靠性和适用性。     

面向对象软件在工具辅助下确认测试的方法与实践

以某一型号综合测试管理软件的确认测试为例 ,阐述了在TESTBED软件测试工具辅助下 ,对面向对象的软件进行确认测试的实践活动