论文部分内容阅读
讨论一种采用改进的选择重发策略的ＡＲＱ（自动重发请求）协议，其特点是设置有限缓冲区和采用改进的重发算法。基于以上讨论，给出该协议的谓词／变迁Ｐｅｔｒｉ（网Ｐｒ／Ｔ网）描述和验证。
一种改进的SR ARQ协议的Pr／T网描述与验证
【摘 要】
：
讨论一种采用改进的选择重发策略的ＡＲＱ（自动重发请求）协议，其特点是设置有限缓冲区和采用改进的重发算法。基于以上讨论，给出该协议的谓词／变迁Ｐｅｔｒｉ（网Ｐｒ／Ｔ网）描述和验证。
【机 构】
：
复旦大学
【出 处】
：
计算机工程与应用
【发表日期】
：
1998年9期
其他文献
探讨纺织厂空调室布置对节能效果的影响。以某纺织厂细纱车间空调室为例，采用实际测试的方法，发现该细纱车间仿洛瓦空调室存在空气流道阻力大、风机效率低、挡水板过水量大、热
探讨简易型清梳联的二次升级改造方案。分析了简易型清梳联改造中存在的几个问题，提出了对其进行二次升级改造的方案。输送系统通过采用压力动态监测，保持了梳棉上棉箱棉量动态
为确保PLC系统控制始终处于可靠、高效、稳定运行的状态，以粗纱机应用为例，针对PLC系统在其安装应用过程中出现的一些细节问题采取了一系列措施。从常见干扰源产生的源头出发，利
探讨精梳棉／Richcel／麻浆蛋白改性粘胶混纺纱的生产要点。介绍了Richcel纤维、麻浆蛋白改性粘胶纤维的性能特点及物理指标。采用先将Richcel纤维和麻浆蛋白改性粘胶纤维原料混
子宫肌瘤是女性生殖道最常见的良性肿瘤之一。30岁以上的妇女中约有20％患有子宫肌瘤，其中有临床症状而就诊的约为1／4左右。美国每年约有60万妇女为此做子宫切除．我国无确切统计，但
我公司的E62型精梳机运行高效稳定，设备维护和故障排除都比较方便，但刹车片的工作寿命只有2年～3年。经过检查分析发现，刹车片快速消耗的原因在于每次停车时，在电机高速下强行制动
操作调度是高级综合中的最重要的任务本文提出了一种条件结构的调度算法，该算法以一种自低向上的途径将一个具有嵌套条件结构的控制数据流图转化为一个不包含条件结构的等价的