时态认知逻辑

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=电子学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
概率实时时态认知逻辑模型检测中抽象技术的研究被引量：2
《电子学报》2013年第7期1343-1351,共9页刘志锋 孙博 周从华 
国家自然科学基金(No.61003288;No.6111130184);江苏省自然科学基金(No.BK2010192);教育部博士点基金(No.20093227110005);江苏大学高级人才科研启动基金(No.12JDG061)
概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑模型检测中的状态空间爆炸问题,我们给出了一种抽象技术:对于P...
关键词：模型检测 概率实时时态认知逻辑 PTACTLK 状态空间爆炸 抽象 
概率时态认知逻辑模型检测中三值抽象技术的研究被引量：1
《电子学报》2012年第10期2052-2061,共10页周从华 孙博 刘志锋 葛云 
国家自然科学基金(No.61003288;No.6111130184);江苏省自然科学基金(No.BK2010192);教育部博士点基金(No.20093227110005)
为缓解概率时态认知逻辑模型检测中的状态空间爆炸问题,提出了概率时态认知逻辑的三值抽象技术.具体研究内容包括:定义抽象模型及模型上概率时态认知逻辑的三值语义,依据状态空间等价划分建立初始抽象模型,并证明抽象技术对概率时态认...
关键词：三值抽象 模型检测 概率时态认知逻辑 反例 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部