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

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

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

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

主动信息系统中终止性规则的研究

研究主动信息系统中主动规则及实现技术。介绍主动信息系统体系结构及ECA规则,基于ECA规则分析规则集行为的三个特性,给出终止性规则的触发图、活化图、惰化图分析方法。     

主动规则执行终止性分析算法的修正

指出基于触发图和活化图主动规则终止性分析算法的错误,提出触发可达和触发可达集,并在此基础上对原算法进行修正。     

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

基于Petri网的ACDB中规则终止性分析

介绍了基于TG和AG的主动数据库规则分析方法，提出了基于Petri网用EG(execite graph）分析规则的方法。     

一种基于顺序图的软件性能分析方法

软件性能工程SPE是一种重要的性能分析方法，它将UML顺序图转化为执行图，进而分析软件的性能是否符合期望的指标。然而软件性能工程（SPT）却未给出顺序图到执行图的具体转化方法，在实际应用特别是自动实现时存在一定的困难，文中通过对模型图的形式化定义，提出了一种顺序图转换为执行图的基本算法，并给出了一种基于顺序图的软件性能评价方法。     

基于有向图的关联规则算法

提出了一种基于有向图的关联规则挖掘算法，采用了垂直二进制位图映射数据库，根据垂直二进制位图来生成有向图，将频繁项的二进制位串作为有向图的权值，通过分析有向图生成最大频繁项集，并给出了最大频繁项集挖掘算法的优势。     

基于规则的网状结构目标识别研究

在分析ＥＤＧ图的基础上，针对拱桥图像的网状结构，提出了以有向边缘为属性的ｅｄＮＬＣ图文法及其产生式规则，导出了该类网状结构目标的自上而下的识别算法，模拟实验的结果表明，本算法对网状结构的识别是有效的．     

反演卡诺图和对偶卡诺图

根据反演规则和对偶规则定义，给出了反演卡诺图和对偶卡诺图，进而利用反演卡诺图和对偶卡诺图将逻辑函数“或与”表达式化简及化成“与或”表达式，很适于用“或非”门实现的电路分析和化简。     

扩展产生式规则知识表示方法

通过对现有知识表示方法进行分析，指出了产生式规则和概念图表示方法在自然语言理解中存在的问题，提出了扩展产生式规则知识表示方法，并对该规则的推理机制和具体实现进行了讨论．扩展产生式规则表示方法是将产生式规则的前提、结论和处理分别用概念图表示，是一种混合知识表示方法．它既保持了产生式规则的模块性，又揭示了自然语言中的深层次关系，与自然语言形成自然映射。通过分析表明，扩展产生式规则的总体性能要优于传统的产生式规则。并且特别适合于自然语言理解中的知识表示．该规则已应用于网络故障诊断专家系统的自然语言接口设计中．     

有向Kautz图上的随机游动

首先给出了有向Kautz图上简单随机游动任意两点之间平均击中时间的表达式及其最大和最小值,并证明了快速收敛性.最后给出了有向Kautz图上简单随机游动从任一单点分布到稳定分布的一个最优停时规则,从而得到了最优均值.     

求解线性系统的一种新型流图

以Gramer法则为理论基础,提出了一种新型线性流图-GW图。与现有的各种流图相比,具有构图简便、直观、容易证明等优点,可用来化简流图、求解线性网络等。     

一种构造紧图族的方法

双随机矩阵有许多重要的应用,紧图族可以看作是组合矩阵论中关于双随机矩阵的著名的Birkhoff定理的拓广,有重要的研究价值.确定一个图是否紧的是个困难的问题,目前已知的紧图族尚不多,本文介绍从某些已知的紧图出发构造紧图族的加边法,从而构造很多紧图族.     

关于不连通优美图及优美图的构造

在本文中,我们称G是不连通图,如果G至少具有两个不是孤立点的分支。迄今为止,许多作者对优美图问题进行了大量的研究,但对不连通图的优美性讨论尚少。本文首先研究不连通图的优美性,给出了几类不连通的优美图,并提出两个猜想。其次讨论优美矩阵,得到了几个有意义的结果。最后给出几类新优美图的构造方法。     

双圈图的优美性

针对双圈图, 设计一种图的优美性判定算法, 并对17个点内的所有双圈图进行优美性验证, 得到了该范围内所有的优美图和非优美图. 结果表明, 在17个顶点范围内, 除∞ 型双圈图C_(m,n)外, 其余所有双圈图都是优美的, 其中(m+n)(mod 4)={1,2}. 最后给出该类图的非优美证明, 并进一步猜测当顶点数大于17时, 该结论仍成立.     

完全图和完全多部图的Mycielski图的星全染色

讨论了完全二部图、完全图和完全多部图的Mycielski图的星全染色问题,得到了它的星全色数.     

各类分子轨道图

本文给出了常见的简单双原子分子严格意义上的各类分子轨道图，并从周期律出发，讨论了分子轨道图与物质结性质间的联系。