期刊文献+
共找到26篇文章
< 1 2 >
每页显示 20 50 100
基于水声传感器网络的MACA改进协议 被引量:1
1
作者 朱颖 刘广钟 《计算机工程》 CAS CSCD 北大核心 2017年第9期94-98,共5页
水下网络使用水声信道进行通信,但水声信道低带宽和高传播时延的特点使介质访问控制协议的设计存在较多难点。为此,对冲突避免多址接入(MACA)协议进行改进,提出PE-MACA协议。根据优先权原则使节点同时与多个邻居节点通信,在数据传输时... 水下网络使用水声信道进行通信,但水声信道低带宽和高传播时延的特点使介质访问控制协议的设计存在较多难点。为此,对冲突避免多址接入(MACA)协议进行改进,提出PE-MACA协议。根据优先权原则使节点同时与多个邻居节点通信,在数据传输时使用高响应比优先算法,并利用半争用算法进行信道切换。仿真结果表明,与MACA协议相比,PE-MACA可有效提高信道利用率和网络吞吐率。 展开更多
关键词 水声传感器网络 多信道 高响应比优先算法 优先权 冲突避免多址接入协议 半争用算法
在线阅读 下载PDF
基于预约机制的RFID防碰撞安全认证协议
2
作者 王云峰 赵梓旭 《火力与指挥控制》 CSCD 北大核心 2024年第9期173-179,共7页
为解决RFID领域中多标签识别存在的信息泄露和信息碰撞问题,提出了一种基于预约机制的防碰撞安全认证协议(reservation mechanism for authentication protocol,RMAP)。RMAP可有效抵御窃听、重放、欺骗等攻击,且采用精简杂凑运算次数的... 为解决RFID领域中多标签识别存在的信息泄露和信息碰撞问题,提出了一种基于预约机制的防碰撞安全认证协议(reservation mechanism for authentication protocol,RMAP)。RMAP可有效抵御窃听、重放、欺骗等攻击,且采用精简杂凑运算次数的方法,有效地简化了计算量。同时,采用载波监听多点接入技术,通过重传随机数进行帧序号的二次预约和重排,实现标签的无碰撞有序通信和识别效率的最优,解决了现有协议为避免信息碰撞而对标签进行循环性识别导致的识别效率低、读取时间长的问题。对RMAP识别效率的数值分析表明,当待识别标签数量少于1024时,RMAP的最低识别效率为95.15%,高于常用防碰撞协议。 展开更多
关键词 时分多址 预约 防碰撞 认证协议
在线阅读 下载PDF
应用于Ad Hoc网络中的一种新型多址接入协议 被引量:7
3
作者 盛敏 李建东 李维英 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2002年第6期713-715,共3页
针对AdHoc网络中不同优先级业务以及网络处于不同业务负荷情况下对网络的接入时延有不同要求的特点,提出了一种应用于AdHoc网络中的有冲突避免的流量自适应多址接入协议FA_MACA.它不仅可以避免无线信道中存在的"隐藏终端"问题... 针对AdHoc网络中不同优先级业务以及网络处于不同业务负荷情况下对网络的接入时延有不同要求的特点,提出了一种应用于AdHoc网络中的有冲突避免的流量自适应多址接入协议FA_MACA.它不仅可以避免无线信道中存在的"隐藏终端"问题,同时还可以根据网络当前的流量以及业务的不同优先级动态自适应的调整接入时延,尽可能地减少碰撞,从而达到改善网络性能的目的.仿真结果表明该协议可以有效地改善网络的性能. 展开更多
关键词 AD HOC网络 多址接入协议 冲突避免 流量自适应 接入时延
在线阅读 下载PDF
IEEE 80 2.15.4 MAC协议退避机制的改进 被引量:4
4
作者 乔冠华 毛剑琳 +3 位作者 郭宁 陈波 戴宁 张传龙 《计算机应用》 CSCD 北大核心 2013年第10期2723-2725,2749,共4页
考虑节点移动且数据传输率不断变化对网络性能的影响,针对IEEE802.15.4提出了一种网络负荷概率判断和指数加权滑动平均(PJNL_EWMA)的退避策略,在每次载波监听多路访问/冲突避免(CSMA/CA)算法开始时采用网络负荷概率判断思想判定当前网... 考虑节点移动且数据传输率不断变化对网络性能的影响,针对IEEE802.15.4提出了一种网络负荷概率判断和指数加权滑动平均(PJNL_EWMA)的退避策略,在每次载波监听多路访问/冲突避免(CSMA/CA)算法开始时采用网络负荷概率判断思想判定当前网络状况,然后通过指数加权滑动平均方法动态地调整退避指数。通过NS2的仿真结果表明:与IEEE802.15.4标准协议算法及MBS+EWMA算法相比,PJNL_EWMA算法不仅提高了网络吞吐量,同时还减小了数据包的丢包率和碰撞概率,提高了网络性能。 展开更多
关键词 IEEE802 15 4 载波监听多路访问 冲突避免 指数加权滑动平均 吞吐量 碰撞概率
在线阅读 下载PDF
基于网络效用最大化与冲突避免的无线传感器网络MAC协议 被引量:4
5
作者 刘韬 李天瑞 +1 位作者 殷锋 张楠 《计算机应用》 CSCD 北大核心 2014年第11期3196-3200,共5页
针对周期汇报型无线传感器网络(WSN)中的无线信号冲突和能量利用效率问题,提出了一种基于网络效用最大化与冲突避免的媒体访问控制(UM-MAC)协议。该协议基于时分多路复用(TDMA)调度机制,将效用模型引入无冲突的节点工作时隙分配过程中,... 针对周期汇报型无线传感器网络(WSN)中的无线信号冲突和能量利用效率问题,提出了一种基于网络效用最大化与冲突避免的媒体访问控制(UM-MAC)协议。该协议基于时分多路复用(TDMA)调度机制,将效用模型引入无冲突的节点工作时隙分配过程中,把链路可靠性、网络能耗归纳到一个统一的效用优化框架中;进而提出了一个启发式算法,使网络能够快速找到一个基于网络效用最大化与冲突避免的节点工作时隙调度方案。将UM-MAC协议与S-MAC协议和冲突避免MAC(CA-MAC)协议进行比较,在不同节点数量的网络环境中,UM-MAC获得的网络效用较大,平均数据包成功发送率较高,生命周期介于S-MAC与CA-MAC之间,在不同的网络负载下所有节点发数据包到汇聚节点的平均时延有所增加。仿真实验结果表明:UM-MAC协议较好地解决了冲突干扰问题,提高了网络的数据包成功发送率和能量利用效率等性能;在低网络负载时,TDMA类协议的性能并不比竞争类协议好。 展开更多
关键词 无线传感器网络 效用最大化 冲突避免 媒体访问控制协议
在线阅读 下载PDF
移动Ad Hoc网络中基于ID的信道预约多址接入协议 被引量:4
6
作者 邢小琴 刘凯 《软件学报》 EI CSCD 北大核心 2010年第10期2690-2700,共11页
为了在移动ad hoc网络中有效利用无线信道资源,提出一种基于ID的信道预约(ID-based channel reservation,简称IDBCR)多址接入协议.该协议在公共信道上发送Request-To-Send/Clear-To-Send(RTS/CTS)分组实现握手,采用基于节点ID的信道选... 为了在移动ad hoc网络中有效利用无线信道资源,提出一种基于ID的信道预约(ID-based channel reservation,简称IDBCR)多址接入协议.该协议在公共信道上发送Request-To-Send/Clear-To-Send(RTS/CTS)分组实现握手,采用基于节点ID的信道选择方案选择无冲突的业务信道传输数据分组,目的节点成功接收完数据分组后在另一个公共信道上回复acknowledgment(ACK)分组,有效避免了暴露终端问题.最后,仿真实现了IDBCR协议,并与CAM-MAC(cooperative asynchronous multi-channel MAC)多信道协议比较.结果表明,在总信道利用率、平均信道利用率和平均分组延迟性能上,IDBCR多址接入协议明显优于CAM-MAC协议. 展开更多
关键词 移动AD HOC网络 多址接入 信道预约 冲突避免
在线阅读 下载PDF
带碰撞避免机制的多址接入协议能量效率研究 被引量:3
7
作者 张人上 曲开社 《计算机应用研究》 CSCD 北大核心 2015年第6期1861-1864,共4页
研究了在自组织网络环境下CSMA/CA协议的能量消耗性能,并与传统的CSMA协议能耗性能进行比较。阐述了自组织网络中的隐藏终端和暴露终端问题,并分析CSMA/CA协议相对传统CSMA协议对该问题进行的改进。仿真结果表明,相对非坚持CSMA协议,CSM... 研究了在自组织网络环境下CSMA/CA协议的能量消耗性能,并与传统的CSMA协议能耗性能进行比较。阐述了自组织网络中的隐藏终端和暴露终端问题,并分析CSMA/CA协议相对传统CSMA协议对该问题进行的改进。仿真结果表明,相对非坚持CSMA协议,CSMA/CA协议能够获得的能量效率更高,并且对网络负载的敏感性更低,在网络负载较高时也具有较高的能量效率。 展开更多
关键词 能量消耗 介质访问控制 能量效率 网络负载 载波侦听多址接入/碰撞避免
在线阅读 下载PDF
移动Ad hoc网络中的多信道预约MAC协议 被引量:2
8
作者 邢小琴 刘凯 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第7期842-847,共6页
移动Ad hoc网络中为有效利用无线信道资源,提出一种多信道预约媒质接入(MRMA,Multichannel Reservation Multiple Access)协议.该协议在公共信道上发送Request-to-Send/Clear-to-Send(RTS/CTS)分组预约信道,采用基于ID的信道选择方案选... 移动Ad hoc网络中为有效利用无线信道资源,提出一种多信道预约媒质接入(MRMA,Multichannel Reservation Multiple Access)协议.该协议在公共信道上发送Request-to-Send/Clear-to-Send(RTS/CTS)分组预约信道,采用基于ID的信道选择方案选择无冲突的业务信道传输数据分组,目的节点成功接收完数据分组后在另一个公共信道上回复Acknowledg-ment(ACK)分组,有效避免了暴露终端问题,使得相邻通信节点对可以同时使用相同的业务信道传输数据分组,空分复用大大提高了无线资源的利用率.采用多信道分别进行不同通信对的业务分组传输解决了在单信道上传输所带来的隐藏终端问题.仿真结果表明,在总信道利用率和平均分组延迟性能上,MRMA协议明显优于IEEE 802.11 RTS/CTS协议. 展开更多
关键词 移动AD HOC网络 媒质接入 多信道预约 冲突避免 暴露终端
在线阅读 下载PDF
MIMO Ad Hoc网络中一种新的流控多址接入协议 被引量:1
9
作者 陈曙光 张延康 张珍 《计算机工程》 CAS CSCD 北大核心 2015年第6期96-101,共6页
针对PRP-MAC协议中分组冲突导致网络吞吐量减小的问题,提出一种带有冲突避免机制的流控多址接入协议SCMA-CA。该协议可用于MIMO Ad Hoc网络,其在PRP-MAC定义的控制分组基础上,新增CTS分组类型,并利用MIMO技术的流控能力实现冲突避免和... 针对PRP-MAC协议中分组冲突导致网络吞吐量减小的问题,提出一种带有冲突避免机制的流控多址接入协议SCMA-CA。该协议可用于MIMO Ad Hoc网络,其在PRP-MAC定义的控制分组基础上,新增CTS分组类型,并利用MIMO技术的流控能力实现冲突避免和最大化数据流数目。仿真结果表明,SCMA-CA协议不仅可避免发送节点数增加时控制分组和数据分组的冲突,提高网络吞吐量,同时又适用于天线多样化的环境,能有效增强网络性能。 展开更多
关键词 多输入多输出 Ad HOC网络 流控增益 多址接入 冲突避免
在线阅读 下载PDF
移动Ad Hoc网络中一种分布式QoS保证的多址接入协议 被引量:2
10
作者 刘凯 王大鹏 《电子学报》 EI CAS CSCD 北大核心 2007年第11期2067-2071,共5页
基于随机竞争和冲突解决的思想,本文为多跳移动Ad Hoc网络提出了一种分布式服务质量(QoS)保证的多址接入(QMA)协议.该协议中,节点在发送业务分组前利用预报突发进行竞争接入,节点根据业务分组时延情况和最早失效优先原则确定预报突发的... 基于随机竞争和冲突解决的思想,本文为多跳移动Ad Hoc网络提出了一种分布式服务质量(QoS)保证的多址接入(QMA)协议.该协议中,节点在发送业务分组前利用预报突发进行竞争接入,节点根据业务分组时延情况和最早失效优先原则确定预报突发的长度,所发预报突发能持续到最后的节点优先获得接入.同时,具有实时业务的节点可以按照其优先级在更早的竞争微时隙中开始发送预报突发,而有非实时业务的节点只能在前面竞争微时隙空闲的情况下,才能在后面的微时隙开始发送预报突发,因此发送实时业务的节点可以比发送非实时业务的节点更优先接入信道,从而在移动Ad Hoc网络中实现了对多媒体业务的QoS保证.最后利用OPNET仿真评估了QMA协议的多址性能,并与IEEE 802.11e协议的性能做了比较,结果表明QMA协议可以提供较高的吞吐量和较低的实时业务时延. 展开更多
关键词 移动AD HOC网络 多址接入协议 服务质量 分布式预约 冲突解决
在线阅读 下载PDF
IEEE 802.11b标准浅析 被引量:1
11
作者 李冬芬 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2004年第z1期108-109,共2页
介绍了 IEEE802.11b 标准出台的过程和该标准所采用的关键技术。总结了 IEEE802.11b 在网络的可靠性、低成本、灵活、可移动、高吞吐等优点,分析了该标准的点对点、多点介入两种运作模式,给出了室内环境下的对等、多点接入、无线中继、... 介绍了 IEEE802.11b 标准出台的过程和该标准所采用的关键技术。总结了 IEEE802.11b 在网络的可靠性、低成本、灵活、可移动、高吞吐等优点,分析了该标准的点对点、多点介入两种运作模式,给出了室内环境下的对等、多点接入、无线中继、无线冗余、多蜂窝漫游等典型解决方案。 展开更多
关键词 直接序列扩频技术 DSSS 载波侦听多路访问 冲突避免技术 CSMA/CA
在线阅读 下载PDF
SDMA技术改进WATM DSA^(++)MAC协议快速冲突分解算法的性能 被引量:1
12
作者 王锁萍 李海燕 《南京邮电学院学报》 2000年第3期28-32,共5页
在WATM(无线异步转移模式 )网络中 ,无线链路与ATM(异步转移模式 )的光纤链路相比存在着误码率高、时延长和带宽有限等问题。针对RACH(随机接入信道 ) ,在介绍了DSA+ + 协议所采用的冲突分解算法的基础上 ,融入了SDMA(空分多址 )技术 ,... 在WATM(无线异步转移模式 )网络中 ,无线链路与ATM(异步转移模式 )的光纤链路相比存在着误码率高、时延长和带宽有限等问题。针对RACH(随机接入信道 ) ,在介绍了DSA+ + 协议所采用的冲突分解算法的基础上 ,融入了SDMA(空分多址 )技术 ,得出了分析结果 ,表明RACH的吞吐量和时延性能都得到了很明显的改善。 展开更多
关键词 空分多址 MAC协议 快速冲突分解算法 WATM
在线阅读 下载PDF
移动Ad Hoc网络中的公平按需多址接入协议
13
作者 刘凯 李汉涛 张军 《电子学报》 EI CAS CSCD 北大核心 2006年第10期1872-1876,共5页
基于快速、有效竞争预约接入、无冲突轮询传输的思想和带冲突预防的冲突分解策略,本文提出了适于移动Ad Hoc网络的公平按需多址接入(FODA)协议.该协议在分群结构的基础上,利用公平冲突预防算法预约信道资源获得轮询服务,从而完全消除了... 基于快速、有效竞争预约接入、无冲突轮询传输的思想和带冲突预防的冲突分解策略,本文提出了适于移动Ad Hoc网络的公平按需多址接入(FODA)协议.该协议在分群结构的基础上,利用公平冲突预防算法预约信道资源获得轮询服务,从而完全消除了载波侦听方式下多跳无线网络业务传输中的隐藏终端和暴露终端问题.另外,公平冲突预防算法解决了节点竞争接入时的冲突问题和不公平现象.最后,仿真结果表明,与带冲突避免的载波侦听多址接入(CSMA/CA)和轮询协议相比,FODA协议可以提供较高的信道吞吐量、较低的平均消息丢弃率和平均消息时延. 展开更多
关键词 移动AD HOC网络 多址接入协议 按需 轮询 公平接入 冲突预防
在线阅读 下载PDF
无线Ad Hoc网络中CSCA协议的仿真研究
14
作者 邢小琴 刘凯 罗喜伶 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第9期2505-2510,共6页
为了有效利用无线Ad Hoc网络中的信道资源,提出了一种多址接入协议,即信道选择冲突避免(CSCA)协议。该协议在公共信道上发送RTS/CTS分组实现握手,采用灵活的信道选择方案选择无冲突的业务信道传输数据分组,接收节点成功接收完数据分组... 为了有效利用无线Ad Hoc网络中的信道资源,提出了一种多址接入协议,即信道选择冲突避免(CSCA)协议。该协议在公共信道上发送RTS/CTS分组实现握手,采用灵活的信道选择方案选择无冲突的业务信道传输数据分组,接收节点成功接收完数据分组后在另一个公共信道上回复ACK分组。最后,利用网络仿真工具OPNET构建了CSCA协议的仿真框架,并在此基础上,通过仿真评估了协议的平均信道利用率、平均分组延迟和分组丢弃率等性能。仿真结果表明,CSCA协议在网络传输业务量重的情况下具有较高的信道利用率、较小的分组时延和分组丢弃率。 展开更多
关键词 无线AD HOC网络 多址接入 信道选择 冲突避免 计算机仿真
在线阅读 下载PDF
无线移动网络节点发包概率的演化博弈模型
15
作者 毛剑琳 向凤红 +2 位作者 付丽霞 郭宁 段绍米 《计算机工程》 CAS CSCD 2014年第6期25-28,共4页
针对大规模无线移动网络中节点对信道资源的群体性随机博弈问题,在载波侦听多路访问/冲突避免(CSMA/CA)的机制下,建立一种节点发包概率的演化博弈模型。考虑节点成功发送数据包的收益、监听、退避和冲突等成本因素,给出并证明该模型的... 针对大规模无线移动网络中节点对信道资源的群体性随机博弈问题,在载波侦听多路访问/冲突避免(CSMA/CA)的机制下,建立一种节点发包概率的演化博弈模型。考虑节点成功发送数据包的收益、监听、退避和冲突等成本因素,给出并证明该模型的演化稳定策略(ESS),推导节点发包概率演化的复制动态方程。数值仿真结果表明,该模型能提供更强的ESS,保证在多个移动节点干扰时演化稳定点的鲁棒性。 展开更多
关键词 载波侦听多路访问 冲突避免 发包概率 演化博弈 演化稳定策略 复制动态
在线阅读 下载PDF
带睡眠机制的IEEE 802.15.4 MAC协议性能分析 被引量:6
16
作者 肖卓凌 何晨 蒋铃鸽 《上海交通大学学报》 EI CAS CSCD 北大核心 2010年第8期1103-1108,共6页
针对IEEE 802.15.4中的周期性睡眠机制,提出了一种IEEE 802.15.4 MAC协议实时应用中完全基于时隙分析的精确建模方法.该方法把IEEE 802.15.4的睡眠机制以及载波侦听多址接入/冲突避免(CSMA/CA)机制同时纳入考虑,将整个超帧以退避时隙... 针对IEEE 802.15.4中的周期性睡眠机制,提出了一种IEEE 802.15.4 MAC协议实时应用中完全基于时隙分析的精确建模方法.该方法把IEEE 802.15.4的睡眠机制以及载波侦听多址接入/冲突避免(CSMA/CA)机制同时纳入考虑,将整个超帧以退避时隙为单位进行划分.通过对2个机制精确到时隙的建模,分析了网络负载以及占空比特别是睡眠机制对能耗、吞吐量及平均服务延迟等网络性能的影响.NS-2仿真结果表明,该模型可准确预测实时应用中IEEE 802.15.4网络性能,且在相同数据率条件下占空比适当的睡眠机制可使得能量消耗以及网络吞吐量达到最优值. 展开更多
关键词 IEEE 802.15.4 睡眠机制 载波侦听多址接入/冲突避免 能耗 吞吐量
在线阅读 下载PDF
CSMA/CA在CSMA/TDMA混合网络中的性能分析 被引量:3
17
作者 崔佳琦 杨剑锋 +1 位作者 徐俊 郭成城 《计算机工程与应用》 CSCD 北大核心 2017年第20期83-88,127,共7页
CSMA/CA机制与TDMA在同频段共存时会存在相互干扰,为评估混合网络中CSMA/CA的性能表现,将TDMA视为周期性的干扰提出改进的二维Markov分析模型,能够计算不同条件下的CSMA/CA饱和吞吐量,并通过仿真实验证明了模型的有效性。同时讨论了TDM... CSMA/CA机制与TDMA在同频段共存时会存在相互干扰,为评估混合网络中CSMA/CA的性能表现,将TDMA视为周期性的干扰提出改进的二维Markov分析模型,能够计算不同条件下的CSMA/CA饱和吞吐量,并通过仿真实验证明了模型的有效性。同时讨论了TDMA时隙分配方式对系统性能产生的影响,仿真结果表明时隙均匀分配方式能保证较低的时延和时延抖动,而连续分配方式能使CSMA/CA获得较高的吞吐量。提出将基于最低信道需求时间的阈值计算方法与吞吐量分析模型相结合,用于在不同应用场景下进行时隙分配方式的选择。 展开更多
关键词 基于冲突避免的载波侦听多路访问(CSMA/CA)协议 时分多址(TDMA)协议 马尔科夫模型 时隙分配 性能分析
在线阅读 下载PDF
IEEE802.11协议中分布式协调机制的性能模型 被引量:7
18
作者 陈弘原 李衍达 《电子学报》 EI CAS CSCD 北大核心 2005年第1期138-141,共4页
IEEE 80 2 11采用异步传输方式作为媒体层的主要技术 ,而基于载波检测碰撞避免的分布式接入机制则是其最大的特点 .关于分布式接入机制的研究 ,目前已经有了许多的模型 ,但是 ,大部分的模型都是研究终端所产生的数据包是固定长度 ,很... IEEE 80 2 11采用异步传输方式作为媒体层的主要技术 ,而基于载波检测碰撞避免的分布式接入机制则是其最大的特点 .关于分布式接入机制的研究 ,目前已经有了许多的模型 ,但是 ,大部分的模型都是研究终端所产生的数据包是固定长度 ,很少有模型来研究终端数据包是可变长度的情况 .这种情况下的难点就是不易求得碰撞发生时信道所消耗的时间长度 .本文则研究在终端数据包长度的分布函数为f(x)下协议的吞吐量和延迟性能模型 .首先本文将原标准协议的退避算法看成是有固定大小的竞争窗口 ,用以求得站点的发送概率 ;然后 ,分析信道的工作状态 ,给出了性能模型 ,重点在求解碰撞消耗的信道时间 ,在文章的最后 ,我们通过仿真试验来验证了模型的正确性 . 展开更多
关键词 无线局域网 性能评估 性能模型 碰撞检测碰撞避免 分布式协调机制
在线阅读 下载PDF
基于CSMA的无线射频识别防碰撞算法 被引量:6
19
作者 刘闯 惠晓威 《计算机工程》 CAS CSCD 北大核心 2011年第18期284-286,共3页
传统无线射频识别防碰撞算法的系统吞吐率普遍不高。为此,提出一种基于载波侦听多路访问(CSMA)的新算法。在标签发送数据前,增加一个保护时间带,并对信道侦听操作进行同步处理,以提高信道侦听的准确性,降低数据发送的盲目性。实验结果表... 传统无线射频识别防碰撞算法的系统吞吐率普遍不高。为此,提出一种基于载波侦听多路访问(CSMA)的新算法。在标签发送数据前,增加一个保护时间带,并对信道侦听操作进行同步处理,以提高信道侦听的准确性,降低数据发送的盲目性。实验结果表明,与其他算法相比,该算法具有较高的系统吞吐率和较短的数据传输时延。 展开更多
关键词 无线射频识别 防碰撞算法 载波侦听多路访问 ALOHA协议 帧时隙ALOHA算法
在线阅读 下载PDF
CSMA/CD协议的形式化描述与验证 被引量:1
20
作者 张涛 袁键 田宏林 《计算机应用》 CSCD 北大核心 2013年第A02期235-237,268,共4页
模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言进行建模实现。最后,使用模型检测工具SPIN对协议实现的正确性、状态可达性以及可能存在的不可推进循环... 模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言进行建模实现。最后,使用模型检测工具SPIN对协议实现的正确性、状态可达性以及可能存在的不可推进循环进行了分析和检验,并从结果的有效性和正确性方面得出了相应验证输出图。 展开更多
关键词 PROMELA SPIN 协议验证 载波监听多路访问 冲突检测机制 形式化
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部