论文部分内容阅读
协议设计、开发的复杂性的增加,导致了协议工程技术的出现.针对协议工程活动中的协议验证与分析阶段,阐述了验证技术的目的与方法,分析了当今常用的协议模型技术,重点介绍了基于Petri网、FMS,以及时序逻辑TL模型的协议验证技术.
计算机网络通信协议验证技术的研究
【摘 要】
：
协议设计、开发的复杂性的增加,导致了协议工程技术的出现.针对协议工程活动中的协议验证与分析阶段,阐述了验证技术的目的与方法,分析了当今常用的协议模型技术,重点介绍了
【机 构】
：
北京联海信息系统有限公司,北京,100053
【出 处】
：
移动信息
【发表日期】
：
2016年7期
其他文献
本文主要讨论了道义逻辑存在的一些问题，并构造了一个刻画法律规范推理的逻辑系统。 道义逻辑是研究规范推理的一个逻辑学分支，最初是模拟真势模态逻辑建立起来的。冯.赖特
社会交往是人的存在方式,是社会发展的内在生存机制。交往手段是交往能力发展水平的重要标志,也是社会交往方式变革的重要力量。21世纪以降,作为全新的信息交互手段—网络信
电容换相换流器(capacitor commutated converter,CCC)是通过对传统直流输电系统主回路结构进行改造,串入适当的电容,补偿换流器吸收的无功功率,使得实际的换相电压在幅值和
通过田间接卵和室内PCR分子检测 ,对采用回交法育成的Mo17Bt、4 78Bt、综 3Bt和 87 1Bt等 4个转Bt基因自交系的抗虫性以及Bt基因的存在 ,进行鉴定。结果表明 ,4个转基因自交
Sennheiser在InfoCommChina2012展示了2012年全新推出的XS无线系列话筒，这是该系列产品首次在亚洲亮相，吸引了不少观众驻足了解。该系列是Sennheiser针对对音质、稳定性、品牌
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
人类的脚步已经迈入了一个新的世纪，展现在人类面前的是一幅壮丽的世界图景，人类正踌躇满志的大步向着新世界进军。然而道路并不是平坦的、一帆风顺的，路上也有荆棘，也有磕拌。威
在改革开放进程中,我国经历了四次大的思想解放运动,对社会主义现代化建设产生了深远的影响。本文从历史发生学的角度出发,对四次思想解放运动进行了重新梳理,着重分析其发展
当今世界,经济全球化趋势深入发展,科技进步日新月异,代表创新的发明专利已成为国家竞争力的核心要素,掌握和控制关键领域、核心技术和重大装备中的知识产权成为各国竞争的焦