（2＋1）维非线性耦合可积广义Kaup方程的精确解

应用截尾辅助函数法,借助计算机代数系统与符号计算,获得(2 1)维非线性耦合可积广义Kaup方程若干显式精确解,其中包含周期解和孤立波解.     

基于双曲函数法的五阶非线性演化方程显示行波解

利用双曲函数方法对Mikhauilov-Novikov-Wang方程的约化情形进行了研究。通过行波约化,将五阶非线性演化方程转为成一个ODE。结合Riccati方程的性质,得到一个关于若干参变量的代数系统,借助于Mathematica符号计算功能,最终得到了上述方程的显示行波解,包括类孤子解、三角函数周期解和有理解。     

基于等效小参数法的高阶非线性自治系统周期解的计算

基于等效小参数法基本思想，应用分解法原理，通过引入逆算符和选择合适的线性与非线性算子，提出了一类高阶非线性自治系统周期解的逆算符表达的递推算法，并利用Mathematica计算机代数语言开发出相应的软件系统，实现了该算法的计算机自动求解，文中给出了计算实例，并将本文算法所得结果与四阶龙格-库塔(RungeKutta)数值方法的计算结果作了比较，实际计算结果表明，该算法具有较高的计算精度和较大的普适性，是求解一类非线性自治系统周期解的有效方法。     

关于李变换的机器实现

李变换是一种常用的求奇异摄动问题摄动解的方法，在求弱非线性系统的有效渐近展开式解时，利用李级数与李变换能得到一种较为完整和有效的方法。计算机代数是应用数学的一个边缘学科，基于采用Lindstedt-Poincare方法，多重尺度法，平均化方法自动求解问题，应用Mathematica系统的强大的符合运算功能以及该系统提供的控制语句，不但实现变量和任意函数到新变量的变换，而且可以实现李变换及其正则系统的自动求解。对李变换平均方法Lie Transform[]函数，它虽然不能处理非自治问题的摄动问题的自动求解，但李变换正则系统Lie Transform[]函数可以处理非自治系统的微分方程问题，化简微分系统，降低阶数，并将该处理过程做成相关的软件包，简便，实用。     

基于等效小参数法的高阶非线性自治系统周期解的计算

基于等效小参数法基本思想 ,应用分解法原理 ,通过引入逆算符和选择合适的线性与非线性算子 ,提出了一类高阶非线性自治系统周期解的逆算符表达的递推算法 ,并利用Mathematica计算机代数语言开发出相应的软件系统 ,实现了该算法的计算机自动求解 .文中给出了计算实例 ,并将本文算法所得结果与四阶龙格 库塔 (Runge Kutta)数值方法的计算结果作了比较 .实际计算结果表明 ,该算法具有较高的计算精度和较大的普适性 ,是求解一类非线性自治系统周期解的有效方法     

Modified Improved Boussinesq方程的显式精确解

借助Mathematica软件，吴方法及齐次平衡法，研究了Modified Improved Boussinesq方程。采用一个新的广义假设和Riccati方程，得到方程的26个解，其中包括新的孤波解和周期解，这种方法也适合其它的非线性演化方程。     

具有高阶非线性项的广义二维KdV-Burgers方程的精确解

采用辅助方程法研究具有高阶非线性项的广义二维KdV-Burgers方程的精确解,利用平衡法获得了辅助方程的参数约束条件,再根据辅助方程的解成功地获得了所讨论方程的一系列精确解,包括三角函数解、双曲函数解和有理函数解.     

离散微分代数系统的有界性及周期解的存在性

研究离散微分代数系统的解的有界性，得出：若一个具有周期性质的离散微分代数系统的解是最终有界的，则必存在周期解．利用广义Lyapunov函数研究一类离散微分代数大系统，给出了其存在周期解的充分条件．     

(2+1)维Burgers方程新的精确解

在双曲正切法,齐次平衡法和辅助方程法的基础上,利用一类耦合的Riccati方程组的某些特解,并借助计算机代数系统Maple,构造了非线性(2 1)维Burgers方程的若干新的精确解.     

CMKP方程及GCMKPp方程的精确行波解

利用新的不同的辅助函数,通过齐次平衡法和F函数展开法,求得CMKP方程及其广义p次非线性CMKP方程（GCMKPp）新的精确行波解,包括纽结波解、奇异孤立波解和三角函数周期解.     

一类非线性发展方程的显式精确解

应用(1/G)-展开法,借助于计算机系统Mathematica和齐次平衡原则,获得了一类非线性发展方程新的显式精确解,其中包括一般形式的行波解、扭状正则孤立波解和奇异孤立波解.     

Zakharov方程组的一些新精确解

对传统的Jacobi椭圆函数展开法进行了推广,给出了多种扩展的Jacobi椭圆函数法中形式解的统一表达式。借助Mathematica软件,应用扩展的Jacobi椭圆函数展开法求出了Zakharov方程组的一系列新的精确解,包括周期解和孤波解,并对Zakharov方程组的孤波解进行了讨论。     

高阶色散非线性薛定谔方程的精确波解

利用行波约化方法,研究了用于描述飞秒光脉冲传输的高阶色散非线性薛定谔方程.通过借助一个新的高阶辅助方程的解,取得了该方程不同类型的包络型的孤波解、扭结波解、周期波解及奇异波解.     

广义KdV方程的精确行波解

采用两步假设法,得到非线性物理模型中的KdV型方程的精确行波解. 如广义奇数阶(五阶、七阶)KdV方程和广义KdV-Barges方程.     

Boussinesq-Schrdinger方程组的精确解

研究一类耦合的（1＋1）维Boussinesq-Schrdinger方程组.利用行波约化方法和齐次平衡法,并借助一维立方非线性Klein-Gordon方程的精确解,将方程组的求解问题转变成一个常微分方程组的求解问题,并求出了此方程组新的精确解,最后给出耦合方程组的几组具体的精确解.     

一类非线性波动方程的若干行波解

应用扩展的齐次平衡法,获得了一类广泛的非线性波动方程的若干行波解,其中包括孤立波解、三角函数解以及椭圆函数解。     

n维非线性Chaffe-Infante方程的孤立波解

考虑n维非线性Chffe-Infante方程.首先,利用直接假设法,给出了一类二阶常系数非线性微分方程的一组实的显式精确解.接着,仍然用直接假设法,并利用前面的结果,得到了n维非线性ChffeInfante方程的十个新的实的孤立波解.     

对称正则长波方程的精确行波解

为研究对称正则长波（SRLW）方程,采用 Fan 子方程法并借助 Maple 软件得到了该方程丰富的行波解：三角函数解、双曲函数解、双周期Jacobi椭圆函数解,并给出了解的数值模拟图。结果表明,Fan子方程法对求解非线性方程是一种非常有效的工具。     

BBM方程的显式精确行波解

利用推广的Tanh-函数法以及在此基础上的拓展和形变映射法,获得了BBM方程的许多显式精确行波解,包括孤子解、复线孤子解、周期波解、Jacobi椭圆函数解等。     

非线性Pochhammer-Chree方程的行波解

讨论了广义非线性Pochhammer-Chree方程行波解的存在性,该方程具有广泛的物理。力学背景。通过对相应常微分方程解的存在性及其性态的研究,得到了Pochhammer-Chree方程的孤立于行波解之存在性,给出了当非线性项为多项式型时方程孤立子解的显示表示。另外,对常微分方程建立的一些结论亦有独立存在意义。显然本文中方法可用于其它一些非线性数学、物理模型行波解存在性的讨论上。