| 基于马尔科夫决策过程的S-ALOHA协议的形式化分析 |
| |
| 引用本文： | 董恒龙,周从华,刘志锋.基于马尔科夫决策过程的S-ALOHA协议的形式化分析[J].无线通信技术,2014,23(4). |
| |
| 作者姓名： | 董恒龙 周从华 刘志锋 |
| |
| 作者单位： | 江苏大学 计算机科学与通信工程学院,镇江,212013 |
| |
| 基金项目： | 国家自然科学基金青年基金，江苏省自然科学基金 |
| |
| 摘 要： | S-ALOHA协议是物联网RFID中决定标签信息能否及时可靠的被阅读器识别的关键技术之一,也是提高物联网服务质量的关键.实验,仿真和模拟主要通过探索S-ALOHA协议的部分行为对协议性质进行估算,得出的结论不具有精确性,本文采用一种高度自动化的形式化分析技术-概率模型检测完成S-ALOHA协议的精确分析.首先依据S-ALOHA的工作原理及特性,将其动态行为抽象成能支持非确定性,离散时间以及概率选择的马尔科夫决策过程,然后使用PRISM工具验证了模型的概率可达性和期望可达性,结果表明随着最大退避数的增加,S-ALOHA的期望时间比ALOHA的小6个时间单位,同时S-ALOHA发送数据的平均速度比ALOHA快1.2倍左右.
|
| 关 键 词： | RFID S-ALOHA协议 概率模型检测 马尔科夫决策过程 |
Formal Analysis of S-ALOHA Protocol Based on the Markoff Decision Process |
| |
| DONG Heng-long,ZHOU Cong-hua,LIU Zhi-feng.Formal Analysis of S-ALOHA Protocol Based on the Markoff Decision Process[J].Wireless Communication Technology,2014,23(4). |
| |
| Authors: | DONG Heng-long ZHOU Cong-hua LIU Zhi-feng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
