MARC状态：审校 文献类型：中文图书 浏览次数：47
- 题名/责任者:
- 随机模型检测理论与应用/周从华著
- 出版发行项:
- 北京:科学出版社,2014.9
- ISBN及定价:
- 978-7-03-041892-0/CNY62.00
- 载体形态项:
- 203页:图;24cm
- 个人责任者:
- 周从华 著
- 学科主题:
- 随机过程-数学模型-检测
- 中图法分类号:
- O211.6
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。最后从应用出发，探讨了随机模型检测技术在云计算和物联网领域的应用。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O211.6/782 | 72005664 | - |  自然科学第二书库（7F）
|
可借 | 自然科学第二书库（7F） |
| O211.6/782 | 72005665 | - | 自然科学第二书库（7F）
|
可借 | 自然科学第二书库（7F） |
| O211.6/782 | 72005666 | - | 自然科学第二书库（7F）
|
可借 | 自然科学第二书库（7F） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架