66、无线电网络建模与时间有界验证研究

无线电网络建模与时间有界验证研究

无线电网络建模

在无线电网络建模中，有一系列重要的结论和概念。
首先是几个关键的声明：
- 声明 4 ：对于所有 $\alpha_1, \alpha_2 \in ccp(\beta)$ 且 $\alpha_1 \neq \alpha_2$，有 $S’ c(\alpha_1) \cap S’_c(\alpha_2) = \varnothing$。这一结论可通过将 claim 3 中的 simpleReduce 替换为 compReduce 得到。
- 声明 5 ：$\sum {\alpha \in ccp(\beta)} \sum_{\alpha’ \in S’ s(\alpha)} Q(E, AP, C, \alpha’) = Dtf(E, AP, C, \beta)$。
- 声明 6 ：$\sum {\alpha \in ccp(\beta)} \sum_{\alpha’ \in S’_c(\alpha)} Q(E, A(AP, AC), C’, \alpha’) = Dtf(E, A(AP, AC), C’, \beta)$。
结合声明 5 和 6 以及引理 1 可以证明 $Dtf(E, A(AP, AC), C’, \beta) = Dtf(E, AP, C, \beta)$。

还有一个重要的推论，即广义算法组合推论：设 $A_{1,2}, \cdots, A_{j - 1,j}$（$j > 2$）是一系列算法，其中每个 $A_{i - 1,i}$（