-
>
妙相梵容
-
>
基立尔蒙文:蒙文
-
>
我的石头记
-
>
心灵元气社
-
>
女性生存战争
-
>
县中的孩子 中国县域教育生态
-
>
(精)人类的明天(八品)
随机模型检测理论与应用 版权信息
- ISBN:9787030418920
- 条形码:9787030418920 ; 978-7-03-041892-0
- 装帧:平装
- 册数:暂无
- 重量:暂无
- 所属分类:>>
随机模型检测理论与应用 本书特色
本书是作者多年从事随机模型检测相关科研工作的结晶。全书致力于缓解随机模型检测中的状态空间爆炸问题,深入系统地论述克服状态空间爆炸的两种基本技术:限界模型检测技术与抽象技术。首先,介绍离散时间马尔可夫链、马尔可夫决策过程、连续时间马尔可夫链和概率实时解释系统中的限界检测技术。然后,讨论模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。*后,探讨随机模型检测技术在云计算和物联网领域的应用。
随机模型检测理论与应用 内容简介
本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑中的二值与三值抽象技术。很后从应用出发,探讨了随机模型检测技术在云计算和物联网领域的应用。
随机模型检测理论与应用 目录
- >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥14.5¥39.8 - >
中国历史的瞬间
中国历史的瞬间
¥16.7¥38.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥16.9¥49.8 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥20.2¥35.0 - >
推拿
推拿
¥12.2¥32.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥5.2¥10.0 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8
-
饥饿、富裕与道德
¥12.2¥45 -
从白大褂到病号服:探索医疗中的人性落差
¥18.4¥39.8 -
蚂蚁社会
¥44.5¥78 -
声教所及:对纪晓岚新疆行脚的民俗回访
¥12.2¥35 -
美国监狱:美国资本和权力的游戏
¥18.4¥58 -
情理与正义:转型期中国社会的伦理学原理
¥55.9¥99.8
中国的知识重建-郑永年论中国
¥21.9¥38.0大数据时代制造企业与物流企业高质量协同发展研究
¥69.4¥89.0明夷 新史学的重建与开新
¥50.9¥78.0无线短距离通信技术开发项目教程/王守仁
¥29.7¥39.8园林规划设计-第二版
¥27.6¥30.0