大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 随机模型检测理论与应用
名称 随机模型检测理论与应用
索引号
分类号
(| 08 环境公报)
作者 周从华、
出版社 北京 : 科学出版社, 2014
ISBN 978-7-03-041892-0
页数 203页 : 图 ; 24cm
价格 CNY62.00
标签
简介
注解 有书目 本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。最后从应用出发，探讨了随机模型检测技术在云计算和物联网领域的应用。