1) the minimal strong component
极小强支
1.
In this paper, the equivalent definition of the minimal strong component is given.
本文给出极小强支的等价定义,并证明了极小强支与在文献[3]中给出的最强圈集合是一致的,讨论了极小强支与圈控指数的关系。
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) 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].
本文利用“强极小锥”的概念,获得了Ｂａｎａｃｈ空间中非线性脉冲Ｖｏｌｔｅｒｒａ型积分方程整体解的存在性定理,改进了现有文献中的某些结果。
4) minimum dominating set
极小支配集
1.
Using the concept of minimum dominating set,maximum in-dependent set,new graph coloring theory based minimum connected dominating set algorithm was proposed to construct virtual backbone in wireless ad hoc networks.
通过引入极大独立集和极小支配集概念,基于图着色思想提出一种新的适合于无线自组网的极小连通支配集算法,从理论上证明了该算法的正确性和高效性,也通过仿真实验分析了该算法在多种情况下的实际性能,仿真结果表明新算法在簇头和主干节点数目方面具有较好的性能,特别在节点密集的网络环境中更加突出。
5) minimal dominant set
极小支配集
1.
In this paper, through the use of the disjunctive normal form and the principal disjunctive normal form, we propose some general algorithms concerning the grand minimal dominant set, the minimum dominant set, the minimal edge dominant set, and the minimum edge dominant set of graphs.
给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小支配集和最小支配集以及全部极小边支配集和最小边支配集的一般算
2.
By establishing graph model of mine ventilation network,monitoring scope was applied as the theory base,flowing time between nodes was used as monitoring level,optimum methane sensor placement could be resolved with coverage as the selection standard based on Dijkstra arithmetic and minimal dominant set arithmetic.
通过建立矿井通风网络的图论模型,提出将监测范围作为传感器部署的理论依据,以节点间风流流经时间作为监测等级,应用覆盖度作为优选最佳测点标准,基于D ijkstra算法和极小支配集算法求得传感器的最佳布点。
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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条