计算机网络协议的形式模型研究

来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户:kikuL
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文讨论了计算机网络协议的一种抽象形式模型。文中利用该模型对通信协议的某些重要概念及性质进行了定义和形式描述,研讨了某些典型形式描述技术:Petri网、LOTOS和关系表示法之间的语义联系。
其他文献
本文重点介绍了对象技术的新动向、新进展。它包括:分布式对象计算、面向对象数据库与数据库的集成技术、面向对象软件的测试技术及相应的标准化工作。
目的:总结80例慢性支气管炎患者的护理要点,提高患者舒适度。方法:给予80例慢性支气管炎患者饮食、休息、对症、药物、心理等护理。结果:患者症状明显缓解,住院时间缩短,复发率降低
前几天接到星友的求助,要把两台故障机DM500S发来维修,通过QQ了解了大概故障后,遂叫星友发来。机器到手后按照星友发来的故障单描述检测机器,详细故障描述见照片。第一台机器
在大数据时代,各行业企业越来越需要依靠数据来进行同常决策并发掘其相关价值潜力。从传感器数据到网站数据,再到销售数据,企业中可被量化和依靠数据进行分析的业务日益增多。但
2007年10N1日,日本首次播出3D广告,内容是某品牌眼镜。由于广告采用的是Anaglyph方式,观众在家里现有的电视机上就可收看,只是观看时必须配戴“红蓝眼镜”,好在该品牌眼镜下属连锁店期间免费发放“红蓝眼镜”给蜂拥而至的市民,广告效应自然不言而喻。  同年12月,Bs卫星电视开播名为“3D革命”的立体电视节目,当时在“BigCamera”电器店展示收看“3D立体革命”节目需要3D电视机以及专
近年来,随着医学的迅速发展,腹腔镜手术已成为妇科手术中很重要的一种手术方式,具有不开腹、创伤小、恢复快、疼痛轻等优点,对女性患者来说无疑是理想的手术方式[1].随着腹腔
本文介绍并分析了近几年在软件维护与逆向工程领域中的一些研究工作。这些工作涉及软件维护模型、程序观察、程序数据库、超文本、程序高层抽象和反编译等内容。
企业级IT应用程序的高度标准化和高度可管理性将变得极其重要,这是市场发展的重大趋势,也是商业实践中的关键。云计算这场运动至今已超过10年,这种变化因何而起,方向在哪里?这
<正>一种针对乙型脑膜炎的疫苗或能阻止耐抗生素的超级淋病的扩散。近日,世界卫生组织(WHO)报告称,在77个寻找耐抗生素的淋病的国家中,有81%对azithromycin具有抵抗力的菌株
无论是由致使头撞到仪表盘上的车祸引发,还是高度接触性运动对颅骨造成的多次重击所致,创伤性脑损伤可能是永久性的。根据现代医学智慧,目前尚无药物逆转认知减退和记忆丧失,而任