1) semantics equivalence
语义等价性
2) 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等价)。
4) 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.
介绍可测函数的几个等价定义，由此得出可测函数能用简单函数逼近和连续函数逼近。
5) Meaning equivalence
意义等价
6) Equal Definitions
等价定义
1.
Then some equal definitions are given and proved by turns.
给出了凸函数的定义及性质;研究了凸函数的等价定义及其常用的一些判别方法;探讨了凸函数在证明不等式当中的应用。
补充资料：等价性
等价性
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。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条