主项解耦消元法其软件设计.pdfVIP

摘 要 多项式方程组的构造性理论及有关算法，在计算机自动推理、数学机械化、 工程技术等领域日趋重要。吴文俊消元法和Groebner基法是两种非常完整的多 项式方程组的符号解法。主项解耦消元法综合了这两种算法的优点，是一种新的 多项式方程组的符号解法。本文主要研究主项解耦消元法算法理论、应用及软件 的存储结构和程序结构。 本文在分析现有的算法基础上，借鉴Groebner基法和吴文俊消元法，系统 地阐述了多项式方程组主项解耦消元法的基本概念和算法原理；给出了主项解耦 中间余式和主项解耦中间余式集的明确定义，消除了中间余式的歧义性，使得中 间余式的求解具有规范性；对其求余算法也给出了详细的定义和过程描述，加速 求余的过程使得整个算法的效率提高；并对其终止判据也做了补充和完善，使得 此方法更加完备且适用范围更加广阔，成为一种通用性较强的一种算法。 本文在分析主项解耦消元法算法的基础上，为其软件实现提出了软件系统的 存储方案的设计和程序方案的设计。 本文将主项解耦消元法运用于机构学和几何定理机器证明的应用实例中，不 但使该方法的可行性得到验证，而且也取得了良好的效果。 关键词：多项式方程组；主项解耦消元法；机构综合：存储结构：软件结构 DecoupledTermsEliminationMethodand Leading ItsSoftware Design ABSTRACT Theconstructive theoriesand involvedin sets a algorithms polynomialplay moreandmore rolein automated importantcomputer mechanizationand Wu-WenJuneliminationmethod technology．Both engineering andGroebnerBasismethodare methodsof completesymbolic solvingpolynomial sets．The termseliminationmethodisanew methodof decoupled leading symbolic setswhich themeritsofWu’Seliminationmethodand solvingpolynomial synthesizes GroebnerBasis method．Inthis researchintothetheoriesand paper,wemainly ofthe termselimination algorithmdecoupledleading method，its applications，its accessstructureand strctureof software program system． tothe ofthe formedt