廉智超

作品数：1被引量：4H指数：1
导出分析报告
供职机构：吉林大学计算机科学与技术学院更多>>
发文主题：可诊断性符号模型检测有界模型检测基于模型诊断时态逻辑更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《吉林大学学报（理学版）》更多>>
所获基金：教育部“新世纪优秀人才支持计划”吉林省科技发展计划基金国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的实时模型诊断方法被引量：4
《吉林大学学报（理学版）》2007年第6期948-952,共5页廉智超 欧阳丹彤 
国家自然科学基金重大项目基金(批准号:60496320;60496321);国家高技术研究发展计划项目基金(批准号:2003AA118020);新世纪优秀人才支持计划项目基金;吉林省科技发展计划项目基金(批准号:20060532)
提出一种基于模型检测的实时模型诊断方法.利用模型检测算法对大状态空间系统验证的高效性,使诊断系统能够更快地进行模型诊断,并对这种方法进行了系统实现,结果表明,此方法可行、有效.
关键词：模型诊断 可诊断性 有界模型检测 符号模型检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部