关于Fleury算法的一点注记

为了使用Ｆｌｅｕｒｙ的算法，在每一步都必须去判断图Ｇ－ｅ的连通性［１］。本文将给出一个十分简单的判断图的连通性的线性算法。为了证明它的正确性，本文将证明以下三个条件是等价的：（１）图Ｇ是连通的；（２）Ｍ的任意ｎ－１行都是线性无关的（这里Ｍ为图Ｇ的关联矩阵）；（３）在Ｍ中存在ｎ－１个线性无关的行。     

基于三维地形匹配的月球软着陆导航方法研究

针对月球探测器定点着陆任务的需要,研究了基于三维地形匹配的导航方法。对三维地形匹配问题,将高程方差图局部极值点作为三维地形特征,在构建地形特征之间的相对位置与角度不变量的基础上,提出了基于投票的三维地形匹配策略。针对测量噪声统计特性的不确定性,将Sage\|Husa噪声估计算子与迭代卡尔曼滤波相结合,通过对测量噪声进行在线估计有效避免滤波精度下降甚至滤波发散的出现。数字仿真结果表明所研究的导航方法能够有效地实现探测器相对位置和姿态的精确估计。     

二分图中哈密顿[k,k+1]因子

主要研究了在均衡二分图G中哈密顿[k,k 1]因子的存在性.设G=(X,Y,E),|X|=1Y1=2/n≥4(k-2)-3,k≥2且n≥2,δ(G)≥k,若G中每一对不相邻的顶点u,v有max{dG(x),dG(x)}≥4/n 2,则G有包含哈密顿圈C的[k,k 1]因子.在此基础上,进一步给出结论:二分图G=(X、Y、E),|x|=|Y|=2/n≥4(k-2)且n≥2,δ(G)≥k,若G中每一对不相邻的顶点u,v有dG(v)≥2/n 4,则G有包含哈密顿圈C的[k,k 1]因子.结论在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.     

基于主题模型的结构化Web服务发现机制

提出了基于主题模型(topic model)的结构化Web服务发现机制.利用LDA(Latent Dirichlet Allocation)生成概率模型,将Web服务(Web service)建模为结构化文本文档.一个文档视作主题的概率分布,主题又由关键词的概率分布组成,从而提供基于主题的Web服务检索.同时,利用Web服务的结构化特性,将Web服务描述文档表示为有向无环图,利用n阶谱核测量Web服务文档的相似度,实现Web服务结构化信息的发现.通过实验分析对比,基于主题模型的结构化Web服务发现机制有效提高了Web服务发现的效率和精确率.      

基于邻接表的分水岭变换快速区域合并算法

针对图像分水岭变换存在的过分割问题,提出了一种快速区域合并算法.该算法先对梯度图像进行Lee滤波以降低分水岭变换的过分割程度,在传统分水岭变换初步分割的基础上,利用区域邻接图(RAG, Region Adjacency Graph)的邻接表数据结构描述过分割区域之间的关系,采用分级阈值合并的方式完成区域合并,以降低合并计算的复杂度.合并过程中,将基于区域相对边界强度和边界长度的相似度度量准则与传统的区域灰度均值差异度准则相结合,构成新的区域可合并度综合评价函数,以保证区域合并准确可靠.实验结果表明,与传统的分水岭变换区域合并算法相比,该算法有效地提高了区域合并的准确性,并大幅提升了运算速度.      

基于图染色理论的并行测试任务调度算法

目前的自动测试系统大多数采用串行测试的工作方式,测试效率很低.针对这个问题,建立了基于图论的测试任务关系模型,用"图"来描述测试任务占用仪器资源的情况,将测试任务调度的工程问题转化为图论中的数学问题.在测试任务关系模型的基础上,提出了两个任务调度算法:CTG算法和CTG-T算法.对于多个测试任务,利用这两个算法可以得到并行度最大或者测试时间最短的任务分组方案,能有效地实现并行测试.这两个算法是基于图的染色理论得到的,对其正确性进行了理论分析和实例仿真.两个算法已经在实际系统中得到了实验验证,结果表明能够大大提高自动测试系统的测试效率.      

基于分水岭与图割的自动分割方法

为快速、准确的提取CT序列图像中目标物体,把分水岭和图割相结合.首先选择目标物体的内外轮廓,对内外轮廓之间的区域用分水岭算法预分割为若干小区域,把每一个小区域作为一个节点,建立图结构.把多源点和多汇点简化成单源点和单汇点,建立新的图结构.然后利用最大流/最小割定理进行切割,提取目标物体.最后把上一张CT目标物体的轮廓映射到下一张CT上,分别扩大和缩小该轮廓作为该CT的内外轮廓.根据上述方法提取轮廓,对整个CT序列依次循环操作.通过实验证明该算法在分割效果和分割时间上优于其它传统算法,同时,实现了三维空间上序列轮廓的自动提取.     

基于多信号流图和改进BHS-树的陀螺可诊断性研究

首先分析陀螺故障模式和陀螺功能模块的连接关系,建立陀螺的多信号流图,根据多信号流图得到陀螺的关联矩阵,结合关联矩阵利用可检测和可分离的准则得到陀螺可诊断性分析的初步结果;对关联矩阵得到的故障模糊组,进一步采用改进的BHS-树进行分离,得到陀螺可诊断性的最终分析结果,并给出提高可诊断性的建议,以及给出用程序实现可诊断性分析与验证面临关键问题的处理方法.     

基于有向图的航天器编队鲁棒自适应姿态协同跟踪控制

针对一组有向通讯拓扑关系的编队航天器的协同控制问题,考虑航天器的模型不确定性(指惯量不确定性)以及受到的外部干扰的影响,设计了分布式自适应协同姿态跟踪控制器,使得各航天器姿态协同的同时跟踪时变的期望姿态。首先,针对由MRP参数描述的航天器误差动力学方程,选取了包含相对误差项以及绝对误差项的滑模面,将模型不确定项和外界干扰项作为整体处理,基于Lyapunov稳定性理论给出了非回归项的自适应算法和分布式协同跟踪控制律的设计方法,以使得各航天器协同收敛到期望的姿态,最后通过仿真验证了该算法的有效性、可行性。     

基于三分图的非共面卫星分布式加注任务规划

分布式加注规划的目的在于规划加注过程的交会路径,使任务在满足约束的情况下整体燃料消耗最优。针对异面圆轨道卫星间的分布式加注策略,建立了分布式加注任务规划问题的数学模型,把该规划问题归结为非完全赋权三分图的匹配问题,并将整体最少燃料消耗作为规划目标。其次,进行了算法的流程设计,采用了Kuhn-Mundres图论算法和整数遗传算法相结合的LSGA算法加快了收敛的速度保证了全局最优。最后,选取了两个具有小角度轨道偏差的异面卫星星座对该问题进行分析。计算得到了优化后的双冲量机动下加注任务的服务关系与燃料代价,规划算法的有效性也得到了验证。