随着科学技术和经济的发展，非线性差分方程组被广泛应用在统计问题、医学、几何学、生物基因学、力学、经济学和种群动力学等众多研究领域中，进而用来解决各种实际问题.因此对非线性差分方程组精确解的研究至关重要.　　近年来，吴特征列方法成为一种求解差分方程组精确解的新方法，通过对差分系统的吴特征列方法及其理论知识进一步的研究，本文将运用差分特征列方法对一类非线性差分方程组进行化简并得到其精确解.　　本文分为三章:　　第一章首先介绍数学机械化的产生与发展、吴院士对数学机械化贡献，然后简单的介绍了代数、微分、差分特征列方法产生与应用.　　第二章主要介绍了差分方程相关概念、差分多项式系统的特征列方法，包括一些差分多项式系统的定义、引理、定理、性质及算法.　　第三章本文的主要工作，即差分特征列方法在求解非线性差分方程组的应用及求其精确解.首先将本文研究的有理差分方程组有效化，然后运用零点分解定理以及差分特征列方法中的相关算法，将有效化后的差分方程组零点集分解为35组零点集的并，然后分别对每组零点集进行求解，最终得到原差分方程组的解.