1) weak equilibrium condition

弱平衡条件
2) balance condition

平衡条件
1.
Analysis on the phase balance conditions and the chemical trend of certain element’s non-existence in a phase;
分析某一组分在某一相中不存在的相平衡条件及化学势
2.
To meet the needs of the two balance conditions of both argument and amplitude simultaneously, at least, two parameters should be adjusted.
交流电桥的平衡不仅取决于桥臂参数的性质,还取决于调节参数的选择,要同时满足幅值和幅角的两个平衡条件,至少需要调节两个参数来实现。
3.
When the oscillation is stabilized, the oscillatory balance condition should be abided.

振荡稳定后 ,要满足振荡平衡条件 ;但在接通电源后要建立起稳定的正弦振荡 ,电路又必须满足起振条件 。
3) equilibrium condition

平衡条件
1.
The result showed that,if only the necessary but insufficient condition,the equilibrium condition,was adopted to deal with the infinite uncertain boundary condition,the solution to the stress was non-unique due to the fact that the boundary problem here was a mal posed mathematic problem.
通过两个典型的半无限体实例,对水平表面作用无限均布压力下弹性地基的应力和位移解答进行研究,结果表明:对边界条件不明确的无限边界仅采用解答的必要非充分条件——平衡条件来等效处理,其应力解答不是唯一的,因为此时该边值问题不是一个适定的数学问题。
2.
Using limit equilibrium condition,the paper analyzed plastic limit of Ring slab with simple inside and fixed outside support.
利用极限平衡条件,对内支座为简支、外支座为固支的环板进行了塑性极限分析,假定环板破坏时的塑性铰线为径环向,假定塑性铰线上的径向弯矩、切向弯矩均达到极限弯矩MP,根据力的平衡条件和力的边界条件,得出了环板极限状态时的内力计算公式,并通过试算得出了环板在不同的内外半径之比时,公式中的塑性铰线位置系数0ρ、1ρ的取值,使内支座为简支、外支座为固支的环板按极限状态设计时的计算问题大为简化。
3.
In this paper, it is pointed out that the element analysis, developed by Gibson et al, of honeycomb structures with walls in uniform thickness under in-plane shear load does not satisfy equilibrium conditions.
本文指出Gibson等提出的等壁厚峰窝结构在面内剪力作用下的单元分析不满足平衡条件。
4) conditional equilibrium

条件平衡
5) condition of equilibrium

平衡条件
1.
In this article,the writer expounds the interrelation between criterion for equilibrium and condition of equilibrium in physical chemistry by deducing both of them.
本文通过对物理化学中平衡判据与平衡条件的导出 ,阐明了两者之间的相互关系。
6) Hotelling flow condition

Hotelling平衡条件
补充资料:最弱前置条件方法
最弱前置条件方法
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。这实际上给出了循环语句设计的原则。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条