解可分离约束双凹规划问题的一种外逼近方法[英文]

在本文中，我们提出了双凹规划问题和更一般的广义凹规划问题。我们给出了双凹规划问题的整体最优性条件，并构造了一个有限终止外逼近算法。     

关于集值映象方程的一类问题

本文用ｆｐ－同伦方法，在特殊的技巧和边界条件下，研究了有序的（Ｂ）空间中集值凝聚映象方程的正解等问题．     

一类非线性发展方程整体弱解的存在性和稳定性

该文考虑一类新的非线性方程(｜ut｜r-2ut)t-Δutt-Δu-ρ(t)Δut=f(u) 的初边值问题，利用小扰动法证明了整体弱解的 存在性，借用位势井的概念得到了解的稳定性.〖HT5”H〗关键词:〖HT5”SS〗非线性发展方程;初边值问题;整体弱解;稳定性.     

一个反应扩散方程的门槛结果

本文讨论反应扩散方程Ｃａｕｃｈｙ问题解的整体存在性，渐近性质和Ｂｌｏｗｕｐ问题．其中或者１＜ｑ＜ｐ＜＋∞，ｎ＝２．得到门槛结果．     

无约束全局优化的一个可调参数的填充函数

A filled function with adjustable parameters is suggested in this paper for finding a global minimum point of a general class of nonlinear programming problems with a bounded and closed domain. This function has two adjustable parameters. We will discuss the properties of the proposed filled function. Conditions on this function and on the values of parameters are given so that the constructed function has the desired properties of traditional filled function.     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

解约束序列极大极小问题的凝聚同伦方法

Consider the constrained sequential max-min problem (CSMMP):     

复流形局部q-凸楔形上带权的同伦公式

本文得到复流形局部q-凸楔形上(r,s)型微分形式的带权的同伦公式和(r,s)型的方程的带权的连续解,并给出(r,s)型微分形式的不含边界积分的新的带权的同伦公式和(r,s)型的方程的新的带权的连续解.这些新的带权公式尤其适用于具有非光滑边界的局部q-凸楔形,这时不但可以避免边界积分的复杂估计,而且积分密度也不必在边界有定义,只要在区域上有定义就行.其次,引进权因子,带权的积分公式在应用上(比如在函数的插值方面)具有更大的灵活性.     

无界区域R1上推广的B-BBM方程的整体吸引子

本文研究了无界区域R^1上推广的B—BBM方程的长时间动力学行为，证明了该方程整体吸引子的存在性．     

非线性应变波耦合组的吸引子的正则性

本文研究了非线性应变波方程与Schr(?)dinger方程耦合系统Cauchy问题吸引 子的正则性.获得了该系统在空间Eo中存在整体吸引子Ao,并且Ao与E1中的强吸 引子A1相等.