Banach空间中一类积分微分包含的可控性

研究了一类积分、微分包含的可控性问题,利用集值映射的不动点定理给出了积分、微分包含可控性的充分条件.     

非局部条件积分方程在Banach空间中的可控性

利用Schauder不动点定理, 研究Banach空间中一类积分型微分方程的可控性. 针对Banach空间中带有非局部初值条件的积分系统, 建立了系统可控的充分条件, 并以一个具体的偏微分方程作为例子讨论了其可控性.     

一类多种时滞分数阶微分方程的相对可控性

讨论了具有多种时滞的分数阶微分方程的相对可控性问题.提出了一类具有多种时滞的分数阶微分系统，得到了系统方程的解.利用Gramian矩阵证明了系统的相对可控性，提出并建立了具有多种时滞的分数阶系统的相对可控性的充分必要条件.运用Schauder不动点定理、压缩映像原理、Arzela-Ascoli定理得到非线性系统的解，证明了非线性系统具有相对可控性.通过实例验证了所得理论的正确性.     

Banach空间上分数阶积分微分方程的可解性与可控性

研究了Banach空间上一类具有非局部初始条件的分数阶积分微分方程的可解性与可控性.借助合适的不动点定理,本论述建立了适度解的存在性和可控性条件,变换非局部柯西问题(1)为等效的积分方程,并且通过使用阿尔泽拉-阿斯科利定理和Krasnoselskii不动点定理获得积分微分方程(1)的适度解.同时构建合适的控制函数,讨论了满足非局部初始条件的一类抽象积分微分发展方程(2)的可控性,最后举例论证了定理2.1的一个简单应用.     

非线性中性积分方程在Banach空间中的可控性

讨论了非线性中性积分方程在Banach空间中的可控性,并依据不动点分析理论中的Schauder不动点定理,给出非线性中性积分方程可控性的充分条件.     

带有非局部条件的分数阶中立型发展方程的近似可控性

讨论了带有非局部条件的分数阶中立型微分系统的近似可控性. 利用分数幂算子和Krasnoselskii不动点定理, 证明了半线性分数阶中立型微分系统温和解的存在性. 进而在相应线性系统近似可控的基础上, 讨论了半线性中立型微分系统的近似可控性.     

带有非局部条件的分数阶中立型发展方程的近似可控性（英文）

讨论了带有非局部条件的分数阶中立型微分系统的近似可控性.利用分数幂算子和Krasnoselskii不动点定理,证明了半线性分数阶中立型微分系统温和解的存在性.进而在相应线性系统近似可控的基础上,讨论了半线性中立型微分系统的近似可控性.     

Banach空间中半线性发展方程的可控性

利用Schaefer不动点定理得到了在Banach空间中一类半线性发展方程可控性的充分条件。     

非线性积分微分随机系统的精确可控性

对一类非线性积分微分随机系统的完全可控性问题进行了分析.利用随机积分不等式,Banach不动点定理在对应的线性随机系统完全可控的条件下,得到了非线性积分微分随机系统完全可控的充分条件,并用实例说明了方法的有效性.分条件,并用实例说明了方法的有效性.     

非线性中性积分方程在Banach空间中的可控性

讨论了非线性中性积分方程在Banach空间中的可控性,并依据不动点分析理论中的Schauder不动点定理,给出非线性中性积分方程可控性的充分条件。     

一种求解带等式约束非线性规划问题全局最优解的方法

本文把罚函数法和一种求解无约束非线性规划问题的辅助函数法相结合,首先写出非线性规划问题的罚函数,从而把原问题转化成为一个无约束的非线性规划问题,然后再运用辅助函数法（GOM）来求解罚函数的全局最优解,从而求到原带等式约束的非线性规划问题的全局最优解．     

求解带均衡约束多目标规划问题的一种方法

讨论约束是非线性不等式和变分不等式的多目标规划问 题（简记为VPEC问题）, 即目标为多个均衡约束的数学规划. 给出了多目标VPEC问题的最优 性必要和充分条件, 利用充分性条件将多目标VPEC问题转化为一个与之等价的一般形式的约 束优化问题, 并建立了求解此问题的l₁罚函数方法.     

对偶理论在一类多项式全局优化中的应用

用Canonical对偶理论,讨论一类高阶多项式全局最优化问题的求解.首先将无约束多项式全局优化问题转换成箱体约束下的多项式全局优化问题,之后通过构造非线性变换对偶函数及相应的共轭函数,得到原问题的Canonical对偶问题.进一步通过求解对偶问题的最优解,导出原多项式全局优化问题的最优解,并给出对偶问题是凹函数的证明.最后应用所得方法,计算一个二元6次多项式全局最优化实例.     

边界条件依赖谱参数的非连续Sturm-Liouville算子的谱问题

为了丰富Sturm-Liouville(S-L)微分算子的谱理论,研究了闭区间［0,1］上边界条件依赖谱参数的非连续S-L问题。首先利用该问题在直和空间上的等价刻画,给出了非连续S-L问题特征值与连续S-L问题特征值间的交替关系,即在非连续S-L问题的特征值的每个开子区间内都恰有连续S-L问题的一个特征值,进而由连续S-L问题的振荡理论推出非连续S-L问题的振荡理论。然后通过Prüfer变换和Hergloz函数的转换,建立了边界条件依赖谱参数的非连续S-L问题与边界条件为常值的非连续S-L问题的转换,得出转换后的特征值与转换前(除去有限个)的特征值相等。最后通过构造边界条件为常值的非连续S-L问题的特征函数求得其特征值的渐近式,从而得到了边界条件依赖谱参数的非连续S-L问题的特征值的渐近表达式。新的研究方法可推广到对间断点条件依赖谱参数的S-L问题研究。     

干的无粘大气环流方程组混合问题的适定性

该文针对干的无粘大气环流方程组的混合问题,讨论其底部边界的混合问题.所采用的分析方法是将该混合问题分解成两部分:一个纯Cauchy问题和一组积分表达式.首先证明了这样的分解与原问题同解,然后用分层方法讨论相应Cauchy问题的适定性,从而得到了原混合问题的适定的充要条件.最后给出了构造适定混合问题解析解的计算方法.     

Exact penalty method for the nonlinear bilevel programming problem

In this paper, following the method of replacing the lower level problem with its Kuhn-Tucker optimality condition, we transform the nonlinear bilevel programming problem into a normal nonlinear programming problem with the complementary slackness constraint condition. Then, we get the penalized problem of the normal nonlinear programming problem by appending the complementary slackness condition to the upper level objective with a penalty. We prove that this penalty function is exact and the penalized problem and the nonlinear bilevel programming problem have the same global optimal solution set. Finally, we propose an algorithm for the nonlinear bilevel programming problem. The numerical results show that the algorithm is feasible and efficient.     

边界带障碍的边值问题与变分问题的等价性证明

接触问题广泛存在各个领域。许多接触问题可归结为边值问题和变分问题。边界变分不等式方法在解决接触问题中起着重要作用，它将所有的边界条件和接触条件归纳到一个变分不等式中，便于理论分析，也有了一定的研究基础。变分问题是用变分不等式解决边值问题的桥梁。本文根据最小位能原理构造泛函，证明边界带障碍的边值问题与泛函最小即变分问题等价，从而边界带障碍的边值问题可通过变分问题解决。     

广义上界的凸Knapsack问题的解法

本文讨论一个复杂资源分配问题——带广义上界的凸 Knapsack 问题。首先,把该问题化为一个等价问题,它涉及典型的单资源分配问题的解法。进而,对广义上界的凸 Knapsack 问题提出两个算法。最后,对于资源分配者为两个集合的情况作了进一步的分析和讨论。     

绝对值等式问题解的存在性研究

研究了绝对值等式问题解的存在性条件,通过把绝对值等式问题转化为线性互补问题,利用矩阵的某些性质和线性互补问题解的存在条件,给出了绝对值等式问题解的存在性条件和无解条件。     

具有递阶结构的多目标群决策方法

建立了一类上层单目标、下层多人无关联多目标的两层决策问题的数学模型，利用加权法把下层的多目标转化为单目标，形成一个下层多人无关联单目标的两层规划问题，采用外部逼近法解两层规划问题，从而获得原两层决策问题的最优解．该法为两层决策问题提供了一种求解途径．