信阅平台

我的书架 0

随机模型检测理论与应用

￥0.00

图书来源: 浙江图书馆(由图书馆配书)

配送范围:

全国(除港澳台地区)
ISBN：

9787030418920
作者：

周从华著
出版社：

科学出版社
出版日期：

2014

畅销推荐

内容介绍

本书是作者多年从事随机模型检测相关科研工作的结晶。全书致力于缓解随机模型检测中的状态空间爆炸问题，深入系统地论述克服状态空间爆炸的两种基本技术：限界模型检测技术与抽象技术。首先，介绍离散时间马尔可夫链、马尔可夫决策过程、连续时间马尔可夫链和概率实时解释系统中的限界检测技术。然后，讨论模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。最后，探讨随机模型检测技术在云计算和物联网领域的应用。

展开