BitTorrent是最流行的文件共享协议,作为P2P技术的主要应用之一,多年来取得了极大成功。在BitTorrent中,激励扮演着重要角色,它鼓励用户上传资源,以便获得较短的下载时间。然而,在近年来的研究中发现,BitTorrent面临着严重的搭便车问题,即节点只愿意获取资源而极少贡献资源,原有激励机制的激励效果及系统的健壮性因此受到广泛质疑。本文通过对BitTorrent协议的详尽分析深入探讨了这一问题,分析认为BitTorrent原有激励确实易于诱发节点的搭便车行为。为了更好的激励下载节点贡献资源,抑制搭便车的产生,我们提出了一种新的更为有效的激励策略,并且对这一激励策略的激励效果做出了评价。我们首先采用Colored Petri Nets(CPN)工具对BitTorrent协议的基本内容和激励机制分别进行了形式化建模,所建模型首次包含了大量的参与节点,这使得我们能够通过模型对协议实现后的各种性能做出更为准确的评价。接着,我们采用CPN工具的模拟执行和状态空间技术从局部和整体两个层次上验证了模型的正确性,之后对正确性得以确认的模型进行了详细的性能分析,分析结果显示新的激励机制有效地奖励了贡献资源的节点,惩治了搭便车节点,从长远来看,将使得BT系统更加的健壮。