安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

随机模型检测理论与应用/周从华著

版本说明:

1-1版

出版发行项:

:科学出版社,2014年10月

ISBN及定价:

978-7-03-041892-0/CNY60

载体形态项:

220页;16开

个人责任者:

周从华 著

中图法分类号:

TP274

提要文摘附注:

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

使用对象附注:

计算机科学与技术专业硕士生、博士生,相关研究人员

豆瓣简介：