网格是分布式计算领域重点研究问题,它能够将分布广泛的资源结合起来,全面共享,消除资源孤岛,协同解决大型计算问题。但目前在大部分的网格系统中,至少存在一个中心服务器来维护资源信息,随着网格节点数量的增加可能会造成性能上的瓶颈。如何在去中心化网格环境中快速、准确地获取资源成为有待于解决的关键问题。去中心化作为区块链技术中研究的一大热点,其代表性的PBFT算法能够在去中心化环境中通过协商达成共识,将此算法应用于网格系统中有助于资源的共享和传递。但系统中存在的大量通信协商过程可能会造成效率问题,如何提高系统效率是目前研究的重要课题。Pi演算具有强大的形式化描述能力和移动进程的演算理论,能够准确地模拟通信过程中数据的传递和处理,尤其针对分布式系统中的并行操作,能够有效地提高通信效率。nPict语言是一种基于Pi演算定义的并行编程语言,能够充分实现Pi演算模型中的各种操作,为其正确性进行直观验证。本文通过对去中心化网格系统、移动Agent技术和Pi演算理论的研究,提出了一种基于Agent的去中心化网格模型。使用PBFT算法作为研究基础,将其应用于网格系统,并加入移动Agent提高效率,最后进行Pi演算建模,并通过nPict语言编程实现,提高在去中心化环境中网格资源共享的效率。具体工作包括以下三点:1.总结网格模型的研究现状,提出在去中心化环境中实现资源共享的想法。采用PBFT算法作为基础算法应用于网格模型中,同时为提高模型的整体性能和执行效率,结合移动Agent技术提出一种基于Agent的去中心化网格模型。2.使用Pi演算对基于Agent的去中心化网格模型进行创建,并通过Pi演算中的互模拟理论,从理论上证明所创建模型的正确性。3.使用nPict语言对模型进行编程实现,针对模型中加入移动Agent前后的执行效率和性能问题进行验证。通过对实验结果的分析,说明PBFT算法可以使网格资源模型在去中心化环境中正确运行,并且加入移动Agent后的模型在效率上有所提高。因此,本文使用Pi演算对基于Agent的去中心化网格模型进行建模,提高了系统的并发性和执行效率,对网格资源共享的去中心化研究也有重要的意义。