3. 确定性通信的数学基础

在机载以太网中，确定性通信的核心诉求是：对任意一条关键数据流，都能给出一个有界、可证明的端到端时延与缓存占用上限。仅靠“平均时延低”或“实测抖动小”不足以支撑适航与安全论证，工程上需要一套可解析、可组合的数学工具。排队论提供直观的统计视角，而网络演算（Network Calculus）提供最坏情况下的确定性边界，二者共同构成确定性通信的理论基础。

一、从排队论到网络演算：视角的转变

排队论把交换机端口建模为“到达过程 + 服务过程 + 缓冲区”，用 M/M/1、M/D/1 等模型计算平均排队时延与队列长度分布。它的前提是到达和服务服从某种随机分布，结论是统计意义上的期望值。但机载网络中的关键流往往是周期性的、突发受限的，我们关心的是“最坏能坏到什么程度”，而不是“平均有多好”。网络演算正是为此而生：它不假设随机分布，只要求流量满足某个到达曲线约束、节点提供某个服务曲线保证，就能推导出确定性的时延上界与积压上界。

网络演算的两个基本对象是到达曲线 α(t) 与服务曲线 β(t)。到达曲线描述一条流在任意时间窗口内最多能注入多少数据；服务曲线描述一个节点在任意时间窗口内至少能提供多少服务。二者都是累积函数，单位为比特，自变量为时间。

二、到达曲线与服务曲线的定义

到达曲线：若对任意 0 ≤ s ≤ t，某流的累积到达量 A(t) 满足 A(t) − A(s) ≤ α(t − s)，则称 α 为该流的到达曲线。工程中最常用的是令牌桶（arrival curve）形式：α(t) = b + r·t，其中 b 为突发量（字节或比特），r 为长期平均速率。它表示：任意长度的时间窗口内，流量不会超过“桶深 + 速率×窗口长度”。

服务曲线：若对任意 0 ≤ s ≤ t，节点累积输出 D(t) 与累积输入 A(s) 满足 D(t) ≥ A(s) + β(t − s)，则称 β 为该节点的服务曲线。最常用的形式是速率-时延服务曲线：β(t) = R·[t − T]⁺，其中 R 为服务速率，T 为服务时延（含处理、调度与传输时延），[x]⁺ = max(x, 0)。它表示：节点先“等待”T 时间，之后以不低于 R 的速率持续输出。

约定：本文所有时间窗口均取左闭右开区间 [s, t)，累积量以比特计，速率以 bit/s 计，时延以秒计。到达曲线与服务曲线均定义在 t ≥ 0 上，且 α(0) = β(0) = 0。

三、时延上界与积压上界的推导方法

设某流到达曲线为 α(t) = b + r·t，经过一个服务曲线为 β(t) = R·[t − T]⁺ 的节点。要保证系统稳定，必须满足 r ≤ R，否则队列会无限增长。

积压上界（Backlog Bound）：任意时刻的积压 B(t) 满足 B(t) ≤ sups≥0 { α(s) − β(s) }。对令牌桶与速率-时延服务曲线，代入可得：

B_max = b + r·T

推导：sup_{s≥0} { b + r·s − R·[s − T]⁺ }
当 s ≤ T 时，β(s)=0，表达式为 b + r·s，在 s=T 处取 b + r·T；
当 s > T 时，表达式为 b + r·s − R·(s − T) = b + r·T − (R − r)(s − T)，
因 R ≥ r，该项随 s 增大而减小，故最大值仍在 s = T 处。
所以 B_max = b + r·T。

时延上界（Delay Bound）：时延上界由水平偏差（horizontal deviation）给出：D_max = sups≥0 { inf{ τ ≥ 0 : α(s) ≤ β(s + τ) } }。对上述两条曲线，可解析求得：

D_max = T + b / R

推导：需要找到最小的 τ，使得对任意 s，α(s) ≤ β(s + τ)。
最坏情况出现在突发 b 全部到达、服务尚未启动时。
令 b + r·s = R·(s + τ − T)，整理得 τ = T + (b + (r − R)·s) / R。
因 r ≤ R，取 s = 0 时 τ 最大，故 D_max = T + b / R。

这两个公式的工程含义非常直观：积压上界 = 突发量 + 速率×服务时延；时延上界 = 服务时延 + 突发量/服务速率。它们直接指导机载交换机的缓冲区分配与调度参数设计。

四、多节点串联与端到端边界

机载网络通常包含多级交换机。网络演算的“服务曲线卷积”与“到达曲线去卷积”提供了组合规则：若节点 1 的服务曲线为 β₁，节点 2 为 β₂，则串联后的等价服务曲线为 β₁ ⊗ β₂，即 (β₁ ⊗ β₂)(t) = inf0≤s≤t { β₁(s) + β₂(t − s) }。对速率-时延型服务曲线，串联结果仍为速率-时延型：R = min(R₁, R₂)，T = T₁ + T₂。因此端到端时延上界可逐跳累加，再叠加最后一跳的突发/速率项。

下面用一张图概括本节的核心关系：到达曲线与服务曲线如何共同决定积压上界与时延上界。

到达曲线与服务曲线 → 积压上界与时延上界 时间 t 累积比特 α(t)=b+r·t b β(t)=R·[t−T]⁺ T B_max = b + r·T D_max = T + b/R 到达曲线（令牌桶） α(t) = b + r · t b：突发量（bit） r：长期平均速率（bit/s） 服务曲线（速率-时延） β(t) = R · [t − T]⁺ R：服务速率（bit/s） T：服务时延（s） 稳定性条件与上界 稳定条件：r ≤ R 积压上界：B_max = b + r·T 时延上界：D_max = T + b/R 多节点串联（卷积） R = min(R₁, R₂)，T = T₁ + T₂

五、工程示例：一条航电控制流的边界计算

假设某飞控指令流参数为：突发量 b = 1500 字节 = 12000 bit，周期 1 ms，每周期发送 1500 字节，则平均速率 r = 12000 bit / 1 ms = 12 Mbit/s。经过一台交换机，其端口服务速率 R = 100 Mbit/s，服务时延 T = 20 μs（含存储转发与调度）。

先检查稳定性：r = 12 Mbit/s ≤ R = 100 Mbit/s，满足。计算积压上界：B_max = b + r·T = 12000 + 12×10⁶ × 20×10⁻⁶ = 12000 + 240 = 12240 bit ≈ 1530 字节。计算时延上界：D_max = T + b/R = 20 μs + 12000 / (100×10⁶) = 20 μs + 0.12 μs = 20.12 μs。

若该流需经过 3 台同构交换机，则端到端时延上界约为 3 × 20.12 μs = 60.36 μs（忽略链路传播时延）。若系统要求端到端时延不超过 100 μs，则该设计满足要求；若要求不超过 50 μs，则需要降低单跳服务时延 T 或提高服务速率 R。这就是网络演算在机载网络设计中的典型用法：把抽象的曲线参数转化为可校核的数值边界。

注意：上述数值为教学示例中的合理假设，并非实测数据。实际工程中 b、r、R、T 需根据流量规范、交换机手册与调度配置确定，并考虑多流竞争时的服务曲线退化。

六、从单流到多流：竞争与优先级

真实交换机端口上有多条流竞争。若采用严格优先级调度，高优先级流的服务曲线可近似为“端口总速率减去所有更高优先级流的到达曲线”，即 β_high(t) = R·[t − T]⁺ − Σ α_higher(t)。此时高优先级流的时延上界会因低优先级流的突发而增大。若采用时间感知整形（TAS）或信用整形（CBS），则可为每条流或每类流分配独立的门控窗口，使服务曲线更接近理想速率-时延型，从而收紧边界。网络演算的价值在于：它能把调度机制翻译成服务曲线，再把服务曲线翻译成时延与积压上界，形成可验证的设计闭环。

总结来说，排队论回答“平均如何”，网络演算回答“最坏如何”。在机载确定性通信中，我们以到达曲线约束流量、以服务曲线约束节点，通过水平偏差与垂直偏差分别得到时延上界与积压上界，再通过卷积规则组合多跳路径。这套方法不依赖随机假设，结论可证明、可累加，是确定性网络设计、缓冲区规划与适航论证的核心数学工具。

← 上一章 📖 返回目录 下一章 →