航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

非平衡等离子体对甲烷点火和火焰传播影响的机理分析

为了探讨非平衡等离子体对甲烷点火和火焰传播速度影响,采用化学动力学模型GRI-Mech3.0,利用零维、均质、完全混合模型和火焰传播速度模型,对甲烷点火过程和火焰传播过程进行数值模拟,计算得到了非平衡等离子体生成自由基(O自由基和NOX自由基)对甲烷点火延迟时间和火焰传播速度的影响规律。结果表明:当分别加入0.5% O和0.5% NOX活性基时,点火延迟时间减少了约94.7%,63.1%(加入NO)和94.2%(加入NO₂)。通过反应路径分析和敏感度分析,揭示了非平衡等离子体生成自由基影响甲烷点火和火焰传播速度的化学反应机理。      

低雷诺数条件下微型无人机机翼形状的研究

利用CFD软件FLUENT,通过Spalart-Allmaras模型、低Reynolds和二层模型这3种湍流模型对正八边形机翼平面布局进行绕流分析并与试验数据进行对比,选择了低Reynolds湍流模型对4种微型无人机机翼平面形状的低雷诺数气动特性进行模拟分析,结果表明,矩形布局和反齐默曼布局是微型无人机比较理想的设计选择.     

平台稳定系统故障树分析

针对平台稳定系统的常见故障模式,介绍了故障树分析的具体方法,建立了故障树,并应用故障树分析方法进行定性和定量分析.     

带末端碰撞角约束的三维联合偏置比例制导律设计

可拦截高/低速目标并带有末端碰撞角约束的制导律设计是研究难点,为此,设计一种三维联合偏置比例制导(UBPN)律。该制导律采用时变偏置角速率和时变比例系数,结合顺轨、逆轨拦截模式的优点,使用负比例系数拦截高速目标(顺轨模式),使用正比例系数拦截低速目标(逆轨模式)。给出偏置角速率的解析形式及时变比例系数的奇点解决方法,及二维约束碰撞角到三维约束碰撞角的具体实现过程。与比例制导律、负比例制导律、偏置比例制导律进行了对比验证,结果表明脱靶量、碰撞角误差均满足制导精度要求。     

导弹试验电磁环境仿真评估系统研究

现代武器装备系统比较复杂,一般都涉及机械、电磁、信息等多个学科领域,无论是其作战效能评估还是试验鉴定都相当困难。以导弹为例,探讨其试验条件下的仿真评估技术。给出了电磁环境评估仿真系统设计框架、模型、软件模块等内容设计示例,针对典型案例,进行了仿真分析,对于改进复杂系统的评估技术具有参考意义。     

基于故障树的智能型故障诊断系统

本文在故障树定性和定量分析基础上，提出了基于故障树的智能型故障诊断方法。该方法是建立在故障模式按发生概率大小排序和底事件按发生概率大小排序基础上，因此较好地反映了故障诊断过程中各个底事件和中间事件对系统故障的影响。     

基于重叠因子优化的超流体陀螺量程扩展设计

针对热驱动型双弱连接超流体陀螺的幅值-角速度单值求解区间因工作曲线呈周期性而制约超流体陀螺量程的突出问题,提出了一种基于重叠因子优化的超流体陀螺量程扩展方法。首先在明晰陀螺量程受限机理的基础上,设计了幅值锁定量程扩展方案。其次分析了热相位与温升延时的关系,引入重叠因子的概念,提出了一种基于重叠因子的遗传优化方法来实现幅值锁定参数优化:通过间接编码三角形隶属函数左半宽度,在避免出现相邻隶属函数无重叠或重叠太多的前提下,对模糊线性隶属函数进行遗传优化,寻找幅值锁定系统最优参数。通过与传统比例（P）控制下幅值锁定的仿真对比表明,该方法能够使超流体陀螺的薄膜幅值快速且稳定地锁定在期望值,在保证测量精度的同时提高了陀螺系统的量程范围。      

幅值锁定型超流体陀螺模糊自抗扰控制系统设计

针对幅值锁定型超流体陀螺中热相位注入存在的温升延迟和热噪声影响陀螺系统测量精度和稳定性的问题,提出一种基于模糊自抗扰的超流体陀螺控制系统设计方法。首先建立超流体陀螺的数学模型;分析热相位注入引入的温升延迟和未知热噪声对系统敏感精度和稳定性的影响机理。在此基础上,设计集微分跟踪器、扩张状态观测和非线性反馈控制律于一体的自抗扰控制器,并进一步采用模糊推理实现非线性组合的比例和微分系数的自适应调整。最后利用Maltlab/Simulink进行仿真校验。仿真结果表明：该控制方法能够抑制未知噪声和温升延迟对系统的影响,对工作点实现良好的锁定,有效地提高了陀螺系统的测量精度和稳定性。     

地球静止轨道卫星撞击解体的数值模拟

分析了地球静止轨道（GE0）环内的物体现状,引入美国家航空航天局（NASA）的标准解体模型,给出了卫星撞击解体算法,编写了数值仿真软件,仿真研究了GEO卫星撞击解体形成碎片的特征及其轨道分布。结果表明：撞击会产生大量碎片,对空间环境造成长期的严重危害。研究结果对分析卫星撞击解体特性、保护空间环境有一定的参考价值。