移动Ad Hoc网络的时间演算
A Timed Calculus for Mobile Ad Hoc Networks
摘要：
我们开发了一个时间演算的移动Ad Hoc网络体现本地广播，节点移动性和通信干扰的特点。我们提出了一个约简语义和一个标记转换语义，并证明了它们之间的等价性。然后，我们应用我们的演算模型和研究一些MAC层协议，特别强调节点的移动性和通信干扰。语义的主要目的是描述当节点改变其在网络中的位置时的各种形式的干扰。这种干扰仅在同一信道上的多于一个正在进行的传输同时到达节点时发生。
英文摘要：
We develop a timed calculus for Mobile Ad Hoc Networks embodying the peculiarities of local broadcast, node mobility and communication interference. We present a Reduction Semantics and a Labelled Transition Semantics and prove the equivalence between them. We then apply our calculus to model and study some MAC-layer protocols with special emphasis on node mobility and communication interference. A main purpose of the semantics is to describe the various forms of interference while nodes change their locations in the network. Such interference only occurs when a node is simultaneously reached by more than one ongoing transmission over the same channel.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
