主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

构造多Agents影响图的策略相关图

 基于Bayes_ball算法,来判定多Agents影响图中任意2个决策节点是否S-可达,给出了构造策略相关图的完整算法.最后给出了算法正确性的证明.     

可达矩阵的Warshall算法实现

通过图的矩阵表示可以得到图的很多重要性质,将邻接矩阵看作图的结点集的关系矩阵,由此可以产生可达矩阵,从而可以反映图中各结点间是否有路.可达矩阵可用W arshall算法求得,作者用VB实现了该算法.     

一种改进的规则终止性分析方法的研究

提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想。对于规则的终止性分析,采用REG方法比基于进化图的分析方法更具体、精确,接着给出了REG的算法并证明其正确性。     

主动规则可终止性分析的规则缩减算法

研究主动数据库系统中规则终止特性的静态分析技术,通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活图结合的一种规则终止分析方法,并将其运用于主动面向对象数据库系统AO2DB的规则终止分析中,该方法与基本触发图分析方法相比能够更准确的判定规则的可终止性。     

由偏序关系的可达阵导出Hasse图的有效算法——兼谈其在认知诊断中的作用

假设0-1矩阵Q的行表示属性,对矩阵Q采用行逐对比较方法导出表示属性层级关系的Hasse图.然而,这个Hasse图和由可达矩阵R导出的Hasse图可能不一致.证明了包含R的Q阵的行逐对比较的方法与R导出的Hasse图是一致的,由此得出由偏序关系的可达矩阵导出Hasse图的一个有效算法,并讨论其在认知诊断中的应用.     

与或图数据库的可达算法和寻根算法

与或图数据库是利用与或图描述数据库的关系模式 ,从而建立起新的一套数据库理论。这种数据库理论采用图论作为数学基础 ,将可达算法、搜索算法和分块算法引入关系数据库 ,来解决规范化算法中关键字求解和依赖蕴涵的问题。该文提出了利用宽度搜索、深度搜索、分块搜索和启发式搜索四种搜索算法判断依赖蕴涵问题 ,以及利用生成子图的方法求解候选关键字的问题。最后进一步证明了这些算法在复杂度上比传统算法更加优越。由此可见与或图数据库的算法更加高效直观易于编程 ,还为图论和人工智能与数据库的结合提供了可能     

面向大规模时态图的紧密子图维护算法

大规模图数据中的重要顶点与层级结构对于挖掘复杂网络（如社交网络、交通网络等）中有价值的信息具有重要意义.提出一种自顶向下的大规模时态图(k,h)-维护算法,对时态图中紧密度最高的前n层(k,h)-核,或满足自定义k,h值约束条件的核进行维护.首先提出识别(k,h)-最大层的方法 .当时态图中出现新的边时,为了定位当前时刻可能因新加入边导致核值需要更新的顶点的范围,提出候选插入子图与部分(k,h)-核的概念及相应的识别算法.针对加边情况,提出自顶向下的时态图(k,h)-核维护加边算法,根据部分(k,h)-核识别核值受加边影响的顶点并对其核值进行更新.针对当前时刻有已经存在的边被删除的情况,提出自顶向下的时态图(k,h)-核维护删边算法,对上一时刻的(k,h)-核做最小调整以得到当前时刻的核值.从理论上证明了算法的正确性,还在真实的时态图上设计了一系列对比实验.实验结果表明,在维护层数较少时下添加边,提出的核维护算法与其他对比算法相比,加速比可达几十倍;删边时,加速比也在1～2倍.提出的算法有良好的扩展性,对于增删不同数量的边和不同的(k,h)设置,都能保持较高的效率.     

关于图的可达划分数

本文给出了E.J.Cockayne和S.T.Hedetniemi的下列猜想的一个新证明:当图G的团图为2-分图时,G的最小团的阶数不大于G的可达划分数;讨论了图的可达划分数与连通度的关系。     

Petri网的可达图与可达树的比较

Ｐｅｔｒｉ网的可达图和可达树都是用于分析Ｐｅｔｒｉ网的工具,章将展示如何用可产完成Ｐｅｔｒｉ风的各项分析,并将可达图与可达树相比较,证明可达图是较可达树更为有一种分析工具．     

pq阶6度半传递图

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

双Cayley图的自同构群

设G是有限群，S是G的一个子集（可能含有单位元）。群G关于S的双Cayley图BCay(G,S)是以Gx｛0，1｝为点集而以｛｛（g,0），（sg,1）｝|g∈G,s∈S｝为边集的二部图。考查了双Cayley图BCay(G,S)的自同构群A，并决定了NA(Rι^r(G)）的结构。     

关于整循环图

整循环图Xn(D)的顶点集是Zn={0,1,2,…,n-1},顶点a和b相邻当且仅当gcd(a-b,n)∈D,D是n的某个正的真因子集.该文从环Zn的角度出发,给出了整循环图的概念一种新的刻画,并给出了一些整循环图的性质.     

Kneser图KG(11,5)平方图的色数

Kneser图KG(n,k)的顶点集包括一个n元集的所有k元子集,其中的任意两个顶点相邻当且仅当它们对应的子集不相交.一个图G的平方图G2的顶点集与G的顶点集相同,在G2中两个顶点之间有边当且仅当它们在G中的距离不超过2.通过理论分析和计算机搜索,得到8≤χ(KG2(11,5))≤10,10≤χ(KG2(13,6))≤16,其中前一个结论改进了已知的下界7和上界12.     

qp~2阶连通4度半传递图

称图X是半传递图,如果X的自同构群Aut(X)作用在其顶点集和边集上都传递,但作用在其弧集上非传递。本文证明了qp2(其中q相似文献   

模糊软图及性质研究

在给出模糊图,模糊软集的定义基础上,给出了模糊软图的定义,并得到模糊软图的交,并,补等运算和性质,最后给出了模糊软图连通性的定义和性质.     

平面二部图的完美匹配集合上的有向根树结构及其生成

图的完善匹配或１－因子指覆盖子其所有顶点的独立边集。对含有完善匹配的平面二部图，其所有完美区通过某旋转变换形成层次组织结构。可用有向根树或半格表示。建立了平面二部图的完善匹配集合上新有向根树结构并可通过算法来生成。     

Heilbronn问题初探

解决了ｎ＝９的Ｈｅｉｌｂｒｏｎｎ问题，并建立了一套新的理论，为进一步研究其他情形提供一个有效的方法．     

粗糙图与它的结构

将粗糙集理论和传统图论相结合，给出基于粗糙集思想的传统图的等价定义及粗糙图的定义，并进一步给出了粗糙图的矩阵表示及粗糙图的粗糙性分析．粗糙图推广了传统的图论结果，是可用于不确定性问题研究的图，它是分析系统粗特征的有效新工具．