1) C*-equivalent
C*-等价性
1.
We study the JC*-algebra on the ∏k spaces,C*C*-equivalent of quotients,symmetry of ideals,and conditions of commutativity of general operator algebra on ∏k spaces.
讨论了∏k空间上一般JC*-代数及其商代数的C*C*-等价性,理想的对称性以及交换性条件等问题,得到了若干新结论。
2) Γ-C° contact equivalence
Γ-C°接触等价
3) C0 contact equivalence
C~0接触等价
4) equivalency evaluation
等价性评价
5) equivalence
[英][i'kwivələns] [美][ɪ'kwɪvələns]
等价性
1.
Equivalence Test of Mandarin Sentence Materials for Chinese Speech Audiometry;
普通话语句测听句表等价性测试
2.
Analysis on Equivalence of Weil Circuit in High Power Lab;
大容量试验中威尔合成回路的等价性分析
3.
The equivalence on the theorems of the real-number system;
实数系基本定理的等价性
6) equivalency
[英][i'kwivələnsi] [美][ɪ'kwɪvələnsɪ]
等价性
1.
Bsaed on the theory of bending bond, the paper discussed the equivalency for σ-π type double bond and bending bond, And the some rules for property of bond were explained satisfactorily.
该文根据弯键理论,讨论了σ-π型双键与弯曲键的等价性,并对多种键性规律进行了园满的解释。
2.
The principle of test circuit,the method of selecting parallel resistance and the influence on test equivalency by two operating procedures are discussed.
提出一种在直接试验回路中加装辅助开关及并联阻抗元件来防止被试品因开断失败 而引起爆炸的试验方法,并详细介绍该试验线路的工作原理和选择并联阻抗元件参数的原则以及 两种试验操作程序对试验等价性的影响。
3.
According to the idempotency,commutativity,associativity,absorption identities and modular law of modular lattices,the equivalency among the various definitions of modular lattices with unit element was proved.
对具有单位元的模格,给出三种等价定义,并根据模格所满足的幂等律、交换律、结合律、吸收律和模律,证明了有1模格各种定义之间的等价性。
补充资料:等价性
等价性
equivalence
aengljaxing等价性(叹uivaience的相同性。就程序而言相同主要指功能相同。 今)两个对象某个特定侧面,这个侧面就是语义。语义两个程序功能等价是指它们对同样的输人给出同样的输出。 在程序转换过程中,我们逐步将易读、高抽象级的程序向高效的、基于具体虚拟机的程序转换。为了保证正确性,我们要求转换前的程序和转换后的程序在功能上等价。因此这种转换关系应当是一个等价关系=,即应满足: 自反性:对任意的x,x=x; 对称性:如果x二y,则y二x; 传递性:如果x=y,y=z则x=z。自反性对程序转换而言总是满足的;对称性使得转换可逆转,亦即,保证转换过程中不损失有关功能的信息;传递性保证可对程序进行多次转换;为了使得可对程序进行局部转换而保持整个程序的功能不变,我们还要求程序转换满足等价替换,即: 可替性:如果x=y,则p二P〔y/x〕这里P〔y/x」表示将P中x的若干(指定的)出现换成y。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条