线性代数方程组通解行处理法

利用Gram-Schmidt正交规范化方法给出了一种判断任意线性代数方程组相容性以及确定此方程组解结构的数值方法,分析了对应算法的计算复杂度、数值稳定性及内在并行性.     

退化秩为0的二阶混合型方程斜微商问题解的唯一性(英文)

讨论带抛物退化线的二阶混合型方程的斜微商边值问题,这个问题包括空气动力学中Chaplygin方程的Tricomi问题作为特殊情况.先给出这个问题的提法和解的表示式,然后使用复分析方法,证明了上述二阶混合型方程斜微商问题解的唯一性.     

用模拟退火差异进化算法进行匹配场反演

分析了模拟退火算法与差异进化算法单独应用于匹配场反演时的局限性，构造一种结合两种算法优点的混合算法。模拟退火算法对差异进化算法的种群进行扰动，保留了差异进化算法的并行特性；在差异进化算法中引入模拟退火算法的重要性抽样思想，增强其逃离局部最优的能力，差异进化算法对目标函数梯度信息的利用仍然保留。仿真研究表明，混合算法在寻优时间与效率上达到了较好的平衡。     

一般渗流方程分界面的Hlder连续性

研究具有散度形主部的一般渗流方程的分界面 ,并得到此分界面的H¨older连续性     

二阶非线性时滞微分方程的振动性

文中建立了一类二阶非线性时滞微分方程的振动性定理,这些结果改进了已有的若干定理。     

连续混沌系统的模糊建模

混沌系统是非线性科学的新研究领域。由于其复杂性和无规律性，混沌系统的数学模型一直难于建立，利用模糊逻辑系统的插值机理将关于被控对象的模糊推理规则库转换为一类变系数非线性微分方程，从而得到连续混沌系统的数学模型，提出了控制系统中混沌被控对象的建模问题的一种方案。对Rossler系统和Iorenz系统的仿真试验表明这一建模方法有较高的逼近度。     

某类4阶非对称微分算子的正则性

本文利用先验估计的技巧,特别是利用范数的内插不等式与Poincar’e不等式讨论了由某类飞行器在轨道飞行中的平稳状况下产生的一类4阶非对称微分算子A_λ的正则性。给出了关于A_λ算子范数的下界估计以及正则性与联合正则性的若干结果。     

用计算机求常微分方程解析解的若干研究

mμMATH-83是目前在微型机上流行甚广的一种计算机代数系统,它能处理初等数学与高等数学中的一系列符号求解问题。 该系统具有相当广泛的求解常微分方程通解之能力,但是它并未提供根据方程的初始条件自动确定通解中之常数的功能。为此,我们在剖析该系统之常微分方程模块的基础上,用mμSIMP语言编制了实现这个功能的程序,使系统可以方便地求解常微分方程的初值问题。     

关于一类RDDE振动的充分必要条件

1986年张炳根给出了关于一阶时滞差分微分方程(RDDE) x(t)+sum from i=1 to n p_ix(t—τ_1)=0(P_i,τ_i,均为正、实常数,i=1,2,…,n)所有解均振动的充分性条件,本文指出,该条件实际上是充分必要条件;本文还指出,在某些条件下,该充分条件中的不等式改为等式时也是方程振动的充分必要条件。