军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

原位拉伸研究热处理对激光选区熔化GH4169合金组织及650℃力学性能的影响

研究热处理制度对激光选区熔化成形GH4169合金组织及高温力学性能的影响。通过自主研发的SEM原位加热拉伸测试平台,探究热处理前后650℃合金力学性能变化与动态组织演变的关系。结果表明：热处理后合金的晶粒形态由柱状晶转化为等轴晶,Laves相溶解,析出大量γ’和γ’’强化相;在650℃下,沉积态合金的屈服强度和抗拉强度分别为574 MPa和740 MPa,热处理态（HSA态）合金的屈服强度和抗拉强度分别为818 MPa和892 MPa,较沉积态分别提升了42.5%和20.1%;沉积态合金表面晶粒起伏更大,协调变形能力更强,塑性流动能力好;裂纹在Laves相周围萌生沿枝状晶向最大切应力方向扩展,样品颈缩后发生剪切断裂;HSA态裂纹在碳化物周围萌生沿晶界扩展,断裂方式为沿晶和穿晶相结合的混合断裂。     

高效能源系统管理与控制技术

能源系统是飞行器的关键技术之一,能源系统性能的优劣对飞行器能否正常飞行及实现预定任务有重要影响。本文针对大功率飞行器对分布式循环能源系统的管理需求,开展高效能源系统管理与控制技术研究,提出一种集逐级调压控制、限流充电控制、恒流输出控制以及最大功率点跟踪(MPPT)控制为一体的层级梯次控制策略,实现分布式系统的全局优化控制和飞行器能源的功率优化调度。研制的能源管理系统(PCU)配备1条234～328 V高压母线,额定功率15 kW,电路效率大于97%,功率密度大于750 W/kg。PCU依托分布式架构,采用层级梯次控制策略,验证了高效能源系统管理与控制技术的正确性和有效性。     

RP-3航空煤油模拟替代燃料燃烧特性的实验

在定容弹中实验测试了初始压力分别为0.1、0.3 MPa、初始温度分别为390、400、420 K、当量比范围为0.8～1.5时RP-3航空煤油模拟替代燃料的层流燃烧特性,并对比分析了模拟替代燃料与RP-3航空煤油的层流燃烧速率。结果表明,模拟替代燃料层流燃烧火焰的马克斯坦长度随初始压力或当量比的降低逐渐增大,表明火焰稳定性逐步增强;初始温度对火焰稳定性的影响不明显;随初始温度的升高或初始压力的降低,模拟替代燃料的层流燃烧速率逐渐升高;随着当量比的逐渐增大,模拟替代燃料的层流燃烧速率先增大后降低,在当量比为1.2时达到最大;在相同工况下,模拟替代燃料与RP-3航空煤油的层流燃烧速率吻合较好。      

金涂覆光纤传输损耗特性及修正方法研究

普通的丙烯酸酯涂覆光纤的工作温度通常为-65℃～80℃,常见的耐高温聚酰亚胺涂覆光纤工作温度最高为300℃。在更高温度工况下,通常采用金属涂覆的特种光纤进行信号传输,如铝涂覆、铜涂覆、金涂覆光纤。本文通过测试金涂覆光纤在不同环境温度下的传输损耗,发现在环境温度变化时,金涂覆光纤的传输损耗变化较大。针对基于黑体辐射原理的光纤温度传感器,传输损耗变化引入的误差可超过60℃。在此基础上,本文基于不同波段的光在金涂覆光纤中的传输特性,提出了一种双波段修正方法,能够对环境温度引起的光纤传输损耗进行修正。修正之后,传输损耗引起的误差小于15℃。     

碳纤维增强树脂基层板应变率相关损伤数值研究

为了研究高应变率载荷对于碳纤维增强树脂基复合材料变形破坏行为的影响,通过应变率修正式对复合材料的刚度与强度进行修正,建立了可考虑应变率效应的复合材料损伤数值模型,采用该模型对不同应变率条件下层板结构的面内破坏行为进行了模拟并与文献实验进行了对比分析。计算结果表明:本文所构建的数值模型可以有效预测树脂基层板结构在不同应变率条件下的破坏特征,并在材料刚度与强度硬化现象的预测方面有着较高精度;对于0°、90°铺层主导的试件,由于其力学性能近似为线性,数值模型在强度预测方面获得了较高精度;而对于±45°铺层主导试件,其在不同应变率条件下表现出较强的非线性损伤特性,因此模型在其强度性能预测方面存在一定误差。     

基于比拟理论计算圆柱/翼型的气动噪声

采用计算流体力学(CFD)与“声比拟”相结合的方法,通过两个步骤模拟流动的声学远场。第一步,在包含所有声源的近场区域内,通过求解URANS方程获得控制面处的非定常流场参数;第二步,采用基于可穿透数据面的FW H方法模拟声学远场。该方法与传统的半经验方法相比,计算精确,易于工程实现,并且可以计算非线性噪声。根据气动声学计算积分公式,构造了高阶的时间离散格式,采用高斯积分公式计算圆柱/翼型的气动噪声。在时域和频域上计算了观测点处的声压及声压级随时间步数的变化情况,其结果与国外实验结果对比取得了较好的一致性,此外研究了翼型尾流部分界面对计算精度的影响。     

基于遗传算法的航空发动机机载模型支持向量机修正方法

航空发动机的实时模型与发动机的匹配精度直接影响着航空发动机故障诊断的精度.提出了基于自适应遗传算法的最小二乘支持向量回归机(AGA-LSSVR)方法对航空发动机机载实时模型进行修正,有效的提高了模型的匹配精度.分析了最小二乘支持向量机中的参数的选取对模型修正的影响,在参数的选取空间里采用自适应遗传算法搜索最优参数.最后,比较了Back propagation(BP)神经网络、支持向量回归机、AGA-LSSVR等方法在机载模型中的修正效果.结果表明:提出的AGA-LSSVR具有很好的修正精度,验证了修正模型的有效性.      

通气位置对潜射航行体流体动力特性影响分析

基于均质平衡流理论,通过求解混合介质的RANS方程、SST湍流输运方程和各相之间的质量输运方程,开展了通气位置对潜射航行体流体动力特性影响的三维数值模拟研究,对比分析了不同通气位置条件下空泡形态特性、表面压力分布以及阻力变化特性.结果表明:当两个通气口间距增加到一定值后,在两个通气口之间区域空泡发生断裂,在断裂区域迎流面和背流面表面压力值升高,且在空泡断裂闭合位置出现压力峰值;在相同通气量条件下,随着通气口间距的增大,压差阻力系数和粘性阻力系数均呈减小趋势变化.