【#文档大全网# 导语】以下是®文档大全网的小编为您整理的《网络协议分析试卷(共9页)》，欢迎阅读！
本试卷适应范 围
网络工程
南 京 农 业 大 学 试 题 纸
2015-2016学年2学期 课程类型：必修√、选修 试卷类型：A、B
课程号 1920247 课程名 网络协议分析 学分 2
学号 姓名 班级 题号 得分
装订线 装订线
一
二
三
四
五
六
七
八
九
总分
签名
一、填空题（30空，每空1分，共30分）
1. 网络协议的三要素： 、 、 。
2. 在协议工程过程中，协议的5种表现形式： 、 、
、 、 。
3. 协议验证的两类主要方法：、 、 。
4. 根据差错发生的位置，差错的三种类型： 、 、
。
5. 差错检测技术： 、 、
、 、 。
6. 简化FSM的方法主要有： 、 、 、
、 _____。
7. SDL是一种基于 和 的混合技术。
8. 协议运行方式有三种： 、 和 。
9. 衡量可达性分析算法效果的两个主要指标： 、 。
二、简答题（4题，每题5分，共20分）
1. 简述协议工程的定义。
2. 简述差错控制的两种途径。
3. 一个系统的FSM是由各个子系统和通道的FSM合成的，请简述合成方式。
4. Petri网的行为性质和结构性质。
三、阅读题（2题，每题10分，共20分）
1. 阅读下列关于系统的SDL/GR描述规范，给出相应的SDL/PR描述规范。
图 1 SDL/GR表示系统
2. 根据下面关于进程的SDL/PR描述规范，给出相应的SDL/GR描述规范。
PROCESS P1(1,10); DCL num Natural; START;
TASK num :=0;
NEXTSTATE State_A; STATE State_A; INPUT S1;
NEXTSTATE State_B; SAVE Sa; ENDSTATE; STATE State_B: INPUT Sa;
DECISION num; (0:9):
TASK num := num+1; NEXTSTATE State_B; (=10):
OUTPUT S3; STOP; ELSE
OUTPUT Sb; STOP;
ENDDECISION; ENDSTATE; ENDPROCESS;
四、综合题（3题，每题10分，共30分）
1. 分析图所示的Petri网的有界性、活性和可逆性，并说明理由。
本文来源：https://www.wddqxz.cn/09c06f0d6ddb6f1aff00bed5b9f3f90f77c64d40.html
2022-06-08
