摘要

自组织作为一种自发解决困难问题的内部控制过程已被应用在多主体系统中。当这类系统部署在开放环境中,参与主体的改变有可能导致系统走向不理想的状态。因此,知道改变参与主体后系统哪些特性保持不变哪些特性发生变化相当重要。由于验证自组织多主体系统的计算复杂度很高,因此需要思考如何正确使用原系统的验证信息以提高验证新系统的效率。本文提出一个理论框架,用于推理自组织多主体系统由于改变参与主体而带来的动态性。