[论文解读] Modeling wireless network routing using sheaves

Michael Robinson|arXiv (Cornell University)|Jun 28, 2016

Data Management and Algorithms参考文献 1被引用 3

一句话总结

本文提出一种层论框架，用于使用CSMA/CD协议对单信道无线网络中的路由与干扰进行建模。通过在时变链路复形上构建激活层，将非干扰传输调度表征为整体截面，从而基于数据负载层和传输模式推导出网络吞吐量的上界。

ABSTRACT

This article explains how to construct a sheaf model for passing traffic through a wireless network with a single channel carrier sense multiple access/collision detection (CSMA/CD) media access model.

研究动机与目标

• 使用代数拓扑，特别是层论，对无线网络路由与干扰进行建模。
• 将非干扰传输调度形式化为单纯复形上激活层的整体截面。
• 基于传输模式和数据负载层，推导网络吞吐量的上界。
• 为分析时变网络活动与数据流约束提供数学框架。
• 通过分层层构造和谱序列实现协议级建模，以支持未来协议设计。

提出的方法

• 构建链路复形 $ L $，作为图的团复形，其中若节点间相互信号强度超过阈值 $ T $，则节点相连。
• 定义激活层 $ \mathcal{A} $，为每个单元分配可解码的节点集合，若无任何节点可解码则赋值为 $ \perp $。
• 利用单元间的限制映射建模传输依赖关系与干扰约束。
• 将激活层的整体截面定义为网络中有效的、非干扰的传输调度。
• 引入时变数据负载层 $ \mathcal{D} $，并通过满射投影得到受限于有效传输模式的活跃负载层 $ \mathcal{P} $。
• 在假设负载为向量空间的前提下，将网络吞吐量的上界表示为 $ \mathcal{P} $ 的整体截面空间的维数。

实验结果

研究问题

• RQ1 如何利用层论对无线网络路由与干扰进行建模，以捕捉非重叠传输约束？
• RQ2 在采用CSMA/CD的无线网络中，有效且非干扰的传输调度的数学表征是什么？
• RQ3 如何利用层论构造方法对时变无线网络的吞吐量进行界定？
• RQ4 数据负载层与激活层在建模端到端数据流方面如何相互作用？
• RQ5 分层层构造与谱序列能否用于建模无线网络中协议复杂度的递增？

主要发现

• 激活层的整体截面恰好对应于非干扰传输调度，其中每个活跃区域仅有一个节点进行传输。
• 发送节点的活跃区域是包含该节点的连通闭子复形，确保干扰管理的一致性。
• 对投影后负载层 $ \mathcal{P} $ 的整体截面空间的维数，为给定传输模式下的网络吞吐量提供了上界。
• 通过构建 $ \mathcal{P} $ 的整体截面来建模网络中的数据流，该截面可追踪数据包在各节点和时间片上的路径。
• 该模型通过层结构捕捉干扰，不兼容的传输被限制映射所阻断。
• 该框架允许在数据负载建模中解耦时间片，但通过层态射保留了实际的数据依赖关系。