2) equivalent definition
等价定义
1.
On the equivalent definition and sub-cube adjacent properties of the crossed cube;
交叉立方体的等价定义及子体邻接性质
2.
An equivalent definition of differential coefficient for simple function is given.
一元函数f(x)导数存在着一个等价定义。
3.
he author introduces a few equivalent definitions of measurable function and concludes from this that measurable function can be approximated by simple function and continuous function.
介绍可测函数的几个等价定义，由此得出可测函数能用简单函数逼近和连续函数逼近。
3) Equal Definitions
等价定义
1.
Then some equal definitions are given and proved by turns.
给出了凸函数的定义及性质;研究了凸函数的等价定义及其常用的一些判别方法;探讨了凸函数在证明不等式当中的应用。
4) semantics equivalence
语义等价性
5) same order deterministic optimization
等价的确定性优化
6) stable equivalent
稳定等价的
补充资料：等价性
等价性
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。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条