1) weak normal cone condition
弱法锥条件
2) normal cone condition
法锥条件
3) the quasi-normal cone condition
拟法锥条件
1.
Prove the chosen mappings on constrained grads are positive independent,the chosen mapping on constraints feasible set satisfy the quasi-normal cone condition,and construct combined homotopy equation.
针对这类非凸约束区域,给出了拟法锥的构造方法,证明了所选映射关于约束梯度是正独立的、可行域关于所选映射是满足拟法锥条件的,构造了拟法锥条件下的组合同伦方程,给出了数值例子。
2.
Under the normal cone condition or the quasi-normal cone condition, it has been proven, for nonconvex programming problem, that the algorithm generated by CHIP method exhibiting global convergence.
借鉴已有的理论结果,即在拟法锥条件下,用组合同伦内点法求解这类问题具有整体收敛性,但如何构造拟法锥是实现该方法的关键。
3.
It has been proven that selected mapping is positive linear independence with regard to constraint gradient,and selected quasi-normal cone satisfies the quasi-normal cone condition.
针对一类约束函数均为二次函数的非凸可行域,给出一种简易的拟法锥构造方法,证明了所选的映射关于约束梯度是正独立的,所得的拟法锥满足拟法锥条件,表明借助于组合同伦方程可具体求解此类非凸优化问题。
4) quasi-normal cone condition
拟法锥条件
1.
In this paper, we give a method to construct a quasi-normal cone for a class of nonconvex sets based on a global, which satisfies quasi-normal cone condition, and construct a Partially Aggregate Combined Homotopy Interior Point method (PACHIP method) to solve the K-K-T point of Non-convex programming according to this quasi-normal set.
本文给出基于球形的一类满足拟法锥条件区域的拟法锥构造方法,基于该可行域的拟法锥,建立求解在该类非凸区域上的规划问题的K-K-T点的部分凝聚同伦组合方程,并证明了该同伦内点法的整体收敛性,给出实现同伦内点法的具体数值跟踪算法步骤,并通过数值例子证明算法是可行的和有效的。
2.
And the constrained quasi-normal cone satisfies the quasi-normal cone condition.
研究一类部分反向凸约束可行域上函数极小化问题的组合同伦内点方法,针对这类部分反向凸约束区域,给出了拟法锥的构造方法,并证明了所选的映射关于约束梯度是正独立的及所构造的拟法锥满足拟法锥条件。
3.
In this paper,we give a method to construct a quasi-normal cone for a class of non-convex sets based on a general convex set and the complement set of a wedge,which satisfies quasi-normal cone condition,and construct a Combined Homotopy Interior Point method(CHIP method)to solve the K-K-T point of Non-convex programming according to this quasi-normal set.
本文针对基于一般的凸集与"模型"的余集相交形成的一类满足拟法锥条件的复杂非凸区域,给出一种拟法锥的构造方法,在给定的拟法锥条件下,建立求解在该类非凸区域上规划问题的K-K-T点的组合同伦方程,并证明了该同伦内点法的整体收敛性,并通过数值例子证明算法是可行的和有效的。
5) quasi-cone condition
拟锥条件
1.
We defined the new quasi-cone condition,established the homotopy equation and proved the global convergence of this homotopy method.
通过对可行域定义新的拟锥条件,给出相应同伦方程,并证明此同伦算法在此拟锥条件下具有全局收敛性。
6) weak condition
弱条件
1.
Convergence of column-update Broyden method under weak condition;
弱条件下列修正Broyden法的收敛性
2.
Under the Smale s theory of estimates from data at one point, this article discusses that the convergence of iterative scheme for solving the equations with nondifferential terms is proven under weak condition, by means of major sequence techique.
在Smale点估计理论基础上,利用优序列技巧,给出了在弱条件下,用牛顿迭代格式求解带不可微项方程的存在性与收敛性定理。
3.
Two Bellman induced inequalities under weak condition are discussed.
讨论了弱条件下的两个 Bellman诱导不等式 ,证明了 Bellman不等式仍能在弱条件下成立 。
补充资料：最弱前置条件方法
最弱前置条件方法
weakest pre-condition method
Zuiruo q.QnZhl tlQOJIan fangfa最弱前置条件方法(w“‘estp份conditionmethod)基于最弱前置条件的一种程序完全正确性证明方法。最谙前!条件指保证一个语句执行正常结束并满足结果断言的最弱前提条件。它是一个谓词公式，通常用饮夕(s，R)表示，这里，R是语句S执行后所期望的结果断言(后置断言)。 E.W.伪kstra在前后断言的基础上提出了最弱前置条件的概念，以及相应的程序设计演算，使程序设计和程序验证可同时进行。 对于E.W.列kstra所定义的语言，语句的语义通过最弱前置断言给出。t刃户(s，R)可通过逆向推理导出。例如:赋值语句的语义是双沪(x:=。，R)二R【x/。〕，即将R中x的所有自由出现同时代换成e。例如: 帅(“x:=x‘二”，x4=10)三((x、x)4=10)三(xs=10) 为了证明循环的终止性，E.W.则kstra引人了循环不变式和界函数。一般说来，一个循环呈如下形式: lin二r故nt:叫一进人循环前，不变式p真， 1加“nd:川一并且B真时t>0，t是循 环次数的上界 doB~I玉奖reaset，Strueod 一当B真时，使t递减并执 行S，S执行过程真 保持P {P八，B}一则循环必然终止且终止时 P真B假 若Q是s的执行能在有限时间内中止并满足R的任一前提条件，则必有Q=>u沪(s，R)。因此，证明前后断言Q{S}R只需先求出最弱前置断言双沪(S，R)，再证明Q”双乡(s，R)。 当给定了Q和R，根据Q，R的结构，通过推导饮沪(S，R)，可推出S的结构，从而将程序设计的过程变成数学推导的过程。例如，要设计一个循环IX)，使得当满足前置断言Q和结果断言R，则P，t和B应满足Q=>P八加“nd:t，t镇0冷，B及P八，B冷R。这实际上给出了循环语句设计的原则。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条