交互式马尔可夫链 并发系统的设计、验证与评价pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

交互式马尔可夫链 并发系统的设计、验证与评价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