检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于活化路径同步关系的规则集可终止性判定

哈尔滨工程大学学报 2006年第4期27卷 546-550页

作者：熊中敏郝忠孝哈尔滨理工大学计算机与控制学院黑龙江哈尔滨150080

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定... 详细信息

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定主动规则集可终止性的方法.分析的结果表明文中提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明。

关键词：主动数据库规则分析活化路径同步关系可终止性

在线全文

学校读者我要写书评

暂无评论

支持复合事件的主动规则的可终止性分析

计算机研究与发展 1998年第5期35卷 460-463页

作者：孙明姜跃平董继润山东大学计算机科学系

ＥＣＡ规则系统已经成为主动数据库提供主动服务的通用机制．规则集合的可终止性是规则行为分析的一个重要问题．文中给出了ＥＣＡ规则系统的形式化描述，并着重讨论了复合事件机制对可终止性问题的影响．文中结合规则实例给出了分析规... 详细信息

ＥＣＡ规则系统已经成为主动数据库提供主动服务的通用机制．规则集合的可终止性是规则行为分析的一个重要问题．文中给出了ＥＣＡ规则系统的形式化描述，并着重讨论了复合事件机制对可终止性问题的影响．文中结合规则实例给出了分析规则终止性的静态判定算法，这一算法可作为主动规则分析工具的理论基础．

关键词：主动数据库 ECA规则复合事件可终止性

在线全文

学校读者我要写书评

暂无评论

基于增强条件公式的主动规则集可终止性判定

计算机工程与科学 2014年第1期36卷 163-168页

作者：熊中敏赵梦露黄冬梅上海海洋大学信息学院上海201306

主动规则集的可终止性判定是一个研究热点问题,现有的基于触发图和活化图的方法没有考虑触发环所有所属规则能否在同一次执行中执行;现有的条件公式判定方法只能包含不可更新或有限次更新变量,当主动规则集只包含可有限次循环执行的触... 详细信息

主动规则集的可终止性判定是一个研究热点问题,现有的基于触发图和活化图的方法没有考虑触发环所有所属规则能否在同一次执行中执行;现有的条件公式判定方法只能包含不可更新或有限次更新变量,当主动规则集只包含可有限次循环执行的触发环时,现有方法不能准确判定它是可终止的。为此,提出了触发环的执行序列的概念和建立包含可更新变量的增强条件公式的方法,新的判定方法将触发环和执行语义有机地结合在一起,较现有方法可以发现更多的可终止性情形,同时给出了新算法的可终止性和正确性证明。

关键词：主动数据库规则分析活化路径增强条件公式可终止性

在线全文

学校读者我要写书评

暂无评论

基于条件公式的主动规则集可终止性判定

哈尔滨工业大学学报 2009年第5期41卷 221-225页

作者：熊中敏郝忠孝哈尔滨理工大学计算机与控制学院哈尔滨150080 上海海洋大学信息学院上海201306 哈尔滨工业大学计算机科学与技术学院哈尔滨150001

针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性,从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题.提出了利用基于活化路径建立的条件公式进行判定的方法,结果表明该方... 详细信息

针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性,从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题.提出了利用基于活化路径建立的条件公式进行判定的方法,结果表明该方法可以比现有方法发现更多的可终止性情形.对主动规则集的设计和应用具有一定的意义.

关键词：主动数据库规则分析活化路径条件公武可终止性

在线全文

学校读者我要写书评

暂无评论

XML中的主动规则的模型及其可终止性分析

计算机工程与设计 2006年第15期27卷 2747-2749页

作者：吴卫华董梅山东省城市建设学校山东济南250014 济南大学信息科学与工程学院山东济南250022

在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则... 详细信息

在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则集的可终止性,这样不仅可以得到更高的精确度及更小的复杂度,而且可以得到有效的判定主动规则可终止性的条件。

关键词：可扩展标识性语言主动节点 “事件-条件-动作”主动规则可终止性递归等式

主动规则在XML系统中的实现及可终止性分析

在线全文

学校读者我要写书评

暂无评论

微电子学与计算机 2006年第2期23卷 38-41页

作者：袁宁栾虹郝光前田昊济南大学信息科学与工程学院山东济南250022 山东省智奥地理信息中心山东济南250013

文章以XML数据模型主动机制的研究作为出发点,讨论了XML中主动规则的模型与实现及其相关行为属性的分析,并结合规则实例提出了一种新的分析规则终止性的静态判定算法。这一算法提高了规则可终止性判定的精确度,降低了时间复杂度,可以作... 详细信息

文章以XML数据模型主动机制的研究作为出发点,讨论了XML中主动规则的模型与实现及其相关行为属性的分析,并结合规则实例提出了一种新的分析规则终止性的静态判定算法。这一算法提高了规则可终止性判定的精确度,降低了时间复杂度,可以作为进一步主动规则分析的理论基础。

关键词： XML ECA主动规则可终止性递归等式

良结构下推系统上的可终止性和有界性问题研究

在线全文

学校读者我要写书评

暂无评论

良结构下推系统上的可终止性和有界性问题研究

作者：雷素华上海交通大学

学位级别：硕士

在形式化验证领域,下推系统（pushdown systems）常用来建模单线程递归程序,良结构迁移系统（well-structured transition systems）,比如向量加法系统（vector addition systems）,常用来建模非递归多线程程序。结合这两种系统及目前... 详细信息

在形式化验证领域,下推系统（pushdown systems）常用来建模单线程递归程序,良结构迁移系统（well-structured transition systems）,比如向量加法系统（vector addition systems）,常用来建模非递归多线程程序。结合这两种系统及目前对于递归并发程序分析的需求,Cai和Ogawa提出了建模递归并发程序的框架:良结构下推系统（wellstructured pushdown systems）[1]。良结构下推系统可以看做是下推系统和良结构迁移系统的结合:与下推系统比较,它将下推系统的状态集和栈字符集从有限集扩展为良拟序集（well quasi order）;与良结构迁移系统比较,它在良结构迁移系统的基础上配置了一个栈。良结构下推系统的表达能力十分强大,但其上的很多模型检测问题的可判定性目前都还是公开问题。本文我们主要研究良结构下推系统的可终止性问题及有界性问题:·扩展了删枝可达树算法[2]证明良结构下推系统的可终止性和有界性问题是可判定的,在扩展的删枝可达树上证明了一个良结构下推系统有一条无限长的路径当且仅当它的删枝可达树中包含一个可泵节点（pumpable node）,一个严格良结构下推系统的可达集是无限的当且仅当它的删枝可达树中包含一个严格可泵节点（strictly pumpable node）;·提出另外一种证明良结构下推系统的可终止性和有界性问题的可判定性的算法:后继自动机算法（Post*-automata algorithm）。证明了一个良结构下推系统是不可终止的当且仅当它的简化后继自动机（reduced Post*-automaton）中存在一条可泵边（pumpable edge）,一个严格良结构下推系统是无界的当且仅当它的简化后继自动机中存在一条严格可泵边（strictly pumpable edge）;·通过将格局迁移路径抽象为嵌套序列（nested sequence）,利用嵌套序列的一些性质证明了良结构下推系统的子模型受控良结构下推系统（bounded wellstructured pushdown systems）的删枝可达树的大小的上界为高阶阿克曼的（hyperAckermannian）;下界则由受控良结构下推系统的一类子模型的下界得到,也是高阶阿克曼的;·证明了一个良结构下推系统的删枝可达树与简化后继自动机的关系:一个良结构下推系统的删枝可达树中包含一个可泵节点当且仅当它的简化后继自动机中存在一条可泵边。并证明了简化后继自动机的大小的上下界与删枝可达树的大小的上下界相同。·为了比较两种算法的实际效率,我们设计并实现了这两种算法,并提出一个良结构下推系统的随机模型生成测试样本,在这些样本上分析比较两种算法的效率;实验结果表明在一些简单的良结构下推系统实例上两种算法的表现不相上下,但在复杂的实例上后继自动机算法比删枝可达树算法要快很多数量级,而删枝可达树算法只在简单的实例上运行速度比较快。

关键词：良结构下推系统可终止性有界性高阶阿克曼复杂性

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

知识库系统的可终止性与正确性问题

上海第二工业大学学报 1989年第2期6卷 63-66页

作者：蒋川群上海第二工业大学计算机系

本文讨论的内容共分三部分:不包含递归规则的系统,包含递归规则的系统,与包含非逻辑设施的系统。通过严格的定义和证明,给出了有关终止性和正确性问题的一些充要条件与充分条件。对存在的一些问题,待进一步探讨。

关键词：知识库可终止性正确性递归规则

在线全文

学校读者我要写书评

暂无评论

主动规则可终止性的动态分析方法

计算机研究与发展 2000年第8期37卷 1018-1024页

作者：杨波王海洋董继润山东大学计算机科学系济南250100

判定主动规则集合的执行情况是相当困难的 ,尤其是在主动规则支持复合事件时 .提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型 ,归结出主动规则可终止的充分必要条件 ,并进一步提出了利用动态分析模型进行主动规则可终... 详细信息

判定主动规则集合的执行情况是相当困难的 ,尤其是在主动规则支持复合事件时 .提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型 ,归结出主动规则可终止的充分必要条件 ,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法 .该模型易于实现 ,能有效描述规则集合的动态特性 ,可以作为分析主动规则集合行为的理论基础。

关键词：主动数据库可终止性动态分析主动规则