【摘 要】
：
本文提出了一种用于计算机协议分析与验证的新状态转移模型——复合转移模型,这种模型的优点是可以弥补目前所通用的混合模型的2点不足。1.验证混合模型时,需要使用2种完全不
【机 构】
：
北方交通大学通信与控制工程系,北方交通大学通信与控制工程系,
论文部分内容阅读
本文提出了一种用于计算机协议分析与验证的新状态转移模型——复合转移模型,这种模型的优点是可以弥补目前所通用的混合模型的2点不足。1.验证混合模型时,需要使用2种完全不同的方法,这不利于验证的自动化实现;2.混合模型中的转移模型部分与语言模型部分联系较弱,在验证中其相互影响得不到充分体现;本文叙述了复合模型的构成,与混合模型之间的转换,及其分析方法。
This paper presents a new state transition model - compound transfer model for computer protocol analysis and verification. The advantage of this model is that it can make up for the shortcomings of the current hybrid model. 1. It is necessary to use two completely different methods to verify the hybrid model, which is not conducive to the realization of verification automation. 2. The transition model part of the hybrid model is weakly connected with the part of the language model and can not interact with each other in the verification Fully embodied; This article describes the composition of the composite model, mixed model with the conversion, and its analysis.
其他文献
文章通过探究丢勒和伦勃朗素描风格的不同,揭示观念决定观察方式和思维方式,观察方式和思维方式又决定表达方式和风格,从而指出素描教学的先决问题是引导学生明晰自己的观念
本文是作者根据其工作结果写成的总结性文章。文章通过锗电阻和渗碳玻璃温度计在不同条件下的实验结果分析指出:适当选择温区,渗碳玻璃的特性单调,稳定性较好。本文还较详细
广大业余测报员在进行土地电观测时,迫切要求手段自动化,这里介绍一种简革的、落弓式打点自记仪.这种简易仪器在自记过程中同时可以进行人工读数,方便适用,制作简单,只要把微
采用运筹学中线性规划的单纯形法，确定了切削用量最优方案。取切削速度和进给量为主要变量。确定目标函数，切削加工中的约束条件，求得切削变量的最优解，编制了切削用量优化程序框
G 02 B 27/44 CN 1036641A 株式会社三丰(日)1989.1.21 在使用发散光的反射型编码器中,从点光源发出的发散光被聚光透镜会聚成次级点光源,且次级点光源位于分度盘第二光栅的
本文介绍了一种应用数字计算机绘制根轨迹的计算方法和框图。本法对于能整理成(?)形式的传递函数是适用的。文中并附有应用示例。
This article introduces a calculation m
本文简述了应用ＣＣＤ摄象机进行立体测量的原理，介绍了应用于无缝钢管生产过程测量长度的系统结构，给出了实验结果。
This paper briefly describes the principle of using CCD ca
描述控制设备(阀门、马达)彼此相互之间的关系,如用逻辑图解的方法代替警长的文字说明,则可以更简单地加以表达。化工厂内有很多设备在任何时间内仅基于两个之中的一个状态
本文介绍的是一种在半导体传感器基础上开发而成的由微型计算机系统来控制的露点湿度计。其中就湿度检测原理、硬件构成、软件功能和提高测量精确度的措施作了论述,对发展固
本文根据J.D.Vander Waals气体状态方程式(P+aN~2/V~2)(V-bN)=NRT给出一个计算单一实际气体P、V、T、N的程序。用FORTRAN语言编制,结构简单,通用性强,用户可随时查找所需要