基于Petri网的带宽共享协议建模与验证研究



基于Petri网的带宽共享协议建模与验证研究

分类1：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→理论、方法论文→自动机理论论文
分类2：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机的应用论文→计算机网络论文→一般性问题论文

基于Petri网的带宽共享协议建模与验证研究

论文目录
摘要	第1-5页
Abstract	第5-7页
1 引言	第7-15页
· 分布式网络结构的发展及其意义	第7-8页
· P2P网络结构的发展及其意义	第8-12页
· 网络加速的研究现状	第12-15页
2 形式化建模工具——Petri网	第15-27页
· 软件形式化的重要性	第15-17页
· Petri网的发展及研究现状	第17-19页
· Petri网的基本概念	第19-20页
· Petri网的分类	第20-22页
· Petri网的动态性质	第22-25页
· Petri网的分析方法	第25-27页
3 带宽共享系统建模	第27-37页
· 带宽共享系统总体结构	第27-28页
· 下载资源获取器	第28页
· 任务分配	第28-30页
· 任务执行过程	第30-32页
· 任务轮询分配死锁消除·	第32页
· 任务回收	第32-33页
· 回收的任务重新分配	第33页
· 完整性检测	第33-34页
· 完整系统建模	第34-37页
4 系统性质分析	第37-42页
· 系统主体结构正确性验证	第37-40页
· 可达标志图分析	第38-39页
· S_不变量分析	第39-40页
· 校验器正确性验证	第40-42页
5 总结与展望	第42-43页
参考文献	第43-46页
攻读硕士学位期间发表的论文及科研成果	第46-47页
致谢	第47-48页

本篇论文共48页，点击这进入下载页面。

更多论文
基于Petri网的带宽共享协议建模与验
无证书签密方案的分析与设计
基于用户群体行为的APP自适应UI的设
膜聚类算法在GPU上的并行实现
惯性轨迹重构在遥操作机器人应用中
T-S模糊控制系统的稳定性分析
基于体感的机器人仿人动作模仿系统
我国海外房地产开发项目风险评估指
工业园区的循环化改造研究
医药制造业上市公司股权结构对中小
电力行业上市公司财务可持续增长研
融资约束、风险承担与企业R&D投入—
中国企业在美国反向并购的风险预警
团队隐性知识共享、团队过程和团队
成都市养生旅游发展战略研究
P2P网贷营运模式及风险比较研究
基于粗糙集的P2P网络借贷创新风险研
我国A股市场的奖金配置效率研究
基于特长教育培养小学生自信心的研
初中音乐课中通俗音乐的教学研究—
初中生班级自主管理研究——以M中学
盐酸莫西沙星眼用壳聚糖纳米粒温度
小柴胡汤合下气升血汤加减治疗慢性
电针耳穴对硫酸卡那霉素慢性致聋豚
柴芍胃炎颗粒对胃溃疡大鼠粘膜细胞
大黄游离蒽醌对SAP大鼠肠淋巴系统免
线粒体靶向性抗氧化肽SS-31对大鼠慢
睡眠状态知觉障碍特征及预测因素分
局部晚期宫颈癌EBRT自适应调强放疗
256层CT灌注成像在脑星形细胞瘤中的
母婴分离对新生儿疼痛反应、神经行
重庆地区HBV基因型与临床相关性分析
外周血中抗原阴性的HBV感染者肝组织
AGEs通过上调PTEN促进人主动脉血管

Petri网论文建模与验证论文 P2P网络论文网络加速论文带宽共享论文文件传输协议论文分布式系统论文
版权申明：目录由用户xu**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved