随机模型检测理论与应用

本书特色

[

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

]

内容简介

[

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。很后从应用出发，探讨了随机模型检测技术在云计算和物联网领域的应用。

]

封面

书名:随机模型检测理论与应用

作者:周从华

页数:216

定价:¥88.0

出版社:科学出版社

出版日期:2018-08-01

ISBN:9787030418920

PDF电子书大小:62MB 高清扫描完整版