作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

针对窃听问题的马尔可夫博弈路由模型的研究  CNKI文献

在随机路由的基础上,给出一种针对窃听问题的马尔可夫博弈路由模型(Markov Game Theory-based Rou-ting,MGBR)。给出的模型以发送者和窃听者为马尔可夫博弈双方,发送者通过概率进行数据传输,增加了窃听者窃听信息的难...

马争先 董荣胜... 《计算机科学》 2011年11期 期刊

关键词: 无线传感器网络 / 马尔可夫博弈路由模型 / 概率

下载(116)| 被引(2)

一种基于马尔可夫博弈的能量均衡路由算法  CNKI文献

针对无线传感器网络中耗能不均问题,引入马尔可夫博弈理论,构建了无线传感器网络的马尔可夫博弈模型.在能量均衡路由分析的基础上,给出了一种基于马尔可夫博弈的能量均衡路由算法,该算法从无线传感器网络整体耗能出发...

董荣胜 马争先... 《计算机学报》 2013年07期 期刊

关键词: 马尔可夫博弈 / 纳什均衡 / 能耗 / 网络生命周期

下载(1057)| 被引(44)

基于马尔可夫博弈的WSN功率控制研究  CNKI文献

无线传感器网络中的节点能量有限、工作环境复杂,易导致节点能量消耗不均,节点耗能不均将极大地缩短网络生命周期。针对无线传感器网络中节点能量有限和耗能不均问题,建立了一种基于马尔可夫博弈的功率控制模型。该模...

刘芳 马争先 《计算机技术与发展》 2017年04期 期刊

关键词: 马尔可夫博弈 / 功率控制 / 纳什均衡 / 无线传感器网络

下载(101)| 被引(1)

变频空调高频启动研究与应用  CNKI文献

本文以变频挂机采用压缩机高频启动方案达到速冷速热效果为基础,探讨了压缩机高频启动方案的相关问题。通过Simulink仿真分析,结合实际测试情况优化PID参数,确定压缩机高频启动驱动控制参数;通过试验验证及分析,给出压...

梁勇超 马争先... 《家电科技》 2019年01期 期刊

关键词: 空调 / 速冷速热 / 高频启动

下载(16)| 被引(0)

基于UPPAAL的简单网络支付协议形式化验证  CNKI文献

分析简单支付协议中不同银行间的交易行为和各主体的超时约束,建立消费者、商家、银行和超时计时器的时间自动机模型,并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上,增加了超时计时器进程来负责接...

余兴超 马争先... 《广西科学院学报》 2010年04期 期刊

关键词: 时间自动机 / 电子商务协议 / UPPAAL / 原子性

下载(81)| 被引(4)

变频空调速冷速热功能的高频启动方案研究  CNKI文献

通过空调市场调研得知,"制冷不够快""制热不够快"是用户使用空调的主要痛点之一,因此很多空调厂家将"速冷速热"作为产品研发的重点舒适性指标。压缩机作为空调器的核心部件,其启动速度...

梁勇超 马争先... 2018年中国家用电器技术大会论文集 2018-10-30 中国会议

关键词: 变频空调 / 速冷速热 / 高频启动

下载(5)| 被引(0)

基于NS2的队列管理机制RED的研究及仿真  CNKI文献

随机早期检测算法RED是为了避免网络拥塞而提出的一种主动式队列管理算法。本文对RED算法进行了形式化分析,构造出该算法的一个简单网络拓扑模型,针对该模型,建立了包含数据源、发送节点和接收节点的有限状态机。根据...

孙栋栋 王玉斌... 广西计算机学会2010年学术年会论文集 2010-09-01 中国会议

关键词: NS2 / RED / 有限状态机 / 形式化

下载(112)| 被引(0)

基于UPPAAL的简单网络支付协议形式化验证  CNKI文献

简单网络支付协议是为不信任的双方实现安全支付交易而设计的电子商务协议。本文分析了协议中不同银行间的交易行为和各主体的超时约束,建立了消费者、商家、银行和超时计时器的时间自动机模型,借助模型检测工具UPPAA...

余兴超 马争先... 广西计算机学会2010年学术年会论文集 2010-09-01 中国会议

关键词: 电子商务协议 / 时间自动机 / UPPAAL / 原子性

下载(44)| 被引(0)

Ad hoc网络AODV协议的形式化分析与仿真  CNKI文献

AODV协议是一种典型的按需路由协议,本文首先对该协议进行了形式化分析,分别建立了源节点、中间节点和目的节点的有限状态机(FSM)模型,清晰、准确地描述了AODV协议的路由行为及算法思想。并基于上述模型,分析说明了AO...

邵梅 王玉斌... 广西计算机学会2010年学术年会论文集 2010-09-01 中国会议

关键词: AODV / 形式化分析 / FSM / NS2

下载(32)| 被引(0)

Ad hoc网络AODV协议的形式化分析与仿真  CNKI文献

基于形式化建模的思想,分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型,描述AODV协议的路由行为及算法思想,分析影响AODV协议性能的可能性因素后,利用NS2对AODV协议进行仿真,以指导对协议算法的改进及其下...

邵梅 王玉斌... 《广西科学院学报》 2010年04期 期刊

关键词: Ad / hoc网络 / AODV协议 / 形式化分析

下载(70)| 被引(1)

基于NS2软件验证随机早期检测算法RED的优越性  CNKI文献

在构造RED算法的网络拓扑模型和建立该模型的有限状态机的基础上,用目前主流的网络模拟软件NS2进行仿真,得到当前队列大小、平均队列大小和TCP数据源窗口大小的仿真图形,通过对仿真图形的比较和分析,说明RED算法的高效...

孙栋栋 王玉斌... 《广西科学院学报》 2010年04期 期刊

关键词: 队列管理 / RED / 形式化 / 有限状态机

下载(66)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

史铁生评传