期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
IEEE802.11b的媒体访问机制
被引量：
6
1
作者
杨吉云
王铮
金纯
《重庆大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2002年第10期113-116,共4页
IEEE80 2 .11b采用无线方式传输信息 ,而无线方式传输与有线方式传输相比 ,具有较大的复杂性 ,所以其MAC(媒体访问控制 )机制也更加复杂。论文在较为深入的对IEEE80 2 .11b协议研读后 ,比较详细地阐述了IEEE80 2 .11b的媒体访问机制──...
IEEE80 2 .11b采用无线方式传输信息 ,而无线方式传输与有线方式传输相比 ,具有较大的复杂性 ,所以其MAC(媒体访问控制 )机制也更加复杂。论文在较为深入的对IEEE80 2 .11b协议研读后 ,比较详细地阐述了IEEE80 2 .11b的媒体访问机制──CSMA CA(载波监听多路访问 冲突避免 )机制 ,以及在CSMA CA基础上的两种具体实现控制方式──DCF(分布式 )控制方式和PCF(点协调式 )控制方式 ,同时还简要探讨了MAC层的差错控制问题。
展开更多
关键词
IEEE802.11B
媒体访问机制
网络分配矢量
帧间间隙
工作站
高速
无线局域网协议
CSMA/CA机制
控制方式
在线阅读
下载PDF
职称材料
统计算法选择对统计模型检测效率的影响分析
被引量：
1
2
作者
高婉玲
洪玫
+1 位作者
杨秋辉
赵鹤
《计算机科学》
CSCD
北大核心
2017年第S1期499-503,533,共6页
近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算...
近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算法、智能假设检验算法及蒙特卡罗算法。采用无线局域网协议验证和哲学家就餐问题的状态可达性验证为实例进行分析,使用PLASMA模型检测工具进行验证。实验结果表明,不同的统计算法在不同的环境中对模型检测的效率有不同的影响。序贯算法适用于状态可达性性质的验证,时间性能最优;智能假设检验算法与蒙特卡罗算法适合验证复杂模型。这一结论有助于在模型检测时对统计算法的选择,从而提高模型检测的效率。
展开更多
关键词
统计模型检测
统计算法
无线局域网协议
哲学家问题
PLASMA
在线阅读
下载PDF
职称材料
题名
IEEE802.11b的媒体访问机制
被引量：
6
1
作者
杨吉云
王铮
金纯
机构
重庆大学计算机学院
重庆蓝牙研究所
出处
《重庆大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2002年第10期113-116,共4页
文摘
IEEE80 2 .11b采用无线方式传输信息 ,而无线方式传输与有线方式传输相比 ,具有较大的复杂性 ,所以其MAC(媒体访问控制 )机制也更加复杂。论文在较为深入的对IEEE80 2 .11b协议研读后 ,比较详细地阐述了IEEE80 2 .11b的媒体访问机制──CSMA CA(载波监听多路访问 冲突避免 )机制 ,以及在CSMA CA基础上的两种具体实现控制方式──DCF(分布式 )控制方式和PCF(点协调式 )控制方式 ,同时还简要探讨了MAC层的差错控制问题。
关键词
IEEE802.11B
媒体访问机制
网络分配矢量
帧间间隙
工作站
高速
无线局域网协议
CSMA/CA机制
控制方式
Keywords
NAV
backoff
IFS
STA
分类号
TN915.04 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
统计算法选择对统计模型检测效率的影响分析
被引量：
1
2
作者
高婉玲
洪玫
杨秋辉
赵鹤
机构
四川大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2017年第S1期499-503,533,共6页
基金
嵌入式系统软件形式化验证技术研究(2014JY0112)资助
文摘
近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算法、智能假设检验算法及蒙特卡罗算法。采用无线局域网协议验证和哲学家就餐问题的状态可达性验证为实例进行分析,使用PLASMA模型检测工具进行验证。实验结果表明,不同的统计算法在不同的环境中对模型检测的效率有不同的影响。序贯算法适用于状态可达性性质的验证,时间性能最优;智能假设检验算法与蒙特卡罗算法适合验证复杂模型。这一结论有助于在模型检测时对统计算法的选择,从而提高模型检测的效率。
关键词
统计模型检测
统计算法
无线局域网协议
哲学家问题
PLASMA
Keywords
Statistical model checking
Statistical algorithm
WLAN
Dining philosophers
PLASMA
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
IEEE802.11b的媒体访问机制
杨吉云
王铮
金纯
《重庆大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2002
6
在线阅读
下载PDF
职称材料
2
统计算法选择对统计模型检测效率的影响分析
高婉玲
洪玫
杨秋辉
赵鹤
《计算机科学》
CSCD
北大核心
2017
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
