1) 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.
介绍可测函数的几个等价定义，由此得出可测函数能用简单函数逼近和连续函数逼近。
2) Equal Definitions
等价定义
1.
Then some equal definitions are given and proved by turns.
给出了凸函数的定义及性质;研究了凸函数的等价定义及其常用的一些判别方法;探讨了凸函数在证明不等式当中的应用。
4) Meaning equivalence
意义等价
5) semantic equivalence
语义等价
1.
Then,mapping relationship was established between an existing application ontology and the PDSRL ontology by using semantic equivalence and semantic similarity assessment.
首先,框架采用标准化方法,构建产品数据语义描述语言形式化表达产品模型;然后,组合语义等价和语义相似性度量方法在已有的应用本体和产品数据语义描述语言本体之间建立完善的映射关系;最后,以产品数据语义描述语言本体为中介,实现应用本体间的转换,完成异构计算机辅助设计系统间产品数据语义互操作。
2.
This paper present the meaning of semantic equivalence and Herbrand equivalence based on denotational sematics with concrete programming language.
从指称语义出发,结合具体语言,用形式化的方法讨论了语义等价和H-等价(Herbrand等价)。
6) coordinate definition
同等定义
补充资料：Green等价关系
Green等价关系
Green equivalence relations
C似.等价关系【Gn犯.仰‘.七耽比加山.;巧.a盯的-口e朋.3暇一BaJIeHT.oeT。』，半群上的 如下定义的二元关系砚风并，，黑:x刃意味着x与y生成恒等左主理想(PrinciPall山月);x男夕和气夕y的意义类似，只需把“左”分别换成“右”和“双边”;乡=了V夕(在等价关系格内的并);穿·=丫门里.关系丫和夕在二元关系的乘法意义下是交换的，所以，与创门的乘积一致·关系，是一个有回参俪沙tcon-乎洲泊沈)，即从右边稳定:若“，b，则对一切c来说，优汾加;关系少是一个左同余(毓印川犷以泊沈)(从左边稳定).一个了类和一个，类当且仅当它们包含在同一，类时才相交.在同一个男类内所有穿类都是对等的.如果一个少类刀含有一个正则元(雌川arell即叱nt)，则D中一切元素都是正则的.并且D在包含某一个元素的同时，也包含它的所有逆元素;这样一个少类称为手刚的(峭州巨)·在一个正则，类里，每一个、类和每一个夕类都含有一个幕等元.令H是任意一个穿类;那么或者H是一个群(当且仅当H是所给的半群的一个极大子群时才是这种情况)，或者Hn牙=必.同一少类的所有群淤类都是同构的群.在一般情况下，，滩厂，然而，例如，当这个半群S的每一个元素的某个幕都属于一个子群时(特别，当S是一个周期半群(伴该劝C旧1”一尹uP)时)，则少气/.左主理想的包含关系自然地在了类的集合上定义了一个偏序关系;类似的考虑对于，类和声类来说也成立.这些关系是由J. Gn笼”引人的([11).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条