Secondly , we give a monotonic transformation for the converted single programming problem and prove the equivalence between the converted monotone programming problem and the programming problem with single constraint 再将转化后的只有一个约束的规划问题转化为一个单调规划问题，并证明了其等价性。
Especially in those security area , such as war industry and aerospace science , some important software must . be consistent by verifying with source file and binary code , by the way of de - compiling 尤其在军工和航天等应用领域，出于安全考虑，一些关键软件需通过逆编译验证可执行代码与源码的等价性。
This paper research the numerical solutions and geiven parital condions , this fourmation on some terms is equivalent to anthor formuation , and it is practical to all conditions g iv ed 本文研究了这类问题的数值解法和一般代数特征值反问题给定部分条件时，问题提法的等价性，它也实用于给定全部特征值的情况。
The difficulty of this method is that the workload is heavy , and it ’ s hard to ensure the consistency of design model and verification model . we raise a method to instruct these works 这种模型建立方法的主要难点在于验证模型与设计模型之间差异较大,需要做的修改工作过多,并且难于保证两种模型之间的等价性。
Martin ( ref . 36 ) proved the equivalence between some invexity and the case that every stationary point or kuhn - tucker point is a global minimum point for unconstrained or constrained scalar programming Martin在文献[ 36 ]中，证明了无约束或约束单目标规划中某类不变凸性与每个驻点(或k - t点)即为全局最优点的等价性。
Secondly , for a more general matrix equation in composition , we obtain another equivalent condition for the solvability of this equation and give an equivalent characterization to the solution set of the equation 第二,对于一般情况下的型矩阵方程,本文给出其可解的另一个等价条件,同时对其解集作了一个等价性描述
The equivalence between the mamdani type fuzzy systems using trapezoid or gauss membership functions and the piecewise interpolation functions is demonstrated . and the estimation of the approximation error is given 对mamdani系统，分析了隶属函数分别采用梯形和高斯型时一维模糊系统与函数插值的等价性和逼近误差。
However , when you have xml documents with hundreds or thousands of records , and each element can have several attributes all of which can appear in any order , semantic equivalence is harder to determine 但是，如果xml文档有成百上千条记录，每个元素都有多个属性（都能以任意的顺序出现） ，就很难判定语义上的等价性。
This paper proves the equivalent of some expressions on the rank of matrices of conditions from the simple formula , thus gets a general knowledge about the essential of this processes , and its application is discussed 摘要本文从一个简单公式出发，证明了若干矩阵秩的公式的等价性，从而对这类公式的本质有较为完整的认识，并讨论了其应用。
After special cut was generated by tracing from a special pair of cep , dependencies among high level nodes in special cut were removed for optimization , and the equivalence for the special pair of cep was verified by using special cut 从特定候选等价点进行回溯得到专用割集，通过消除高层次结点间的依赖关系对专用割集进行优化，用专用割集验证特定候选等价点的等价性。
