一种改进的SRARQ协议的Pr/T网描述与验证

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:cnforyou2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论一种采用改进的选择重发策略的ARQ(自动重发请求)协议,其特点是设置有限缓冲区和采用改进的重发算法。基于以上讨论,给出该协议的谓词/变迁Petri网(Pr/T网)描述和验证。 Discusses an ARQ (Automatic Repeat reQuest) protocol with an improved selective retransmission strategy that features limited buffering and improved retransmission algorithms. Based on the above discussion, the protocol of predicate / transition Petri net (Pr / T network) description and verification is given.
其他文献
南安市地处福建东南沿海,是福建省的一个农村大县(市),全市面积2036平方公里,有“七山一水二分田”之说,共有380个村委会,33个居委会,人口150万。改革开放以来经济快速增长,
1引言自国家教委决定建设中国教育科研计算机网络(CERNET)以来,国内各大学都在着手建设自己的校园网。重点大学由于具有人力和物力的优势,比较容易建设自己的校园网。对于数量比较多的中
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
“三个代表”重要思想是历史唯物主义基本原理与马克思主义建党学说基本原则相融合的一个理论整体。它的精神实质在于“立党为公 ,执政为民” ,其核心在于坚持党的先进性。“
【课题】歌曲《小巴郎,童年的太阳》。【教材版本】全日制义务教育《音乐课程标准》(冀教版)实验教材第七册第六单元。【教材分析】歌曲《小巴朗,童年的太阳》是一首活泼、欢
情绪伴随人的一生,从出生到死亡,各种不同的情绪随着人们的生活、学习、工作不断变化,所以人们对“情绪”一词并不陌生。但人们对于和自己朝夕相伴的情绪却不能更多地科学地
用科学发展观指导统战工作,就必须把科学发展观作为指导统战工作的重要原则,用科学发展观武装我们的头脑,指导实践,推动工作,进而认真学习科学发展观,牢固树立科学发展观,努
学校具有一定的“参与社会交换”的属性,学校与市场和世界的关系越来越紧密。我国现行的学校课程之所以流于形式,是因为国家统得过死。要想有好的教师,不仅要开展校本培训,而
本文将先进的计算机网络技术应用于农村工作的管理中,采出了一种未来农村网络办公系统的新概念,并介绍了该系统的组成、机理及其基本功能。 In this paper, advanced computer
一、新颖别致,激发兴趣。兴趣是学习的原动力之一,它具有情感和注意两个方面的特点。新颖别致的作业题,能激起学生的学习兴趣。“一尺之槌,日取其半,万世不竭。”既是一个优美的文