CCF-AF: Abstract Medium Access Control Layers

CCF-AF：抽象媒体访问控制层

• 批准号: 0937274
• 负责人: Nancy Lynch
• 金额: $ 84.82万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-07-01 至 2015-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0937274&HistoricalAwards=false
• 关键词: CCF; AF; Abstract; Medium; Access

The study of algorithms and lower bounds for wireless radio networks is complicated by the diversity and complexity of assumptions about network behavior, for example, about time synchronization, device reliability and mobility, signal propagation characteristics, and transmission collisions. This project will simplify this study by defining simple abstract models for Medium Access Control (MAC) layers in wireless networks. These layers will provide reliable local broadcast communication, with delays that are bounded by functions of the local contention. Algorithm designers should be able to develop and analyze algorithms in terms of these abstract layers, independently of the physical network behavior and the MAC layer implementation, yet obtain results that are realistic in terms of the physical networks. Likewise, theoreticians should be able to use these layers to prove simple but meaningful lower bounds.Specifically, the project will define and evaluate several possible abstract MAC layers, varying according to whether their guarantees are worst case or probabilistic, how they model signal propagation characteristics, and what they ensure in the presence of failures and other network changes.It will demonstrate how these layers can be implemented in physical radio networks, using a variety of contention-management methods such as carrier-sensing, collision detection, random transmission and backoff, and network coding. It will use these layers to study many problems in wireless networks,including basic problems such as neighbor discovery and regionalleader election; intermediate problems such as network-wide communication, maintenance of network structures, and resource allocation; and high-level problems that arise in robot control and data-management applications.

无线网络的算法和下界的研究由于关于网络行为的假设的多样性和复杂性而变得复杂，例如，关于时间同步、设备可靠性和移动性、信号传播特性和传输冲突。这个项目将通过定义无线网络中媒体访问控制（MAC）层的简单抽象模型来简化这项研究。 这些层将提供可靠的本地广播通信，具有由本地争用的函数限定的延迟。算法设计者应该能够根据这些抽象层开发和分析算法，独立于物理网络行为和MAC层实现，但仍能获得物理网络方面的现实结果。 同样，理论家应该能够使用这些层来证明简单但有意义的下限。具体来说，该项目将定义和评估几个可能的抽象MAC层，根据它们的保证是最坏情况还是概率，它们如何模拟信号传播特性，以及它们在出现故障和其他网络变化时的保证。它将演示如何在物理无线电网络中实现这些层，使用各种竞争管理方法，例如载波侦听、冲突检测、随机传输和退避以及网络编码。 它将使用这些层来研究无线网络中的许多问题，包括基本问题，如邻居发现和regionalleader选举;中间问题，如网络范围内的通信，网络结构的维护和资源分配;以及机器人控制和数据管理应用中出现的高级问题。