查询词典 commutativity

In general we can expect completion to fail e.g. for rules expressing commutativity, so that an approach to testing equality of two terms via a canonical set of rewrites appears too strong.

一般来说，我们可以预期，例如未能完成表达交换性的规则，这样，通过规范的重写一套测试方法两个方面的平等似乎太强大。

Unfortunately, it is not generally possible to determine whether or not an operation is associative simply by glancing at its Cayley table, as is the case with commutativity.

不幸的是，一般不可能象交换律那样通过简单查看凯莱表来确定一个运算是否符合结合律。

In this paper, a kind of automatic parallel conversion technique is given. The serial Java program is transformed to parallel program utilizing the multithreading machanism and testing technique of commutativity operations.

提出一种Java程序的自动并行转换技术，并充分利用Java语言本身提供的多线程机制，通过操作冲突性检测等方法将串行化的Java程序自动转化成并行化程序。

Besides, through the study of essentially bounded functions on the unit circle, we get the necessary and sufficient conditions for the essential commutativity of k~-order slant Toeplitz operators with special symbols.

在此基础上，通过对单位圆周T上本性有界函数性质的研究，给出了以特殊函数为符号的两个k阶斜Toeplitz算子本性可交换的充要条件。

By using generalized-weak commutativity mapping, the existence of common fixed point for this class of contractive type mappings is studied in complete metric space, a common fixed point theorem for contractive type mappings is obtained, which largely improve and extend the corresponding results in some references.

通过使用映象的广义弱交换条件，在完备度量空间中研究了更为广泛的一类压缩型映象的公共不动点的存在性，给出了一个新的公共不动点定理，从而在很大程度上改进和推广了现有文献中的一些结果。

Moreover, similar to the corresponding results in [L8], we will finish the decomposition and semi-simplicity of G-quantum doubles of semilattice graded weak Hopf algebras under the condition of commutativity.

首先，我们通过弱Hopf代数的skew-对来构造了一种新的拟双交叉积，这种skew对是对Takeuchi Hopf代数对的一个推广。

Using properties of zero-divisors, regular elements and subdirectly irreducible ring , we obtain some results on the commutativity of semi-prime ring and Jacobson semi-simple ring as follows 1 Let R be a semi-prime ring ,a∈R and 2a is not zero-divisor,If R satisfies one of the conditions in this paper , then R is commutative.

在某些特殊环的交换性方面取得了进一步的结果，并得到了一些新的结论，主要有一设R 为半质环，a∈R ，且2a 为非零因子，如果R 满足论文中八个条件之一，则可以证明环R 为交换环。

The definitions of intrinsical linear nonholonomic constrain and intrinsical nonlinear nonholonomic constrain are put forward in this paper. The nonholonomic systems are divided into intrinsical linear nonholonomic system and intrinsical nonlinear nonholonomic system.The rational spectrums of all kinds of virtual displacement definitions and commutativity of d,?

本文研究了非完整动力学中使不定性问题确定化的交换关系和将非线性问题线性化的虚位移定义，首次证明并给出了在非完系统中各种虚位移定义与交换关系的合理适用范围，指出完整动力学与本质线性非完整动力学在研究方法上具有相同性。

The trick about floating point numbers is that although they are extremely useful for representing real-life quantities, operations on them do not obey the arithmetic rules we learned in middle school: associativity, transitivity, commutativity; moreover, many very ordinary-seeming numbers can be represented only approximately with floating point numbers.

For example：有关浮点数的诀窍是，尽管他们是用来代表我们生活中的数，但操作却不符合我们从中学学到的运算法则：结合律，交换律等等，另外许多时候浮点数只是近似值。

The non-commutativity of two gen-erators in an algebra or a group can usually lead to a certain geometrical phase.whose magnitude is generally an area of a circuit(e.g.a triangle)in a certain space.such as the spherical surface or the Euclidean plane.

通常一个群或且一个代数中两个生成元的不对易性会导致某种几何相位。这种相位可能对应于球面或且欧几里德平面几何中某个闭合回路的面积。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。