图核函数研究现状与进展

核方法具有坚实的理论基础和广泛的应用,已引起了各领域的关注.基于核的机器学习方法不仅适用于以特征向量表示的模式,也适用于结构化数据的模式.前者对应的是向量核方法,后者对应的是图核方法.图核对结构化数据具有强大而灵活的表示形式,其不仅能描述研究对象或模式的特性,还能反映构成这个物体不同部分之间的结构信息.目前,基于图核的机器学习方法在模式识别、机器学习、机器视觉、数据挖掘等相关研究领域得到了极为广泛的关注与应用,已成为结构数据描述方法和应用领域的一个重要研究方向.论文从使用最为广泛的基于R-convolution的图核谈起,总结了图核研究的意义,着重回顾和讨论图核函数的基本理论、基本分类、国内外研究现状,并进一步指出图核研究的发展方向.     

基于方向组的方向关系定量与定性描述模型

论述了空间方向关系的一个定量与定性描述模型.人们描述两目标之间的方向关系往往需要多个方向而不是单一的方向,因此空间方向关系的描述模型应该是基于方向组的.为此,给出了方向间隔图的定义.一个定量的方向组由两目标间的方向间隔图的法线的方位角和各个方位角的对应权重组成,前者用对两目标顶点、交点进行Delaunay三角网剖分的方法获得;后者用两目标公共区域面积、方向间隔图的边长计算得到.定量的方向组可以转变为定性的方向组.该模型的正确性用心理学实验进行了验证.     

用于控制图模式识别的广义神经网络系统

面向过程控制图的模式识别,提出了一个广义神经网络系统.该系统基于广义过程对象模型发生数据,离线训练后能够在线识别各类工业过程常见的控制图模式,模块化的设计使得神经网络系统的结构相对简单,有效地提高了网络的训练速度和模式识别的准确率.首先研究了广义过程对象模型参数对神经网络控制图模式识别率的影响,并基于此影响规律设计了包含模式识别分类模块与模式参数估计模块的集成化神经网络系统结构;其次使用基于广义对象模型产生的数据对神经网络系统进行了训练和验证,讨论了学习训练方法,并进行了控制图模式识别性能的仿真测试,获得了满意的结果.在TE过程仿真平台上进行了实验,给出了对上升阶跃模式和下降阶跃模式的识别结果,表明了具有较高的识别率.     

计算机视觉中的图匹配方法研究综述

图匹配是计算机视觉与模式识别领域的基础而又重要的问题.它在诸多方面都有着广泛的应用.从优化角度看,图的匹配问题是一种离散组合优化问题,使得该问题本身具有NP(non-deterministic polynomial)-hard性质.因此,寻找该问题的一种有效的近似解是当前研究的重要问题.论文首先对图匹配问题的的问题表示进行了阐述,并分析了该问题求解的难点和关键点.然后,对近年来计算机视觉研究领域中提出的一些具有代表性的传统图匹配算法进行了归纳和综述.最后,探讨了图匹配的未来研究方向和研究思路.     

基于主机攻击图的攻击识别

研究了一种基于主机攻击图的网络攻击识别方法, 其核心是定义一种SAGML 语言, 并利用该语言中的状态、行为和关系来描述攻击. 详细讨论了攻击图的状态结构和行为链结构, 以及基于XML 语言的攻击图构建和解析过程. 此外, 为了提高攻击图的匹配效率, 研究了攻击图的索引建立和匹配过程. 最后, 结合SYNFlood 和Peacomm 攻击示例, 介绍了该方法的应用过程.     

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

图结构上下文及在图聚类中的应用

图结构特征的提取以及距离度量是计算机视觉和模式识别中的重要内容。针对传统的图上下文描述子中只考虑每个柱形区域内的特征点数目而忽略特征点之间的结构信息的问题,提出一种图的结构上下文描述子及距离度量方法。首先对图的所有顶点建立图结构上下文描述子;其次,利用二次卡方（QC）距离方法实现图的距离度量;最后,采用最小生成树聚类算法实现图聚类。实验表明,该方法对于一些非刚性变换的图聚类有较好的效果。     

反应式系统的并发模型（II）：程序语言模型

文［１］提出了反应式系统的一种抽象并发计算模型;本文在此基础上给出反应式系统并发描述的程序语言模型,重点阐述和剖析基于共享变量模型的两种语言－转换图和文本语言,分别给出它们的语法及进程间通讯机制的描述,并建立抽象计算模型结构到这两种语言结构上的映射。     

CRH 5型动车组牵引部件键合图建模及故障注入

CRH 5型动车组牵引部件具有非线性、多能域等特点,不易获取准确的系统级机理模型,而基于数据的建模方法又很难描述系统的拓扑结构和元件间的因果关系.利用键合图建模理论多能域、图形化的特点,建立与实际物理系统相吻合的牵引电动机和齿轮箱级联系统的键合图模型;研究牵引电动机常见故障的注入,在键合图中模拟电动机定子绕组短路故障,分析故障下机-电能域间的交互影响,展示键合图建模在故障传播分析和故障诊断方面的应用前景.仿真结果验证正常和故障工况下键合图模型的准确性.     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.     

pq阶6度半传递图

图X称为半传递图,如果X的自同构群Aut(X)传递地作用在顶点集和边集上,但不传递地作用在它的弧集上.该文主要研究了半传递图,证明了当3q︱p-1时,pq阶6度半传递图在同构意义下一定是某个Cayley图,从而给出了这类图的完全分拎.     

基于双帧图模型的视频物体分割

通过将空间及时序信息有效结合, 提出基于双帧图模型的单目视频物体分割算法。首先, 通过手工交互得到初始帧的分割, 并据此训练获取前景物体及背景的颜色模型。然后, 利用双帧图模型融合当前帧的颜色信息以及由颜色差得到的空间和时序约束。根据观测到的颜色差异与物体运动的线性关系, 提出运动自适应的时序约束因子, 它能够随视频中物体运动变化自适应地调节。最后, 通过二值图割法计算当前帧的分割结果并更新颜色模型。利用双帧图模型可循序地对视频中的下一帧进行分割。实验结果证实, 提出的自适应时序约束因子可以提高物体分割结果的准确性和时序一致性, 量化指标表明此算法在视频物体分割中可获得更优结果。     

受限SIMD PRAM模型上的高效并行图算法

在限定处理机个数的 CREW PRAM并行计算模型上,给出了图论中一些基本问题的并行算法.所给并行算法的费用c(n)=p(n)*t(n)是目前已知的最好结果,其中p(n),t(n)分别是对一具有n个顶点图实施并行算法所用处理机的个数和最坏情况下的时间复杂性。     

基于键合图理论的混杂系统模式观测器设计与故障诊断

为了实时准确的识别混杂系统的运行模式,以键合图为工具,引用受控结点,搭建系统混杂键合图模型,推导系统全局解析冗余关系,求得系统各模式下的解析冗余关系。将同一模式下的解析冗余关系代数求和,得到系统各模式下唯一的模式特征表达式;并以此设计系统模式观测器。将受控结点状态与其控制信号进行分析,实现受控结点故障诊断。最后利用20-sim软件进行仿真验证。结果表明模式识别与故障诊断方法的有效性和可靠性。     

FCn的路径问题

路径问题是网络理论研究的一个重要课题.我们讨论了FCn这类网络模型中节点间的内点不相连最短路径的数目.由于FCn是凯莱图,利用凯莱图的点传递性计算了FCn中任意点到单位元点之间的所有内点不相连的最短路,并且证明了FCn在内点不相连的最短路径方面达到最大可能,是最优的.     

键合空间模型拓扑结点表示及状态方程推导

键合空间理论是系统动力事图理论的拓展。键合空间模型如同键合图模型一样可以通过图示符号模型的自动推导而得到系统的状态方程。该文首先论述了键合空间模型结点的确定法则,提出了键合空间模型结点扑表述方法,由此得到了以结点为中心的键合空间模型自动推导方法－拓扑结点法。相对于键号为中心的自动推导方法来讲,拓扑结点法可以使键合空间模型数学描术更为精练,并提高自动推导的效率。     

最大度为6且不含5圈或6圈的平面图可8全染色

G,G的k 全染色是指用k种颜色给G的点和边进行染色,使G的任意邻接点或邻接边均染不同的颜色,且G的任一点与该点的任一关联边均染不同的颜色．证明了最大度为6且不含5 圈或6 圈的平面图是可8 全染色的．     

不完全状态差表构成规律

根据不完全封闭n端输出顺序时序机的各种定义,建立了位状态差、序状态差、表状态差运算规律,构成了不完全状态差表及自状态差表,给出了不完全状态差表的一系列重要说明。不完全状态差表在海量数据块检测,模式识别,自然语言理解等方面有广泛应用。自状态差表可成功直观简明精确定不完全封闭n端输出顺序时序机隐式软故障。     

不含相邻三角形平面图的4-可选色问题

设k为正整数，G为图．我们给G每个顶点一个长为k的任意表，如果存在一个顶点着色，使得每个顶点都可从表中得到一种颜色，则称G为k-可选色的．本文中证明了不含相邻三角形并且四面和三面不相邻的平面图是4-可选色的。     

基于三维模型的考古线图提取方法

考古线图可直观展现文物外形特征,是文物必不可少的存档资料,传统方法由人工测绘得到,耗时长、精度差,且易对文物造成二次伤害.本文提出一种基于文物三维模型自动化生成其考古线图的方法,并将其运用于兵马俑碎片的线图生成工作.扫描得到兵马俑碎片模型并对其进行去噪、补洞、简化等预处理,根据法向离散度信息判定模型的特征点,再检测模型的轮廓线与特征线,以此完成文物线图的绘制.该方法对原始模型要求较低,且视角灵活、可用性强,大幅缩减了考古绘图时间.