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

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

垂直返回重复使用运载火箭技术分析

结合SpaceX公司近期进行的多次猎鹰火箭一子级垂直着陆返回技术试验,对比分析垂直返回重复使用运载火箭两种返回方式的工程应用价值。首先,建立运载火箭一子级动力返回段弹道设计动力学模型。随后,提出基于H-V飞行剖面分段返回弹道设计方法。然后针对“返回原场”（RTLS）和“不返回原场”(NRTLS)两种垂直返回方式,构建综合考虑上升段与返回段的推进剂耦合作用的一体化弹道优化设计策略。最后,通过数值仿真,对比分析了两种返回方式下的火箭运载能力。结果表明,采用“不返回原场”方式的运载能力损失仅占“返回原场”方式的一半,具有较好的工程应用价值。     

BHM3碳纤维及其氰酸酯基复合材料耐原子氧侵蚀性能

利用原子氧暴露地面模拟实验装置,分别对BHM3型高模量碳纤维及其增强的氰酸酯基复合材料进行了原子氧暴露模拟实验,采用SEM、XRD、XPS技术分析了原子氧对碳纤维及其氰酸酯复合材料的侵蚀行为。结果表明,经过1×10 21 atoms/cm 2剂量的原子氧暴露后,碳纤维及其氰酸酯复合材料质量损失率均低于1%,纤维表面形貌及组成不变,碳纤维/氰酸酯复合材料的层间剪切强度降低16%。     

初值不确定轨道可达区域计算

为计算航天器轨道初值不确定造成的可达区域（RD）,提出一种适用于椭圆参考轨道的计算方法。以航天器的名义轨道作为基线,定义一个随时间变化的移动参考平面,在此移动平面上建立名义轨道到可达区域上任一点的距离函数,函数的极大值点即为可达区包络的边界点,从而将问题转换为非线性方程组的求解问题,并对动力学模型部分线性化带来的误差进行了分析。随后采用变参数的自适应同伦算法对方程组进行求解。最后对航天器释放微小卫星的实例进行数值仿真,结果显示该方法可行有效。     

月面钻取采样回转齿轮副啮合生热试验研究

针对月面钻取采样装置的回转齿轮副啮合热进行理论分析,依据辐射换热定律建立了理论温升模型;模拟实际月面真空、带载工况并开展试验研究。分析了啮合热在月面高真空环境的制约条件下,向机体外传播的方式、传热途径以及散发不畅时的积聚作用对附近运动副工作特性的影响。研究结果表明：回转齿轮副作为钻具驱动单元动力传递的中间环节,在20Nm负载转矩工况下持续运行40分钟,理论预测最大温升28.66℃,与试验测量的最大温升结果28℃相吻合,充分验证了钻进驱动单元热设计的正确性,准确地识别出回转齿轮副啮合热积聚的潜在风险。     

航天器避障交会有限时间滑模控制

针对航天器安全交会过程中的避障问题,提出一种基于有限时间滑模变结构控制与人工势函数相结合的控制方法。首先,对斥力势进行修正使得势函数在期望状态的值为零。其次,基于速度偏差和引力梯度设计滑模面,并考虑障碍物的速度设计控制律。利用Lyapunov稳定性定理分析证明在存在外部干扰情况下,系统能够在有限时间内收敛到期望状态并保持渐近稳定。最后,利用数值仿真来验证所设计的控制律的正确性和有效性。仿真结果表明,该方法能够有效实现规避动态障碍物,满足安全交会的要求。     

ToF相机在空间非合作目标近距离测量中的应用

针对已有测量手段在空间非合作目标近距离测量中的问题,本文主要分析了ToF（Time-of-Flight）相机在空间应用中的可能性。首先总结了空间非合作目标近距离测量现状及已有测量手段;随后介绍了ToF相机的原理及发展,并以非合作目标典型特征为例对其性能指标进行分析;接着将ToF相机与现有空间近距离测量手段进行性能比较;并对其中的关键技术进行梳理;最后对ToF相机的未来发展趋势及其在空间中的应用进行展望。     

基于多智能体强化学习的空间机械臂轨迹规划

针对某型六自由度（DOF）空间漂浮机械臂对运动目标捕捉场景,开展了基于深度强化学习的在线轨迹规划方法研究。首先给出了机械臂DH （Denavit-Hartenberg）模型,考虑组合体力学耦合特性建立了多刚体运动学和动力学模型。然后提出了一种改进深度确定性策略梯度算法,以各关节为决策智能体建立了多智能体自学习系统。而后建立了"线下集中学习,线上分布执行"的空间机械臂对匀速直线运动目标捕捉训练系统,构建以目标相对距离和总操作时间为参数的奖励函数。最后通过数学仿真验证,实现了机械臂对各向匀速运动目标的快速捕捉,平均完成耗时5.4 s。与传统基于随机采样的规划算法对比,本文提出的自主决策运动规划方法求解速度和鲁棒性更优。     

基于寿命法的压力敏感涂料静/动态特性实验

压力敏感涂料测量技术在内外流表面压力测量方面具有独特的技术优势。涂料光谱特性及"传感器"特性的研究对于分析喷涂固化中环境差异等不可控因素的影响程度、检验拟用涂料配方特定试验的适用性具有十分重要的意义。为此,以一种在研的磷光压力敏感涂料为对象,基于自主研发的静态校准系统对发光寿命随压力与温度的变化规律进行了实验研究,通过对测量结果的拟合分析发现所用涂料的温度适用范围在30~60℃之间,且可进行温度敏感度修正;基于自主研发的高频动态压力光学校准系统对涂料在不同压力脉动频率下的涂料发光寿命峰峰值规律进行了实验研究,通过分析研究确定所用涂料基于发光寿命的截止频率上限为0.94 kHz。实验研究进一步验证了涂料特性静动态校准组合方法的可行性与有效性,为压力敏感涂料配方的研发及其应用拓展提供了重要的技术支撑。     

基于Matlab／Simulink的前起落架摆振动力学模型分析

为了更好地进行起落架摆振动力学特性研究,有必要开展起落架摆振动力学仿真分析。利用Matlab／Simulink建立某型飞机前起落架摆振问题的动力学模型,进行动力学仿真,给出不同速度和防摆阻尼系数下的扭转角、扭转角速度、侧滑角和侧向位移的时间历程曲线,并将五组不同算例的仿真结果与相关文献的结论进行对比,验证了本文仿真模型的正确性。