面向多级中断系统的任务最差响应时间分析

针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与任务嵌套的响应时间分析相结合,推导出了混合模型下响应时间计算公式。并进一步比较了中断与任务的异同,阐述了公式中关键参数的含义与计算方法。最后利用开源的LEON3平台和Modelsim软件对所述方法进行了仿真验证,结果表明,任务最差响应时间过估小于5%,可以得到准确的分析结果,有较高的工程应用价值。     

基于统计学方法的卫星在轨热变形快速分析

为使用在轨实测温度数据辅助完成成像载荷视轴指向的在轨标定,首次将应用于地统计学中的普通克里格法用于卫星在轨温度场的无偏估计,提出了一种基于统计学方法的在轨热变形快速分析方法。应用热试验过程中星上少量温度实测数据进行卫星温度场的无偏估计,并将温度计算结果赋值到有限元模型,进而完成了热变形分析。应用此种方法,相比通过热物理方法进行温度场分析,可将热变形分析的工期缩短数日,且载荷变形的分析结果与试验实测结果的误差在1′左右,可较准确地得到载荷视轴在热变形作用下的指向变化。文章可为卫星在轨热变形的快速分析提供参考。     

全局最优导向模糊布谷鸟搜索算法及应用

针对标准布谷鸟搜索算法探索能力强而开发能力较弱、收敛速度慢及计算精度较差等问题,提出了具有全局最优导向的模糊布谷鸟搜索算法。在鸟窝更新公式中引入全局最优导向策略,在产生新的鸟窝位置时利用到当前最优鸟窝位置信息,以保持鸟窝的多样性并提高算法的开发能力。另外,采用模糊逻辑规则对布谷鸟算法中的搜索步长和外来鸟蛋被发现概率这2个重要参数进行自适应调整,以提高算法的全局收敛性能和求解精度。通过2个经典结构可靠性分析极限状态方程测试该算法的性能,并将其应用于某飞机舱门锁定机构可靠性分析中。实验结果表明,与粒子群算法、标准布谷鸟搜索算法和改进布谷鸟搜索算法相比,所提出的全局最优导向模糊布谷鸟搜索算法在进行可靠性分析中,能够有效地提高解的精度并增加收敛速度,寻优效果更优。      

无人直升机飞行品质要求探讨

针对无人直升机发展过程中对无人直升机飞行品质要求日益加剧,而相关领域的研究及成果甚少等问题,从自动飞行控制视角出发,较为系统地研究了无人直升机飞行品质涉及的各个基本方面,包括无人直升机飞行品质的定义、研究内容、影响因素和指标体系等;同时,通过对ADS-33E的合理改进,提出了适用于无人直升机飞行品质评估的三维架构以及相应的评估准则;可为新型无人直升机系统的研制和评估提供指导,为我国无人直升机飞行品质规范的早日出台提供借鉴。      

复合材料层合板机械连接修理拉伸性能

带损伤孔的复合材料层合板拉伸强度会降低约55%,需要对其进行修理以恢复力学性能、满足使用要求。针对带圆形损伤孔的复合材料层合板设计了机械连接修理方案,通过轴向拉伸试验评估其修理效果。根据试验条件建立了有限元模型,分析不同的修理方案对破坏模式、破坏载荷、应力分布、钉载分配等产生的影响。试验及有限元分析(FEA)均表明,修理后的复合材料层合板,其强度恢复率达到55%~60%左右,应力集中部位主要在修理区域最外侧的钉孔旁,最终破坏模式为母板沿修理区域最外侧一排钉孔断裂。使用双面修理、增加螺栓排数、采用金属补片、适当增加补片厚度,可减缓应力集中,改善钉载分配,提高结构强度恢复率。      

电脉冲除冰系统电磁脉冲力仿真分析

为了获得更精确的电脉冲除冰(EIDI)系统中电磁力在飞机蒙皮上的分布及其随时间变化的情况,针对系统的工作原理与工作过程进行了仿真研究。计算分析了EIDI系统电路中电流随时间变化的关系;通过麦克斯韦方程组的求解完成了EIDI系统电磁场的仿真;计算分析了电磁力随时间变化的规律,获得了蒙皮上的磁感应强度分布、涡电流密度分布和瞬态电磁力密度分布。考虑线圈工作时蒙皮对其电感的影响,建立了更接近真实电路的激励加载方法,得到了准确的电磁力变化趋势;考虑趋肤效应对蒙皮厚度方向上涡电流密度、电磁力密度分布的影响,用有限元分析方法使蒙皮上电磁力分布的计算更为全面合理。      

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

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