基于状态转移图的启发式深空探测器任务规划方法

针对深空探测器复杂系统并行及约束耦合等特点,在时间线描述框架的基础上,引入了状态转移图结构。通过分析探测器任务规划中的耦合约束关系,设计了转移图代价计算方法,并提出了基于状态转移图的启发式任务规划算法。利用转移图设计启发式对无关节点进行剪枝,削减了搜索空间,加速了搜索过程。数值仿真结果表明,该算法能够有效减少不必要的规划步数,提高任务规划的效率。     

只含有一个非平凡块连通图的计数

利用组合理论和图的计数理论,讨论了只含有一个非平凡块的连通图的计数问题,给出了新的结论。     

基于算力路由的空间信息网络低时延在轨协同计算策略

针对当前空间信息网络（Spatial Information Network, SIN）地面数据处理模式中存在的高传输时延问题,提出了基于算力路由的低时延在轨协同计算策略。考虑到卫星网络的动态变化及卫星计算资源的异构性,提出了要素时空扩展图模型,以实现在屏蔽SIN动态性的同时对星上资源进行精确表征。在此基础上,构建基于算力路由的多星在轨协同计算数学模型,提出时延优化问题,并利用改进的异构最早完成时间（Heterogeneous Earliest Finish Time, HEFT）算法进行求解。仿真结果表明：卫星在轨协同计算可有效降低卫星数据的任务处理时延;同时,本文所提的改进HEFT算法以较小且可接受的收敛性能为代价,换取了业务处理时延的大幅度降低。     

一种基于区间解析冗余关系的故障诊断方法

在基于解析冗余关系的故障诊断应用中,系统不确定性方法会造成漏诊和误诊。本文在传统键合图线性差分变化技术（Bond graph-linear fractional transformation technique,BG-LFT）中引入区间分析理论,提出一种基于区间解析冗余关系的故障诊断方法。该方法在基于键合图的解析冗余关系故障诊断方法的基础上,首先结合BG-LFT和区间分析理论对参数不确定性和测量不确定性进行统一建模。然后,将键合图模型扩展为不确定性键合图模型,并推导区间解析冗余关系。最后,利用区间数学运算方法计算区间解析冗余关系,得到诊断阈值。将该方法应用于电动静液作动器参数型故障及传感器故障的故障诊断中。结果表明,与单纯使用BG-LFT相比,本文方法能更有效获取电静液作动器故障诊断依据,避免系统不确定性对诊断结果的干扰。     

基于加权有向图的飞机装配顺序规划

合理的飞机装配顺序规划是确保飞机装配质量、缩短装配周期的有效途径。为此,提出了基于加权有向图的飞机部件装配顺序规划方法。以飞机零件间的装配几何关系、装配稳定性和装配工艺性为评价因子,对装配过程中零件间的装配依赖性进行量化,形成可表达装配依赖关系的加权有向图。在此基础上,通过模糊聚类和撕裂排序算法对装配零件进行装配顺序规划。最后通过某飞机机身中段装配顺序规划问题进行验证,规划结果表明该方法具有一定的可行性和有效性。     

计算机内插图形和外插图形的研究

计算机内插图形和外插图形是计算机图形学中由图形生成图形的两种基本方法，用该方法可以生成许多有趣的图形、图案，在计算机动画模拟图案设计中有着广泛的应用。本文介绍了二维内插图形和二维外插图形的基本概念、表示方法和实际应用。内插图形和外插图形的方法，可使生成的图形美观生动，具有较大的实用价值。     

关于运输网络堵塞流动的研究——分支定界法在求解网络最小流上的应用（Ⅲ）

堵塞是以人为主体在运输网络中经常发生的一种现象。本文中所定义的网络最小流是指在最严重堵塞的情况下通过网络的最大流量，是设计和运行一个运输网络，特别是一个紧急疏散网络的重要参数。本文在堵塞流理论研究的基础上，提出了一种用分支定界思想来求解网络最小流问题的方法，并用实例说明了该算法过程及其应用领域     

开关电路潜通路分析的一种方法

对开关电路建立图论模型,用功能支路和开关支路反映潜通路分析中的两类重要影响元素,用支路状态变量反映开关电路中支路的双态性.分析实际系统中各分系统接口模型的特点,利用开关函数的特点简化系统的潜通路分析.对开关函数的规范化形式进行变换,反映出功能支路和开关支路的关系,得到实际电路实现的功能数和实现各种功能的途径数.通过实际数目与设计数目的对比,定性地判定出电路中是否存在影响设计功能的潜通路和影响功能实现方式的潜通路.在此基础上有针对性地利用开关器件各种状态组合时实际路径与设计路径的比较,确定具体潜通路的位置.将该方法应用于典型的潜通路案例中,发现了系统中的潜通路问题,表明该方法快速有效,可以应用于工程分析.      

图C4k∪pn的优美性

证明了圈C4k是优美交错图，证明了路Pn是优美交错图。证明了由圈C4k与路Pn粘接而成的图C4k∪Pn是优美图，也是交错图，并给出了图C4k∪Pn的优美标号。