时态认知逻辑

作品数：11被引量：25H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：骆翔宇苏开乐吴立军周从华孙博更多>>
相关机构：中山大学桂林电子科技大学华侨大学清华大学更多>>
相关期刊：《计算机学报》《电子学报》《小型微型计算机系统》《计算机研究与发展》更多>>
相关基金：国家自然科学基金中国博士后科学基金广西青年科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时态认知逻辑的Web服务模型检测被引量：1
《计算机科学》2009年第8期153-157,共5页骆翔宇 陈艳 古天龙 董荣胜 
国家自然科学基金(60763004);广西青年科学基金(桂科青0728090);广西研究生教育创新计划项目(2007105950811m19)资助
传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,...
关键词：模型检测 时态认知逻辑 多智能体系统 WEB服务 
时态认知逻辑CTL*K的符号化模型检查算法
《计算机科学》2009年第5期214-219,共6页陈彬 王智学 
863高技术计划基金项目(2007AA01Z126);国防预研基金项目(9140A06020206JB8101)资助
时序认知逻辑是由时序逻辑和认知逻辑组合而成的逻辑,主要应用于多主体系统的规范定义。大多数时序认知逻辑是基于CTL的,表达能力有限。并且已知的一些模型检查算法存在内存不足和状态爆炸等问题。讨论了基于CTL*的时态认知逻辑CTL*K的...
关键词：符号模型检测 多主体系统 时态认知逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部