BitTorrent协议的Petri网建模方法研究
文献类型：期刊论文
| 作者 | 刘靖1 ; 叶新铭2; 李军1
|
| 刊名 | 系统仿真学报
 |
| 出版日期 | 2011 |
| 卷号 | 23.0期号:011页码:2312 |
| 关键词 | BitTorrent协议 着色Petri网 层次建模 模型确认 模型检验 |
| ISSN号 | 1004-731X |
| 英文摘要 | BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用，但其交互行为复杂且并发度高，难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法，给出协议的着色Petn网层次模型，集戍模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析。确认协议模型有效性，并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明，而且便于协议行为模拟和协议属性分析，有效缓解大规模系统建模分析过程中存在的状态爆炸问题。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/35921]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.内蒙古大学 |
| 推荐引用方式 GB/T 7714 | 刘靖,叶新铭,李军. BitTorrent协议的Petri网建模方法研究[J]. 系统仿真学报,2011,23.0(011):2312. |
| APA | 刘靖,叶新铭,&李军.(2011).BitTorrent协议的Petri网建模方法研究.系统仿真学报,23.0(011),2312. |
| MLA | 刘靖,et al."BitTorrent协议的Petri网建模方法研究".系统仿真学报 23.0.011(2011):2312. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。