作者:冯晓宁,王卓,张旭 单位:吉林大学 出版:《吉林大学学报(工学版)》2015年第05期 页数:7页  (PDF与DOC格式可能不同) PDF编号:PDFJLGY2015050270 DOC编号:DOCJLGY2015050279 下载格式:PDF + Word/doc 文字可复制、可编辑
  • 针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法 L-π演算。定义了L-π演算的语法,形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余,描述了节点表达式的非顺序性。定义了相应的迁移规则,提供了路由协议形式化模型的动态推演功能。通过对无线传感器网络簇头选择协议的描述展现了L-π演算的能力。通过无线传感器网络簇头选择协议的验证实验说明了该方法能有效验证无线传感网络路由协议。

    提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。