BÜCHI自动机

作品数：27被引量：46H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李永明易锦徐中伟田聪段振华更多>>
相关机构：桂林电子科技大学陕西师范大学西安电子科技大学中国科学院软件研究所更多>>
相关期刊：《清华大学学报（自然科学版）》《计算机与现代化》《计算机应用与软件》《小型微型计算机系统》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=电子学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模糊线性时序逻辑的可实现性被引量：5
《电子学报》2018年第2期341-346,共6页范艳焕 李永明 
国家自然科学基金(No.11671244;No.61261047);教育部博士点基金(No.20130202110001);青海省自然基金项目:不确定性信息物理融合系统的可靠性计算及智能控制关键技术研究(No.2014-ZJ-908)
模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊...
关键词：模糊线性时序逻辑 模糊Büchi自动机 可实现性 模糊博弈 
基于启发式SCCs的广义Büchi自动机判空检测算法被引量：1
《电子学报》2012年第1期95-102,共8页王曦 徐中伟 
国家科技支撑计划重大项目(No.2009BAG11B00;No.2011BAG01B03);国家自然科学基金(No.60674004;No.61075002)
基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆炸.本文以TGBA为研究对象,提出基于启发式SCCs的广义Büchi自动机判空检测算法.该算法在on-the-fly算法...
关键词：模型检测 BÜCHI自动机 on-the-fly算法 判空检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部