1)  fixed point
强极小
2)  strongly minimal set
强极小集
1.
This paper studies relations between strongly minimal sets in any model of a complete theory.
研究了完全理论的模型中强极小集之间的关系,并证明了如果T是一个完全理论,Ψ1(x)和Ψ2(x)是T的两个强极小公式,则Ψ1(x)可以被Ψ2(x)X-表示,或Ψ2(x)可以被Ψ1(x)X-表示,或Ψ1(x)和Ψ2(x)独立。
3)  Frechet differentiability
强极小值
4)  strong minimal cone
强极小锥
1.
By means of the characteristics of strong minimal cone, some existence theorems for solutions are obtained.
考虑了Banach空间中形如x(t) =u(t) + ∫Gtf(t,s,x(s) )ds的广义Volterra积分方程 ,并利用强极小锥的性质 ,获得了以上方程的解的某些存在性结果 。
2.
In this paper,by using the character of strong minimal cone ,we obtain existence theorems of solutions for the nonlinear functional boundary value problem as following:x (n) -∑A i(t)x (i-1) =f(t,x,x′,.
利用“强极小锥”的概念 ,获得了Banach空间中的形如“x(n) - ∑Ai(t)x(i- 1) =f(t,x ,x′,… ,x(n- 1) ) (0 ≤t≤ 1) ,B(x ,x′,… ,x(n- 1) ) =θ”的非线性泛函边值问题的解的存在性结果 。
3.
Abstract In this paper, by using the character of strong minimal cone, we obtain existencetheorems of global solutions for the nonlinear impulsive Volterra integral equations in Banachspaces, that improve the corresponding results presented in [1-3].
本文利用“强极小锥”的概念,获得了Banach空间中非线性脉冲Volterra型积分方程整体解的存在性定理,改进了现有文献中的某些结果。
5)  weak sharp minima
弱强极小性
1.
The projected gradient of the iterative sequence converges to zero under the certain conditions is proved,and the finite termination under the conditions of weak sharp minima and non-degenerate are obtained respectively.
并分别在弱强极小性和非退化的条件下得到了算法的有限终止性。
6)  strong minimal theory
强极小理论
1.
And the strong minimal theory is used to prove that the theory of p quasicyclic group is ω 1-categorical, then every model of this theory is homogeneous.
讨论了p阶拟循环群理论的可数的饱和模型,并用强极小理论证明了p阶拟循环群理论是ω1 范畴的,进而 p阶拟循环群理论的每一模型都是齐次模型。
参考词条
补充资料:极小化方法(强依赖于多个变量的函数的)


极小化方法(强依赖于多个变量的函数的)
lion methods for functions depending strongly on a few variables

  则数r称为函数J(x)在x‘G的谷维数(di~ionof the valley)(见[l」). 描述J(x)的下降轨道的微分方程组 d义 嚣一J’(x),‘(0)一‘。,(3)是一个刚性微分方程组(s叮山晚肥爪阁s势记m). 特别地,当J(x)是严格凸的且其He资℃矩阵是正定的(它的本征值是严格正的)时候,不等式(l)与熟知的场翔e矩阵的病态要求: n笼以」(x、 人{J‘IX))=—二戈>l rnln又八x)一致.在这情况下谱条件数与山谷的陡度相同. 坐标方式的下降法(coo攻垃扭te一~d留eent ITrth-ed)(见[ZJ)J(x:,*+:,“‘,x‘一,.*十,,x.,*+,,x‘+1.*,…,x。.*)一塑J(x,,*+:,‘”,x卜1,*,y,x‘+:,*,“’,xo.*), k=0,1,…,(4)不管其简单性和普遍性,仅当山谷的位置处于罕见情况下,即当山谷的方向是沿着坐标轴时才有效. 「2】中提出了方法(4)的一个现代化版本,它包括坐标轴的一个旋转,使得一个轴沿x*一x七一伸展,此后搜索在第(k+l)步开始.这样的一个办法导致一个坐标轴有一种与谷底的一条母线一致的趋向,使在若干情况下能顺利实现带有一维山谷的函数的极小化.这方法对多维山谷是不适用的. 最速下降法(s慨pest des以泊t,m出加吐of)的方案是由差分方程 x*十一x*一h*J{,J诬=J‘(x*)(5)给出的,这里h*由条件 J(‘*、:)一嘿J(‘厂hJ口选取.对严格凸的谷函数,特别对二次函数 J(x)一合X·DX一。·x,(6)由算法(5)构造的序列{x*}几何地收敛于函数的极小值点x’(见「3』): 1 Ix*一x‘11簇eg‘,这里C=常数且 。一典4共手共咎井. k(J"(x’))+l’由于对谷函数,k(J“(x))》1,q“1,从而收敛性在实际上是不存在的. 对简单梯度方案(见阱】);梯度法(脚曲ntme-thod)) x*十,=x*一hJ二,J*十1“J(x*、,),h=常数, (7)类似的情况也能看到.加速其收敛性的基础在于用以前迭代的结果使得谷底更精确.梯度法(7)能够同每一次迭代的比率q=}人}/{J*一」}的计算一起应用(见阱],【51).当它变得稳固地接近于常数值q=1时,按照表达式 h x二,=x。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。