封面
声明
中文摘要
英文摘要
目录
第一章 引言
§1.1 研究背景及意义
§1.2 国内外研究现状
§1.3 论文的研究目的与研究内容
§1.4 论文的组织结构
第二章 概率模型检测
§2.1 概率模型
§2.2 概率性质规约
§2.3 概率模型检测工具PRISM
§2.4 本章小结
第三章 移动模型的建模与分析
§3.1 移动模型的研究现状
§3.2 城市区域移动模型
§3.3 城市街道移动模型
§3.4 本章小结
第四章 节能问题的分析与研究
§4.1 节能问题的研究现状
§4.2 一种提高Ad Hoc网络节点能量效率的DPM模型
§4.3 DPM模型中各模块的建模
§4.4 结果分析
§4.5 本章小结
第五章 广播算法的分析与改进
§5.1 广播算法的研究现状
§5.2 一种高效的动态概率广播算法:BN-DP算法
§5.3 结果分析
§5.4 本章小结
第六章 结束语
§6.1 主要研究工作
§6.2 研究展望
参考文献
致谢
攻读硕士学位期间发表或录用的论文