贾垒
- 作品数：4 被引量：1H指数：1
- 供职机构：内蒙古大学计算机学院更多>>
- 发文基金：内蒙古自治区自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- CPN模型驱动的云测试生成研究
- 测试生成在软件测试过程中起到很重要的作用，现有的生成测试例的方法大多依靠测试人员手工进行，不仅生成效率低下，生成的测试例在可用性方面也不尽如人意。着色Petri网(Colored Petri Nets，CPN)模型驱动的...
- 贾垒
- 关键词：CPN模型软件测试
- 文献传递
- BitTorrent协议中激励机制的设计与分析被引量：1
- 2014年
- 激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能。原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,因此提出了一种新的激励策略,并给出了具体的实施算法。对应用这种新激励机制的BitTorrent协议进行了详细的着色Petri网(colored Petrinets,CPN)形式化建模分析,在验证模型正确性的基础上,进行基于模型模拟的性能分析实验,结果表明该激励机制能够严格限制搭便车节点行为,达到更好的激励效果。
- 贾垒刘靖马燕林叶新铭
- 关键词：BITTORRENT
- 基于CPN模型的BitTorrent协议激励机制研究
- 激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能.原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,故本文提出了一种新的激励策略并给出了具体...
- 贾垒刘靖马燕林叶新铭
- 关键词：网络协议激励机制PETRI网模型系统性能
- 文献传递
