摘要： 在微分方程的理论与应用研究中。一般来说,大多数方程的解都不能显式表出,因此研究解的性态,诸如稳定性、周期性等成为微分方程研究的中心课题,但在不少情形,这种研究由于复杂的计算而被迫终止,我们依据吴文俊机械化方法,讨论一类微分方程问题,用我们编制的机器处理系统,可以判定这类微分方程的运动稳定性,并能给出供研究极限环的判定量。