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

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

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

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

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

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

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

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

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

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

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

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

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

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

通用再入飞行器多学科协同优化设计

探讨了协同优化方法在通用再入飞行器总体优化设计中的应用以及各学科间耦合关系.对协同优化方法的流程及特点进行了分析,以通用再入飞行器总体优化设计为对象,研究如何利用协同优化方法建立此类问题的优化模型.研究结果表明协同优化方法相对多学科可行法具有较快的收敛速度,主要是由于协同优化方法中的系统级在搜索空间时受到了3个子系统级优化一致性的制约,而3个子系统级并行地对升阻比最大、质量最小、弹道设计中气动加热量最小3个主要影响射程的因素进行了优化,最终共同缩小了设计搜索空间,同时利用学科的独立性进行并行计算,从而较快地实现了迭代收敛.      

考虑安全性的BWB民机飞行控制系统设计

翼身融合（BWB）飞行器满足未来民用航空经济、绿色、低碳的运行需求,是重要的发展方向。针对BWB飞行器的飞行控制系统,对其安全性与系统设计进行了研究。给出基于系统理论的事故模型及过程,与相应的安全性分析,重点对BWB飞行器飞行控制系统内的复杂逻辑关系、不安全控制动作、危害致因进行分析;进行切换系统设计,给出低可靠先进系统和高可靠备用系统的设计过程,并分析切换逻辑;基于设计进行仿真验证。研究结果表明：系统理论过程分析方法能够支持BWB飞行器飞行控制系统复杂逻辑关系的安全隐患分析,同时所设计的飞行控制系统具有一定的安全性与实用性。     

基于智能图搜索的滑翔式高超声速飞行器路径规划方法

研究了高超声速飞行器在线路径规划问题。首先建立滑翔式高超声速再入飞行器动力学模型,在此基础上综合考虑高超声速飞行器在飞行过程中的动压约束、热流约束、过载约束等,对动力学模型进行解析计算,分析再入走廊,并进一步分析形成滑翔式高超声速飞行器的覆盖区域。基于飞行器覆盖区域并结合工程应用需求,提出速度分段的高超声速飞行器可达区域计算方法,确定在不同终端速度约束下的高超声速飞行器可抵达区域。并以此为基础,以各个速度分段的终端速度为节点,提出基于启发式路径搜索算法的分段路径规划方法,通过变步长图搜索算法可在飞行过程中在线确定各个速度分段区间的终点,完成分段路径搜索规划。最后通过数值仿真验证了所提出路径规划方法的有效性,结果表明,所提出的方法计算效率高,能够有效规划高超声速飞行器的机动飞行轨迹,具有一定的工程应用前景。     

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

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

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

随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力...     

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

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

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

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

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

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

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

空间飞行器在太空飞行过程中需要满足多任务、多工作模式以及大范围机动的需求,其控制系统在大范围机动飞行条件下存在大量的外界干扰和内部参数不确定,同时飞行器的自适应过程受限于资源,人工干预难度大,并且现有的成熟的动态自适应方法并不一定适合空间飞行器控制软件进行自主控制,所以目前对自主控制系统软件的动态自适应调整方法提出了更...     

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

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

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.     

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).     

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

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