基于Petri网的带宽共享系统设计

作     者：周鑫 宋文 唐明伟 王开建 ZHOU Xin;SONG Wen;TANG Mingwei;WANG Kaijian

作者机构：西华大学计算机与软件工程学院四川成都610039 

基　　金：国家自然科学基金(61402376 U1433130) 数字空间安全保障四川省高校重点实验室开放课题资助(szjj2014-078) 教育部春晖计划(Z2014051) 四川省科技厅项目(2013JY0089 2016JY0244) 四川省教育厅重点项目(13ZA0019) 

出 版 物：《绵阳师范学院学报》 (Journal of Mianyang Teachers＇ College)

年 卷 期：2016年第35卷第2期

页      码：83-90,139页

摘      要：针对局域内网单台计算机下载外网资源速度慢的问题,本文以Petri网为系统逻辑设计工具,提出一种基于P2P(Peer to Peer)分布式结构的外网带宽共享协议。该协议指定内网多台计算机在外网下载所需文件的不同片段,再由局域内网传输给任务发起者所属计算机进行原文件整合。协议充分利用多台计算机的并行下载能力以及局域内网的快速传输能力,从逻辑层面提高了单台计算机的下行带宽。本文进一步通过基于Petri网的可达标志图,S_不变量和流程图方法对协议的逻辑正确性和行为许可性进行了验证。

主 题 词：Petri网 P2P网络 网络加速 带宽共享 文件传输协议 分布式 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.16276/j.cnki.cn51-1670/g.2016.02.016

馆 藏 号：203138192...