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

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

基于净现值法的服务通告经济性评估

为了有效地对服务通告进行管理,保证航空器运营的适航性和经济性,必须对服务通告进行有效的评估。本文从经济性的角度出发,提出了基于净现值法的服务通告评估流程和量化指标,实现了服务通告评估由定性分析到定量分析的转变.     

双周期带涂层纤维压电复合材料反平面问题分析

 研究双周期带涂层纤维压电复合材料反平面问题。利用Eshelby等效夹杂原理引入特征应变和特征电场,并结合双准周期Riemann边值问题理论,获得了问题在反平面机械载荷和面内电载荷作用时的解析解。由本文解的特殊情形可以退化为已有结果。数值算例考察了复合材料内部应力和电场随复合材料各组分电弹参数的变化规律,研究了纤维排列方式和纤维体积分数对复合材料有效电弹系数的影响。带涂层纤维正六边形排列时的有效电弹系数与广义自洽方法的预测结果非常接近。结果对新型航空材料的设计和优化具有参考价值。     

基于星间测距的卫星自主导航中异常值剔除方法

在星间观测值数据传输中,由于种种因素有个别值与其他值截然不同,对定轨精度造成了严重的影响,必须对这些违反测量过程规律的异常测量值进行剔除。提出一种运用轨道积分器与设定随时间实时变化的门限值对星间距离观测值进行异常值剔除的方法。仿真结果表明,这种异常值剔除方法能够成功剔除观测误差大于等于180m的异常值,较精确、实时地剔除了对定轨结果影响较大的异常值,在卫星导航领域具有一定的应用价值。     

基于奇异值趋势分解和LS-SVR的航空发动机性能指数组合预测

发动机性能指数是衡量其性能优劣的重要指标之一。针对发动机性能指数具有非线性、非平稳的特征,引入多层次多尺度的思想,在此基础上提出一种基于奇异值趋势分解的组合预测方法。利用奇异值趋势分解提取原始数据的趋势项和波动项;以改进粒子群算法分别获取趋势项和波动项在最小二乘支持向量回归模型中的最佳参数组合(嵌入维数、延迟时间、惩罚因子、核参数),并引入回归移动的思想,在此基础上利用最佳的最小二乘支持向量回归模型进行预测。预测结果表明预测精度明显增加,计算时间也相对减少。提前预测步长在5步之内时,精度变化不大;步长超过10步,精度下降很快。与不同预测方法比较,证明了方法的有效性。      

两类n阶非线性方程的两点边值问题

已有人利用上下解方法讨论过非线性n阶常微分方程两点边值问题解的存在性，而边值问题是否存在上下解是很难判别的，在文中，用初等方法讨论了两类n阶非线性方程满足两点边界条件的边值问题解的存在性、唯一性，并对解的存在性唯一性区间进行了估计。     

用于航空发动机故障诊断的双发性能参数差值分析法

为克服双发民用飞机目前普遍采用的3大发动机生产厂家(Original Equipment Manufacturer,OEM)开发的发动机性能监控软件的局限性,研究总结了双发性能参数差值分析法。通过3起发动机故障诊断实际案例,利用该方法对双发性能参数进行差值计算,并观察其变化趋势,可以有效地排除外界飞行条件等的影响,高效地判断出发动机故障;同时,可以对飞机航空专用数据链通信系统(Aircraft Addressing and Reporting System,ACARS)报文上任何所需的参数进行分析。     

求解大型对称特征值问题的迭代Chebyshev-Lanczos方法

本文研究计算大型对称矩阵极端(几个最大或最小)特征值及相应特征向量的问题,讨论了Chebyshev迭代法对Lanczos方法的应用,提出了Chebyshev-Lanczos方法。计算实践表明迭代Chebyshev-Lanczos方法比迭代Lanczos方法优越。     

一种测量雷达散射截面参数现场校准方法

雷达散射截面参数是测量雷达一项非常重要的技术指标,该参数的准确性直接影响雷达对被测目标隐身能力的判定。基于雷达散射截面参数有源定标技术、高精度雷达散射截面模拟控制技术、高稳定雷达散射截面回波信号合成技术等,实现对雷达散射截面参数的动态精确模拟,从而对测量雷达散射截面参数进行校准,通过外场条件下的量值传递,解决了测量雷达散射截面参数有源定标问题。     

基于小样本物理测试的T800H碳纤维复合材料许用值虚拟大样本技术研究

获得材料许用值的传统方法是对各种形式的材料和试样进行物理试验,并根据"积木式"方法逐级验证单元、子部件和部件。然而,按照"积木式"方法进行测试的成本很高。因此,需要一种新的方法,在较短的时间内完成新材料体系表征鉴定,并推进其在工程中的应用。根据FAA/ASTM建议,非均质单胞多尺度建模/虚拟测试技术,可以成为设计应用过程早期的材料和结构的验证策略。以材料的细观力学/宏观力学为基础,充分考虑制造过程,测试数据和服役环境影响,结合渐进失效分析来预测结构/部件安全性,建立了多尺度虚拟测试工程应用流程。本文采用美国AlphaSTAR公司研发的成熟商业软件平台GENOA,使用单向带测试的统计数据来逆推纤维和基体材料性能以及制造变量的不确定性。这些不确定性随后被用于生成层合板结构的随机虚拟测试试样,计算许用值。这种仿真方法在T800H项目中获得成功应用,大量减少了物理试验。