基于马尔科夫决策过程的S-ALOHA协议的形式化分析

• 作者: 刘志锋 周从华 董恒龙
• 来源期刊: 无线通信技术
• 学科: 工学
• 关键词: RFID S-ALOHA协议 概率模型检测 马尔科夫决策过程
• 年，卷（期）: 2014,（4）
• 页码范围: 1-6
• 页数: 6页
• 分类号: TP391.9
• 字数: 4399字
• 语种: 中文

摘要

S-ALOHA协议是物联网RFID中决定标签信息能否及时可靠的被阅读器识别的关键技术之一,也是提高物联网服务质量的关键.实验,仿真和模拟主要通过探索S-ALOHA协议的部分行为对协议性质进行估算,得出的结论不具有精确性,本文采用一种高度自动化的形式化分析技术-概率模型检测完成S-ALOHA协议的精确分析.首先依据S-ALOHA的工作原理及特性,将其动态行为抽象成能支持非确定性,离散时间以及概率选择的马尔科夫决策过程,然后使用PRISM工具验证了模型的概率可达性和期望可达性,结果表明随着最大退避数的增加,S-ALOHA的期望时间比ALOHA的小6个时间单位,同时S-ALOHA发送数据的平均速度比ALOHA快1.2倍左右.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周从华	江苏大学计算机科学与通信工程学院	46	193	7.0	11.0
2	刘志锋	江苏大学计算机科学与通信工程学院	29	118	5.0	10.0
3	董恒龙	江苏大学计算机科学与通信工程学院	1	3	1.0	1.0