1)  matching principle
等价性命题
2)  equivalence
等价
1.
Equivalence and approximate equivalence problem in cognitive learning;
认知学习中的知识约等价问题
2.
On shift equivalence of anomalous sampling sequence;
不规则采样序列的平移等价性
3.
Three Models of Γ Approximate Reasoning and Their Equivalence in Classical Propositional Logic;
二值命题逻辑中的三种Γ近似推理模式及其等价性
3)  equivalent
等价
1.
The Extension and Application of the Equivalent Infinitesimal Replacement;
等价无穷小量代换的推广和应用
2.
Equivalent Conditions and Use of Linear Relation of Vector Group;
向量组的线性相关性的等价条件及其应用
4)  A-equivalent
A-等价
5)  A equivalence
A等价
6)  equivalence
等价性
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;
实数系基本定理的等价性
参考词条
补充资料:等价性


等价性
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。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。