基于概率模型检测的分布式算法验证和分析

《基于概率模型检测的分布式算法验证和分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、华侨大学硕士学位论文目录第1章引言.......................................................11.1研究背景和意义..............................................................................................11.1.1概率模型检测的背景................................................................

2、...............11.1.2概率模型检测的分布式应用意义...........................................................11.2概率模型检测的研究现状..............................................................................21.3分布式算法............................................................

3、..........................................31.4研究的内容和贡献..........................................................................................41.4.1论文的主要研究内容和工作...................................................................41.4.2论文研究的特色及创新点..........

4、.............................................................51.5论文结构..........................................................................................................6第2章概率模型检测...............................................72.1引言..................

5、................................................................................................72.2概率模型分类..................................................................................................82.2.1DTMC模型........................................

6、.....................................................82.2.2CTMC模型...............................................................................................92.2.3MDP模型.....................................................................................

7、...........102.3概率模型时序逻辑........................................................................................102.3.1概率计算树逻辑（PCTL）.................................................................112.3.2连续随机逻辑（CSL）.........................................

8、.................................122.4模型检测马尔科夫链解决方法....................................................................132.4.1数值方法和统计方法.........................................................................