基于演化图的导航星座星间路由算法

针对装配指向性天线、具有确定性链路调度的导航星座,对星座网络拓扑处于非连通条件下的星间路由问题进行研究。首先,基于演化图理论对星座的动态网络拓扑结构进行建模分析,给出相应的数据结构描述。然后,提出计算最早到达路径的路由算法,给出了路由算法的具体步骤,并分析了算法的复杂性。最后,在算法模拟中,给出了最早到达路径的平均时间开销和跳数开销,并讨论了路径起始时刻对最早到达路径的影响。     

基于事件驱动的多飞行器编队协同控制

针对多飞行器系统协同控制问题,研究了基于事件驱动机制的控制设计方法。结合有向通信拓扑和编队位置描述建立了空间多飞行器系统的模型,在飞行器编队中引入事件驱动方法,设计了一般形式的事件触发函数,在非触发时间内利用触发时刻的信息生成了协同控制律,使得飞行器在非持续通信下能够形成三维空间任意给定的队形,并从理论上给出了协同控制问题的稳定性证明。提出的方法不需要飞行器系统的全局信息,飞行器只需要在触发时刻进行通信和控制器的更新,更有利于实际情形中的应用。仿真结果验证了该方法的有效性。     

基于飞行角度优化的蚁群改进算法

针对无人飞行器路径规划问题，实现了排序蚁群算法，并在此基础上，引入了针对无人飞行器飞行特征的飞行角度优化策略，并建立了转移概率的更新原则。模拟飞行环境建立栅格化地图，进行仿真验证，输出无人飞行器的最优路径，验证最优解的质量和算法的收敛速度，结果表明，该方法能有效消除飞行过程中的尖角和折返现象，更加符合无人飞行器的飞行特征。与传统的方法相比，算法的收敛速度和最优解的质量均得到了提升。     

基于时空协同的飞行器集群制导技术现状与应用

从集群作战军事需求牵引角度，指出了基于时空协同的多飞行器制导技术，是有效提高突防概率与目标打击效能的关键支撑技术。围绕飞行器集群协同制导技术发展现状，分别以时间协同约束、空间协同约束及时空协同约束为主线，介绍了国内外技术的发展思路。最后，对飞行器集群协同制导技术进行了概括总结，并对该技术在未来的发展方向进行了展望。     

基于解体事件的空间碎片轨道演化算法研究

针对航天器解体事件所生成的空间碎片的演化过程,进行了数学分析,确定了新生成的空间碎片的速度增量,在该增量作用下碎片轨道会发生变更,本文根据该增量得出了空间碎片在轨道变更后的轨道根数,分析了在大气阻力摄动作用下,空间碎片的数目和轨道分布的演化情况,给出了相关结果,结果表明此算法可行。     

空间飞行器控制软件的动态自适应演化方法

空间飞行器在太空飞行过程中需要满足多任务、多工作模式以及大范围机动的需求, 其控制系统在大范围机动飞行条件下存在大量的外界干扰和内部参数不确定，同时飞行器的自适应过程受限于资源，人工干预难度大，并且现有的成熟的动态自适应方法并不一定适合空间飞行器控制软件进行自主控制，所以目前对自主控制系统软件的动态自适应调整方法提出了更高的要求.由此提出一种在双层感知—分析—决策—执行(MAPE)控制循环基础上的自适应框架，使用基于规则/策略的决策方法和基于强化学习的决策方法对系统感知到的局部和全局变化进行决策，并且采用基于数据驱动的反馈方法对规则库中的策略信息进行周期性的调整和优化，保证飞行器在太空执行任务面对复杂的环境时可以动态的完成自适应调整，保障任务的可靠执行.     

复杂多约束条件通航飞行垂直剖面规划方法

为了解决复杂多约束条件下通航飞行器垂直剖面航迹规划问题,提出了一种基于改进A*算法的剖面规划方法。首先结合通航低空飞行特点,对涉及的飞行任务、地形信息和飞行器性能参数等多种约束条件进行建模;其次构建垂直剖面规划空间,采用目标加权函数来建立航迹代价模型;最终通过改进A*算法生成满足复杂多约束条件的垂直剖面规划航迹。实验分析表明:在相同实验条件下,改进A*算法在解决复杂多约束条件下通航飞行器垂直剖面航迹规划问题方面优于传统路径规划方法。      

类X-51A飞行器纵向机动数值虚拟飞行仿真

吸气式高超声速飞行器在机动过程中，由于构型复杂，气动特性呈现强烈的非定常特性。传统基于数据库或气动力模型的飞行仿真不能准确描述机动过程中复杂的气动特性和运动规律。针对这一问题，基于现代软件分布式、模块化的发展趋势，建立了一个高效的数值虚拟飞行仿真平台。利用该平台，对一种类X-51A外形的吸气式高超声速飞行器开展了纵向机动闭环数值仿真，并与工程方法的结果进行了对比。研究发现:对于类X-51A外形的吸气式高超声速飞行器，在纵向拉起时，工程方法给出的结果可能不能完全反映非定常效应的影响。此时，应该采用更为精确的虚拟飞行方法来研究飞行器的闭环响应特性。此外，借助该仿真平台还研究了舵回路时间常数对控制系统的影响，为控制律设计提供了一定的参考。      

一种多机协同打击的快速航迹规划方法

针对多架自杀式无人机对重要目标进行协同打击的问题,在飞行器运动学、飞行器碰撞、时空协同等约束条件下,提出了一种空间分层分布的协同打击策略,在满足飞行器碰撞约束的前提下,有效提高了对重要目标防御系统的抵抗能力与飞行器自身的生存率。在此基础上,进一步提出了一种空间协同的多机打击快速航迹规划方法,结合Dubins曲线,将飞行器数目增加带来的计算量指数增长的问题,转化为多项式乘积形式的计算量,实时生成满足时空协同要求的次优航迹。通过仿真实验与实际飞行试验验证了所提方法的有效性,无人机可以在生成航迹的引导下,有效到达打击目标。      

面向狭小空间的起落架收放轨迹智能设计方法

扁平化气动外形是高超声速飞行器获得较高升阻比的优先布局，但该外形严重约束了起落架的收藏空间，常规机构很难满足要求，只能采用复杂机构的三维运动实现起落架的窄空间收放。然而，当前主流的计算机辅助设计迭代试凑法在解决空间机构设计问题方面非常依赖工程经验，耗时耗力且很难得到最优结果。为解决这一问题，创新性地提出基于智能优化算法的起落架复杂机构自主设计方法。首先，分析并建立起落架收放机构的运动学理论模型；然后，建立起落架结构间距离描述及碰撞检测模型，并运用深度神经网络自主设计起落架收放机构的最优运动轨迹；最后，以某狭窄舱段的起落架收放策略设计为例，应用该设计方法进行设计。结果表明:所提设计方法可以快速得到最优的起落架收放机构设计方案，可用于指导高超声速飞行器起落架收放机构的设计。      

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究，旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题，提出一种基于模型架构的航天器控制软件研制方式，搭建软件模型驱动框架，通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架，简化代码胶合过程.同时，建设航天器控制领域通用模型库来提高成熟算法模型的复用效率及自动生成代码可靠性.本方法研究为推进航天器控制软件向模型驱动开发方式转变夯实基础.     

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展，软件在航天器中的作用和地位越来越突出，航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点，这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统，为了描述物理世界的连续行为，希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL)，使其能够统一地描述其运行的物理过程与软件的控制行为，以及它们之间的协同交互机制，同时，为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性，最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.     

电磁航天器编队动力学建模与运动规划方法

基于电磁航天器作用原理,利用拉格朗日方法,建立电磁航天器“绳系”动力学模型.基于偏差线性化动力学模型,以切向、径向编队为例,分析编队构型保持稳定性,设计构型保持控制律;将双星电磁航天器编队(EMFF,Electromagnetic Formation Flight)重构运动规划问题转化为标准优化问题,利用高斯伪谱优化方法进行求解.并提出序列控制策略,将该双星模型扩展应用于多星电磁编队构型重构问题,转化为多阶段运动规划问题利用多阶段优化方法进行求解.仿真结果表明本文的动力学建模方法和控制方法是可行的.      

高速缓存影响的航天器控制软件调度设计方法

针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考.     

基于直接自适应的挠性航天器姿态稳定控制

针对挠性航天器姿态稳定控制,基于退步控制方法与直接自适应控制方法提出了一种自适应控制策略。首先将挠性航天器模型分解为运动学子系统和动力学子系统,并设计具有理想控制性能的参考模型;然后在姿态小角度的假设下,对满足近似严格正实性的姿态运动学子系统设计了直接自适应中间控制律;最后运用退步控制方法对航天器动力学子系统设计了姿态控制器,并证明了闭环系统的稳定性。理论分析和数值仿真结果表明该控制器对挠性航天器的姿态稳定控制是有效的。     

Neural network-based sliding mode control for atmospheric-actuated spacecraft formation using switching strategy

This paper presents an adaptive neural networks-based control method for spacecraft formation with coupled translational and rotational dynamics using only aerodynamic forces. It is assumed that each spacecraft is equipped with several large flat plates. A coupled orbit-attitude dynamic model is considered based on the specific configuration of atmospheric-based actuators. For this model, a neural network-based adaptive sliding mode controller is implemented, accounting for system uncertainties and external perturbations. To avoid invalidation of the neural networks destroying stability of the system, a switching control strategy is proposed which combines an adaptive neural networks controller dominating in its active region and an adaptive sliding mode controller outside the neural active region. An optimal process is developed to determine the control commands for the plates system. The stability of the closed-loop system is proved by a Lyapunov-based method. Comparative results through numerical simulations illustrate the effectiveness of executing attitude control while maintaining the relative motion, and higher control accuracy can be achieved by using the proposed neural-based switching control scheme than using only adaptive sliding mode controller.     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

The VESTA project: Combined studies of Mars and small bodies of the solar system

A mission to Mars and small solar system bodies is presently studied as a possible collaboration between INTERCOSMOS, CNES, ESA and eventually other participants. The VESTA concept, based on the same strategy as the successful VEGA mission, is more ambitious, as two spacecrafts separate soon after launch: a soviet spacecraft, dedicated to the study of Mars, and a spacecraft dedicated to the study of small bodies, under the responsibility of CNES and ESA. This spacecraft would use Mars gravity assists to visit up to 4 small bodies in less than 5 years. The mission is duplicated, which means that up to 8 small bodies could be studied (e.g. 6 main belt asteroids, 1 apollo-amor asteroid and 1 short period comet). Low relative velocities (< 3.5 km/s) should allow to drop a penetrator on two large main belt asteroids, such as 4 Vesta and 1 Ceres (1994 launch).     

大规模设备协同中的时间建模与验证

针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求.