图书介绍
交互式马尔可夫链 并发系统的设计、验证与评价PDF|Epub|txt|kindle电子书版本网盘下载
- 吴尽昭，王永祥，覃广平著 著
- 出版社： 北京：科学出版社
- ISBN：7030188667
- 出版时间：2007
- 标注页数：109页
- 文件大小：6MB
- 文件页数：123页
- 主题词：马尔可夫链－研究
PDF下载
下载说明
交互式马尔可夫链 并发系统的设计、验证与评价PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 绪论1
1.1 研究背景1
1.1.1 并发系统的功能分析2
1.1.2 并发系统的性能分析3
1.1.3 并发系统的层次化设计分析3
1.2 研究内容4
1.2.1 等价关系5
1.2.2 模型检验5
1.2.3 动作细化6
1.2.4 相关工作6
1.3 本书组织7
第二章 预备知识9
2.1 概率、随机变量与分布函数9
2.1.1 测度空间与概率空间9
2.1.2 随机变量及其分布函数10
2.2 随机过程11
2.2.1 离散时间马尔可夫链13
2.2.2 连续时间马尔可夫链14
2.2.3 马尔可夫分析18
第三章 交互式马尔可夫链20
3.1 进程代数与标记转移系统20
3.2 带标记的连续时间马尔可夫链24
3.3 交互式马尔可夫链（IMC）26
3.3.1 随机进程代数模型26
3.3.2 交互式马尔可夫链28
3.4 IMC的代数刻画31
3.5 IMC的逻辑刻画34
3.5.1 IMC的路径及其上的概率34
3.5.2 aCSL逻辑的语法36
3.5.3 aCSL逻辑的语义38
第四章 分支时间等价和前序关系40
4.1 概述40
4.2 互模拟等价关系41
4.2.1 强互模拟等价41
4.2.2 弱互模拟等价42
4.3 模拟前序关系44
4.3.1 强模拟前序关系45
4.3.2 弱模拟前序关系48
4.4 逻辑特征52
4.4.1 互模拟关系的逻辑特征52
4.4.2 模拟关系的逻辑特征55
4.5 小结58
第五章 动作细化60
5.1 概述60
5.1.1 什么是动作细化60
5.1.2 动作细化的不同观点62
5.1.3 同余性问题63
5.2 基本假设64
5.3 基于IMC代数刻画的语法细化65
5.4 语义细化68
5.5 性质73
5.5.1 交织语义的等价关系概念73
5.5.2 同余性75
5.5.3 语法和语义细化的一致性80
第六章 模型检验83
6.1 概述83
6.2 基本原理84
6.3 IMC逻辑刻画的表达能力回顾87
6.4 模型检验算法88
6.4.1 基本布尔运算的计算88
6.4.2 概率算子p的计算90
6.4.3 F（s,t）与G（s,t）的计算94
6.4.4 IMC模型检验算法95
6.5 实例分析96
6.6 算法效率分析及优化考虑100
6.6.1 算法效率分析100
6.6.2 优化考虑101
参考文献103