代数形式吴方法在(G′/G)展开法中的应用

用G′/G展开法求偏微分方程(组)的行波解,这个过程可转化为求解一个代数方程组,但该方程组一般较大,难于求解.可以用代数形式吴方法解决这个问题,两个算例说明了吴方法的有效性.     

代数形式吴方法在(G'/G)展开法中的应用

用G'/G展开法求偏微分方程(组)的行波解,这个过程可转化为求解一个代数方程组,但该方程组一般较大,难于求解.可以用代数形式吴方法解决这个问题,两个算例说明了吴方法的有效性.     

吴方法在命题逻辑中的应用

该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法.在代数化的过程中，以一种形式化的方式给出了命题公式的文法定义，通过语法, 语义分析实现了命题公式的代数化.此外，又根据特征列的性质，提出了一种逻辑推论自动生成的方法.     

非线性Klein-Gordon方程组的精确解

通过构造适当的函数变换,把求解非线性Klein-Gordon方程组转化为求解代数方程组,从而得到了非线性Klein-Gordon方程组的某些精确解．这种方法可以用来求解大量的非线性方程组．     

命题逻辑主析取(合取)范式的代数化求解

利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取范式及主合取范式.该方法思路规范、简单,便于计算机程序化.     

微分代数方法求解凸二次规划问题

用微分代数方法求解凸二次规划问题,先把凸二次规划转化为带障碍项的凸规划,然后用微分代数方法求解,结果表明微分代数方法求解凸二次规划是切实可行的.     

一种新的参数化设计方法

本文引入可用约束、特定元素，双向约束等概念，通过建立网状数据结构表达几何元素，几何约束求解方法－基于推理的代数法。该方法把代数法和几何推理有机地结合在一起，其推理过程采用普通算法而洋是人工智能的方法，方程组的求解转化为几何元素的相切和相交等运算。     

求解对称正定线性方程组的正交基变换方法

求解对称正定线性方程组是线性代数和数值分析一项重要内容.通过证明对称正定线性方程组与函数逼近理论中正规方程组一一对应,将对称正定线性方程组类比为函数逼近理论中正规方程组,利用施密特正交化方法将对称正定线性方程组转化为对角方程组进行求解,提出并推导了求解对称正定线性方程组的正交基变换方法.数值算例表明该算法有效、可靠,且计算量小于平方根法.为求解对称正定线性方程组提供了新方法.     

忒塔函数在求解非线性演化方程中的应用

建立了求解非线性演化方程精确解的忒塔函数展开法，并在计算机代数系统上得以实现，推导出若干非线性波方程的双周期精确解．方法的基本思路是把方程的解表示为忒塔函数构成的多项式，从而将非线性演化方程的求解问题转化为非线性代数方程组的求解问题．利用计算机代数系统可求解所得非线性代数方程组，最终得到非线性演化方程的双周期精确解．     

微分形式吴方法在Lie对称中的应用

Lie对称法和微分形式吴方法相结合的方法来计算微分方程（组）的对称.首先,用Lie对称法得到对称的确定方程组,该方程组一般比较大,难于求解,然后,用微分形式吴方法把确定方程组分解为一系列较简单的方程组来求解,文中算例说明这种方法是有效的.