网络协议分析试卷详解.doc

南 京 农 业 大 学 试 题 纸 2015-2016学年2学期 课程类型：必修√、选修 试卷类型：A、B 课程号 1920247 课程名 网络协议分析 学分 2 学号 姓名 班级 题号 一 二 三 四 五 六 七 八 九 总分 签名 得分 一、填空题（30空，每空1分，共30分） 网络协议的三要素： 、 、 。 在协议工程过程中，协议的5种表现形式： 、 、 、 、 。 协议验证的两类主要方法：、 、 。 根据差错发生的位置，差错的三种类型： 、 、 。 差错检测技术： 、 、 、 、 。 简化FSM的方法主要有： 、 、 、 、 _____。 SDL是一种基于 和 的混合技术。 协议运行方式有三种： 、 和 。 衡量可达性分析算法效果的两个主要指标： 、 。 二、简答题（4题，每题5分，共20分） 简述协议工程的定义。 简述差错控制的两种途径。 一个系统的SM是由各个子系统和通道的 Petri网的行为性质和结构性质。 三、阅读题（2题，每题10分，共20分） 阅读下列关于系统的SDL/GR描述规范，给出相应的SDL/PR描述规范。 图 1 SDL/GR表示系统 根据下面关于进程的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;