矩阵方程是矩阵理论中非常重要的分支，在数学本身及其它自然科学中有着广泛的应用.由于非线性现象在实际生活和应用的各个领域广泛存在，因此非线性矩阵方程的求解问题成为当今计算数学各领域最活跃的课题之一。近些年来，一类对称非线性矩阵方程X±A*X-n-A=Q，n=1，2(其中，A为可逆矩阵，Q为任一正定矩阵)因其在电子网络，动态规划，随机过程，控制理论和统计学等工程应用中的重要作用引起了众多学者的关注，对这类方程的研究已取得了一系列的成果.同时，人们将此类方程推广到更为广泛的形式：(1).X±A*X-nA=Q，n为正整数；(2).Xs±A*X-tA=Q，s，t为正整数；(3).X±A*X-qA=Q，q>0等，　　 本文主要研究以上几类对称非线性矩阵方程的可解性理论，不动点迭代算法和解的扰动分析.　　 1.对非线性矩阵方程X-A*X-2A=Q，给出了存在唯一正定解的充分条件：2‖A‖2‖Q-1‖3<1.在此条件下给出计算唯一解的不动点迭代算法并证明了算法的收敛性.结合Schauder不动点定理讨论正定解的扰动问题，给出正定解的扰动上界，同时根据Rice条件数理论，给出正定解条件数的显式表达式.　　 2.对方程X+A*X-nA=Q(n为正整数)，讨论了该方程的可解性，给出这一方程存在两个互异正定解的充分条件：‖A‖2‖Q-1‖n+10).对X-A*X-qA=Q(q≥1)，证明了该方程总有正定解并给出了正定解存在的具体范围，同时给出求解的两种不动点迭代算法，在一定条件下证明了算法的收敛性.对X+A*X-qA=Q，q>1，讨论了该方程的可解性.证明了若此方程有解，则必有最小正定解.给出求最小解的不动点迭代算法并用数值例子对所得结果进行了验证.对方程X+A*X-qA=Q，0