论文部分内容阅读
802.11MAC层的切换过程是其协议的一个重要组成部分,它影响着网络的动态拓扑结构.利用π演算理论来进行分析,可以严格而规范地描述其切换过程.在本文中,首先建立了切换的π演算模型,然后通过推导,证明了模型的一致性.这将为802.11MAC层的研究提供一定的参考和分析价值.
802．11MAC层切换过程的代数验证
【摘 要】
：
802.11MAC层的切换过程是其协议的一个重要组成部分,它影响着网络的动态拓扑结构.利用π演算理论来进行分析,可以严格而规范地描述其切换过程.在本文中,首先建立了切换的π演
【机 构】
：
复旦大学计算机与信息技术系
【出 处】
：
计算机工程与科学
【发表日期】
：
2004年7期
其他文献
[本刊讯]第三届、第四届＂礼敬中华优秀传统文化＂系列活动成果展示交流会暨全国高校博物馆育人联盟第五次会员大会在江南大学召开。＂礼敬中华优秀传统文化＂系列活动由教育部和光明
李克强总理在2016年的《政府工作报告》中提出“鼓励企业开展个性化定制、柔性化生产，培育精益求精的工匠精神，增品种、提品质、创品牌。”这是“工匠精神”第一次被政府层面提
为进一步提高国产服务器操作系统Kylin的Web服务性能，本文设计并实现一种新型基于软流水的内核级Web服务器。在分析目前主流Web服务器的体系结构和实现技术的基础上，本文详细地
本文设计了一种基于曲线拟合进行笔迹存储和绘制的方法。该方法综合了反算非均匀B样条控制点算法、deBoor非均匀B样条算法、等距加权采样算法,以及折点识别算法等算法的优点。通过该方法来存储和绘制笔迹,可以减少拟合后笔迹与原笔迹的误差,减小笔迹存储的数据量,并且可以解决笔迹在缩放过程中产生的变形问题。本方法应用于手写勾画系统中可以取得非常好的效果。
本文提出一种语音端点检测方法,将小波变换模极大值应用于信号突变点的检测,有效地控制了噪声,能精确地检测出语音端点.
本文首先对关联规则的支持-置信框架存在的不足进行了分析,然后引入了规则的兴趣度概念,利用兴趣度来约束冗余关联规则的产生,以提高挖掘知识的有用性,并给出了算法描述.