邵梅
- 作品数：6 被引量：4H指数：1
- 供职机构：桂林电子科技大学计算机科学与工程学院更多>>
- 发文基金：广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- Adhoc网络AODV协议的形式化分析与仿真
- 本文基于形式化建模的思想，分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型，描述AODV协议的路由行为及算法思想，分析影响AODV协议性能的可能性因素后，利用NS2对AODV协议进行仿真，以指导对协议算法的改...
- 邵梅王玉斌马争先钟艳如
- 关键词：AODV协议形式化分析有限状态机模型NS2
- Ad hoc网络AODV协议的形式化分析与仿真
- AODV协议是一种典型的按需路由协议,本文首先对该协议进行了形式化分析,分别建立了源节点、中间节点和目的节点的有限状态机(FSM)模型,清晰、准确地描述了AODV协议的路由行为及算法思想。并基于上述模型,分析说明了AOD...
- 邵梅王玉斌马争先钟艳如
- 关键词：AODV形式化分析FSMNS2
- 文献传递
- 基于时间博弈自动机的道岔自动控制系统被引量：1
- 2012年
- 为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策略可以有效提高列车的行车效率。
- 余兴超董荣胜孙栋栋邵梅
- 关键词：控制策略完全信息博弈软件密集型系统
- 基于势博弈的多路径网络编码研究
- 2012年
- 介绍反向共乘的网络编码形式,基于博弈理论提出用于多路径网络编码通信分割的势博弈模型。分析一种8个节点的网络拓扑,以网络传输总成本作为优化目标设计势函数,使用博弈中的BNN动态作为激励结构调整流在不同路径上的通信分割,使网络系统收敛于Wardrop均衡,即最低成本状态。仿真结果表明,该模型使用BNN动态能够有效调整流的通信分割,从而最小化网络传输总成本。
- 邵梅董荣胜孙栋栋余兴超
- 关键词：网络编码单播纳什均衡
- 时隙Aloha网络中基于演化博弈论的接入控制研究被引量：2
- 2012年
- 考虑到时隙Aloha网络中的非合作系统行为,并针对该网络中存在的不稳定区域及带宽受限问题,建立基于演化博弈论的时隙Aloha网络接入控制模型,并在该模型的基础上提出ABEGT协议。ABEGT协议在考虑用户有限理性的前提下,既保证了系统稳定性,也提高了网络的吞吐量。同时证明了时隙Aloha网络的接入控制中存在演化稳定策略。最后使用MATLAB仿真,结果表明ABEGT协议不仅减少了用户的冲突,而且提高了网络资源的利用率和网络整体的稳定性。
- 孙栋栋董荣胜余兴超邵梅
- 关键词：时隙ALOHA演化博弈论演化稳定策略接入控制
- Ad hoc网络AODV协议的形式化分析与仿真被引量：1
- 2010年
- 基于形式化建模的思想,分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型,描述AODV协议的路由行为及算法思想,分析影响AODV协议性能的可能性因素后,利用NS2对AODV协议进行仿真,以指导对协议算法的改进及其下一步研究方向,使其更好地适应Ad hoc网络特点。
- 邵梅王玉斌马争先钟艳如
- 关键词：HOC网络AODV协议形式化分析有限状态机模型NS2
