查询词典 equivalence

Experiments on multiplier tree and adder tree expressions exhibit running time reduction of 83% to 99%, and 40% to 80% respectively.4. Arithmetic unit check with half adder graph technique: Binary Moment Diagram technique has been used in multiplier equivalence checking.

比如针对加法和乘法连续运算的表达式，算法从实现电路中提取变量顺序和结合顺序并加以利用，实验表明，在验证乘法连续运算的表达式时减少了83%～99%的时间，加法连续运算表达式的验证时间也可减少40%～89%。4。

We introduce the uniform Hausdorff metric H on the space 〓 offuzzy complex numbers and investigate the topological structure of 〓.We show the completeness of 〓 and study on 〓 limits of thesequence of fuzzy complex numbers,metrical and leverwise convergence,and relation between metrical convergence and leverwise convergence.Weprove the equivalence theorem of metrical convergence and leverwiseconvergence on 〓.

在模糊复数空间〓上引进一致Hausdorff度量H，讨论了模糊复数空间的拓扑结构，证明了的完备性，并在完备的模糊复数度量空间上研究了模糊复数列的极限、度量收敛和水平收敛，讨论了度量收敛与水平收敛之间的关系，在上证明了度量收敛与水平收敛的等价性定理。

In order to reasonably depict four basic problems with friction, one Coulomb friction new form in first Kirchhoff stress is proposed to deal with finite deformation problems, other Coulomb friction form in incremental mode to elastoplastic flow theory; Hilbert function spaces concerning elastoplastical problems with friction are established, so it makes all operations and calculations in the treatise standardized within the scope of reasonably topologic structure; In view of functional extremum, the equivalence between generalized variational inequalities principles in elastoplasticity with friction and corresponding basic problems are testified by inducing Lagrangian multipliers, so it provides a rationally theoretical basis for numerical methods in elastoplasticity with friction; From the viewpoint of variational inequality, the theory of generalized variational inequalities in elasticity and elastoplasticity with frictional constraint is studied, and the uniqueness and existence of the solution of FEM is proofed under the proposed conditions of stress compatibility, and them FEM approximation and a discrete solution are discussed; Based on the principles of generalized variational inequalities in elastoplasticity with friction, direct generalized variational inequalities methods is pretended, which is a natural generalization and development of direct variational methods; Using generalized variational inequalities methods, some examples in metal forming including plane deformation, upset and extrusion are analyzed and the results prove that all the theories and methods in the paper are right, feasible, accurate and advanced.

主要内容有：为了合理地描述金属塑性成形中摩擦约束弹性、弹塑性基本问题，提出和研究了有限变形下以Kirchhoff第一应力表示的Coulomb摩擦定律形式和弹塑性流动理论下以增量形式表示的Coulomb摩擦定律表示形式；系统建立了摩擦约束弹塑性问题的Hilbert函数空间，使本文规范在一个具有合理的代数拓扑结构内进行一切操作和运算；利用Lagrange乘子，从泛函极值的角度系统地阐述和论证了一系列摩擦约束弹性、弹塑性广义变分不等原理与相应的实际问题之间的等价性，它为处理摩擦约束的弹塑性力学数值方法提供了合理的理论基础；从变分不等式的角度出发，阐述了对应于摩擦约束弹性、弹塑性问题的广义变分不等式理论，首次提出了在应力相容性条件下，它的有限元解具有存在唯一性，进而讨论了其有限元近似及离散解法；基于摩擦约束弹塑性广义变分不等式原理，首次提出了直接广义变分不等式方法，这一方法是直接变分法的合理推广和发展；利用直接广义变分不等式方法对金属压力加工中的平面变形问题、镦粗、挤压等塑性成形问题进行了分析计算，验证了该理论和数值算法的正确性、实用性、精确性和优越性。

On the basis of the definition of the extraordinary Radon transform, the theory of rebuilding image from extraordinary Radon transform result is proposed, and some category such as image structure notation, topology of image structure notation and topological space, homeomorphism in topological space, equivalence of homeomorphism relation, topological constant of image structure notation.

与现有的基于区域内部或外形变换的形状分析方法相比，在理论方法上本质不同的是，本文提出的广义Radon变换，直接将原始的图象数据影射到特征空间，给出图象构图特征的描述，给出了可以用来进行图象检索或图象识别的结构特征谱。

Homtopy theory is the study of topological spaces using a broader equivalence than homeomorphism.

等变同伦满态与等变同伦单态方体定理

On ideal boundary condition, a necessary and sufficient condition for conformal equivalence of an open Riemman surface and its smooth covering surface are given in this paper.

给出了理想边界条件下开Riemman曲面与其光滑覆盖曲面为共形同胚映照的充要条件，并将其推广应用

The finding of the analyses is that both the significance and the degrees of implicitness of various implications have to be preserved in translation of the fiction to achieve satisfactory equivalence.

在语用分析的基础上本文还指出了影响实现语用隐含对等翻译的因素并据此在结论部分提出了实现语用隐含对等的具体建议。

This means, in a strict sense, the impossibility for a three-dimensional equivalence.

这是翻译的最高标准，因为纯理功能包含了意义的各个方面。

Moreover, by using equivalence classes under different granules, the discernment attribute matrix and discernment formula of the distributed reduction and the assignment reduction were given, which overcome the inapplicability of classical methods in FISs.

同时，基于不同粒度下的等价类，给出了FISs上可辨识属性矩阵、分布约简和分配约简的辨识公式，克服了经典方法在FISs上的不适用性。

By proving the simulator-based and comparison-based definitions of semantic security both equivalent to the indistinguishability we obtain the equivalence of the two definitions. This conflicts with the conclusion of Watanabe, et al. The reason lies in that in the simulation-based definition they used, the adversary and its simulator are allowed to choose by themselves the auxiliary partial information about the plaintext to be input, which results in that the information chosen by them can be different.

该结论与Watanabe等人的结论相悖，原因在于他们采用的基于模拟器的语义安全性定义中允许敌手及其模拟器自己选择其输入的有关明文的附加部分信息，导致敌手模拟器与敌手选择的可能不同，使得该定义不等价于不可区分性，与公认的结论不符。

Now she was hungry and angry.She began to smoulder.

现在她又饿又气，她开始流露难以抑制的怒火。

You have placed our iniquities before You, Our secret sins in the light of Your presence.

诗90：8 你将我们的罪孽摆在你面前、将我们的隐恶摆在你面光之中。