基于统计模型检测的无线传感器网络协议建模与分析

发布时间：2017-05-10 00:02

  本文关键词：基于统计模型检测的无线传感器网络协议建模与分析，由笔耕文化传播整理发布。

【摘要】：随着无线传感器技术的发展,无线传感器网络(Wireless Sensor Network,WSN)得到极大的关注。WSN有着广泛的应用场景,在一些危险、不易到达以及不易生存等情景下,利用无线传感器(Wireless Sensor)代替人去监测、控制目标成为自然而然的选择。这些传感器之间的通信就必须使用WSN,为了使无线传感器能达成监测、控制目标的目的,WSN协议必须确保功能的正确性；同时无线传感器往往资源有限、能量受限,WSN协议也要考虑性能与功耗问题。为了确保功能正确性,人们通常使用测试与仿真、定理证明以及模型检测(Model Checking)技术。测试与仿真无法对系统进行全面检测,定理证明需要过多人工干预,模型检测技术是一种可以自动对系统模型进行全面分析的检测手段,故本文使用模型检测技术进行建模分析。为了对性能与功耗进行分析,本文使用统计模型检测技术(Statistical Model Checking,SMC)。传统的模型检测技术由于状态空间爆炸问题难以对复杂系统模型进行定量分析,SMC技术利用统计学与仿真手段避免了对整个系统模型状态空间的搜索,不会遇到状态空间爆炸问题,为性能与功耗的分析提供了新方法。Minimum Cost Forward(MCF)协议是WSN网络层一种重要的协议,该协议使用了基于代价的方法形成最小代价转发路径。在此过程中无需存储路由表,数据按照最小代价路径进行传输,适用于能量与资源受限的WSN。本文针对MCF协议进行建模与分析。首先重新建立了MCF协议的时间自动机(Timed Automata, TA)模型,用时间计算树逻辑(Timed Computation Tree Logic,TCTL)语言描诉了协议的安全性、活性,在模型检测器UPPAAL上进行了验证；然后根据本文建立的TA模型,用代价时间自动机(Priced Timed Automata,PTA)对链路错误以及节点失效两种情形进行了建模,并用统计模型检测的方法分析其定量属性；除此之外,本文还利用SMC技术对协议在无损通信时的功耗进行了分析。经过分析,发现在理想情形下,MCF协议可以完成WSN的路由,但是不能均衡地消耗WSN中的能量,同时在进行有损通信时,MCF协议无法有效进行数据传输。
【关键词】：无线传感器网络 时间自动机 代价时间自动机 模型检测 统计模型检测
【学位授予单位】：郑州大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP212.9;TN929.5
【目录】：

• 摘要4-5
• Abstract5-11
• 1 绪论11-18
• 1.1 研究背景11-12
• 1.2 研究现状12-14
• 1.3 相关工作14-16
• 1.4 论文概述16-18
• 2 预备知识18-30
• 2.1 数学知识18-19
• 2.1.1 参数估计18-19
• 2.1.2 假设检验19
• 2.2 时间自动机19-20
• 2.3 时间分支计算树逻辑20-21
• 2.4 基于时间自动机的模型检查21-22
• 2.5 代价时间自动机及其网络22-25
• 2.6 概率权重时间分支计算树逻辑25-26
• 2.7 统计模型检测26-27
• 2.8 Minimum Cost Forward协议27-29
• 2.9 本章小结29-30
• 3 MCF协议建模30-39
• 3.1 MCF协议的TA模型30-35
• 3.2 MCF协议的PTA模型35-38
• 3.2.1 MCF协议在链路错误情形下的PTA模型35-37
• 3.2.2 MCF协议在节点失效情形下的PTA模型37-38
• 3.3 本章小结38-39
• 4 MCF协议分析39-50
• 4.1 MCF协议的时间自动机模型分析40-41
• 4.2 MCF协议的性能分析41-47
• 4.3 MCF协议能耗分析47-49
• 4.4 本章小结49-50
• 5 总结与展望50-51
• 5.1 总结50
• 5.2 展望50-51
• 参考文献51-55
• 个人简历、在学期间参加的科研项目及发表的论文55-56
• 个人简历55
• 在学期间参加的科研项目55
• 在学期间发表的学术论文55-56
• 致谢56

【参考文献】

中国期刊全文数据库 前2条

1 史新宏,蔡伯根,穆建成;智能交通系统的发展[J];北方交通大学学报;2002年01期

2 巫细波;杨再高;;智慧城市理念与未来城市发展[J];城市发展研究;2010年11期

中国硕士学位论文全文数据库 前1条

1 李倩;采用概率模型检测技术对无线传感网络聚簇协议的分析[D];山东大学;2012年

  本文关键词：基于统计模型检测的无线传感器网络协议建模与分析，，由笔耕文化传播整理发布。

本文编号：353556