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

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

解析计算在月球中继卫星Halo轨道设计中的应用

面向月球中继卫星工程轨道设计需求,研究解析计算方法在地月系L2点halo轨道设计中的应用问题。在讨论圆型限制性三体问题三阶解析近似计算方法的基础上,分析了解析计算与数值计算的差异,给出了解析近似计算在工程约束下的适用范围,进而提出了基于解析计算的轨道设计和特征筛选方法。分别采用解析初值和数值初值进行halo轨道外推,比对验证采用解析计算设计轨道的可行性。研究结果表明,解析计算方法适用于月球中继卫星轨道的初步设计、特征分析和构型筛选。     

“高分四号”卫星凝视相机的技术特点

"高分四号"卫星凝视相机具有高时间分辨率、较高空间分辨率和较大成像幅宽的特点。它包含可见光近红外(VNIR)通道和中波红外(MWIR)通道,VNIR通道有5个谱段,MWIR通道有1个谱段,具备昼夜成像能力。相机光学系统为折反射系统,采用分色片实现VNIR与MWIR谱段分离,利用旋转滤光轮将入射VNIR辐射分成5个谱段。VNIR焦面组件采用全局电子快门CMOS面阵探测器;MWIR焦面采用HgCdTe面阵探测器,由脉冲管制冷机制冷到80K。MWIR谱段采用两个黑体进行星上定标。基于用户需求和地球静止轨道环境开展了相机与卫星平台一体化设计、光学系统力学和热学稳定性设计、微振动抑制设计、活动机构长寿命高可靠性设计。     

月面特征稀疏环境下的视觉惯性SLAM方法

月球车在执行科学探测任务过程中,其自身的高精度定位是一项亟需解决的关键问题。针对在特征稀疏的月面环境下的定位问题,提出一种视觉惯性融合的SLAM方法,将视觉测量与惯性传感器的信息利用位姿图优化方法融合,实现高精度的联合定位。针对特征稀疏环境下的前端视觉数据关联误差较大的问题,提出了一种基于四元树的光流跟踪算法,能够有效地跟踪鲁棒的特征点,提升了关键帧之间相对位姿估计的准确性。并且针对月面环境特有的恒星无穷远点干扰问题,提出一种高效的恒星点剔除算法,能够有效改善无穷远点导致的定位精度下降的问题。搭建了一套模拟月面环境的计算机仿真系统,并构建了多个月面环境视觉惯性SLAM仿真数据集,在不同的模拟月面场景下进行定位性能仿真验证,仿真测试结果表明本文算法的鲁棒性更强,具有更高的定位准确度。     

Starship新型舵面形式气动特性数值模拟

作为新型垂直起降的载人航天器,Starship采用了新型舵面控制方式,其通过前后两组可沿轴线方向偏转的翼面来实现对机体的控制。通过CFD数值模拟手段对该种舵面形式的气动特性进行了系统研究,得到了该种舵面偏转方式对飞行器升阻力和三轴力矩的影响,并分析了其内在机理。在小攻角下,Starship后翼为操纵面,其偏转对控制力系数的影响较为显著,偏转角度与控制力系数基本成线性关系;前翼偏转则对阻力系数的影响较为显著,偏转角度与阻力系数基本线性相关。后翼偏转角与俯仰力矩系数和滚转力矩系数的线性相关性较好,对偏航力矩系数也有耦合影响。前翼的偏转对偏航力矩系数的影响显著,同时与滚转力矩系数和俯仰力矩系数的耦合较小。在大攻角下,尤其是在着陆阶段攻角大于90°的情况下,传统的襟副翼控制方式失效概率高,而新型舵面控制形式前翼和后翼偏转与三轴力矩系数的相关性仍非常强。其对于俯仰通道、滚转通道和偏航通道均能保持良好的操纵特性。     

不同台阶高度下固体燃料超燃冲压发动机燃烧室初始型面变化规律

为了获得固体燃料超燃冲压发动机燃烧室初始型面和研究不同台阶高度下的初始型面的变化规律,将固体燃料燃面退移速率模型耦合到准一维流动方程中,发展了一种计算固体燃料超燃冲压发动机燃烧室性能的准一维数值计算方法。利用该方法,将燃空比和流场马赫数作为燃烧室性能的优化参数,得出了不同台阶高度下满足优化目标的燃烧室型面。根据所得的优化型面,归纳了型面参数随着台阶高度的变化规律。结果表明,随着台阶高度的增大,燃烧室的整体长度增大,等直段的长度增大,扩张段的扩张比减小,扩张段的长度减小。      

基于非奇异终端滑模的复合控制导弹反演设计

针对轨控式复合控制导弹制导末端的姿态控制问题,结合反演控制、二阶非奇异终端滑模和非线性干扰观测器技术,设计了一种新的反演滑模姿态控制方法.在反演设计的第一步采用动态面法,避免了传统反演设计存在的“计算膨胀”问题,并使姿态角跟踪误差收敛至原点附近任意小的邻域内;第二步设计引入了二阶非奇异终端滑模,使得角速率跟踪误差在有限时间内收敛至零,同时消除控制量的抖振现象.采用非线性干扰观测器补偿系统不确定性,并基于Lyapunov稳定性理论证明了闭环系统所有误差信号最终有界.仿真结果表明了所设计的轨控式复合控制导弹制导末端姿态控制方案的正确性与有效性.     

基于Origin语言的某型教练机发动机燃油系统故障诊断与分析

某型教练机在低空大表速飞行时,其发动机在最大状态下的供油量超过了发动机在各个状态的最大燃油流量软件值（GT=2300kg／h）,发动机从主燃油流量控制转为发动机应急流燃油量控制。本文对发动机色行数据进行了深入分析,同时结合发动机的三大特性,对其控制系统软件进行更改,经过后续飞行验证．发动机燃油控制系统下作正常。