近可积KdV物理系统中扰动对单孤子解的影响

基于KdV方程的较低级的两个守恒量——动量和质心,重新研究了近可积KdV物理系统中扰动对单孤子解的影响,导出了单孤子参数演化的一般方程,最后对耗散效应作了讨论.     

有限次可微象征拟微分算子的Grding不等式

在证明偏微分方程解的存在性和探求解的正则性时,Garding不等式起着关键作用.对于无穷次可微象征类的拟微分算子,很多数学家曾研究并得到了相应的Garding不等式.是否对有限次可微象征的拟微分算子,也有相应的Gardng不等式呢?本文就一类有限次可微象征的拟微分算子,肯定地回答了这个问题.     

区域规划决策支持系统

本文介绍系统科学研究中心1988年研制成功的新颖集成软件——区域规划决策支持系统的设计思想。区域规划决策支持系统又称规划支持系统(PlanningSupport System,英文缩写PSS)。它采用框架式全模块化结构,可根据省、地、县、经济区和各部门的特点而生成不同的系统,进行计算机辅助规划设计工作,且便于规划的实施和调整,为区域规划的规范化、标准化和程序化创造了条件。     

不可微泛函的一个临界点定理

本文把 Tersion 的一个临界点定理推广到 Lipschitz 泛函,并给出了在带间断非线性项的椭园方程中的应用。     

外微分形式在多元系热力学中的应用

用外微分形式来表述物理定律和推导物理公式形式简洁、优美,而且外微分运算是自然和自动的,不受空间维数的限制。本文在扼要介绍外微分形式的定义以及相关定理的基础上,介绍它在推导多元系热力学的Maxwell关系中的应用。     

一类非线性函数积分方程解的存在唯一性

研究一类非线性函数积分方程解的存在唯一性。引进一个刻划方程解性质的Banach空间,并在一定条件下证明了算子的局部压缩性质,然后证明了整体解的存在唯一性。     

关于求解Stiff常微分方程具有参数的一类块方法

本文给出求解Stiff常数分方程含有参数的一类高阶块方法,并给出计算其绝对稳定域的算法.通过对参数的选取,改进了文中的方法的稳定性。对于K=3,4,5,6,我们构造出一类Stiff稳定的块方法,它们是具有很小的非稳定域.这些方法适合求解Stiff常微分方程组     

非线性退缩抛物型方程组的初边值问题

文中讨论了几类非线性退缩抛物型方程组初边值问题非负解的存在性与唯一性。     

关于时滞微分不等式及其应用的研究

文对有界和无界时滞微分不等式进行了简要的评述.