机会网络的混合性能建模
系统与控制
2012-07-05 v1 计算机科学中的逻辑
网络与互联网体系结构
性能
摘要
我们使用过程代数随机HYPE演示了机会网络的建模。网络流量被建模为连续流，网络中节点之间的接触被随机建模，瞬时决策被建模为离散事件。我们的模型描述了一个由固定视频传感器和移动摆渡车组成的网络，摆渡车从传感器收集数据并将其传送到基站。我们考虑了不同的移动模型和不同的摆渡车缓冲区大小。该案例研究说明了随机HYPE的灵活性和表达能力。我们还讨论了能够描述随机HYPE模型并对其进行仿真的软件。
引用
@article{arxiv.1207.0873,
title = {Hybrid performance modelling of opportunistic networks},
author = {Luca Bortolussi and Vashti Galpin and Jane Hillston},
journal= {arXiv preprint arXiv:1207.0873},
year = {2012}
}
备注
In Proceedings QAPL 2012, arXiv:1207.0559