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

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

空中交通安全预警系统的构思

遵循理论与实际相结合,宏观与微观相结合的原则,采用定性分析与定量分析相结合的方法,在对影响空中交通安全管理的诸因素进行分析的基础上,构建了空中交通安全管理预警系统,对该系统的组织结构、工作内容和运转模式在总体上进行了讨论,并对其主要功能进行了简要介绍.     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

《膨胀土地基上修筑机场道面对策研究》项目通过鉴定

经空后司令部批准，4月29日空后机场营房部主持召开了《膨胀土地基上修筑机场道面对策研究》项目鉴定会。该项目研究成果顺利通过技术鉴定，并得到了与会专家和领导的一致好评。《膨胀土地基上修筑机场道面对策研究》项目，系统地提出了在膨胀土上修筑机场道面的设计、试验、施工控制指标和科学的判别方法，并提供了确定经济合理的地基处理方法的有效手段，对于膨胀土地区机场工程建设顺利进行，控制投资规模，具有十分重要的意义。     

叶片飞脱下转子动力学响应实验

为了研究大涵道比涡扇发动机叶片飞脱时动力学响应,更好地进行发动机安全性设计,根据相似理论设计了包含叶片飞脱装置的突加不平衡实验系统并进行了实验验证。研究结果表明:设计的突加不平衡实验系统,与某型验证机相似度高,代表性强,能够有效可控地进行突加不平衡实验,重复性好,机理清晰且飞脱不平衡量大,能够真实地模拟发动机叶片飞脱响应。通过实验发现,当大突加不平衡发生时,频谱出现超次谐波并且冲击系数由于挤压油膜阻尼器限幅作用并不呈现线性关系,因而在后续研究中还应注意限幅导致的碰摩问题。      

民用飞机型号合格审定计划的制定方法

在民用飞机型号合格适航取证过程中，申请方需要开展符合性验证试验、试飞、分析等符合性验证活动来证明飞机型号设计符合相应的型号合格审定基础，以获得适航当局颁发的型号合格证。在此过程中，需要将符合性验证活动分解为便于管理的任务，使这些任务得以合理、有序地完成，这类分解后的符合性验证活动的载体就是一份份型号合格审定计划。审定计划是民用飞机型号合格取证的关键工具，它提供了详细的产品描述和成功完成取证的工作要求。分析了审定计划的适航规章要求和行业标准要求以及两者之间的异同，结合国内民用飞机型号的适航取证经验，提出了审定计划的规划原则、内容要求和协调性检查要求，为国内民用飞机型号合格审定计划的规划和制定提供参考。     

基于嵌套网格的CHN-T1标模数值模拟

为响应第一届航空CFD可信度研讨会(AeCW-1),对CHN-T1标模翼身-尾翼组合体构型采用两种RANS求解器进行了基于结构化嵌套网格的网格收敛性研究和抖振特性计算,并与对接网格结果进行了对比分析。参考AeCW-1网格生成指南自主研发了一族以约3.3倍规模增长的稀-中等-密-特密嵌套网格系列。相比于分区点对接网格,融合了贴体网格和笛卡尔网格优势的嵌套网格从根本上降低了网格生成难度,单块网格拓扑形式更为合理且正交性较好,同时能够有效地平衡近场和远场的网格量。对于跨音速运输机构型,同等规模下嵌套网格的物面网格密度较对接网格更大,能够对激波和分离等复杂流动进行更理想的预测。对比计算过程中,自研求解器OFS3D表现出了较高的嵌套网格计算效率和可靠性,而NASA CFL3D求解器的嵌套网格计算能力有待进一步挖掘和验证。计算还发现,不同湍流模型得到的表面压力分布、分离区大小以及最大升力系数存在差别,而风洞模型支撑和机翼静气弹变形对飞行器力矩特性预测影响较大。     

涡轴发动机燃气涡轮叶片动应力测试技术研究及验证

针对涡轴发动机高转速燃气涡轮叶片动应力测试中出现的应变计短路、高温导线断裂和线芯窜动问题,开展了动应力测试技术研究。提出了加宽基底喷涂固定应变计、优化高温导线布线、改进高温导线等工艺方法,并进行了试验验证。试验结果表明,共振转速试验测试值与计算值基本一致,共振转速测试结果准确有效。通过研究,获得了具有实际应用价值的涡轴发动机燃气涡轮叶片动应力测试技术,可为同类测量提供参考。     

飞机高能束增材制造结构研究

轻质高效、长寿命、多功能、低成本、快速响应制造是现代飞机结构技术的发展方向,但受限于传统制造技术,一些创新的结构存在"设计得出却造不出"的问题。高能束增材制造技术的发展为新概念结构工程的实现提供了契机。基于高能束增材制造技术,针对现代飞机结构特征需求,提出了大型整体化、梯度复合化和功能结构一体化等发展方向,创建了新概念构型,开展了设计与评定方法研究,提出了基于技术成熟度的工程化验证模式。     

CFD软件自动化验证确认云平台设计与实现

针对大型计算流体力学(CFD)软件的验证与确认,为了减少人工成本,提高软件质量和开发效率,并适应于未来高性能计算发展的要求,基于云计算思想,提出了自动化测试云平台的解决方案。该方案采用模块化的浏览器/服务器(B/S)网络架构;利用LAMP(Linux+Apache+MySQL+PHP/Python)开发工具;建立了持续集成的专业数据库;构建了涵盖可靠集群监控、复杂作业调度及大规模并行计算功能的云端环境;实现了通过便捷的网络访问,自动加载测试算例、提交集群计算、监测实时进度、自动化后处理、输出分析结果,并提供丰富的实验对比图、误差分析报表和汇总报告等;完成了对大型CFD软件的自动化验证与确认。将该方案应用于某大规模并行计算的CFD软件,验证了该解决方案的可行性与实用性。