广义不变凸分式规划的Mond-Weir对偶定理

本文对不变凸函数概念推广,引入了一类更为广泛的广义不变凸性概念,并证明了在该类新广义不变凸性条件下,一类非凸非线性分式规划的Mond-Weir对偶的弱对偶、强对偶和逆对偶定理．     

Fenchel—Lagrange对偶问题

针对优化问题：（CP）μ=inff（x） s.t．x∈C,g（x）∈-S,分别在主和对偶的闭性条件下,建立Fenchel—Lagrange对偶性．这个对偶条件完全地刻划了对问题（CP）的稳定的Fenchel—Lagrange对偶．     

区间凸二次规划问题弱最优解的判别

基于凸二次规划中的KKT条件,讨论了带区间数的凸二次规划的最优解问题.针对约束域为不等式且变量有符号限制的区间凸二次规划,给出了检验弱可行解是否为弱最优解的充要条件.     

一个求解退化约束优化问题全局和超线性收敛的可行SQP算法(英文)

提出了一个求解退化约束优化问题的可行SQP算法.在该算法的每一次迭代,通过求解一个二次规划子问题得到可行下降方向,为克服Maratos效应,高阶修正方向通过求解另一个二次规划子问题得到.在合适的条件下,证明了该算法的全局收敛性和超线性收敛速度.最后给出了一些初步的数值结果.     

凸约束二次规划问题求解的一般方法

将标准对偶变换的思想应用到求解凸约束二次规划问题上,并给出了该问题的完全解的形式.标准对偶变换思想的主旨是将原问题通过标准对偶变换的方法转化为其对偶问题,通过求解其对偶问题得到原问题的最优解.这种方法可使原来复杂的问题简单化,并使得原问题与其对偶问题间的对偶间隙为零且不带有任何扰动.应用这种方法我们还可以很容易的得到一些比较好的结果.     

非凸稀疏正则化的广义条件梯度算法

提出一种具有非凸、非光滑的α‖·‖_(l_1)-β‖·‖_(l_2)(αβ≥0)罚项的正则化泛函,并且构造了一种新的迭代算法来求解带有αl_1-βl_2约束的非线性稀疏正则化.该算法利用广义条件梯度算法,将其推广到带有非凸稀疏罚项的非线性正则化方程中,构造出一种适用于非凸稀疏正则化的软阈值算法,并给出了该算法收敛性的证明.     

求约束极值问题的修正共轭梯度投影法

针对带约束的非线性规划问题,提出一个修正共轭梯度投影算法,并且用不严格互补条件证明了算法具备全局收敛性和局部超线性收敛性;另一方面,算法的每步迭代只计算一次共轭投影矩阵,避免了求解二次规划或求两个投影矩阵,因而算法在计算量上有所改进.     

凸二次规划的一个序列跟踪算法

本文对凸二次规划问题提出了一个多项式时间的内点算法，此算法通过对互补向量空间中一个ａ－序列的跟踪求得问题的解。其优点是对初始内部可行解可以任意，并且总迭代次数为Ｏ（√ｎＬ）。     

多目标规划的有效解集和弱有效解集的一些性质

本文讨论多目标决策问题线性加权求解法的推广,即通过求非线性规划问题■即(p为正整数)的最优解集R_(sp)~*来寻求多目标问题的有效解集Re和弱和效解集Rwe。我们证明了: 当R为紧致凸集,f(x)为R上的连续的凸向量函数时,有■如果进一步假设f(x)是双连续的,那么■     

Vague集上基于蕴含算子I(,)的三I算法

给出区间集上蕴含算子的定义和一个蕴含算子.利用三I思想,给出了Vague集上基于蕴含算子I(x,y)的三IVMP算法的计算公式,分析了三IVMP算法的还原性,并给出了基于区间集上蕴含算子I(x,y)的三IVMP算法具有还原性的本质条件.由于Vague集具有表达不确定性知识比Fuzzy集更为丰富的特点,三I思想更为可信,故在不确定性的推理中,三IVMP算法是较为令人满意的算法.     

障碍问题局部可积性的一个注记

考虑A-调和方程divA(x,u)=0,设算子A满足:(i)强制性条件A(x,ξ),ξ≥α|ξ|p-φ1(x);(ii)控制增长条件|A(x,ξ)|≤β|ξ|p-1+φ2(x);(iii)齐次性条件A(x,0)=0,其中1pn,0α≤β∞是非负常数,φ1(x)∈Llso/cp(Ω),φ2(x)∈Lslo/c(p-1)(Ω),1psn。设Kψp,θ(Ω)={v∈W1,p(Ω):v≥ψ,a.e.Ω,v-θ∈W01,p(Ω)},ψ为定义于Ω取值于R∪{±∞}的障碍函数,θ∈W01,p(Ω)为边值。利用Sobolev空间的不等式及嵌入引理,得到了如下局部可积性结果:若0≤ψ∈Wl1o,cs(Ω),则Kψp,θ-障碍问题的解u∈Llso*c(Ω),s*=nn-ss。本结果可看成是高红亚,田会英的结果的推广。     

关于伯恩斯坦多项式在无穷区间上的一种普遍推广

本文引进Bernstein多项式在无穷区间上的另一推广形式（s是正整数）我们证明了：在一定条件下。在f（x）的连续点处，有并在一定条件下，得到了Bns（f；x）对于f（x）的逼近度．     

马尔可夫调制的随机变延迟微分方程的数值解

讨论了马尔可夫调制的随机变延迟微分方程dx(t)=f(x(t),x(t-δ(t)),r(t))dt+g(x(t),x(t-δ(t)),r(t))dW(t)欧拉方法的收敛性.对方程应用欧拉方法,特别地对变延迟部分运用插值技巧进行数值离散后,将离散的欧拉格式延拓为连续的欧拉格式,从而得到欧拉格式在局部Lipschitz条件下强收敛到解析解.进一步,将局部Lipschitz条件换成全局Lipschitz条件,结论也成立,即欧拉方法在全局Lipschitz条件下也是强收敛的.     

基于统计方法和主动轮廓模型相结合的医学图像轮廓提取

采用最小描述长度作为目标函数实现点分布模型上轮廓点的自动选取,提出了一种结合统计方法与主动轮廓模型提取图像轮廓曲线的方法.对一系列图像训练得到该训练集的典型轮廓曲线,初始化新图像的主动轮廓模型曲线后,再用训练集得到的轮廓线约束其变形,提取图像最佳的轮廓曲线.实验表明,与传统主动轮廓模型比较,该方法具有更好的轮廓提取效果.     

Vitali凸集套上极大函数的反向弱型双权不等式

证明了在有条件的Vitali凸集套上极大函数的反向弱型双权不等式成立的充分条件及相似的必要条件,在全空间情形,给出了一个充分必要条件。     

一类系统的全局渐近稳定性分析

运用线性类比法构造Lyapunov函数,讨论了系统x+g(x)x+f(x,x)x+cx=0零解的全局渐近稳定性.在此基础上,给出了非自治系统x+g(x)x+f(x,x)x+cx=e(t,x,x,x)的零解全局渐近稳定性的一个充分条件.     

和矩阵相关联的偏序集的跳跃数

A=（aij）表示→m×n阶矩阵。可把偏序集PA和A自然联系起来。用X={x1,x2,…xn}和Y={y1,y2,…yn}表示不交的m和n元集,定义xi相似文献   

一类矩阵方程解的讨论

本文讨论矩阵方程ｆ（ｘ）＝Ａ的解的问题,其中ｆ（ｘ）为复多项式,给出有解的充分必要条件。     

方程utt=a^2（utt＋2／xux）的Cauchy问题的相容性

本文就形如utt =a2 (utt 2xux)的Cauchy问题进行了讨论 ,得到其相容性条件和古典解的存在性定理 ,进而对于更一般的一类形如autt 2butt cutt 2x(aux bux) =0 (a、b、c是常量 ,且b2 -ac>0 )的方程得到类似结果     

一类一阶双滞量时滞方程零解渐近稳定的代数判据

考虑下列方程 x(t)-b/√2x(T)+bx(t-τ)+cx(t-2τ)=0,(*)其中b,c,т为常数,且т>O,bc≠0.建立了方程(*)零解渐近稳定的充分必要条件,这些条件易于验证和应用.