火星探测直接转移轨道精确求解研究

针对火星探测直接转移轨道精确求解问题, 提出了一种快速微分修正算法. 基于二体模型建立控制参数和目标参数偏差关系的数学模型, 并由此求解系统的偏导数矩阵; 采用B平面参数作为中间变量, 对算法进行两层迭代设计, 有效地减少了求解过程中的积分运算次数. 以2018年火星探测机会为例对算法进行了验证, 仿真结果表明, 利用圆锥曲线拼接法得到的轨道初值, 求解一条标准轨道只需6~9次积分迭代. 通过STK对计算结果进行了对比和验证.      

一种改进的频率步进雷达信号性能分析

在分析目标运动对频率步进信号一维距离像影响的基础上,提出了一种改进的频率步进信号,即参差脉冲重复间隔频率步进信号,研究了这种信号的数学模型和处理方法。理论分析和仿真结果表明,与频率步进信号相比,参差脉冲重复间隔频率步进信号的多普勒性能有了很明显的改善,一维距离像不会随目标的运动而产生失真。另外,根据参差脉冲重复间隔频率步进信号的特点,提出了利用距离微分法实现速度粗补偿和利用脉组误差函数法实现速度精补偿的方法和步骤,仿真结果证明,这两种方法是有效、稳健、可靠的。     

一种复杂空间飞网系统参数优化设计方法

由轻质软绳索编织而成的空间飞网是为非合作目标捕获而提出的空间系统概念,在空间碎片和废弃航天器处理方面具有很大的应用潜力。从平台抛射出后,飞网在空间形成不稳定的网形,且网形变化规律受初始参数设计的影响较大。针对空间飞网系统设计与试验中系统参数匹配问题,本文提出以容错值作为飞网展开性能的定量描述,从捕获任务的层面,建立面向捕获容错的空间飞网系统参数优化数学模型;以抓捕固定距离、确定大小的目标任务为算例,联合Isight优化平台与ANSYS/LS-Dyna求解,得到飞网系统最优参数匹配,算例仿真结果表明结果的适用性;最后,利用试验设计和极差分析方法验证最优点的稳定性。研究的模型与方法为开展空间飞网系统地面及空间试验等工程应用提供理论依据。     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets

The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.     

基于微分载荷模型的飞行载荷参数辨识方法

介绍了一种基于微分载荷模型的飞行载荷辨识方法.根据实测载荷与飞行参数之间存在的相关性,利用输出误差法对平尾微分载荷模型进行了辨识,得到了飞行状态下平尾载荷的计算模型.同时得到了适合于飞行载荷辨识的一种方法,该方法可以研究飞机的不同操纵规律对结构载荷的影响,具有较高的精度,可行有效.     

基于资源动态配置的IMA任务调度机制研究

航空电子系统对于任务执行的实时性有很高的要求。本文通过对综合模块化航空电子(IMA)下的航电任务进行分析,提出了一种基于资源动态配置的任务调度方案,包括资源管理、任务管理以及任务调度等。通过利用随机Petri网对该调度方案的时间性能进行分析,验证了此调度方案可以缩短航电任务的平均执行时间,提高航电系统的效率。     

跑道入侵防御灯光控制指令决策方法

为避免跑道入侵的发生,提出一种基于Petri网的灯光控制指令自动决策方法.首先根据跑道静态模型和运行过程,利用Petri网建立跑道区域受控运行模型,然后结合跑道管制规则给出线性不等式约束模型和优先等级约束模型.综合跑道运行约束模型、跑道当前标识信息和观测器信息,给出控制策略,确定受控运行模型中变迁的使能状态.在此基础上,提出基于变迁使能状态决策灯光控制指令的方法,最后通过算例证明决策方法的有效性.     

黎曼流形中运动群不变量

黎曼流形运动群的研究是微分几何中一个重要问题。本文构造了黎曼流形中亏数为2的一个运动群，进而对黎曼流形度规运动群、共形运动群以及亏数为2的运动群的黎曼不变量进行了刻划。文中证明上述三个运动群之间存在着某种所谓“自相关性”。此外，还给出黎曼空间中共形运动群在共形于黎曼空间的空间中变为度规运动群的一个有趣的例子。