安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

总线通信系统外场检测软件的设计与开发

结合某型飞机总线通信系统的研制实践，介绍了总线通信系统外场检测设备的组成及其与通信系统的交联关系，重点阐述了检测软件的性能设计、数据结构设计、功能模块设计和人机接口设计，以及在软件开发过程中采用的信息采集实时性技术、画面闪烁的解决和建立合理的数据结构等关键技术。     

某型发动机推力室均匀性分析与均流板设计

首先提出并应用了一些针对推力室氧腔几何模型的计算方法,结合通用CFD软件Fluent进行流场计算,并对计算结果进行了分析研究,在分析计算的基础上提出孔板的新设计思想,设计出了新均流孔板,并对氧腔进行了重新建模和流场均匀性计算分析.     

基于大气传输软件激光透过率对比研究

简要地归纳了目前比较通用的大气传输软件LOWTRAN7、MODTRAN和FASCODE的概况和异同,分析了大气透过率的计算和激光武器选用的波长,比较了激光传输衰减和能见度的关系,重点研究对比了用LOWTRAN7和FASCODE计算1．06μm和10．6μm激光的透过率,并得出了结论。     

叶片包容性计算的软件实现

基于英国和俄罗斯叶片包容性设计方法和理论,应用VB语言开发了叶片包容性计算软件。以某型发动机第1级涡轮叶片为例,用该软件计算了叶片包容性和满足包容性条件下的最小机匣厚度。根据实际要求,也可以用该软件确定满足包容性要求的各设计参数     

航空火力控制系统智能自动化检测系统设计

研究了对作战飞机的航空火力控制系统进行智能自动化检测的方法，设计了一种基于虚拟仪器技术的微机数据采集与控制系统，详细介绍了系统的组成，说明了硬件、软件的结构和功能，并讨论了应用超文本技术定义被测设备的数学模型的方法。     

基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

涡轮盘双轴对称异形孔结构建模与优化

针对发动机轮盘孔结构的应力集中问题,以某高压涡轮盘安装边螺栓孔为研究对象,建立了涡轮盘非圆异形孔数学模型.该异形孔由双轴对称的8段圆弧光滑连接而成,并满足螺栓装配的要求.使用该异形孔模型取代了原螺栓孔.以有限元分析为基础对异形孔进行了优化,得到该轮盘安装边多圆弧异形螺栓孔的最佳形状.结果表明:优化后的多圆弧异形螺栓孔边第1主应力最大值降低了14.8%,孔边应力集中程度显著下降.设计参数灵敏度分析结果表明,与主圆弧相连的过渡圆弧的尺寸对孔边应力的影响较为显著,在设计中应予以重视.      

SCADE模型驱动开发过程研究及高安全性分析

本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。     

大飞机装配厂房布局及运动仿真软件开发

本研究研发的大飞机安装厂房布局及运动仿真软件已实现基本功能,可完成模型的精简,单元定义,包括最大包围盒和最大轮廓的计算,已定义单元的清单显示,单元定义完成后可存储在.Def结尾的文件中;