求解非线性方程组的元胞自动机方法及其全局收敛性证明

？为了求得非线性方程组所有精确解，根据元胞自动机的特点构造了求解非线性方程组的全局收敛算法。在该算法中，将非线性方程组解的理论搜索空间划分为离散搜索空间，将离散搜索空间定义为元胞空间；离散搜索空间的每个点就是一个元胞，而一个元胞对应着非线性方程组的一个试探解；元胞的状态由其空间位置及位置修正量构成。将元胞空间划分为若干个非空子集，所有元胞的状态从一个非空子集转移到另一个非空子集的状态演化过程实现了元胞空间对理论搜索空间的搜索。在元胞状态演化过程中，元胞从一个状态转移到另一个状态的状态转移概率可以计算出来；元胞演化过程中的每个状态对应于有限markov链上的一个状态。利用可归约随机矩阵的稳定性条件证明了该算法具有全局收敛性。仿真实例表明该算法是高效的。