1) equipollence feasible solution
等价可行解
2) decomposition equivalence
分解等价
1.
A sufficient condition is given,which ensures that the asymptotic stability of linear time-invarying isolated control subsystems without time-delays implies the asymptotic stability of neutral type linear time-invarying large scale control systems withmulti-group time-delays under certain conditions by using Lyapunov decomposition equivalence method and introducing some parameters.
通过引进一些参数，利用Ｌｙａｐｕｎｏｖ分解等价法给出了由不带时滞的线性定常孤立控制子系统的渐近稳定性推出多组时滞中立型线性定常大型控制系统的渐近稳定性，并且说明了这个结果可以推广到中立型线性时变大型控制系统中去。
2.
In this paper,a sequential circuits test generation algorithm based on decomposition equivalence is proposed.
针对集成电路的规模和复杂程度不断增加而相应的测试却越来越困难且费时的问题,提出了一种基于分解等价的时序电路测试生成算法。
3) Equivalent Solution Sets
等价解集
4) analytic equivalence
解析等价
5) equivalence decomposition
等价分解
1.
We provide the general forms of Penrose-inverses of a real matrix under the matrix equivalence decomposition.
设A∈Rrm×n,本文讨论了矩阵A在等价分解下的13类Moore-Penrose型广义逆的通式。
6) provable equivalence
可证等价
1.
Based on the consistence of logical equivalence and provable equivalence of formulas in two-valued proposition logic,the general expression of formulas in F(Sn) in the meaning of provable equivalence with the help of assignment of formulas is given.
利用二值命题逻辑中公式逻辑等价与可证等价的一致性,借助于赋值方法得到了命题在可证等价意义下的一般表示,给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式。
补充资料：等价
等价
equmrience
等价[剑两钧山”沈:，K，二a二e盯。ocT‘] 集合X上的具有下列性质的二元关系(binary rela-tion)R任XxX二 l)对任意x:义只义(自反性(代倪xi访ty)); 2)义RJ，冷夕撇(对称性(s yrnrnetry”; 3)x脚八y几冷x几(传递性(。双瑙迈讨ty夕). 如果f是集合X到集合y内的映射，则关系R“{(x，，习二fx、二久}是一等价关系. 对任意y任X，所有与y等价的x组成的集合U任X称为是y的等价类(闪比讼1日篮笼cla铝).任意两个等价类要么不相交，要么重合，也就是说，任意一个等价关系定义了X的一个分划，反之亦然. B.H.rp“吐山时撰张锦文、赵希顺译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条