基于增广Lagrange函数的RQP方法

Recursive quadratic programming is a family of techniques developd by Bartholomew-Biggs and other authors for solving nonlinear programming problems.This paperdescribes a new method for constrained optimization which obtains its search di-rections from a quadratic programming subproblem based on the well-known aug-mented Lagrangian function.It avoids the penalty parameter to tend to infinity.We employ the Fletcher‘s exact penalty function as a merit function and the use of an approximate directional derivative of the function that avoids the need toevaluate the second order derivatives of the problem functions.We prove that thealgorithm possesses global and superlinear convergence properties.At the sametime, numerical results are reported.     

带加法白噪声的随机Boussinesq方程组的解的渐近行为

考虑速度和温度同时在加法白噪声扰动下的随机Boussinesq方程组的解的渐近特征.可以接轨道得到该随机方程组的唯一解,并可以验证该解生成随机动力系统,进而证明了该随机动力系统存在随机吸引子.     

A large deviation for occupation time of critical branching α-stable process

In this paper we establish a large deviation principle for the occupation times of critical branching α-stable processes for large dimensions d > 2α, by investigating two related nonlinear differential equations. Our result is an extension of Cox and Griffeath’s (in 1985) for branching Brownian motion for d > 4.     

Global existence of solutions of the critical semilinear wave equations with variable coefficients outside obstacles

In this paper, we consider the exterior problem of the critical semilinear wave equation in three space dimensions with variable coefficients and prove the global existence of smooth solutions. As in the constant coefficients case, we show that the energy cannot concentrate at any point (t, x) ∈ (0, ∞) ×Ω. For that purpose, following Ibrahim and Majdoub's paper in 2003, we use a geometric multiplier similar to the well-known Morawetz multiplier used in the constant coefficients case. We then use the compari...     

Lukasiewicz n值命题逻辑中命题的真度理论

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。     

解析hyponormal算子的α-Weyl定理

本文通过定义新的谱集,给出了算子满足a-Browder定理和a-Weyl定理的充要条件,运用了文章中新定义的谱集,研究了解析hyponormal算子的a-Weyl定理．     

Homoclinic solutions in periodic difference equations with saturable nonlinearity

In this paper, a periodic difference equation with saturable nonlinearity is considered. Using the linking theorem in combination with periodic approximations, we establish sufficient conditions on the nonexistence and on the existence of homoclinic solutions. Our results not only solve an open problem proposed by Pankov, but also greatly improve some existing ones even for some special cases.     

平移空间的线性结构

本文证明了在平移空间上可利用距离在一定条件下构作出线性结构,引入了次范整线性空间的概念,还证明了平移空间是次范整线性空间当且仅当它的平移群是Abel群.泛函分析学中的有界线性算子定理,Hahn-Banach定理以及共鸣定理都可以移植于次范整线性空间之中.     

双三次Bezier曲面片的光滑拼接

本文根据曲面的总曲率和平均曲率推导出双三次Bezier曲面片拼接的C^2连续条件。