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

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

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.  

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

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

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…  

The search for chromatically unique graphs

The number of vertex-colourings of a simple graphG in not more than colours is a polynomial in. This polynomial, denoted byP(G, ), is called the chromatic polynomial ofG. A graphG is said to be chromatically unique, in short-unique, ifH G for any graphH withP(H, ) = P(G, ). Since the appearance of the first paper on-unique graphs by Chao and Whitehead in 1978, various families of and several results on such graphs have been obtained successively, especially during the last five years. It is the aim of this expository paper to give a survey on most of the works done on-unique graphs. A number of related problems and conjectures are also included.1980 Mathematical Subject Classification. Primary 05C15This work was done while the author was visiting the Department of Mathematics, National University of Singapore.  

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

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

具有连续变量的差分方程振动性的判据

本文借助研究离散变量的差分方程振动性的一般方法，建立了具有连续变量、变系数的差分方程振动性判据，并给出了具体例子。  

Normal Families and Shared Values

For f a meromorphic function on the plane domain D and a C,let _f(a) = {z D: f(z) = a}. Let F be a family of meromorphicfunctions on D, all of whose zeros are of multiplicity at leastk. If there exist b 0 and h > 0 such that for every f F,_f(0) = _f^(k)(b) and 0 < |f^(k+1)(z)| h whenever z _f(0), thenF is a normal family on D. The case _f(0) = Ø is a celebratedresult of Gu [5]. 1991 Mathematics Subject Classification 30D45,30D35.  

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．  

Nonlinear programming without a penalty function

In this paper the solution of nonlinear programming problems by a Sequential Quadratic Programming (SQP) trust-region algorithm is considered. The aim of the present work is to promote global convergence without the need to use a penalty function. Instead, a new concept of a “filter” is introduced which allows a step to be accepted if it reduces either the objective function or the constraint violation function. Numerical tests on a wide range of test problems are very encouraging and the new algorithm compares favourably with LANCELOT and an implementation of Sl₁QP. Received: October 17, 1997 / Accepted: August 17, 2000?Published online September 3, 2001