可终止性

作品数：16被引量：16H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：熊中敏郝忠孝蒋曹清彭立杨恒伏更多>>
相关机构：哈尔滨理工大学山东大学武汉大学上海海洋大学更多>>
相关期刊：《计算机工程与应用》《计算机工程与设计》《哈尔滨理工大学学报》《哈尔滨工业大学学报》更多>>
相关基金：国家自然科学基金黑龙江省自然科学基金山东省自然科学基金上海市科委重大科技攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的面向服务软件异常处理可终止性的验证方法
《小型微型计算机系统》2015年第11期2484-2491,共8页蒋曹清 肖芳雄 应时 文静 
国家自然科学基础重点项目(91118003;61272113;61272108)资助;国家自然科学基金项目(61070012;61170022;6126200)资助;广西自然科学基金项目(2015GXNSFAA139310)资助;广西高校科学技术研究项目(YB2014349)资助
针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出...
关键词：面向服务软件 异常处理 模型检测 可终止性验证 
基于增强条件公式的主动规则集可终止性判定
《计算机工程与科学》2014年第1期163-168,共6页熊中敏 赵梦露 黄冬梅 
上海市科委研究基金资助项目(10510502800);国家973重大基础研究基金资助项目(2012CB316200)
主动规则集的可终止性判定是一个研究热点问题,现有的基于触发图和活化图的方法没有考虑触发环所有所属规则能否在同一次执行中执行;现有的条件公式判定方法只能包含不可更新或有限次更新变量,当主动规则集只包含可有限次循环执行的触...
关键词：主动数据库 规则分析 活化路径 增强条件公式 可终止性 
描述逻辑SHIQ的ABox一致性判定算法
《计算机工程》2013年第12期308-315,共8页彭立 杨恒伏 
国家自然科学基金资助项目(61073191);湖南省教育厅科学研究基金资助项目(12C0593);湖南第一师范学院校级课题基金资助项目(XYS10N09)
为判定描述逻辑SHIQ的ABox一致性,提出一种Tableau算法。给定TBox T、ABox A和角色层次H,通过预处理将A转换成标准的ABox A’,按照特定的完整策略将一套Tableau规则应用于A’,从而不断地对A’进行扩展,直到将其扩展成完整的ABox A’’...
关键词：描述逻辑SHIQ ABox一致性判定 TABLEAU算法 阻塞机制 可终止性 合理性 完备性 
描述逻辑SHIN的ABox一致性判定算法
《计算机工程与应用》2013年第20期55-62,共8页彭立 杨恒伏 
国家自然科学基金(No.61073191);湖南第一师范学院校级课题(No.XYS10N09)
为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致...
关键词：支持补集 传递角色 角色层次 反向角色和数量约束的属性语言(SHIN) ABox一致性判定 TABLEAU算法 阻塞机 制 可终止性 合理性 完备性 
基于条件公式的主动规则集可终止性判定被引量：1
《哈尔滨工业大学学报》2009年第5期221-225,共5页熊中敏 郝忠孝 
科技部科研专项经费基金资助项目(200805016);上海市科委重大专项资助项目(08dz1204802);黑龙江省自然科学基金资助项目(F00-06)
针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性,从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题.提出了利用基于活化路径建立的条件公式进行判定的方法,结果表明该方...
关键词：主动数据库 规则分析 活化路径 条件公武 可终止性 
XML中的主动规则的模型及其可终止性分析
《计算机工程与设计》2006年第15期2747-2749,共3页吴卫华 董梅 
山东省自然科学基金项目(Y2001G03)
在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则...
关键词：可扩展标识性语言 主动节点 “事件-条件-动作”主动规则 可终止性 递归等式 
基于活化路径和条件公式的主动规则集可终止性判定方法被引量：4
《计算机研究与发展》2006年第5期901-907,共7页熊中敏 郝忠孝 
黑龙江省自然科学基金项目(F00-06)~~
支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中一个核心问题之一,利用触发图和活化图的方法来判定可终止性都存在不同的保守性.为此,提出了为有效活化路径建立条件公式的思想,在此基...
关键词：主动数据库 规则分析 活化路径 条件公式 可终止性 
基于活化路径同步关系的规则集可终止性判定
《哈尔滨工程大学学报》2006年第4期546-550,共5页熊中敏 郝忠孝 
黑龙江省自然科学基金资助项目(F00-06)
支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定...
关键词：主动数据库 规则分析 活化路径 同步关系 可终止性 
主动规则在XML系统中的实现及可终止性分析
《微电子学与计算机》2006年第2期38-41,共4页袁宁 栾虹 郝光前 田昊 
山东省自然科学基金资助项目(Y2001G03)
文章以XML数据模型主动机制的研究作为出发点,讨论了XML中主动规则的模型与实现及其相关行为属性的分析,并结合规则实例提出了一种新的分析规则终止性的静态判定算法。这一算法提高了规则可终止性判定的精确度,降低了时间复杂度,可以作...
关键词：XML ECA主动规则 可终止性 递归等式 
含环触发图对应的主动规则集可终止性分析被引量：1
《计算机研究与发展》2005年第12期2199-2205,共7页郝忠孝  任超  赵龄强  
黑龙江省自然科学基金项目(F00-06)~~
主动规则集的可终止性是主动数据库规则集的三大重要特征之一·主动规则集可否保证终止将直接影响到系统的应用·由于主动规则间存在依赖关系,通过对依赖关系的分析,给出了规则的触发传递闭包、依赖传递闭包等概念·以此为基础,提出了...
关键词：主动数据库 ECA规则 规则触发-依赖图 触发图 终止性分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部