一种用于移动自组织网络的时序演算
计算机科学中的逻辑
2013-01-03 v1 软件工程
摘要
我们开发了一种用于移动自组织网络（Mobile Ad Hoc Networks）的时序演算，体现了局部广播、节点移动性和通信干扰的特性。我们提出了归约语义（Reduction Semantics）和标记转换语义（Labelled Transition Semantics），并证明了二者之间的等价性。随后，我们应用该演算对某些 MAC 层协议进行建模与研究，特别关注节点移动性和通信干扰。该语义的一个主要目的是描述节点在网络中改变位置时发生的各种形式的干扰。此类干扰仅当同一信道上正在进行的一次以上传输同时到达某个节点时才会发生。
引用
@article{arxiv.1301.0045,
title = {A Timed Calculus for Mobile Ad Hoc Networks},
author = {Mengying Wang and Yang Lu},
journal= {arXiv preprint arXiv:1301.0045},
year = {2013}
}
备注
In Proceedings FTSCS 2012, arXiv:1212.6574