无线网络八卦协议中的等式推理
摘要：高效地在大规模网络中传播信息的方法已被提出为八卦协议。在本文中，我们提出了一种组合分析技术，用于研究在简单的概率定时过程演算中表达的八卦协议的形式概率模型，用于无线传感器网络。我们用一种模拟理论来比较具有类似行为的概率协议，其具有一定的容差。该理论用于证明一系列代数定律，这些定律被证明非常有效地估计了八卦网络的性能，包括有和无通信冲突的网络以及随机的八卦网络。我们的模拟理论是弱弱相似指标的非对称变体，保持了原始定义的大部分属性。然而，我们的非对称版本特别适合推理协议，其中考虑的系统不是近似等价的，就像八卦协议的情况一样。
作者：Ruggero Lanotte, Massimo Merro and Simone Tini
论文ID：1707.03215
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22