四色定理论证

用离散数学之图论证明"四色猜想",巧妙而深层次地应用数学归纳法和换色法,解决了肯泊(A.Kempe)百多年前提出"不可避免构形集"中的一个地域有五个邻域的情况的所谓"可约性"问题,同时指出了1890年希伍德(P.Heawood)举出的25阶反例(当时,他以此说明"四色猜想"不成立,而"五色定理"成立)与本文中的一种可换色(即"可约性")的典型实例类同,进而简捷而理想地证明了"四色猜想"是成立的,使"四色定理"得到科学的论证。     

清理“三角债”的方法探讨

运用图论的理论和方法对“三角债”的表示方法进行了探讨,对“三角债”中的重复计算问题进行了讨论,建立起了在资金约束下的清理“三角债”的数学规划模型,并给出了模型的一种解法。     

有向拓扑下无径向速度测量的多导弹协同制导

针对多枚导弹在平面内从各自期望的方向同时击中移动目标问题,提出一种有向通信拓扑下无需导弹-目标径向速度测量且带视线角约束的分布式有限时间协同制导律。基于平面内导弹-目标相对运动方程建立带视线角约束的多导弹协同制导模型。基于二阶多智能体协同控制理论设计了视线方向上的制导律,可保证有向拓扑下多导弹的打击时刻在有限时间内达到一致。基于齐次系统稳定性理论和积分滑模控制理论设计了视线法向方向上的制导律,可保证多导弹击中移动目标且视线角在有限时间内收敛到期望值。仿真校验所设计的协同制导律在理想条件下可使有向拓扑下的多导弹从各自的期望方向同时击中移动目标。     

改进的遥感卫星成像任务单轨最优团划分聚类方法

针对遥感卫星成像任务规划时对点目标的聚类效果不佳的问题,提出了一种改进的单轨最优团划分聚类方法。根据聚类约束条件,构建任务聚类图模型,并为图模型中的每一条边赋权值;根据图模型中边的权值,构建权值矩阵P;以卫星单轨姿态机动的最大次数作为聚类任务的数量限制,由P依次计算每个聚类任务所有可能的最优聚类方案,并生成对应的收益矩阵M和终点矩阵N;通过循环遍历的方式计算各个聚类方案下的总收益,其中总收益最大的方案即为最优团划分聚类方案。仿真结果表明:提出的改进的团划分聚类方法,能将点目标有效聚类,与传统任务聚类方法相比,可明显提高遥感卫星对点目标的观测效率。研究结果可为我国遥感卫星自主任务规划技术研究提供参考。     

应用Delaunay图映射与FFD技术的层流翼型气动优化设计

采用非均匀有理B样条(NURBS)基函数属性建立了任意空间的自由式变形(FFD)翼型参数化方法,进一步结合基于Delaunay图映射技术建立了结构对接网格变形模式,通过粒子群优化(PSO)算法进行参数化方法、网格变形模式以及计算流体力学(CFD)数值模拟技术之间的整合,研究、构建了气动优化设计系统,并对某型层流理念设计的高空长航时(HALE)飞机基本翼型进行气动优化设计。气动特性目标函数评估方法中,边界层转捩数值模拟技术采用γ-Re_θt转捩模型耦合剪切应力输运(SST)模式湍流模型。优化设计后翼型气动特性表明:采用相关技术建立的层流翼型气动优化设计系统对于层流理念设计的HALE飞机翼型的设计具备较高的优化效率。     

基于任意空间属性FFD技术的融合式翼稍小翼稳健型气动优化设计

 以非均匀有理B样条基函数为空间控制体属性,建立了任意空间形状自由变形(FFD)技术参数化方法。所建立的气动外形参数化系统通过FFD控制体的分布以及控制顶点的合理选取,能够对任意复杂外形进行参数化设计。首先采用FFD控制体对某型客机翼稍小翼进行空间属性构建;然后结合基于Delaunay图映射技术建立了结构对接网格变形模式,采用分群粒子群算法以及误差反向传播训练算法(BP)神经网络进行稳健型气动优化系统的构建;最后对某型客机融合式翼稍小翼的后掠角、倾斜角和高度等参数进行稳健型气动优化设计,分析对比了优化前后翼梢小翼表面压力云图、截面压力分布及载荷分布。优化设计结果表明:设计后的翼稍小翼的升阻比与阻力发散特性明显提高。     

Decentralized attitude synchronization tracking control for multiple spacecraft under directed communication topology

This paper studies the attitude synchronization tracking control of spacecraft formation flying with a directed communication topology and presents three different controllers. By introducing a novel error variable associated with rotation matrix, a decentralized attitude synchronization controller, which could obtain almost global asymptotical stability of the closed-loop system, is developed. Then, considering model uncertainties and unknown external disturbances, we propose a robust adaptive attitude synchronization controller by designing adaptive laws to estimate the unknown parameters. After that, the third controller is proposed by extending this method to the case of time-varying communication delays via Lyapunov–Krasovskii analysis. The distinctive feature of this work is to address attitude coordinated control with model uncertainties, unknown disturbances and time-varying delays in a decentralized framework, with a strongly connected directed information flow. It is shown that tracking and synchronization of an arbitrary desired attitude can be achieved when the stability condition is satisfied. Simulation results are provided to demonstrate the effectiveness of the proposed control schemes.     

面向民用飞机排故的增强型符号有向图

针对民用飞机故障的动态特性及维修体制,在符号有向图（SDG）模型中引入动态元素,并融合系统结构模型,提出一种结构和参数能随工况变化而调整的增强型有向图（ESDG）模型。进而提出基于故障依赖矩阵的相容根树搜索算法与分层诊断策略,能解决实际排故中常常因部分状态未测量而造成诊断信息缺失的问题。该方法能满足分级维修中不同诊断精度的要求。多个工况的综合诊断进一步提高了推理分辨率。最后以某民机发动机引气系统为实例说明了该方法的有效性。     

一种针对交互式软件的功能测试方法

交互式软件的功能是通过复杂的人机交互完成的,目前的功能测试常常只考虑软件的界面信息,而不考虑软件的具体需求和逻辑实现流程,这就导致测试巾随意性较大,测试过程难以有序进行。针对这种情况,文章提出了一种基于数据流图的功能测试方法,依据交互式软件的需求规约和用户界面,以数据的流向来组织功能测试过程。     

基于OSG的飞行仿真系统视景平台的研究与开发

分析了飞行仿真系统的特征,并对其应用需求进行分析,在此基础上完成了系统视景平台的规划与设计。采用OpenSenceGraph（OSG）开源场景图形库对视景平台进行开发,针对需求分析实现了飞行仿真系统视景平台各模块的基本功能。