非线性Volterra积分方程组的一个高阶数值格式

对非线性Volterra积分方程组构造了一个高阶数值格式.借助经典block-by-block方法,构造了一个所谓的修正block-by-block方法.方法除第1,2层外,每一步的解层与层之间都不需要耦合求解,并且保存了block-by-block方法好的收敛性.对此格式的收敛性进行了严格的分析,证明数值解逼近精确解的阶数是4阶.     

耦合Burgers系统和Burgers方程的多孤子解(英文)

达布阵是构造非线性演化方程精确解的有效方法,本文应用该方法构造了一个耦合Burgers系统的达布变换和多孤子解,并利用约化技巧得到了Burgers方程的达布变换和多孤子解.通过画图给出这些多孤子解的图形.     

二维可压缩欧拉方程组激波的形成和构造（I）

在这篇文章中,我们研究了带有小扰动初值的二维可压缩欧拉方程组激波的形成和构造的问题.如果光滑初值满足非退化条件,那么从[2]的结果知道,光滑解在有限时间内爆破并且存在一个唯一的爆破点.在爆破点处光滑解的一阶导数爆破,而解自身仍是连续的.从爆破点出发,我们构造了一个近似弱熵激波解,它在激波曲线两边不是一致Lip-连续的,本文讨论此近似激波解的性质.在本文的基础上,在下篇文章中我们将给出真正激波解的构造.     

构造紧支撑正交小波的代数方法

介绍了构造具有p阶消失矩的紧支撑正交小波的代数方法,它归结于解一个非线性方程组,初步分析了它的解,并用此方法构造出了新的小波.     

Camassa-Holm方程的精确行波解及其凹凸尖峰与光滑孤立子解

在引入凹凸尖峰孤立子和光滑孤立子解的概念后,研究了一类完全可积的新型浅水波方程Camassa Holm方程的行波孤立子解.通过引入一个可以构造微分方程解的定理,构造出了Camassa Holm方程的行波解中具有尖峰性质的凹凸尖峰孤立子和光滑孤立子性质的解.     

第一类变系数Kdv方程的精确解

根据齐次平衡方法,利用一个新的扰动方程作为形式解,构造了第一类变系数Kdv方程的精确解,获得了大量丰富的显示精确解,其中包括周期解和有理式解.     

一类方程的李雅普诺夫函数的构造

用李雅普诺夫第二方法判断解的稳定性具有直接而简明的优点,但如何构造李雅普诺夫函数是一个难点.文章对于一类二阶常系数线性方程利用构造李雅普诺夫函数的方法,判断了其解的稳定性.     

求解一类NP-HARD问题的一个快速算法

研究3-状态设备网络系统可靠性模型与模拟退火算法求最优解问题.对已有3-状态设备网络系统可靠性优化模型进行了分类,构造了一个新的系统可靠性优化模型,设计了一个模拟退火算法用于求近似最优解.计算机仿真表明,算法有效地给出了模型的近似最优解.     

Broer-Kaup系统的达布变换及其奇孤子解

根据Broer-Kaup系统的Lax对,借助Broer-Kaup系统的谱问题的规范变换,构造了一个包含多参数的达布变换.以一个平凡解作为种子解,在此达布变换的作用下,求出了Broer-Kaup系统的奇孤子解的一般表达式.     

一类带非线性边界条件的抛物型方程组解的整体存在及爆破

本文研究了一类带有非线性边界条件的抛物型方程组解的整体存在及有限时刻爆破问题.通过构造方程组的上下解,得到了解整体存在的一个充分条件及解在有限时刻爆破的一个充分条件.     

一类三阶色散方程的非解析波解的讨论

利用分岔理论对一类三阶色散方程的非解析波解进行了研究,得出不同的非解析波解存在的条件,并得到Peakon解是广义解而非弱解的结论.     

一类时滞Duffing型方程周期解的存在唯一性及数值解法

给出并证明了一类时滞Duffing型方程的周期解存在唯一的一个充分条件.讨论了其周期解的数值解法:利用数值微分和线性插值对微分方程进行离散,得到非线性方程组,再用牛顿法求解.实例分析说明了该方法的有效性.     

非负整数格上Fuzzy关系方程的解集

在一种特殊的完备Brouwerian格即非负整数格上对Fuzzy关系方程的解集作了深入探讨．首先讨论了解存在的条件及解集的性质，然后在解集非空时给出了整个解集，最后讨论了不同系数方程的解集的关系。     

空间扩散方程Cauchy问题的解及其正规性

文章研究了三维扩散方程Cauchy问题。使用变数替换方法得到一个形式解表达式,最后给出了这个形式解是正规解的一个条件。此结果有利于理论分析和应用。     

轴对称弹性体动力学问题的一种闭合形式的解

本文给出了一种关于轴对称弹性体动力学问题闭合形式的基本解，这种闭合解是利用级数展形的方法和椭圆积分的递推公式导出的，当频率减小到零时，这一动力学基本解就变成了静力学基本解，为确保计算效率，对基本解的计算过程作了仔细的安排，这种闭合解已在扭转问题的边界单元法中得到应用。     

相变平板传热问题的一种精确解法

以一维半无限大相变传热问题的精确解为基础,给出一维有限尺寸相变传热问题带有待定系数的一般解.利用问题的定解条件得到包含待定系数的超越方程.用数值方法解超越方程,从而获得传热问题的精确解.计算结果表明,在一定参数范围内精确解与近似解符合得相当好.     

模糊线性规划最满意解的计算机模拟

用Zimmermann算法求解模糊线性规划,获得最满意解后,再通过编程,利用计算机实现了针对模糊线性规划最满意解的求解问题的模拟演示,获得了令人满意的结果.     

Boussinesq方程组解的存在唯一性和Fourier谱方法的误差估计

引入Ｆｏｕｒｉｅｒ谱方法逼近来解决Ｂｏｕｓｉｎｅｓｑ方程组周期初值问题局部广义解和古典解的存在唯一性问题．在给出了Ｆｏｕｒｉｅｒ谱方法逼近解的估计后，利用紧致性原理得到了Ｂｏｕｓｉｎｅｓｑ方程组周期初值问题局部广义解和古典解的存在性和唯一性．进一步加强初值条件的光滑性，得出了古典解的存在性．最后，给出了Ｆｏｕｒｉｃｒ谱方法的误差估计．     

半环诱导赋值代数的轮廓解

先对全序半环诱导的赋值代数的轮廓解性质进行研究,  再在全序半环诱导的赋值代数中引入保轮廓解的概念, 并借助轮廓解的性质, 对转移函数f保全序半环诱导的赋值代数的轮廓解问题进行研究. 结果表明, 若转移函数f是一个半环同态, 则f是保轮廓解的.     

转移函数保半环赋值代数轮廓解的条件

对转移映射保半环诱导的赋值代数的轮廓解的问题进行了研究.得到若转移映射f是一个反保序的半环同态,则f是保轮廓解的.如果两个半环间的一个转移映射f 是单调的,则若原赋值与转移后对应的新赋值的轮廓解都非空,则一定存在一个轮廓x₀,它是新赋值的轮廓解,也是原赋值的轮廓解,即x₀∈C_φ∩C_fφ.