您的位置： 专家智库 > >

马争先

作品数：11 被引量：5H指数：1
供职机构：桂林电子科技大学更多>>
发文基金：广西壮族自治区自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 6篇会议论文
  • 4篇期刊文章
  • 1篇学位论文

领域

  • 9篇自动化与计算...
  • 3篇电子电信

主题

  • 6篇形式化
  • 6篇NS2
  • 5篇有限状态机
  • 5篇状态机
  • 4篇网络
  • 3篇电子商务
  • 3篇电子商务协议
  • 3篇队列
  • 3篇队列管理
  • 3篇形式化分析
  • 3篇形式化验证
  • 3篇原子性
  • 3篇商务
  • 3篇时间自动机
  • 3篇自动机
  • 3篇基于NS2
  • 3篇RED
  • 3篇UPPAAL
  • 3篇AODV协议
  • 2篇有限状态机模...

机构

  • 11篇桂林电子科技...

作者

  • 11篇马争先
  • 10篇王玉斌
  • 4篇董荣胜
  • 3篇孙栋栋
  • 3篇张净
  • 3篇钟艳如
  • 3篇邵梅
  • 3篇余兴超
  • 1篇刘建明

传媒

  • 3篇广西科学院学...
  • 1篇计算机科学

年份

  • 2篇2011
  • 9篇2010
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于NS2软件验证随机早期检测算法RED的优越性被引量：1
2010年
在构造RED算法的网络拓扑模型和建立该模型的有限状态机的基础上,用目前主流的网络模拟软件NS2进行仿真,得到当前队列大小、平均队列大小和TCP数据源窗口大小的仿真图形,通过对仿真图形的比较和分析,说明RED算法的高效性和优越性。
孙栋栋王玉斌马争先张净
关键词：队列管理RED有限状态机NS2
Adhoc网络AODV协议的形式化分析与仿真
本文基于形式化建模的思想，分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型，描述AODV协议的路由行为及算法思想，分析影响AODV协议性能的可能性因素后，利用NS2对AODV协议进行仿真，以指导对协议算法的改...
邵梅王玉斌马争先钟艳如
关键词：AODV协议形式化分析有限状态机模型NS2
基于UPPAAL的简单网络支付协议形式化验证
简单网络支付协议是为不信任的双方实现安全支付交易而设计的电子商务协议。本文分析了协议中不同银行间的交易行为和各主体的超时约束,建立了消费者、商家、银行和超时计时器的时间自动机模型,借助模型检测工具UPPAAL验证了该协议...
余兴超马争先王玉斌董荣胜
关键词：电子商务协议时间自动机UPPAAL原子性
文献传递
基于UPPAAL的简单网络支付协议形式化验证
本文分析了简单支付协议中不同银行间的交易行为和各主体的超时约束，建立消费者、商家、银行和超时计时器的时间自动机模型，并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上，增加了超时计时器进程来负责接收来自...
余兴超马争先王玉斌董荣胜
关键词：时间自动机电子商务协议UPPAAL原子性
基于马尔可夫博弈的无线传感器网络性能研究
本文针对无线传感器网络中的窃听问题、能量平衡问题以及功率控制问题,引入马尔可夫博弈理论,建立相应的无线传感器网络的博弈模型,对网络性能进行分析。取得的主要成果如下:　　(1)针对无线传感器网络中窃听问题,在随机路由的基础...
马争先
关键词：无线传感器网络吞吐量
文献传递
Ad hoc网络AODV协议的形式化分析与仿真被引量：1
2010年
基于形式化建模的思想,分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型,描述AODV协议的路由行为及算法思想,分析影响AODV协议性能的可能性因素后,利用NS2对AODV协议进行仿真,以指导对协议算法的改进及其下一步研究方向,使其更好地适应Ad hoc网络特点。
邵梅王玉斌马争先钟艳如
关键词：HOC网络AODV协议形式化分析有限状态机模型NS2
针对窃听问题的马尔可夫博弈路由模型的研究被引量：2
2011年
在随机路由的基础上,给出一种针对窃听问题的马尔可夫博弈路由模型(Markov Game Theory-based Rou-ting,MGBR)。给出的模型以发送者和窃听者为马尔可夫博弈双方,发送者通过概率进行数据传输,增加了窃听者窃听信息的难度。模型通过收益函数计算纳什均衡点,找出最优路径。使用PRISM工具进行仿真,结果表明MGBR中存在纳什均衡点,在纳什均衡点处信息被窃听的概率最小;给出信息在纳什均衡点处被窃听的概率变化趋势,与基于最小跳数算法的路由协议相比,它降低了信息被窃听的概率。
马争先董荣胜王玉斌刘建明
关键词：无线传感器网络
基于UPPAAL的简单网络支付协议形式化验证被引量：1
2010年
分析简单支付协议中不同银行间的交易行为和各主体的超时约束,建立消费者、商家、银行和超时计时器的时间自动机模型,并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上,增加了超时计时器进程来负责接收来自其它进程的超时信息,在各主体的计时器触发超时之后,计时器将发送超时信息,再通过外部的仲裁程序来解决纠纷。新模型能够满足货币原子性和商品原子性,并且比原模型更加符合协议运行的实际环境。
余兴超马争先王玉斌董荣胜
关键词：时间自动机电子商务协议UPPAAL原子性
Ad hoc网络AODV协议的形式化分析与仿真
AODV协议是一种典型的按需路由协议,本文首先对该协议进行了形式化分析,分别建立了源节点、中间节点和目的节点的有限状态机(FSM)模型,清晰、准确地描述了AODV协议的路由行为及算法思想。并基于上述模型,分析说明了AOD...
邵梅王玉斌马争先钟艳如
关键词：AODV形式化分析FSMNS2
文献传递
基于NS2的队列管理机制RED的研究及仿真
随机早期检测算法RED是为了避免网络拥塞而提出的一种主动式队列管理算法。本文对RED算法进行了形式化分析,构造出该算法的一个简单网络拓扑模型,针对该模型,建立了包含数据源、发送节点和接收节点的有限状态机。根据构建的网络拓...
孙栋栋王玉斌马争先张净
关键词：NS2RED有限状态机队列管理
文献传递
全选 清除 导出
共2页<12>
聚类工具0