查询词典 equivalence problem

From the equivalence of gravity and acceleration, he constructed his general theory of relativity.

从这样的引力和加速度的等效性，爱因斯坦构建了他的广义相对论。

This equivalence between acceleration and gravity means that we can investigate the effect of acceleration on time by noting what effect gravity has.

加速度和万有引力作用之间的等效性，意味着我们可以通过记录万有引力的作用来研究加速度对于时间的作用。

According to the pattern, the traditional judgment logic phalanx may find out the equivalence description in uniting calculation. In addition, all efficient formulas of traditional lexical logic become the external true formula without exception, and the inefficient become the external false.

在这一模式下，传统直言判断的逻辑方阵在联合演算中可以找到等价的描述，不仅知此，传统词项逻辑的所有有效式在联合演算中无一例外地是永真式，而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。

In this paper, the linear equivalence of output coordinate functions of affine inverse function s and the S-box of Camellia are discussed.

有限域上的逆函数左右复合一个仿射置换而成的仿射逆函数具有很好的密码学性质。

A complete series of the piecewise algebraic curve consists of all effective ordinary cycles in an equivalence class {A} and all effective singular cycles which are equivalent specifically to cycle A.

分片代数曲线的完全列是由所有属于同一等价类的有效正常循环以及所有与它特等价的有效奇异循环构成。

In the study of the recognition of bifurcation broblems, Gaffney establishes D -equivalence theory by introducing unipotent algebraic group and nilpotent Lie algebras.

借助于奇点理论中的一个基本概念，这一问题常常可以转化为有限维的情形来处理。

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

Key words: legal language; all-inclusiveness; translation; equivalence

要害词：法律语言；概括性；翻译；等值

Based on the complex potential method about the plane theory of the elasticity of an anisotropic body, stress distributions in the plate with multiple cracks are obtained by using the conformal mapping and the Faber series expansion. The equivalence yield stress considers the effect on plastic zones. The Swift strip yield criteria is used to predict the residual strength of plate containing multiple collinear cracks.

采用各向异性体平面弹性理论中的复势方法，应用保角映射技术和Faber级数展开，导出在任意载荷作用下多裂纹板应力场的级数解，引入当量屈服应力修正裂尖塑性区，并利用Swift韧带屈服准则建立含共线分布多裂纹结构的剩余强度分析模型，计算结果与试验结果吻合较好。

If we come back to our highly simplified example with only "library" and "book" elements, we have achieved a pretty good equivalence with the closed schemas previously developed with XSLT and Schematron and you may wonder if we can open our schema to allow arbitrary text and element nodes within our book element like we had been able to do.

如果我们回到我们高度简化的只有"library"和"book"元素的例子中来，我们已经实现了和前面用 XSLT 以及 Schematron 开发的封闭 schema 几乎完全相同的对等物。而且你可能想要知道是否我们能开放我们的 schema 让任意的文本和元素节点都能出现在我们的 book 元素中像我们前面能够做到的那样。

There are two types of gold deposits in this area, namely altered rock type and quartz vein type.

本区金矿床包括两种类型：柴胡栏子金矿床为蚀变岩型金矿；莲花山和红花沟金矿床属石英脉型。

You were home and it was two weeks ago.

你回到了家里。当时是两周前。