网络协议分析试卷(共9页)

2022-06-08 12:42:08 第一文档网 [ 字体：小中大 ] [

阅读： ] [

说明：文章内容仅供预览，部分内容可能不全。下载后的文档，内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的，是否完整无缺。下载word有问题请添加QQ：admin处理，感谢您的支持与谅解。

【#第一文档网# 导语】以下是®第一文档网的小编为您整理的《网络协议分析试卷(共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.dywdw.cn/09c06f0d6ddb6f1aff00bed5b9f3f90f77c64d40.html