面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

风雷软件LES开发设计与验证

基于国家数值风洞风雷软件开源框架，设计开发了LES(Large Eddy Simulation)湍流模型，主要包括Fourier谱/有限差分方法 LES求解器和有限体积/有限差分方法 LES求解器。简要介绍了采用的不可压缩流动求解的投影法、Fourier谱/有限差分混合方法、亚格子模型等理论方法，给出设计的软件框架和计算流程，尤其说明采用的松/紧2种耦合模式。通过数值模拟不可压缩槽道湍流、亚临界雷诺数圆柱绕流、NACA0012临界攻角的低频振荡算例，验证求解器的计算精度和复杂湍流模拟能力。基于风雷开源框架设计的开源LES模型，具备高精度数值格式、亚格子模型、湍流统计等通用模块，可为国内学者提供一个LES湍流模拟研究的开放平台。     

基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

冷板流道结构优化及其钎焊技术

针对航天航空领域中集成电子设备出现的热流密度过高所带来的高效散热技术冷板设计问题与结构制造难题,提出了一种流道设计优化与结构钎焊技术。利用Flotherm热仿真分析软件对导流和结构等进行优化,完成了高效率散热结构设计。同时,对设计的窄流道结构带来的焊接质量问题,进行了钎料和焊接压力参数优化。结果表明:与传统S型流道冷板相比,采用片状导流结构和串并联混合结构的冷板热源温度降低了15℃,并将均温性控制在1.2℃以内。采用控制钎料厚度和工装压力的方法,降低了窄筋流道堵塞和焊接变形趋势。     

试飞驾驶技术评价方法研究

通过分析以往试飞驾驶技术评价方法中出现的问题,以典型的俯仰倍脉冲试飞动作为研究对象,将整个动作过程分为三个阶段,提出了针对每个动作阶段的评价标准以及整个试飞驾驶动作的评价算法,并在此基础上开发了驾驶动作评价软件,最后在地面模拟器上对评价软件的效果进行了验证,结果表明该方法能够客观地评价试飞驾驶技术水平,可以推广到其他试飞驾驶动作的评价上。     

基于ProCAST的镁合金惯组支架砂型铸造工艺研究

为实现镁合金惯组支架的高效率、高质量研制,使用ProCAST软件仿真优化ZM5镁合金惯组支架铸造工艺。通过对充型、凝固过程进行分析,发现铸件内部的3条薄壁筋板易出现浇不足、冷隔缺陷,圆弧面内侧厚壁筋条易出现缩孔、缩松等缺陷。经过优化设计,通过采取增加薄壁筋板厚度、调整内浇道位置、改变厚壁筋板上侧冒口结构等措施,较好地避免了上述铸造缺陷的产生,获得了合格的支架铸件。数值模拟仿真技术可应用于绝大多数航天构件的铸造过程分析,实现构件快速研制。     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

航电系统集成验证环境中的试验总控系统建设

针对国内军用航空修理行业系统级综合试验现状,根据航电集成验证环境中总控系统的特点和应具有的基本功能,结合视情维修需求及现代软硬件技术状态和成熟试验验证的手段,介绍了航电系统集成验证环境中总控系统的建设思路,给出了总控系统硬件及上位机测试软件的实现方案。该总控系统的应用将提升航电系统的修理验证能力。