学位论文 > 优秀研究生学位论文题录展示

基于Petri网的ForCES协议模型及ForCES中间件性能预测研究

作　者: 钟迪
导　师: 王伟明
学　校: 浙江工商大学
专　业: 通信与信息系统
关键词: ForCES协议 ForCES中间件性能预测 Petri网模型
分类号: TN915.04
类　型: 硕士论文
年　份: 2011年
下　载: 9次
引　用: 0次
阅　读: 论文下载

内容摘要

网络与通信技术的发展,对网络互连的核心设备——路由器提出了更高的要求。基于转发件和控制件分离(ForCES)的路由体系架构的提出,很好地满足了下一代网络开放可编程的需求,是下一代路由器的发展方向。本文运用Petri网建模工具对ForCES协议模型进行分析,并对ForCES中间件进行性能预测研究。首先,在对随机Petri网综述的基础上,研究了基于Petri网的ForCES协议各种过程及机制模型,如协议建链过程、事务机制和心跳机制等,在此基础上,分析并验证了它们在功能上的正确性,同时通过对Petri网中到达速率的经验假设,分析了ForCES协议的相关性能；其次,基于面向对象的方法分析,设计了ForCES中间件总体框架,并建立了相关Petri网模型,如,PL层协议封装模块模型、PL层整体模型、TML层模型。最后,基于Petri网模型对ForCES中间件性能进行了预测研究,并提出改进方法。本文的工作为后续ForCES路由器的开发提供了性能参考,并对性能的改善具有指导意义。

全文目录

摘要  2-4
ABSTRACT  4-6
目录  6-8
1 绪论  8-18
  1.1 课题背景  8-9
  1.2 国内外研究现状  9-15
    1.2.1 软件性能预测及方法  9-11
    1.2.2 Petri网及其应用  11-13
    1.2.3 ForCES协议和ForCES协议中间件的研究现状  13-15
  1.3 本文的研究内容  15-16
  1.4 主要贡献和创新点  16
  1.5 本文结构  16-18
2 Petri网基本原理  18-26
  2.1 Petri网的基本概念  18-21
    2.1.1 Petri网定义  18-19
    2.1.2 Petri网的动态性质  19-21
  2.2 随机Petri网  21-25
    2.2.1 随机Petri网的定义  21
    2.2.2 随机Petri网的类型  21-23
    2.2.3 随机Petri网模型的性能分析  23-25
  2.3 随机Petri网分析工具PIPE  25
  2.4 小结  25-26
3 基于Petri网的ForCES协议模型  26-50
  3.1 ForCES建链过程及其模型  26-32
    3.1.1 ForCES协议工作阶段  26
    3.1.2 建链过程及模型分析  26-32
  3.2 ForCES协议事务机制模型  32-41
    3.2.1 ForCES事务机制  32-35
    3.2.2 事务机制模型分析  35-41
  3.3 ForCES协议心跳机制模型  41-49
    3.3.1 ForCES协议心跳机制  41-42
    3.3.2 心跳机制模型分析  42-49
  3.4 小结  49-50
4 基于Petri网的ForCES中间件性能预测  50-75
  4.1 ForCES中间件总体设计  50-54
    4.1.1 ForCES中间件体系结构  50
    4.1.2 ForCES中间件PL层设计  50-53
    4.1.3 ForCES中间件TML层设计  53-54
  4.2 ForCES中间件PL层Petri网模型  54-67
    4.2.1 ForCES协议消息封装过程建模  54-63
    4.2.2 PL层模型介绍  63-67
  4.3 ForCES中间件的TML层Petri网模型  67-68
  4.4 ForCES中间件整体性能预测  68-73
  4.5 小结  73-75
5 总结与展望  75-77
  5.1 论文总结  75
  5.2 工作展望  75-77
参考文献  77-80
本文作者硕士期间参加的科研项目及发表的学术论文  80-81
致谢  81-82

基于Petri网的ForCES协议模型及ForCES中间件性能预测研究

内容摘要

全文目录

相似论文