等价的

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方法进行了比较，发现在对此系统的量子化中，两种方法所给出的量子化结果完全是等价的。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。