| 一种新的状态转移模型 |
| |
| 引用本文： | 匡雷,聂涛. 一种新的状态转移模型[J]. 北京交通大学学报(自然科学版), 1990, 0(1) |
| |
| 作者姓名： | 匡雷 聂涛 |
| |
| 作者单位： | 北方交通大学通信与控制工程系，北方交通大学通信与控制工程系 |
| |
| 摘 要： | 本文提出了一种用于计算机协议分析与验证的新状态转移模型——复合转移模型,这种模型的优点是可以弥补目前所通用的混合模型的2点不足。1.验证混合模型时,需要使用2种完全不同的方法,这不利于验证的自动化实现;2.混合模型中的转移模型部分与语言模型部分联系较弱,在验证中其相互影响得不到充分体现;本文叙述了复合模型的构成,与混合模型之间的转换,及其分析方法。
|
| 关 键 词： | 计算机通信 数据通信 语法分析 |
A New-State Transitional Model |
| |
| Kuang Lei Nie Tao. A New-State Transitional Model[J]. JOURNAL OF BEIJING JIAOTONG UNIVERSITY, 1990, 0(1) |
| |
| Authors: | Kuang Lei Nie Tao |
| |
| Affiliation: | Department of Communications and Control |
| |
| Abstract: | |
| |
| Keywords: | computer communication data communication language analysis |
| 本文献已被 CNKI 等数据库收录！ |
|
