面向SDN的协议心跳机制的Petri网分析改进与自动化实现

【摘要】随着SDN(SoftwareDefinedNetworking,简称SDN)技术的不断发展,为了更好地满足未来网络发展的需求,设计新型网络体系架构和网络协议逐渐成为新的研究方向,如何能够高效地设计和实现更加符合网络需求的协议成为该方向研究的重点。首先,本文对已有网络协议形式化描述技术和实现技术进行深入分析研究,提出了一种新的网络协议自动化生成方案。该方案使用XML(ExtensibleMarkupLanguage,简称XML)语言和TAP(TheTimedAbstractProtocol,简称TAP)语言实现网络协议的描述与自动化生成。其次,本文对ForCES(ForwardingandControlElementSeparation,简称ForCES)协议中的心跳机制进行了研究,借鉴了已有的快速心跳协议,将ForCES协议中转发件主动向控制件定时发送心跳包的思想引入到快速心跳协议中,进而提出了快速心跳改进模型。同时,本文从理论上对各个心跳模型进行了分析。在丢包率为50%时,ForCES协议的心跳机制的协议失败率为0.422,采用快速心跳模型后失败率降低为0.237,采用快速心跳改进模型后失败率仅为0.00185。通过对比得出结论：改进心跳模型能够有效地提高协议运行的成功率。再次,本文采用Pe1ri网工具对各个模型进行了理论分析与建模,并计算出各个模型的延时。最后,本文采用TAP自动化实现技术对ForCES协议的心跳模型、快速心跳模型及快速心跳改进模型进行实现,对比实际延时与理论值,两者基本一致。
【作者】王晓龙；
【导师】董黎刚；
【作者基本信息】浙江工商大学，通信与信息系统，2014，硕士
【关键词】SDN；协议实现；自动化；Petri网；ForCES协议；心跳机制；

【参考文献】
[1]张晓华.网络交易的伦理分析[D].广西民族大学,伦理学,2013,硕士.
[2]黄蕾.健美操选项课对藏汉女大学生体质影响的研究[D].西南交通大学,体育教育训练学,2012,硕士.
[3].《浙江工业大学学报》(社会科学版)征稿简则[J].浙江工业大学学报(社会科学版),2012,01:121.
[4]石晶1,王冠一1,李刚1,王铁超1,赵志强2.基于CarSim的线控转向汽车建模与仿真研究[J].辽宁工业大学学报(自然科学版),2015,01:.
[5]李谦锋.中国建筑铝型材行业发展战略研究[D].北京交通大学,MBA（专业学位）,2013,硕士.
[6]吕丹丹.细胞色素c在2-巯基嘧啶衍生物修饰金电极上的电化学行为研究[D].安徽工业大学,2013.
[7]王书惠.论劳动中的情感因素[D].郑州大学,马克思主义哲学,2013,硕士.
[8]王姝文.汉语普通话单音节多维嗓音语音学分析[D].西北民族大学,语言学及应用语言学,2012,硕士.
[9]柳青.YL450t运梁车电液控制系统设计与实践[D].燕山大学,机械工程,2014,硕士.
[10]张顺.基于改进协同免疫算法的Flow Shop调度问题研究[D].华东理工大学,控制科学与工程,2013,硕士.
[11]夏瑜.中国电视媒体频道品牌管理战略研究[D].苏州大学,新闻学,2013,硕士.
[12]林达.他将科研经费划入自控公司[J].检察风云,2015,01:26-27.
[13]肖保根.2010诺贝尔奖得主的成功之道[J].中国青年,2010,22:64-65.
[14]包文峰.车辆牌照字符识别方法的研究与实现[D].吉林大学,软件工程,2014,硕士.
[15]刘洁.河北省农产品比较优势研究[D].河北农业大学,农业经济管理,2004,硕士.
[16]郑家瑜.“数据多重配比法”在ERP数据转换中的应用[J].中国会计电算化,2003,08:20-22.
[17]KrismaGowrydoss-Nangu.应用DWI与MRA对大脑中动脉供血区急性缺血性脑梗死患者综合诊断与临床评价对照研究[D].大连医科大学,影像医学与核医学,2012,硕士.
[18]领梅.基于ALOS与TM数据的凉城县土地利用分类研究[D].内蒙古农业大学,森林经理学,2013,硕士.
[19]陈玉婷.专家与新手高中英语教师课堂教学行为比较研究[D].重庆大学,课程与教学论,2014,硕士.
[20]王昱颖.基于工作流的稽核业务管理系统[D].吉林大学,2004.
[21]熊丹.江西省经济发展与外商直接投资的实证研究——兼论江西利用FDI实现中部崛起[D].江西财经大学,国民经济学,2004,硕士.
[22]王玲.从《申报》（1872-1911）的慈善文论看晚清慈善思想的变迁[D].河南大学,中国近现代史,2004,硕士.
[23]HANYUN.Study of Advertising Translation under the Guidance of German Functionalist Approaches[D].西安外国语大学,外国语言学及应用语言学,2013,硕士.
[24]郑文涛.中国共产党三代领导核心生产力理论比较研究[D].曲阜师范大学,马克思主义理论与思想政治教育,2004,硕士.
[25]吴升,华一新,王钦敏,励惠国,戴友锋.浦东新区地籍管理信息系统的体系结构及设计特色[J].测绘工程,2004,04:9-11.
[26]张凯.RFID在VMI系统中应用的效益分析[D].青岛大学,管理科学与工程,2013,硕士.
[27]葛君艺.奥运会中刘翔的媒介呈现[D].安徽大学,新闻学,2013,硕士.
[28]赖丹花.科技创新园建设中的政府作用研究[D].华中师范大学,公共管理,2014,硕士.
[29]李长文.宁安市农民工就业管理问题研究[D].吉林大学,农业推广,2012,硕士.
[30]程成,钱应平,周细枝,曾巍.超声波对等离子沉积成形组织性能的影响[J].热加工工艺,2015,04:158-160.
[31]杨玉青,苏粟,姜久春,张维戈,黄梅,鲍谚.改善配电网负荷特性的充电站有序充电优化策略[J].电力系统保护与控制,2014,07:60-66.
[32]池德壮.北京市育新小区60-80岁老年人体质调查与研究[D].北京体育大学,体育教学,2013,硕士.
[33]姚立杰,罗玫,夏冬林.公司治理与银行借款融资[J].会计研究,2010,08:55-61+96.
[34]吕成成.氯代异辛烷—异辛醇分离技术研究与开发[D].天津大学,化学工程,2013,硕士.
[35]魏伟.生活化作文教学研究[D].苏州大学,教育（专业学位）,2013,硕士.
[36]陈薇.鞘磷脂和硫苷脂的鸟枪法脂质组学分析及其应用[D].浙江工商大学,食品科学与工程,2013,硕士.
[37]刘晖.基于系统调用状态机的异常入侵检测方法[D].浙江大学,计算机应用,2004,硕士.
[38]戴春雷.二尖瓣成形术同期行三尖瓣成形术治疗轻度功能性三尖瓣反流的疗效分析[D].苏州大学,胸心外科,2014,硕士.
[39]陈烁.“音乐中的图画 图画式的音乐”[D].河北师范大学,音乐学,2012,硕士.
[40]李志辉.用刃天青纸片法预测龋活性的研究[D].广西医科大学,口腔临床医学,2004,硕士.
[41]伍亚萍,周俊宇,彭霞.基于人工智能的电力系统低频振荡抑制[J].低压电器,2005,02:42-46+51.
[42]康健.中国食品安全微博舆论研究[D].渤海大学,新闻学,2014,硕士.
[43]邸立超.不同方法监测患者异丙酚镇静深度的准确性：BIS、Narcotrend指数、听觉诱发电位指数与意识指数的比较[D].河北医科大学,麻醉学,2014,硕士.
[44]刘美兰.网络安全监测预警技术研究[D].中国人民解放军信息工程大学,2002.
[45]桑田园.货币政策调整对房地产企业资金链的影响[D].浙江工业大学,2013.
[46]吴彝鼐,董年初.数字音频广播(DAB)的发展现状及战略思考(下)[J].广播与电视技术.2002(05)
[47]陈伟强.钌烯烃复分解催化剂和N-芳基吡咯衍生物的合成与研究[D].天津大学,有机化学,2013,硕士.
[48]张苗.碳纳米材料的制备及其在磷酸钙骨水泥中的应用[D].西南交通大学,2014.
[49]张鸽.论恩格斯的家庭观[D].吉林大学,马克思主义哲学,2013,硕士.
[50]吴晓达.民营企业成长阶段及其经营对策研究[D].福州大学,企业管理,2003,硕士.