Institute of Computing Technology, Chinese Academy IR
| BitTorrent协议的Petri网建模方法研究 | |
刘靖1 ; 叶新铭2; 李军1
| |
| 2011 | |
| 发表期刊 | 系统仿真学报
 |
| ISSN | 1004-731X |
| 卷号 | 23.0期号:011页码:2312 |
| 摘要 | BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用，但其交互行为复杂且并发度高，难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法，给出协议的着色Petn网层次模型，集戍模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析。确认协议模型有效性，并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明，而且便于协议行为模拟和协议属性分析，有效缓解大规模系统建模分析过程中存在的状态爆炸问题。 |
| 关键词 | BitTorrent协议 着色Petri网 层次建模 模型确认 模型检验 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/35922 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [刘靖]的文章 |
| [叶新铭]的文章 |
| [李军]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [刘靖]的文章 |
| [叶新铭]的文章 |
| [李军]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [刘靖]的文章 |
| [叶新铭]的文章 |
| [李军]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论