逻辑度量空间

取赋值格为[0，1]，用积分工具引入了公式的真度和相似度的概念，并从而在公式集F上建立了伪距离，为近似推理提供了一种可能的框架。  

非线性波方程准确孤立波解的符号计算

该文将机械化数学方法应用于偏微分方程领域，建立了构造一类非线性发展方程孤立波解的一种统一算法，并在计算机数学系统上加以实现，推导出了一批非线性发展方程的精确孤立波解．算法的基本原理是利用非线性发展方程孤立波解的局部性特点，将孤立波表示为双曲正切函数的多项式．从而将非线性发展方程（组）的求解问题转化为非线性代数方程组的求解问题．利用吴文俊消元法在计算机代数系统上求解非线性代数方程组，最终获得非线性发展方程（组）的准确孤立波解.  

两两NQD列的收敛性质

本文首先给出两相NQD列的Kolmogorov型不等式，进而讨论两两NQD列的收敛性质，获得了与独立情形一样的Baum和Katz完全收敛定理，几乎达到独立情形著名的Marcinkiewica强大数定律，三级数定理等结果。  

跟踪-微分器的离散形式

本文利用“等时区方法”确定出二阶离散系统最速控制综合函数，井依此构造出离散形式的跟踪一微分器．数值仿真表明，这种跟踪一微分器跟踪输入信号既快速、无超调，又无颤振，且能给出较好的微分信号．  

具有偏差变元的双曲型微分方程组解的振动性

本文获得了双曲型方程组在齐次Neumann,Dirichlet和Robin边值条件下,所有解振动的充分条件.  

Anisotropic interpolation and quasi-Wilson element for narrow quadrilateral meshes

In this paper an anisotropic interpolation theorem is presentedthat can be easily used to check the anisotropy of an element.A kind of quasi-Wilson element is considered for second-orderproblems on narrow quadrilateral meshes for which the usualregularity condition _K/h_K c₀ > 0 is not satisfied, whereh_K is the diameter of the element K and _K is the radius of thelargest inscribed circle in K. Anisotropic error estimates ofthe interpolation error and the consistency error in the energynorm and the L²-norm are given. Furthermore, we give a Poincaréinequality on a trapezoid which improves a result of eniek.  

THE SINGULARLY PERTURBED PROBLEM FOR COMBUSTION REACTION DIFFUSION

1. IntroductionThe anchor discussed a class of problems for the nonlinear ordinary differential equations(of. [1-3]) and the reaction dimsion equations (of. [4-7]).Now we consider a model of the combustion reaction decision problem as follows:where y is a density of combustion flame, s denotes the rate of diffusion effect for reactionspeed, whiCh is a small positive parameter, t is a position of combustion, functions y - t andy t are the positions of the matter for fuel and chide respectivel…  

混合单调算子的不动点定理及其应用

本文利用半序方法研究了两类混合单调算子，在非紧非连续性假设下得到了不动点的存在唯一性，并把所得结果应用于Ｒ＾Ｎ上的Ｈａｍｍｅｒｓｔａｉｎ积分方程。  

具有时滞和基于比率的三种群捕食系统的持久性与全局渐近稳定性

研究一类具有时滞和基于比率的三种群食物链捕食-被捕食动力学模型.证明了该系统在适当条件下的一致持久性；通过构造Lyapunov泛函，得到了该系统正平衡点全局渐近稳定的充分条件.  

四阶奇异边值问题的正解

本文利用上下解方法和极大值原理给出了四阶微分方程的奇异边值问题有Ｃ＾２「０，１」和Ｃ＾３「０，１」正解存在的充分必要条件。