随机模型检测理论与应用
图书信息
书名：随机模型检测理论与应用作者：周从华
包装：平装
开本：32
出版社：科学出版社
出版时间：2018-06-01
图书简介
《随机模型检测理论与应用》是针对随机模型检测相关科研工作，进行多年研究后的结晶。书中详细介绍了在随机模型检测中缓解状态空间爆炸问题的两种基本技术：限界模型检测技术与抽象技术。
在限界模型检测技术部分，读者可以学习到离散时间马尔可夫链、马尔可夫决策过程、连续时间马尔可夫链和概率实时解释系统中的限界检测技术，从而了解到这些技术对状态空间爆炸问题的缓解作用。
在抽象技术部分，作者更深入地探讨了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术，从而使读者对基本技术有更为深入的认识。
此外，本书还介绍了随机模型检测技术在云计算和物联网领域的应用，帮助读者了解该技术在实际中的应用场景和价值。
总体而言，本书内容丰富，深入浅出。适合从事随机模型检测相关工作的专业人士、硕博研究生和计算机科学技术领域的学者等人群阅读。
推荐理由
推荐理由：作为一位网站编辑，我强烈推荐《随机模型检测理论与应用》这本书给大家。书中深入介绍了随机模型检测中缓解状态空间爆炸问题的两种基本技术，并通过实际案例对其在云计算和物联网领域的应用进行详细阐述。无论是想深入了解随机模型检测技术的专业人士，还是希望了解该技术在实际应用场景的读者，本书都是一本很好的选择。