二分图中哈密顿[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]因子.结论在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.     

中国第一幅全月球影像图正式公布

2008年11月12日,中国国防科技工业局发布了依据“嫦娥一号”卫星拍摄数据制作的中国第一幅全月球影像图（见封三图）。     

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

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

PLC梯形图向AOV图的一种转换方法

通过对PLC的梯形图语言及定点活动（Activity on vertex）图（简称AOV图）的分析,提出了一种梯形图到AOV图的转换算法。基于面向对象的方法,采用行双向链表作为梯形图的存储结构,记录梯形图载有的信息,然后扫描其中的有效顶点以及各个顶点的直接前驱及直接后继,对冗余信息进行简化处理,最后建立AOV图。这种算法具有通用性,适于复杂控制逻辑的梯形图,为从AOV图向指令表的转化打下良好的基础。     

面向维修性设计的民机产品拆卸序列规划方法

维修拆卸序列规划是产品维修性设计的重要内容。深入研究了面向维修性设计的产品拆卸建模方法,将民机产品分为部件模块与联接件两部分,构建了部件联接图模型,通过关联矩阵描述了部件模块与联接件的相互关系。分两步给出了民机产品拆卸序列规划方法:利用干涉矩阵确定部件模块的可行拆卸方向,以拆卸代价最小为目标,提出了基于有序搜索的民机产品部件模块的拆卸序列规划算法;考虑联接件的拆卸顺序,以拆卸工具更换次数最小为目标,提出了基于基因成对交叉与变异的遗传算法的完整拆卸序列优化方法。最后,结合某飞机前起落架系统给出了应用实例,阐明了本文方法的有效性。     

关于R（4,4,n）型图的优美性

讨论了R（4,4,n）型图的优美性,用构造性的方法给出了R（4,4,n）型图的优美标号,证明了图R（4,2,2m）是交错图。     

UM L顺序图的形式化定义与特性分析

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.     

探月工程嫦娥二号任务圆满成功

<正>由嫦娥二号卫星拍摄的分辨率达到米级的月面虹湾局部影像图11月8日精彩亮相。该影像图的传回标志着嫦娥二号任务所确定的工程目标全部实现,科学目标也正在陆续实现,探月工程二     

肯索里努斯影像图

肯索里努斯影像图是由嫦娥二号探测器上的CCD立体相机获得的。CCD相机采用线阵推扫的方式获取图像,轨道高度约100km,每一轨的月面幅宽43km,像元分辨率7m。