教育论文网

SCTP关联管理的有色Petri网建模与分析
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机的应用论文→计算机网络论文→一般性问题论文
SCTP关联管理的有色Petri网建模与分析
论文目录
 
摘要第1-9 页
Abstract第9-11 页
插图索引第11-13 页
附表索引第13-14 页
第1章 绪论第14-19 页
　　· 研究背景第14-15 页
　　· 研究现状第15-17 页
　　　　· 形式描述技术的发展和现状第15 页
　　　　· Petri网的研究现状第15-16 页
　　　　· 有色Petri网的研究现状第16-17 页
　　　　· SCTP研究现状第17 页
　　· 研究内容及论文组织结构第17-19 页
第2章 形式化技术第19-32 页
　　· 协议形式化描述和验证技术第19-20 页
　　　　· 协议形式化描述第19-20 页
　　　　· 协议验证技术第20 页
　　· Petri 网基本原理第20-22 页
　　　　· Petri网概述第20-21 页
　　　　· Petri网的基本概念第21-22 页
　　· 有色Petri网第22-29 页
　　　　· 有色Petri网的定义第23-25 页
　　　　· 有色Petri网的行为第25-27 页
　　　　· 有色Petri网模型的动态特性第27-28 页
　　　　· 有色Petri网的动态分析方法第28-29 页
　　· CPN tools建模工具简介第29-31 页
　　　　· CPN tools的特点第29 页
　　　　· CPN tools仿真工具简介第29-30 页
　　　　· CPN tools的体系结构第30-31 页
　　· 本章小结第31-32 页
第3章 流控制传输协议第32-44 页
　　· 流控制传输协议概述第32-33 页
　　· SCTP分组格式第33-35 页
　　· SCTP的状态转换图第35-37 页
　　· SCTP关联第37-43 页
　　　　· 关联建立程序第37-41 页
　　　　· 关联关闭程序第41-43 页
　　· 本章小结第43-44 页
第4章 SCTP关联管理的CPN模型第44-61 页
　　· 模型假设第44-45 页
　　· 模型结构第45-46 页
　　· 全局声明第46-50 页
　　　　· 用户命令颜色集声明第46 页
　　　　· 传输控制块颜色集声明第46-47 页
　　　　· SCTP分组颜色集声明第47 页
　　　　· 重发机制颜色集声明第47-50 页
　　· SCTP_Overview页第50-51 页
　　· Network页第51 页
　　· Event_processing页第51-52 页
　　· User_command页第52-54 页
　　· Packet_processing页第54-59 页
　　· Timeout_Retransmit页,第59-60 页
　　· 本章小结第60-61 页
第5章 SCTP关联管理CPN模型分析第61-77 页
　　· 预期性质第61-64 页
　　· 分析方法第64-65 页
　　· SCTP-CPN模型1分析第65-69 页
　　　　· 模型配置第65-67 页
　　　　· 结果分析第67-69 页
　　· SCTP-CPN模型2分析第69-71 页
　　· SCTP-CPN模型3分析第71-75 页
　　· 无活锁性质第75 页
　　· 模型的有界性和回归性第75 页
　　· 本章小结第75-77 页
第6章 总结与展望第77-79 页
　　· 研究工作总结第77-78 页
　　· 对未来工作的展望第78-79 页
参考文献第79-83 页
致谢第83-84 页
附录A 攻读学位期间所发表的学术论文目录第84-85 页
附录B SCTP-CPN模型的标准状态空间报告示例第85-87页

本篇论文共87页，点击这进入下载页面。
 
更多论文
SCTP关联管理的有色Petri网建模与分
基于IPv6的IPSec端到端自动配置方案
基于格理论的跨域认证系统的研究
P2P资源发现技术在视频网格中的应用
基于自适应神经模糊推理系统的迭代
竞赛用智能汽车控制系统的研究
2MW风电机轮毂加工数控机床夹具及分
2MW风电机轮毂加工专用数控镗铣床的
两类在线算法问题的研究
基于工业以太网和OPC技术的异构系统
自主移动机器人视觉系统的研究
直接位置力反馈两级电液伺服阀电磁
装载机流量放大型转向液压系统的减
YGB-140/4型油隔离泵补油系统的自动
基于DSP的滚动轴承实时数据采集与处
弧面分度凸轮的精密加工及CNC专用铣
移动焊接机器人系统研究
基于嵌入式以太网的变电站自动化网
氧化铝输送中氧化铝粉流量的软测量
阴极铜自动包装生产线控制及配重系
基于ZIGBEE的心电监护系统的研究
基于神经网络—遗传算法的压电智能
多传感器目标跟踪信息融合算法研究
嵌入式控制器组态软件运行环境的设
车载“动中通”伺服控制系统的设计
基于GPRS抽油机在线故障诊断监控器
抽油机在线监控系统的研究与实现
电能质量分析及其补偿方法的研究
基于SVM多模型预测的主动容错控制方
基于网络化控制系统时延模型鲁棒容
铜自动包装生产线优化配重方法的应
单周控制三相四线制静止无功发生器
JJR-1型教学机器人目标识别技术的研
超小型水下机器人推进器设计与分析
高速重离子探测带设备张力控制系统
生产过程的智能调度方法及其应用
神经网络集成的泛化能力研究及其应
基于模糊支持向量机的多类文本分类
基于蓝牙传输的脉搏信号检测系统的
基于无线传感器网络的环境监测系统
基于MDA的本体建模方法研究
基于机器视觉的运动车辆检测
作业车间调度的建模及优化方法研究
网络环境下的旋转机械远程故障诊断
基于改进遗传算法的混合车间调度问
精确点位作业机器人控制系统研究
6000t油压机液压系统的性能分析及优
基于UG/ANSYS的虚拟铣镗加工中心若
基于ZIGBEE的嵌入式自动抄表系统的
模糊控制在造纸厂碱回收系统中的应
基于BACnet的智能小区网络集成的研
工业锅炉控制策略研究与控制系统设
基于比例阀的气动伺服轨迹跟踪控制
哑弹清理机器人目标识别与定位系统
基于PLC的凿岩钻车控制系统的研究与
精确点位作业机器人系统研究
筒体焊接法兰孔加工装置专用CNC系统
基于迭代学习控制喷浆机器人的电液
恒压供水控制系统的研究
内镶扁平滴头滴灌管生产线在线检测
基于西门子810D的数控车床改造的研
轴承滚柱表面缺陷自动检测系统的研
航空发动机叶片制造技术研究
模糊控制在铅锌熔炼控制系统中的应
基于NIOSⅡ软核的移动机器人控制器
动态脉率数据采集与脉搏信号处理系
数控加工中在线检测及误差补偿的关
超精密机床进给系统微动特性及其QF
改进粒子群算法及其在模糊控制器设
管道内表面处理机器人结构设计及运
电雷管生产线的抓取部件及其控制系
基于单片机的喷油泵试验台监控系统
 
形式化描述论文 协议验证论文 有色Petri网论文 流控制传输协议论文 状态空间论文 仿真
版权申明：目录由用户zh36157**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved