等价的

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.

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

It is proved that a semiring is complemented if and only if it is a direct product of some Boolean algebra and Boolean ring by studying the relations of congruences on the complemented semiring, so the complemented semiring is the commutative semiring.

s-内射模。通过研究可补半环S的性质及S上的同余关系，证明出可补半环与布尔环和布尔代数的直积是等价的，因而可补半环是交换半环。

With a constructed theorem, the author comes to a conclusion that this method, in a sense, equals to the algorithm of the continued fraction.

通过构造的一个定理对这个算法进行的分析讨论证实，闰周算法是一种很好的实数有理逼近算法，事实上，从某种意义上讲，它与连分数展开算法是等价的。

Furthermore, if two participating ISSDs each contain a definition of a type name T , the set of types derived by extension from T must be equivalent in both ISSDs.

更进一步地，如果两个参与ISSD每个都包含了一个类型名 T 的定义，对 T 扩展而得来的两个ISSD中的类型必须是等价的。

This paper investigates topological properties of the general gradient system, and demonstrates by results of differential topology that the boundedness of the general gradient system is equivalent to the boundedness of the potential energy boundary surface. Moreover, a general gradient system is bounded if, and only if the system has both sink point and source point.

该文研究了广义梯度系统的拓扑性质，应用微分拓扑学原理证明，广义梯度系统的完全稳定性与势能界面的有界性是等价的；广义梯度系统完全稳定当且仅当该系统既有渊点又有源点。

Also, the remaining reduced density, matrices ρ〓 can retain entanglement or disentanglement independently, which can be chosen freely according to our requirement, and the relative entanglement strength of any pair of particles can be arbitrarily adjusted.

我们的研究表明：在SLOCC下，虽然三粒子纠缠纯态可简单地分为两类，即GHZ类和W类，但同类的三粒子纠缠态不一定具有相同的纠缠特性，除了那些在LU下等价的态。

The verification theories and algorithms of value-passing CCS and the π-calculus bisimulation equivalences are the hot point of research in the area of process algebra, and the critical step for the application of process algebra in practice.

传值CCS和π-演算互模拟等价的验证理论和算法是进程代数领域的研究热点，也是使进程代数从理论研究走向实际应用的关键环节。

Furthermore we introduce the concepts of coverings and lattice-valued homomorphisms,we prove that the L-valued fuzzy transformation semigroups in which the multiplication is fuzzy transformation semigroup inducible is equivelent to usual faithful transformation semigroups in the sence of lattice-valued strong homomorphism.

若格半群中的乘法是格值变换半群可诱导的，在格值强同态下证明了格值可诱导变换半群和一般有效变换半群是等价的。

Computer simulations show that the strange attractors in the derived TS fuzzy system and original chaotic system are topologically equivalent.

计算机仿真结果表明TS模糊系统的吸引子与原系统的混沌吸引子是拓扑等价的。

Furthermore, the FJ method is compared with Dirac method and the results indicate that the two methods are equivalent in the quantization of this system.

进而把FJ方法和Dirac方法进行了比较，发现在对此系统的量子化中，两种方法所给出的量子化结果完全是等价的。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失