机载系统NANDFlash存储技术

为了发挥NANDFlash在机载环境中非易失性、体积小、固态性、重量轻、低功耗、抗震动等特点,介绍了NANDFlash的存储特性,对NANDFlash存储的关键技术进行了改进,提出了基于域机制的地址映射方式和基于阈值的损耗均衡方法,为机载系统能够更加可靠、实时和安全地进行数据存储提供了选择。     

航空软件配置管理系统设计和关键技术研究

从军工软件配置管理的需求出发,结合国军标的开发库、受控库和产品库的三库配置管理体系,阐述某自主知识产权的＂航空软件配置管理系统＂的总体设计思路,指出该配置管理系统实现的关键技术为软件配置库的存储设计方法和文件的增量存储和差异比较技术。说明系统软件配置库的存储设计思路和方案,采用编辑图和贪心算法实现文件的增量存储和差异比较技术的解决方案。总结系统的特点和优点,说明系统下一步发展及扩充的几个方向。     

激光粉末床融合铝合金微合金化研究进展

针对传统铝合金在激光粉末床融合技术(LaserPowderBedFusion,LPBF)中的高裂纹敏感性,总结了近年来通过微合金化方法改善 LPBF铝合金成型性及力学性能的研究进展。综述了微合金元素在成型过程中的作用机理,重点讨论了 Er、Zr元素对微观组织的调控即晶粒细化,总结了 LPBF微合金化铝合金的成型工艺研究,分析了微合金改性后热处理工艺诱导第二相弥散析出及对应力学性能的研究。对未来 LPBF铝合金微合金化研究提出展望,开发新的微合金改性铝合金并探索适合工业生产的热处理工艺,获得低成本、高强度的 LPBF铝合金。     

MBSE在航空飞行控制系统的应用研究

随着现代飞机系统的复杂性不断增长,传统的开发方法在管理和维护方面变得越来越具有挑战性。MBSE为系统工程提供了一个全面和集成的方法,增强了整个开发过程中通信、协作和可追溯性。首先,对航空飞控系统研发过程在当前系统工程实践进行了评估,阐述了传统开发方式的不足和MBSE的核心原则和优点,以及在实现中常用的工具和方法。然后,展示了MBSE如何在飞行控制系统研发时使用模型来支持复杂系统的规范、设计、分析、验证和确认的过程。最后,我们展望了未来的研究方向,包括先进的MBSE工具和方法的发展,MBSE结合敏捷的开发前景,以及提高MBSE实践的互操作性和标准化的需求。本文为航空工业专业人员、系统工程师和对利用MBSE方法路和工具来改进飞行控制系统的设计、开发和性能感兴趣的研究人员提供资源和解决思路。     

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

SCM、PDM与产品数据技术状态的管理

阐述了适合计算机软件和其它工业产品的数据和技术状态管理与控制技术———软件配置管理(SCM-Software Configuration M anagem ent)与产品数据管理(PDM-Product Data M anage-m ent)技术,各自产生的背景、处理的对象、关注的焦点、作用的范围、及其输出结果,提出了在产品研制过程中实施SCM和PDM的措施与实施原则———定义规范化的过程、选用适用的工具、进行周密的计划、重视技能培训。