HORN子句

作品数：28被引量：81H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：蒋昌俊丁志军林闯吴陈裴峥更多>>
相关机构：同济大学山东科技大学云南大学镇江船舶学院更多>>
相关期刊：《软件学报》《暨南大学学报（自然科学与医学版）》《计算机工程》《沙漠与绿洲气象》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划四川省重点科技攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个在Horn子句中求解极大缩减的算法被引量：4
《中国科学：信息科学》2011年第2期129-143,共15页罗杰 李未 
国家重点基础研究发展计划(批准号:2005CB321901);国家高技术研究发展计划(批准号:2007AA01Z146);软件开发环境国家重点实验室自主课题(批准号:SKLSDE-2008ZX-01)资助项目
在信念修正理论中,一个核心问题是求解一个公式集合关于事实集合的所有极大协调子集,即极大缩减.本文尝试从算法的角度来解决这一问题,研究在Horn子句中求解所有极大缩减的算法.首先,本文指出并证明了公式集合和事实集合并集的极小不协...
关键词：极大缩减 极小不协调集合 极小减集 HORN子句 
复合数字对象及版权保护权利推理机制研究
《计算机工程与应用》2008年第31期25-27,32,共4页郭迎九 林闯 尹浩 
国家自然科学基金No.60673184;No.60673187;No.60673054;No.90412012;973计划前期研究专项(No.2006CB708301);中国移动通信研究院项目和教育部科技创新培育重点项目(No.707005)~~
考虑到网络多媒体应用对具有适应互操作、标准性以及知识产权保护功能的数字媒体的需要,对复合数字对象进行了研究,提出了HDO_IDOP(Hybrid Digital Object in IPTV DRM Operating Platform)复合数字对象模型。模型分数据、语义、管理等...
关键词：复合数字对象 版权保护 HORN子句 PETRI网 
基于Petri网的语义Web服务自动组合方法被引量：22
《软件学报》2007年第12期2991-3000,共10页汤宪飞 蒋昌俊 丁志军 王成 
Supposed by the National Natural Science Foundaion of China under Grant Nos.60534060;60473094(国家自然科学基金);the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z136(国家高技术研究发展计划(863));the National Basic Research Program ofChina under Grant No.2003CB317002(国家重点基础研究发展计划(973))
Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方...
关键词：WEB服务 WEB服务组合 HORN子句 PETRI网 T-不变量 
无回路规则系统的Petri网验证方法被引量：1
《同济大学学报（自然科学版）》2007年第2期232-238,共7页丁志军 潘美芹 蒋昌俊 韩耀军 
国家"九七三"重点基础研究发展规划资助项目(2003CB317002);国家自然科学基金资助项目(60534060;60473094;90612006)
构建了无回路规则系统的加标ω-Petri网模型,产生了相应的可达树,利用可达状态反映规则系统所包含的所有可达关系,并记录;提出了可达状态的反向推演森林及其算法,实现规则系统命题间可达路径的显式化.在此基础上,给出了规则系统错误的...
关键词：规则系统 HORN子句 PETRI网 验证 
基于P/T网结构的规则系统验证方法被引量：1
《系统仿真学报》2005年第z1期151-154,共4页丁志军 蒋昌俊 
国家973项目(2003CB316902);国家自然科学基金(60473094)
规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法...
关键词：规则系统 HORN子句 P/T网 关联矩阵 验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部