论文部分内容阅读
本文论述了协议的形式描述与验证的主要技术,讨论了基于标号有限状态机的形式描述与验证问题,给出了应用实例。
基于标号有限状态机的协议形式描述与验证
【摘 要】
：
本文论述了协议的形式描述与验证的主要技术,讨论了基于标号有限状态机的形式描述与验证问题,给出了应用实例。
【机 构】
：
武汉交通科技大学
【出 处】
：
计算机应用与软件
【发表日期】
：
1998年03期
其他文献
目的:研究注射用血栓通(冻干)近几年在脑血管疾病的临床运用进展。方法:通过查询近几年中国知网数据库中的相关文献,总结注射用血栓通(冻干)在脑血管疾病方面的临床运用。结
在阐述了板蓝根种子繁育生物学特性的基础上,从加强板蓝根第一年营养生长时期的管理,第二年生殖生长时期的管理和病虫害防治等方面,介绍了板蓝根良种繁育技术,旨在为获得板蓝
针对传统粒子群算法在求解梯级水库调度问题时，容易陷入局部最优而早熟收敛的问题，提出自适应粒子群算法。该改进算法结合种群进化程度自适应调整算法控制参数，从而克服传统粒子
加人世贸组织以来，我国的农业生产发生了前所未有的巨大变化，市场经济的大潮推动着农村、农业的变革，山西的粮食生产尤其是玉米生产也经历了一场新的洗礼。经济效益的拉动和科学
湖南省衡东县在抗灾改种中,用常规早稻品种中早39作倒种春,获得超出预期的高产,生育期合适,农艺性状好,表明该品种适宜用作灾后改种倒种春。生产中要把握直播、力争早播、大
文章从传感器的教学现状出发,分析了传感器教学存在的几点问题,针对这些问题对传感器的教学内容、教学方法、教研结合、考核方式提出了改革建议。通过传感器的教学改革提高学
本文介绍一种在公用电话网中进行数据传输的分布式测控系统,它采用先进的计算机技术、测控技术和通信技术,实现了测、控、管一体化。本文讨论该系统的结构及特点,并详细论述了中小型过程测控网中分布式测控系统的软件设计。
本文以三叉树结构为基本指导思想,结合系统工程中常用的思维方式,对三维实体的空间优化进行了深入的探讨,建立了一套较为完善的优化方法,并在此基础之上进行了大量的实践,编制了一套优化的计算软件,为进一步研究该问题奠定了基础。