差分方程组在物理学、天文学、现代生物学、人工神经网络、经济学等很多领域都有着非常广泛的应用，但目前对于非线性差分方程组我们只能对其解进行定性分析，却很难求出其精确解.　　 本文在高小山、罗勇等人提出的差分多项式系统的吴特征列方法基础上，对差分特征列方法做了一些改进，并利用差分特征列方法求出了一类非线性差分方程组的精确解.　　 本文共由三章组成:　　 第一章是绪论，本章介绍了数学机械化的主要研究内容及其发展趋势，并且对代数多项式系统、微分多项式系统和差分多项式系统的吴特征列方法做了简单的介绍.　　 第二章是差分特征列方法及其改进，首先对差分特征列方法做了详细的介绍，并给出了一些引理的证明;其次对差分特征列方法做了一些改进，给出了一个多项式序的新定义以及一个升列扩张的新算法;最后给出了吴零点分解算法和一些预备算法.　　 第三章是差分特征列方法的应用，是本文的核心内容，在本章，我们利用差分多项式系统的吴特征列方法，将一类非线性差分方程组的零点集，分解成有限个特征列的零点集的并集，这些特征列都是由三角形式的差分方程组组成的，求解起来相对简单.最后再利用Z变换的方法求出该差分方程组的精确解.