论文部分内容阅读
本文研讨局部网络的运输协议及其形式描述技术.文中论述了局部网络建立运输层的必要性和可能性.讨论了局部网络体系结构中的运输层、运输服务和运输协议的设计,给出了该运输协议的一种基于有限状态自动机(FSA)的形式描述,并通过可达树对该协议的正确性进行了验证.
局部网络运输协议的形式描述与验证
【摘 要】
：
本文研讨局部网络的运输协议及其形式描述技术.文中论述了局部网络建立运输层的必要性和可能性.讨论了局部网络体系结构中的运输层、运输服务和运输协议的设计,给出了该运输
【机 构】
：
武汉水运工程学院计算机科学系武昌430063
【出 处】
：
计算机学报
【发表日期】
：
1992年8期
其他文献
新型冠状病毒肺炎是一种新发疾病,根据目前对该疾病的认识制定本指南,适用于疾病流行期间公众个人预防指导。1.尽量减少外出活动。①避免去疾病正在流行的地区。②建议春节期
期刊
地铁建设正由满足基本功能向提高建设品质转变,提高环境的体验品质是建设急需解决的问题。出入口周边景观作为人流汇聚的重要窗口,能反映城市特质,改善城市交通形象。国内地
厦门石渭头污水处理厂一期工程规模为10×104 m3/d,出水水质执行《污水综合排放标准(》GB 8978—1996)的二级标准,规划远期总规模为40×104 m3/d。本次改扩建工程包括扩建10
目的探讨多普勒超声指标心肌能量消耗（MEE）在心肌梗死不同时期患者中的变化及临床意义。方法选取确诊为心肌梗死、且无心力衰竭的患者51例，按诊断分为急性心肌梗死（AMl）组28例，陈旧
<正>在信息化加快发展的背景下,企业的运营管理中运用信息技术与信息化手段的范围越来越广,很多企业都在加快信息化建设,以此提升运营管理水平。财务管理工作是企业重要的管
在对东天山特殊景观地球化学条件研究的基础上,采用特定粒级(2～10 mm)、多点采样(采样点距内等距离等量筛取5处残积岩屑)的方法,开展了两个图幅的1∶5万岩屑地球化学普查,相继
本文以文献资料法、实地考察法为主要研究方法,以近代史上青岛体育娱乐活动作为本研究的分析对象,将研究焦点对准民众的休闲生活,以城市文化的视角梳理分析青岛及周边地区的