首页 > 《现代计算机：中旬刊》 > 2017年1期 > 软件模型检测中状态爆炸问题的解决方法

软件模型检测中状态爆炸问题的解决方法

在线阅读下载PDF 导出详情

摘要在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。

DOI 54klw1wljk/1701581

作者屈媛媛;杜伊

机构地区不详

出处《现代计算机：中旬刊》 2017年1期

关键词状态空间爆炸模型检测文献综述

分类 [自动化与计算机技术][计算机科学与技术]

出版日期 2017年01月11日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1吴树平. 基于变电设备状态检测技术存在的问题及解决方法.电力系统及自动化,2017-12.
2孙昌言;沈康利. 用友软件使用中的若干问题及其解决方法.管理学,2002-03.
3张海霞. 粮食检测安全中的问题及解决方法.卫生事业管理,2020-08.
4刘忠诚. 浅谈混凝土检测方法、问题及解决方法.建筑设计及理论,2017-11.
5高振杰. 建筑材料检测中的问题及解决方法.建筑设计及理论,2018-11.
6唐驰. 水环境检测存在的问题及解决方法.建筑技术科学,2024-04.
7李奕林. 建筑材料检测中存在的问题及解决方法.工程地质学,2021-07.
8王颖. 金属材料检测中的问题及解决方法探究.建筑技术科学,2022-01.
9陈振东. 土木工程检测中的问题与解决方法.,2022-06.
10宋彦. 土木工程检测中的问题与解决方法.建筑理论,2022-08.

来源期刊

现代计算机：中旬刊

相关推荐

同分类资源更多

相关关键词

状态空间爆炸模型检测文献综述

返回顶部