1) finite step halting theorem
有限步终止定理
1.
Improvement of tableau-based algorithm and finite step halting theorem;
Tableau-based算法的改进与有限步终止定理
2) finite termination
有限步终止
1.
Global convergence,local superlinear convergence and finite termination for linear complementarity problem were proved under the assumption of F is a uniform P-function.
构造了解该方程组的新的Lagrange乘子法,在函数为一致P函数的条件下,证明了算法的全局收敛性、局部超线性收敛性和二次收敛性,以及对线性互补问题的有限步终止性。
2.
Under relatively weaker assumptions, the global convergence and finite termination can be obtained.
在算法的每一次迭代中,搜索方向仅由一个公式即可产生,并且在相对较弱的条件下,算法具有全局收敛性和有限步终止性。
3) finite step method
有限步终止算法
1.
A finite step method for solving this problem is suggested then.
文中导出了要使Q（u0,μ）达到最小,μ和u0应满足的若干本质性必要条件,而满足该条件的（μ,u0）只有有限多个;进而提出了一个求解加权全最小一乘问题的有限步终止算法。
5) terminate
[英]['tɜ:mɪneɪt] [美]['tɝmə'net]
终止，限定
6) limited termination
有限终止性
1.
By using the nature of orthogonal,the limited termination of the algorithm is proved.
构造了求解子矩阵约束下AXB=C的双对称解的迭代解法,利用残量正交的性质证明了算法的有限终止性,并进一步研究了求解子矩阵约束下矩阵方程问题的最佳逼近解,最后,给出了能够体现算法有效性的数值实例。
2.
Iterative solutions of three kinds of matrix equations with sub-matrix restrains on symmetric ortho-symmetric matrix set are investigated,and iterative method by the generalized conjugate gradient method is constructed,and its limited termination is proved.
讨论了子矩阵约束下三类矩阵方程的对称正交对称迭代解,利用广义共轭梯度法构造了迭代算法,并证明了算法的有限终止性。
补充资料：有限性定理
有限性定理
finitaiess theorems
【补注】目前一个重大的进展是G.F幽翔罗关于Mo记ell猜想和ma扣pe.朋猜想(在数域的情况)的证明(【AI D.在此之前，C.刃.A稗‘e月oB解决了函数域的情况(【8]).对于Falha瞥工作的简述，见【A3」.对于代数闭链的有限性结果，见tA41.2)解析李回攀诊宁妙亨尽件宇粤是对取值于凝聚解析层(印址沈毗翻阁州cs坛沮f)的上同调群的维数的有限性判别准则.这方面第一个一般的定理是CaJ七m.女n℃有限性定理(〔泊到习n一女口e丘苗抚泊目洛tl长幻~)(【1]):如果X是紧复空间，了是X上凝聚解析层，则对于所有k)0，上同调空间H“(X，为是有限维E区田面进空间.这个定理在凸一凹空间的情况下的推广是(【2』，[3」):如果X是严格(p，q)凸一凹空间(见伪凸与伪凹(声以场一con钱汉斑记笋川0 .co们Lcave))，且了是X上凝聚解析层，则对于P簇k簇p功f犷一q一l，矿(X，为是有限维的，对于p(k簇prof犷一q，H“(X，了)是H豆止心o甫的;同时，对于q+1簇k(prof笋一P，研(x，了)是有限维的，对于q十l乓k簇prof夕一p十1，对(X，了)是E区田面叮的. 上述定理在相对情况下的推广也是有限性定理，即关于凝聚层的直接象的凝聚性判别准则.下述G用佣rt定理(Gm比对由印~)(【4]，[5])是0时明.女m定理的推广:如果东X~Y是复解析空间之间的真解析映射，了是X上的凝聚解析层，则对于所有k)0，直接象层Rk瓜了是凝聚的.对于真映射兀，这个性质也是充分的.对于严格P凸和严格q凹映射，证明了类似的有限性定理(见【6]).对于非ArChim团此赋值域上的刚性解析空间(叼d峨dytic sP出芜)，也证明了类似于G.珑成定理的结论(【7】). 与有限性定理紧密相关的定理是关于对各类复空间上半纯函数域的超越次数的估计(见S峨归定理(Si-哪1 tl笙幻确)).G眨比屺找定理的简单推论是下面的Rem，n‘rt定理(Ren皿巴rt小印~)(【41):如果fX一Y是复空间的真解析映射，z是X中的解析集，则兀(Z)是Y中的解析集.这个定理能推广到刚性空间的情况(【7」).有限性定理饰谊加业，山印成”陷;二ooe，。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条