AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

运载火箭铝合金贮箱全搅拌摩擦焊接工艺及应用

搅拌摩擦焊技术具有焊接缺陷少、焊接变形小、接头性能高等优点,是运载火箭铝合金贮箱制造的发展趋势。本文分析了我国运载火箭贮箱的结构组成和主焊缝结构特点,系统梳理并研究了实现贮箱主焊缝全搅拌摩擦焊接制造所需要的关键技术,包括常规搅拌摩擦焊技术、可回抽搅拌摩擦焊技术、超声相控阵检测技术及补焊技术。研究成果已经逐步实现了在运载火箭贮箱筒段纵缝、箱底主焊缝、贮箱总装环缝上的工程化应用。     

可靠性工作中的标准化

概述了可靠性工作的目的,阐明了标准是可靠性工作的依据、标准化为提高产品可靠性所起的重要保证作用以及可靠性工作中应做好的几项标准化工作。     

异种铝合金环形构件的搅拌摩擦焊接工艺

为实现异种铝合金环形构件的高精度装配与连接,文中设计一种卧式串联型轴向移动转径向伸缩的搅拌摩擦焊接工装。结果表明,采用此工装成功实现铝铜系/铝镁系异种铝合金环形构件的高精度装配与高质量焊接,接头内部质量达到了I级接头要求,接头的抗拉强度高于245 MPa,延伸率高于16%,且所有接头均断裂在铝镁系铝合金母材一侧,说明该接头的整体性能要优于铝镁系铝合金母材性能,解决了铝铜系/铝镁系异种铝合金熔焊易出现焊接裂纹的工程难题。