网络协议分析试卷

南京农业大学试题纸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分）本试卷适应范围网络工程121、122装订线装订线1.简述协议工程的定义。2.简述差错控制的两种途径。3.一个系统的FSM是由各个子系统和通道的FSM合成的，请简述合成方式。4.Petri网的行为性质和结构性质。三、阅读题（2题，每题10分，共20分）1.阅读下列关于系统的SDL/GR描述规范，给出相应的SDL/PR描述规范。图1SDL/GR表示系统2.根据下面关于进程的SDL/PR描述规范，给出相应的SDL/GR描述规范。PROCESSP1(1,10);DCLnumNatural;START;TASKnum:=0;NEXTSTATEState_A;STATEState_A;INPUTS1;NEXTSTATEState_B;SAVESa;ENDSTATE;STATEState_B:INPUTSa;DECISIONnum;(0:9):TASKnum:=num+1;NEXTSTATEState_B;(=10):OUTPUTS3;STOP;ELSEOUTPUTSb;STOP;ENDDECISION;ENDSTATE;ENDPROCESS;四、综合题（3题，每题10分，共30分）1.分析图所示的Petri网的有界性、活性和可逆性，并说明理由。2.观察下图，回答以下问题：（1）下图中哪个变迁可以点火，并说明理由。（2）画出点火后Petri网的结构和标记分布。（3）下图的Petri网是否可以一直点火，如不能请说明原因。3.分析图所示的Petri网的有界性、活性和可逆性，并说明理由。系主任出卷人参考答案一、填空题1：语法、语义、同步。2：非形式描述文本、形式描述文本、与机器无关的源程序代码、实现代码、测试集。3：模型检查、演绎验证。4：通信链路差错、路由差错、通信节点差错。5：奇偶检验、循环冗余检验、UUCP检验和、算术检验和、前向纠错（FEC）技术。6：状态层次化、使用原子过程、使用协议变量、隐藏内部协同事件、简化通道FSM。7：扩展有限状态机、抽象数据类型。8：协议交替、协议并发、协议并行。9：覆盖率、查错率。二、简答题1：简述协议工程的定义：一体化、形式化的协议开发过程称为协议工程。所谓“一体化”，是指协议描述、验证、实现和测试等技术前后衔接，并在同一个开发系统中完成。所谓“形式化”，是指形式描述技术贯穿于协议开发的各个阶段，使得协议的研究开发可以独立于非形式的自然语言文本和最终实现代码，避免协议验证测试的复杂性。2：简述差错控制的两种途径1）：硬件途径。这种途径选用高可靠性的设备和传输媒体（如光纤）及相应的辅助措施（如屏蔽）来提高传输的可靠性。2）：软件途径。这种途径通过通信协议来实现差错控制。在通信协议中，通过差错检测、肯定确认、超时重传、否认重传、选择重传等措施来实现差错控制。3：一个系统的FSM是由各个子系统和通道的FSM合成的，请简述合成方式。1）：简化各个FSM；2）：将两个单工通道合成一个全双工通道；3）：对任意两个彼此耦合的系统合成中间系统，并简化合成后的中间系统。然后将中间系统再合成，直至获得全局的FSM为止。4）：合成全局系统后，消去无用的状态，必要时隐藏内部协同事件。4：Petri网的行为性质和结构性质。行为性质：1）：可达性2）：有界性和安全性3)：活性4）：可逆性5）：可覆盖性6）：可持续性7）：公平性结构性质：1）：结构活性2）：结构有界性3）：可重复性4）：相容性5)：结构有界公平性三、阅读题1：阅读下列关于系统的SDL/GR描述规范，给出相应的SDL/PR描述规范。SYSTEMsample;SIGNALS1,S2,S3,S4,S5;CHANNELC1FROMENVTOB1WITHS1,S2;ENDCHANNELC1;CHANNELC2FROMB1TOB2WITHS3;ENDCHANNELC2;CHANNELC3FROMB2TOB1WITHS4;ENDCHANNELC3;CHANNELC4FROMB2TOENVWITHS5;ENDCHANNELC4;BLOCKB1REFERENCED;BLOCKB2REFERENCED;ENDSYSTEMsample;2：根据下面关于进程的SDL/PR描述规范，给出相应的SDL/GR描述规范。四、综合题1分析图所示的Petri网的有界性、活性和可逆性，并说明理由。性质分析：M[p1,p2,p3,p4,p5]M0=[0,0,0,0,1]t2变迁：M1=[1,0,0,1,0]t3变迁:M2=[1,0,1,0,0]t1变迁:M3=[0,1,1,0,0]t4变迁:M4=[0,0,0,1,1]t3变迁:M5=[0,0,1,0,1]t2变迁:M6=[1,0,1,1,0]t3变迁:M7=[1,0,2,0,0]t1变迁:M8=[0,1,2,0,0]t4变迁:M9=[0,0,1,1,1]Petri网有界判定：由标记向量可知，p3会超过1，因此Petri网无界。Petri网活性判定：Petri网中t1，t2，t3，t4都会被引发，因此该Petri网是活的。Petri网可逆性判定：从M0出发，经过t2,t3,t1,t4····，不会产生同前面相同标识向量，因此该Petri网是不可逆的。2：（1）：t1变迁可以点火，因为只有t1变迁的输入位置有标记。（2）：（3）：不能，当t1点火后，（p1,p2,p3,p4,p5）=(1,1,1,1,0)，此时t1再次点火，（p1,p2,p3,p4,p5）=(0,2,2,2,0)，然后t2点火，（p1,p2,p3,p4,p5）=(0,2,1,0,0)，此时就没有变迁可以点火了。3:性质分析：M[p1,p2,p3,p4,p5]M0=[1,0,0,0,1]t1变迁：M1=[0,1,1,0,1]t3变迁：M2=[0,1,0,1,0]t2变迁：M3=[1,0,0,1,0]t4变迁：M4=[1,0,0,0,1]=M0t1变迁：M5=[0,1,1,0,1]t3变迁：M6=[0,1,0,1,0]t4变迁：M7=[0,1,0,0,1]t2变迁：M8=[1,0,0,0,1]=M0t1变迁：M9=[0,1,1,0,1]t2变迁：M10=[1,0,1,0,1]t1变迁：M11=[0,1,2,0,1]Petri网有界判定：由标记向量可知，p3会超过1，因此Petri网无界。Petri网活性判定：Petri网中t1，t2，t3，t4都会被引发，因此该Petri网是活的。Petri网可逆性判定：从M0出发，经过t1,t3,t2,t4，会产生和M0相同标识向量，因此该Petri网是可逆的。