本试卷适应范 围 网络工程南 京 农 业 大 学 试 题 纸 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.wddqw.com/doc/09c06f0d6ddb6f1aff00bed5b9f3f90f77c64d40.html