您的位置： 专家智库 > >

国家自然科学基金(60573012)

作品数：1 被引量：7H指数：1
相关作者：张文辉蒲飞更多>>
相关机构：中国科学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

机构

  • 1篇中国科学院

作者

  • 1篇蒲飞
  • 1篇张文辉

传媒

  • 1篇中国科学（E...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
结合搜索空间划分和抽象进行LTL模型检测被引量：7
2007年
在应用模型检测于工业系统时,状态空间爆炸仍然是一个主要的障碍.基于抽象的方法在克服状态空间爆炸方面取得了很大的成功.提出一种结合搜索空间划分和抽象的方法来降低模型检测的空间复杂度.划分依赖于每个所分划的搜索空间的表达.特别地,划分可以逐步求精以获得更好的空间消减.从数值实验看,这种搜索空间划分和抽象的结合在基于内存的需求上能提高验证的效率,同时能得到比单独使用其中一种方法更好的效果.
蒲飞张文辉
全选 清除 导出
共1页<1>
聚类工具0