论文部分内容阅读
网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后。指出时序逻辑作为网络协议形式化模型的独特优越性，然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。
网络协议形式化模型的分析与应用
【摘 要】
：
网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后。指出时序逻辑作为网络协议形式化模型的独特优越性，然后给出用
【机 构】
：
苏州大学计算机科学与技术学院,暨南大学深圳旅游学院计算机中心,重庆师范大学数学与计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年23期
其他文献
本文是针对低碳风景园林功能特点与设计原则的探讨。低碳风景园林是园林行业近年来发展的新方向,它是在我国当下提倡节能、环保、低碳的环境中提出来的。低碳风景园林不仅有
网格和Overlay Network已经引起研究领域和工业界的广泛关注，然而，工业、学术以及商业界的研究主要围绕网格的应用、服务和中间件，很少研究基础网络。论文提出了一种基于Oveday
梅坎铁路大埔车站DK80+820～DK81+050段原设计右侧为深路堑。2000年4月底、5月初,由于梅州地区持续近10天的暴雨,导致上述路段右侧路堑滑坡。排水软管是本路堑工程滑坡综合整治
目前国内的移动通讯业务不断扩张，用户量迅猛增加。移动运营商在面对巨大市场的同时，也面临着巨大的挑战。一是其网络设备的数量和种类急剧增多，网络拓扑结构更加复杂，网络负载也
为了充分利用天然砂砾材料降低公路工程造价,完善级配砂砾柔性基层路面结构的设计和施工,结合西藏地区国道318线聂樟段试验路,分析了级配砂砾基层强度形成原理,以工地原材料