终止性

作品数:103被引量:114H指数:5
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:李轶冯勇吴文渊郝忠孝杨泽雪更多>>
相关机构:中国科学院重庆绿色智能技术研究院哈尔滨理工大学中国科学院大学中国科学院成都计算机应用研究所更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划黑龙江省自然科学基金重庆市科技攻关计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程与应用x
条 记 录,以下是1-6
视图:
排序:
描述逻辑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算法 阻塞机  可终止性 合理性 完备性 
命令式程序终止性验证方法综述
《计算机工程与应用》2011年第28期1-6,105,共7页李仁见 王昭飞 
国家自然科学基金(No.60725206);国家973项目课题(No.2011CB302603)~~
作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最新研究成果,同时提出解决该问题的建议性方法框架,对命令式程序终止性研究提供有意义的帮助。给出了程...
关键词:终止性 命令式程序 秩函数 尺寸变化终止(SCT)分析 模型检验 
Active XML文档物化终止性检验算法
《计算机工程与应用》2009年第24期140-142,149,共4页朱燕 
ActiveXML(简记为AXML)文档在XML文档中引入嵌入式Web服务,通过调用这些服务,来获取相应的内涵信息,为AXML文档物化过程。研究了AXML文档物化的终止性检验问题,提出了多项式时间的检验算法,该算法通过构造AXML模式依赖图,检验其无环性...
关键词:AXML文档 WEB服务 物化 终止性 
Prolog程序中循环的终止性分析
《计算机工程与应用》1990年第3期31-35,共5页杨鸿春 
本文对Prolog程序中的循环进行了分析,提出了一种识别无穷循环的简单直观方法,在此基础上给出了相应的避免或防止办法。
关键词:PROLOG程序 循环 终止性分析 
PROLOG的内部谓词cut及其对程序终止性的影响
《计算机工程与应用》1989年第5期60-65,共6页曾抗生 
国家自然科学基金
PROLOG语言中引进了cut这一重要的内部谓词(built-in predicate)。使用cut可以方便地表达出过程性语义中不可缺少的控制结构——选择和循环。并且,cut还有利于提高程序的效率——加快运行速度和节省存储空间。但是,cut并不是原来一阶逻...
关键词:PROLOG语言 谓词Cut 程序终止性 
程序正确性的验证及调试方法
《计算机工程与应用》1983年第4期35-53,共19页
程序正确性验证在国内外文献[4,11—18]上,讨论非常热烈。但这些文献上谈到的技术哪些是可行的呢?我们做了各项技术的可行性分析,认识到如下技术是可行的。
关键词:程序 终止性 定理 不变式 前置条件 定义 调试方法 
检索报告 对象比较 聚类工具 使用帮助 返回顶部