文献类型:专著 浏览次数:11
  • 题名:随机模型检测理论与应用
  • 责任者:周从华著
  • 出版社科学出版社
  • 出版年:2014.09
  • ISBN:978-7-03-041892-0
  • 定价:62.00
  • 载体形态项:203页 24cm
  • 个人责任者:周从华著
  • 学科主题:随机过程
  • 中图法分类号:O211.6
  • 提要文摘附注:本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。最后从应用出发, 探讨了随机模型检测技术在云计算和物联网领域的应用。
  • 统一资源定位(URL):
总体评价(共0票) 评价
索书号 条码号 RFID 年卷期 馆藏地 排架号 书刊状态 流通状态

书籍封面

相关资源

图书馆微博二维码

图书馆微信公众号二维码