第一部分 排队论模型与性能评价 3
第一章 概率论基础 3
1．1 概率的定义 3
1．2 条件概率和独立性 5
1．3 贝叶斯定理 6
小结 6
参考文献 7
习题 7
第二章 随机过程概述 9
2．1 随机变量 9
2．1．1 分布和密度函数 9
2．1．2 多维随机变量 10
2．1．3 重要的概率分布 12
2．2 随机过程 21
2．2．1 一阶和二阶数字特征 22
2．2．2 几类随机过程简介 23
2．3 马尔可夫链 25
2．3．1 离散时间马尔可夫链 26
2．3．2 连续时间马尔可夫链 31
2．3．3 马尔可夫链中的状态聚合 37
2．3．4 半马尔可夫过程 39
2．3．5 生灭过程 41
小结 45
参考文献 45
习题 46
第三章 排队模型 47
3．1 排队的基本形式 47
3．1．1 排队系统的组成和特征 47
3．1．2 排队系统的到达和服务 50
3．1．3 经典排队模型 52
3．2 排队分析 53
3．2．1 队列的数量关系 53
3．2．2 M／M／N排队模型 56
3．2．3 M／G／l排队模型 62
3．2．4 队列模型比较与公式表 64
3．2．5 具有优先级的排队 70
小结 71
参考文献 71
习题 72
第四章 排队网络模型 74
4．1 排队网络引言 74
4．1．1 排队网络的类型 74
4．1．2 服务站的类型 75
4．2 开环排队网络 75
4．2．1 通信量方程 76
4．2．2 Jackson定理 77
4．2．3 Jackson网络的性能测量 78
4．2．4 平均访问次数和性能测量 79
4．2．5 随机观测者特性 80
4．2．6 应用举例 81
4．3 闭环排队网络 88
4．3．1 稳定状态概率分布 89
4．3．2 正则化常数的计算 90
4．3．3 性能测量 91
4．3．4 累积概率 92
4．3．5 举例 93
4．4 平均值分析 94
4．4．1 等价开环网络 94
4．4．2 另一种公式表示 96
4．4．3 举例 97
4．5 流等价服务员方法 97
4．6 BCMP网络 99
4．6．1 服务时间分布 100
4．6．2 服务规则 102
4．6．3 多类通信量模型 103
4．6．4 BCMP定理 104
小结 106
参考文献 107
习题 107
第五章 非乘积解排队网络和近似方法 109
5．1 非乘积解排队网络 109
5．2 分解方法 113
5．2．1 马尔可夫过程的分解 114
5．2．2 其他形式的分解 119
5．2．3 排队网络的分解 120
5．2．4 矩阵几何方法 121
5．3 固定点方法 124
5．3．1 近似MVA算法 124
5．3．2 Marie方法 126
小结 127
参考文献 128
习题 128
第六章 自相似传输模型 130
6．1 自相似现象 131
6．2 自相似数据传输 133
6．2．1 自相似过程的定义 133
6．2．2 自相似过程的性质 137
6．2．3 自相似数据传输的例子 139
6．3 自相似性的性能影响 141
6．4 自相似数据传输的模型和估计 144
6．5 自相似传输的产生和性能评价 146
附录 Hurst自相似参数的由来 147
小结 149
参考文献 149
习题 151
第二部分 随机Petri网与性能评价 155
第七章 Petri网基础 155
7．1 Petri网发展概述 155
7．2 Petri网模型简介 157
7．2．1 共享资源 158
7．2．2 分叉和交汇 160
7．2．3 Kanban过程 161
7．2．4 令牌环局域网 162
7．3 Petri网的基本概念 163
7．4 位置／变迁(P／T)系统 164
7．5 高级Petri网(HLPN)系统 168
7．6 不同级别网系统之间的变换 170
小结 171
参考文献 171
第八章 随机Petri网模型与分析 176
8．1 时间变迁 177
8．2 随机Petri网(SPN) 180
8．2．1 SPN的定义 181
8．2．2 SPN模型的性能分析 183
8．3 广义随机Petri网(GSPN) 185
8．3．1 GSPN的定义 186
8．3．2 GSPN稳定状态概率的求解 188
8．4 随机回报网(SRN) 193
8．5 确定与随机Petri网(DSPN) 194
8．6 随机Petri网与排队论 198
小结 200
参考文献 201
第九章 随机高级Petri网(SHLPN) 203
9．1 SHLPN的定义及概念 203
9．2 具有标识变量的SHLPN 209
9．2．1 标记类型与标记变量 209
9．2．2 具有标识变量的HLPN 210
9．2．3 具有标识变量的可达树 211
9．3 广义随机高级Petri网(GSHLPN) 214
小结 220
参考文献 221
第十章 随机Petri网的模型方法与近似分析技术 223
10．1 模型抽象和精化设计 223
10．1．1 调度或分配模型的精化 224
10．1．2 共享服务或选择处理模型的精化 226
10．1．3 多服务器多队列系统模型的精化 227
10．2 层次模型和分层分析 230
10．3 分解和压缩技术 238
10．3．1 时间数量级分解 238
10．3．2 接近无关的分解 242
10．3．3 响应时间保留压缩替换 248
10．3．4 流等价压缩替换 255
10．3．5 乘积形式解 256
小结 262
参考文献 263
第十一章 随机Petri网在系统性能评价中的应用 265
11．1 通信网络协议的性能评价 265
11．1．1 网络协议服务的性能规定与模型 265
11．1．2 网络传输协议的模型与性能评价 269
11．2 计算机和软件系统的模型与性能评价 274
11．2．1 一种资源共享系统的模型和近似性能分析 274
11．2．2 客户机-服务器特征的分布式软件模型与性能分析 280
11．3 ATM网络的模型与性能评价 290
11．3．1 接纳控制 293
11．3．2 传输控制 297
11．3．3 实时传输调度和信元丢失控制的综合方案 302
11．4 多服务器多队列系统的模型与性能评价 312
11．4．1 任务分配方案的性能分析 314
11．4．2 任务分配与选择的综合方案与性能分析 324
参考文献 333
第三部分 模拟技术与性能评价 339
第十二章 模拟模型技术概述 339
12．1 模拟模型技术的基本概念 339
12．2 模拟模型的建模方法 342
12．3 模拟的过程与模型的建立 344
参考文献 346
第十三章 模拟程序软件 347
13．1 直接使用编程语言的模拟方法 347
13．2 smpl模拟软件 352
13．2．1 smpl的模拟机制 352
13．2．2 smpl中的主要函数 353
13．3 模拟输出分析 363
13．3．1 模拟输出的性能度量 363
13．3．2 确信区间 364
13．3．3 “热身”问题 366
13．4 smpl模拟在ATM网络性能评价中的应用 366
小结 377
参考文献 377
英汉对照术语表 379
部分习题参考答案 391