机读格式显示(MARC)

• 000 00983nam0 2200253 450

• 001 0000370182

• 005 20160422172100.0

• 010 __ |a 978-7-03-041892-0 |d CNY60

• 092 __ |a CN |b 三新XHK1103-0059

• 100 __ |a 20140925d2014 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 随机模型检测理论与应用 |A Sui Ji Mo Xing Jian Ce Li Lun Yu Ying Yong |f 周从华著

• 205 __ |a 1-1版

• 210 __ |c 科学出版社 |d 2014年10月

• 215 __ |a 220页 |d 16开

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

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

• 690 __ |a TP274 |v 5

• 701 _0 |a 周从华 |4 著 |A Zhou Cong Hua

• 801 _0 |a CN |b 三新书业 |c 20140929

• 905 __ |a LIB |d TP274/154