1) mutual equivalence
相互等价性
1.
By proof of their mutual equivalence,a practical example and some co mments,the concept essence of measurable functions can be better showed.
列出了现今各种实变函数教材中五种常见的可测 函数的定义形式,通过对它们相互等价性的证明及一个实例的分析和几点评论，更加深入地 揭示了可测函数这一概念的内涵。
2) equivalent relations
相互等价
3) interception equivalence
相交等价性
4) equivalence
[英][i'kwivələns] [美][ɪ'kwɪvələns]
等效;等价;当量;相当性
5) mutual evaluation
相互评价
1.
According to the basics of the theory of social choice and game theory , this paper presensts a model of self evaluation and mutual evaluations,especially the constitusional calculus under different types of information, of the members in a group with the hypothesis of homo economics and the methodological individualism.
从经济人假设和方法论上的个体主义出发,利用社会选择理论和博弈论的基本原理和方法研究群体单元的自我评价与相互评价,着重讨论了在确定评价指标权重时群体成员在不同信息条件下的个人"立宪"计算方法和模型,并给出了相应的算例。
6) interoperability equivalence
互操作等价
补充资料：等价性
等价性
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。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条