论文部分内容阅读
随着计算机网络与分布式系统的发展,通信协议的设计和实现的复杂性的增加导致了协议程技术的出现.讨论协议形式描述与验证技术的目的与方法,重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点.
网络协议描述和验证技术的分析与比较
【摘 要】
：
随着计算机网络与分布式系统的发展,通信协议的设计和实现的复杂性的增加导致了协议程技术的出现.讨论协议形式描述与验证技术的目的与方法,重点介绍了基于FMS、通信演算系统
【机 构】
：
山东理工大学,南京理工大学
【出 处】
：
山东理工大学学报(自然科学版)
【发表日期】
：
2004年2期
其他文献
木薯是众多重要的能源作物之一,国内外许多实验室致力于木薯功能基因的研究。本实验室近几年主要针对Xin Chen等(2010)、Sraphet等(2011)发表的两份木薯遗传图谱,利用课题组
目的：分析护理和健康教育对糖尿病的效果。方法：我院内分泌科糖尿病患者120例随机分为实验组和对照组各60例，对照组仅予对症治疗，实验组对症治疗后予护理及健康教育指导。结果：实
介绍了在Solid Edge环境下,如何利用其应用程序开发接口(API)及内部标准函数,实现对标准斜齿圆柱齿轮的三维实体造型;并且以标准控件的形式,结合VB开发语言界面,实现了对斜齿
介绍了Dallas公司的单总线数字温度传感器DS18B20的特性、工作原理及传输通讯协议.该芯片能够在单总线上进行双向数据传输,并可组网实现多点测温,AVR单片机具有较为优越的性
1999年下半年 ,全球发生了两次 7.7级以上大地震 ,地震活动水平显著增强。半年内共发生 6级以上地震 5 3次 ,比上半年多 1 3次 ,其中大洋岛弧和西北太平洋地区分别发生 1 9次和 1 7次 ,占前两名。最大的 3次地震是 :8月 1 7日土耳其西北部地震、 9月 2 0日中国台湾地震和 9月 3 0日墨西哥近海地震。本年度地震活动为高水平 ,扭转了连续 3年的下降趋势。 2 0 0