本文以移动代理技术在分布并行中的可行性与有效性为研究目标,提出了一种基于移动代理面向大规模分布并行的主动计算模型。由于移动代理的自治性、反应性、可移动性等多种特性使得它适合在动态、异构的网络环境下进行分布并行计算。本文在分析介绍移动代理技术应用于分布并行计算相关的技术和应用研究现状的基础上,提出了系统的整体架构和基于Π演算的描述模型。将移动代理技术应用于分布并行计算,必须综合考虑性能和可编程性两个方面的问题。本文提出并实现了一种面向高性能计算的轻量级代理移动模型。该模型基于模块化的思想,通过策略分布、策略组装等方式实现产生式重构迁移,从而大大提高了代理的活动效率。本文提出并实现了一种多层次分布元组空间模型,保证了代理间协同的高效性和灵活性,并使得系统具有很好的可扩展性,能满足大规模分布并行计算的要求。本文提出了一种异步的、基于元组空间、支持移动的组通信模型。该模型不仅在组成员的加入、撤出或崩溃情况下可以保证虚拟同步,在计算移动存在的情况下也同样能够保证。此外该服务提供异步广播通信机制。由组服务中间件保证广播消息的虚拟同步,之后再写入应用程序的元组空间,至于广播消息是否使用、何时使用则由应用程序负责,保证了应用开发的灵活性。针对某领域几类典型问题,论文利用提出的模型进行了实验,结果验证了基于移动代理的分布并行计算的可行性与有效性。在模型描述方面,由于Π演算具有简洁性和较强的表达力,适合描述移动计算。本文在标准Π演算的基础上扩充了网、位置等概念以及代理迁移、组通信、元组空间读写等操作前缀,给出了相关钩模拟与互模拟的定义,并对一些基本性质进行了分析。