网络演算:互联网确定性排队系统理论电子书

扉页

内容提要

华为数据通信·基础理论系列 编委会

译者简介

审校者简介

总序

“华为数据通信·基础理论系列” 序言

推荐序一

推荐序二

引言

第一部分 网络演算基础知识

第1章 网络演算

1.1 数据流的模型

1.1.1 累积量函数、离散时间与连续时间模型

1.1.2 积压与虚拟延迟

1.1.3 例子：播放缓冲器

1.2 到达曲线

1.2.1 到达曲线的定义

1.2.2 漏桶模型和通用信元速率算法

1.2.3 次可加性和到达曲线

1.2.4 最小到达曲线

1.3 服务曲线

1.3.1 服务曲线的定义

1.3.2 经典服务曲线示例

1.4 网络演算基础

1.4.1 3种界限

1.4.2 界限是紧致的吗

1.4.3 级联

1.4.4 积压界限的改进

1.5 贪婪整形器

1.5.1 定义

1.5.2 贪婪整形器的输入/输出特性

1.5.3 贪婪整形器的性质

1.6 最大服务曲线、可变延迟和固定延迟

1.6.1 最大服务曲线

1.6.2 积压造成的延迟

1.6.3 可变延迟与固定延迟

1.7 处理变长数据包

1.7.1 变长数据包引入不规则性的示例

1.7.2 打包器

1.7.3 贪婪整形器和打包器之间的关系

1.7.4 打包贪婪整形器

1.8 无损有效带宽和等效容量

1.8.1 流的有效带宽

1.8.2 等效容量

1.8.3 示例：FIFO多路复用器的接受域

1.9 定理1.4.5的证明

1.10 参考文献说明

1.11 习题

第2章 网络演算应用于互联网

2.1 GPS和保证速率节点

2.1.1 数据包调度

2.1.2 GPS及其实际运用

2.1.3 GR节点和最大加代数方法

2.1.4 GR节点的级联

2.1.5 证明

2.定理2.1.7的证明

2.2 IETF的综合服务模型

2.2.1 保证服务

2.2.2 互联网路由器的综合服务模型

2.2.3 通过RSVP进行预留设置

2.2.4 流建立算法

2.2.5 多播流

2.2.6 ATM流建立

2.3 可调度性

2.3.1 EDF调度器

2.3.2 SCED调度器

2.3.3 缓冲需求

2.4 应用于区分服务

2.4.1 区分服务

2.4.2 显式的EF延迟界限

2.4.3 带阻尼器的聚合调度界限

2.4.4 静态最早时间优先

2.5 参考文献说明

2.6 习题

第二部分 数学知识

第3章 基本最小加演算和最大加演算

3.1 最小加演算

3.1.1 下确界和求最小

3.1.2 双子代数

3.1.3 广义递增函数的类型

3.1.4 广义递增函数的伪逆

3.1.5 凹函数、凸函数与星形函数

3.1.6 最小加卷积

3.1.7 次可加函数

3.1.8 次可加闭包

3.1.9 最小加解卷积

3.1.10 以时间反转表达的最小加解卷积

3.1.11 水平偏差与垂直偏差

3.2 最大加演算

3.2.1 最大加卷积与解卷积

3.2.2 在最大加代数中最小加解卷积的线性

3.3 习题

第4章 最小加系统论和最大加系统论

4.1 最小加算子和最大加算子

4.1.1 矢量的记法

4.1.2 算子

4.1.3 算子的类型

4.1.4 上半连续和下半连续算子

4.1.5 保序算子

4.1.6 线性算子

4.1.7 因果算子

4.1.8 平移不变算子

4.1.9 幂等算子

4.2 算子的闭包

4.3 不动点方程（空间方法）

4.3.1 主要理论

4.3.2 应用的例子

4.4 不动点方程（时间方法）

4.5 小结

第三部分 网络演算进阶

第5章 最优多媒体平滑

5.1 问题设定

5.2 无损平滑约束

5.3 延迟与回放缓冲区最低要求

5.4 最优平滑策略

5.4.1 最大解

5.4.2 最小解

5.4.3 最优解集

5.5 最优恒定速率平滑

5.6 最优平滑与贪婪整形

5.7 与延迟均衡的比较

5.8 跨越两个网络的无损平滑

5.8.1 两个网络的延迟和缓冲区最低要求

5.8.2 跨越两个网络的最优恒定速率平滑

5.9 参考文献说明

第6章 聚合调度

6.1 概述

6.2 经过聚合调度的到达曲线的变换

6.2.1 在严格服务曲线元件中的聚合多路复用

6.2.2 在FIFO服务曲线元件中的聚合多路复用

6.2.3 在保证速率节点中的聚合多路复用

6.3 带有聚合调度的网络的稳定性和性能界限

6.3.1 稳定性问题

6.3.2时间停止方法

6.4 稳定性结果和显式界限

6.4.1 环是稳定的

6.4.2 带有强源端速率条件的同构ATM网络的显式界限

6.5 参考文献说明

6.6 习题

第7章 自适应保证与数据包尺度速率保证

7.1 概述

7.2 服务曲线的局限性和GR节点抽象

7.3 数据包尺度速率保证

7.3.1 数据包尺度速率保证的定义

7.3.2 数据包尺度速率保证的实际实现

7.3.3 由积压得到延迟

7.4 自适应保证

7.4.1 自适应保证的定义

7.4.2 自适应保证的属性

7.4.3 PSRG和自适应服务曲线

7.5 PSRG节点的级联

7.5.1 FIFO PSRG节点的级联

7.5.2非FIFO PSRG节点的级联

7.6 GR和PSRG的比较

7.7 证明

7.7.1 引理7.3.1的证明

7.7.2 定理7.3.2的证明

7.7.3 定理7.3.3的证明

7.7.4 定理7.3.4的证明

7.7.5 定理7.4.2的证明

7.7.6 定理7.4.3的证明

7.7.7 定理7.4.4的证明

7.7.8 定理7.4.5的证明

7.7.9 定理7.5.3的证明

7.7.10 命题7.5.2的证明

7.8 参考文献说明

7.9 习题

第8章 时变整形器

8.1 概述

8.2时变整形器

8.3 初始状态非空的时不变整形器

8.3.1 初始缓冲区非空的整形器

8.3.2 初始水位非空的漏桶整形器

8.4时变漏桶整形器

8.5 参考文献说明

第9章 有损系统

9.1 损失的表示方程

9.1.1 有限存储元件中的损失

9.1.2 有界延迟元件中的损失

9.2 应用1：损失率的界限

9.3 应用2：复杂系统中的损失界限

9.3.1 缓冲器和管制器之间分隔的损失界限

9.3.2 VBR整形器中的损失界限

9.4 带有两个边界的Skorokhod反射问题的解

9.5 参考文献说明

参考文献

索引