网络通信协议形式化描述与验证技术的研究

来源 :重庆师范学院学报(自然科学版) | 被引量 : 0次 | 上传用户:cool_face
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
首先概述当今常用的协议模型技术;然后重点剖析基于FSM、Petri网和TL模型的协议形式化描述与验证技术的研究现状;最后介绍了一种最新协议描述技术──Z协议技术。此外,本文还对这四种协议形式化技术各自的特点发表了作者的观点。
其他文献
艾滋病救治具有深刻的伦理性,对艾滋病救治的关注,理应纳入到生命伦理的视角。本文在分析论述生命神圣观、生命质量观、生命价值观、医学人道观的内涵和意义的基础上,从这四
本文基于反应挤出己内酰胺阴离子开环聚合,以苯乙烯和己内酰胺为主要原料,双螺杆挤出机为反应容器,通过反应挤出制备了PA6/PS原位合金。使用扫描电子显微镜(SEM)、示差扫描热
目的探讨与分析急性重症病毒性心肌炎患者临床治疗活动中,其自我护理行为情况及其与生活质量的关系。方法选择来我院接受治疗患有重症病毒性心肌炎患者作为研究对象(共46例),
本文对110kV大侣智能变电站自动化系统的设计方案进行了应用分析:①过程层采用SV+GOOSE+IEEE1588共网传输模式下的保护、控制、计量、录波配置方案;②采用不同原理的电子式互
众所周知,党报是党和人民的喉舌,党的新闻舆论工作是党的一项重要工作,是治国理政、定国安邦的大事。党报记者如何把握正确的舆论方向,坚持党性原则,为人民群众创造出更多优
介绍了一种能够可靠切换混合动力汽车高电压、直流电机负载的继电器解决方案。
习近平总书记曾指出,要用抓好人才这个第一资源来支撑发展这个第一要务,使人才工作和人才队伍的发展与经济社会的发展更加协调。一要打通人才向基层一线流动的通道。习近平总
<正>台州市黄岩区是浙江省越冬型番茄主产区,全区现有越冬大棚番茄413.33hm2,总产量2.95万t,产值达5000多万元,产品主要销往省内宁波、杭州、金华及省外上海、江苏等地。近几
<正>《再造空间——引领城市革命:玛莎·舒瓦茨事务所景观设计作品》玛莎·舒瓦茨著出版时间:2011年11月出版社:Thames&Hudson页数:300页ISBN:978-0500342787幅面尺寸:215mm
安全工作是电力企业永恒的主题,是电力企业生存发展的重点,工程项目的安全管理对施工过程中的安全保障起着重要作用。本文研究了安全系统工程及安全控制方法,并结合某变电站