Benjamin-Bona-Mahoney方程的行波解

目的 建立5个方程新的行波解.方法 借助于双曲正切方法, 有理正余弦方法和正余弦方法.结果与结论 构造了方程有理三角正余弦形式解, 获得了方程周期解, 复数解, 钟形孤立子解.     

两个浅水波模型的精确有理行波解

一个求发展方程有理行波解的方法被简化,由此可得到著名的ＫｄＶ方程和另一浅水波方程的一类新的精确行波解．     

广义(2+1)维Boussinesq方程的新的椭圆函数有理形式解

基于符号计算软件Maple和椭圆方程,提出构造非线性发展方程有理形式解的改进的椭圆方程展开法,该方法可有效地构造出更多新的椭圆函数形式解.利用该方法研究广义(2+1)维Boussinesq方程并获得该方程的一系列新的精确解.     

推广的Riccati方程法构造非线性差分-微分方程的精确解

将推广的Riccati方程法应用于求解非线性差分-微分方程求解领域.并在符号计算机系统Maple的帮助下,以离散的非线性(2+1)-维Toda lattice方程为应用实例,构造了该方程的一些新精确解,其中包括有理形式的双曲函数解和有理形式的三角函数周期解.     

2+1-维变系数广义Kadomtsev-Petviashvili方程的精确解

运用截断展开法,求得了2 1-维变系数广义Kadomtsev-Petviashvili方程的精确孤立波解、有理形式函数解和三角函数解．     

几种典型的非线性演化方程的有理型孤波解

本文应用行波法，直接得到了ＫｄＶ型方程，Ｂｏｕｓｓｉｎｅｓｑ方程、Ｋ—Ｐ方程与浅水波模型方程的有理型孤波解。     

光纤中阿秒脉冲的五阶非线性Schr?dinger方程的有理周期解

五阶非线性薛定谔方程描述了阿秒脉冲在光学系统中的传播,借助于数学软件Maple,利用扩展的辅助方程方法最终得到了此方程4种类型有理形式的周期解．     

扩展的高阶非线性Schr(o)dinger方程的有理周期解

在动力系统和分叉理论领域,形式丰富的精确解对解释一些相应的现象变得越来越重要,应用改进的辅助方程展开方法,并借助于数学软件Maple,对两个扩展的高阶Schr(o)dinger方程进行了研究,最终得到了这两个方程多种类型有理形式的周期解.     

新的雅可比椭圆函数有理展开法

在符号计算软件Maple的帮助下,结合辅助方程的雅可比椭圆函数形式的解,提出了一个新的扩展的有理展开法来构造非线性发展方程的精确解。通过对Boussinesq方程的研究,我们验证了该方法的有效性和可靠性。该方法还可以应用到其它非线性数学物理方程中。     

一类高阶有理差分方程的动力学行为

根据高阶有理差分方程理论，证明了高阶有理差分方程■的两个动力学定理，即通过设置不同的条件得到两个平衡解■的局部渐近稳定性、不稳定性、排斥点和鞍点等不同结果.     

mKdV 方程的有理精确解

基于新的辅助方程系统,提出了一种构造偏微分方程精确解的代数方法.选择 mKdV方程验证了算法的有效性,获得了丰富的新有理孤波解和周期解.该方法可用于获得其他的偏微分方程的精确解.     

一种理性安全协议形式化分析方法及应用

博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构rCEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑rA-TEL-A,并基于不动点描述rATEL-A时序算子.然后基于rATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析.     

mKdV方程的新椭圆函数解

提出一种求解非线性微分方程椭圆函数解的方法,并通过此方法,求出了mKdV(modified Korteweg-de Vries)方程的多个椭圆函数解,涵盖了一些已知解,也包括新的无理式解及一些新的椭圆函数解,这些解在某些情况下可退化为孤子解和三角函数解。此方法还可用于求解其它非线性微分方程。     

非线性耦合KdV方程组的多种行波解

利用构造辅助函数的方法．给出了非线性耦合KdV方程的某些新的精确行波解,其中包括孤子解,三角函数解,椭圆函数解和幂函数解．     

非线性耦合VB方程组的精确行波解

利用构造辅助函数的方法，给出了非线性耦合VB方程组的某些新的精确行波解，包括孤子解、三角函数解、椭圆函数解和幂函数解，其中某些解还是复线型的．     

一类时滞微分方程周期边值问题及其最大最小解

将上下解方法与单调迭代技巧应用于研究一类时滞微分方程，在正向及反向上下解两种情形下分别讨论了该类方程周期边值问题最大最小解的存在性.     

构造非线性发展方程精确解方法探索

本文以齐次平衡法和辅助方程法为基础,给出非线性发展方程的一种新形式解与辅助方程相结合的方法,借助符号计算系统Mathematica构造mKdV方程、KdV方程的新的精确解．     

(2+1)维Davey-Stewartson方程新的精确解

在辅助方程的基础上构建了一种新的形式解,并利用符号计算系统Mathematica,求得(2+1)维Dav-ey-Stewartson方程的精确解,其中包括双曲函数解,椭圆函数解以及复孤波解.     

一种变换型试探函数法的扩展与组合Kdv方程新的显示精确解

将文已有的求解非线性偏微分方程的试探函数法进行了一定的扩展,并将此方法应用于组合Kdv方程,简洁地求得了组合Kdv方程多个新的显示精确解,其中包括一般形式的行波解、奇异行波解、孤波解、有理函数解和三角函数解.