2) equivalence declaration
等价性说明
3) equivalence checking
等价性验证
1.
Automatic operand ordering for equivalence checking;
等价性验证中的自动算符排序
2.
Latch mapping algorithm for equivalence checking;
面向等价性验证的锁存器匹配算法
3.
An Equivalence Checking Algorithm for Combinational Circuits;
带黑盒组合电路的等价性验证
4) equilibrant proof
等效证明
5) elementary proof
初等证明
1.
This paper provides the elementary proof of geometry average arithmetic average inequality,which can advance the use of the inequality significantly and can express its value through some applications.
给出几何平均算术平均不等式的初等证明,这样就可使此不等式的使用大为提前,通过一些实例体现此不等式的使用价值。
2.
The purpose of this paper is to give an elementary proof for the basic theorem.
作者给出了这个基本定理的一个初等证明 ,这个初等证明不但避免使用M 。
3.
Using Multiplication and Kronecker product property of matrix and simple prop- erty of inverse,an elementary proof of theorem in[1]is given.
仅用矩阵的乘法,矩阵的 kronecker 积的性质及逆矩阵的简单性质给出了[1]中定理的一个初等证明。
6) primary proof
初等证明
1.
In this paper we introduce an integral recurrence formula for calculating polynomial of powers sum, and gives its a primary proof and some applications.
本文介绍一个计算幂和多项式的积分递推公式 ,并给出该公式的初等证明和某些应用 。
2.
The author put forward the primary proof of the Pascal Theorem in higher geometry and obtained five primary inferences.
给出了高等几何中的Pascal定理的初等证明及5个初等推论。
补充资料：等价性
等价性
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。 程序等价性的研究就是根据语义等价性定义一个程序代数。利用程序代数可进行程序自动转换、程序正确性证明等。(伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条