查询词典 Boolean algebra

Specify what status the spatial operator algebra locates at in many methods of multibody systems dynamics formulations and what the relations are between the spatial operator algebra and other dynamics formulations.We explain the basic conception of the Lie group, Lie algebra and Riemannian manifolds in detail, deeply analyze and research the Special Euclidean Group SE(3) and se(3) in the Lie group, Lie algebra. Establish the relation between the adjoint transformation Adg and the operatorφ(k + 1,k) under a particular condition, substitute the operatorφ(k + 1,k)with spatial adjoint operator Ad kk ?

在多体系统动力学理论体系中，详细阐述了Lie群、Lie代数和Riemannian几何的基本概念，对Lie群、Lie代数中的特殊Euclidean群SE(3)和se(3)作深入分析与研究，建立Lie括号下的伴随变换Adg在特定条件下与空间算子代数理论中的空间变换算子φ(k + 1，k)之间的相互关系，并将空间伴随算子Ad kk ？

A special kind of prime dual ideals are defined in a lattice implication algebra, then their structures and properties are discussed. It is proved that the implication operation on this lattice implication algebra is determined by these prime dual ideals, and all of these prime dual ideals compose a lattice implication algebra which is lattice implication isomorphic to the former lattice implication algebra.

在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定，并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数，它和原格蕴涵代数具有格蕴涵代数同构关系。

The vector has the rich actual background and the widespread application function, it has the algebra and the geometry dual statuses, causes the algebra geometrization, the geometry algebra, has communicated the algebra, the geometry and the trigonometric function, has the good analysis method and the complete structure.

向量具有丰富的实际背景和广泛的应用功能，它具有代数和几何双重身份，使代数几何化、几何代数化，沟通了代数、几何与三角函数，具有良好的分析方法和完整的结构。

Explicitly, they are consist of three classes: If H is semisimple, then H k* for some finite group; If H is not semisimple and the characteristic of k is zero, then H is isomorphic the dual of the cross product between one so called Andruskiewitsch-Schneider algebra and a group algebra; If H is not semisimple and the characteristic of k is not zero, then H is isomorphic the dual of the cross product between one special algebra and a group algebra.

具体地讲，它们共分三类：①如果H是半单的，则H同构与一个群代数的对偶；②如果H是非半单的并且基础域的特征是0的话，则H同构一个所谓Andruskiewitsch-Schneider代数与一个群代数交差积的对偶；③如果H是非半单的并且基础域的特征不是0的话，则H同构于某个特定代数与一个群代数交差积的对偶。

"Higher Algebra" is a 1978 book "Higher Algebra" in the third edition. 1978 edition was compiled by the authors of their "Higher Algebra Lecture"(1964),"A Concise Course in Advanced Algebra"(1965) based on the changes made of.

高等代数》是1978年出版的《高等代数》的第三版。1978年版则是作者在他们所编的《高等代数讲义》（1964年）、《高等代数简明教程》（1965年）的基础上修改而成的。

Established the qualitative algebra space: proposed the symbol algebra and interval algebra space and applied them to the qualitative reasoning; proposed qualitative logic algebra and applied it to the multi-logic problems.

建立了定性代数空间，提出了符号代数和区间代数空间并分析了在定性推理中的应用；提出了定性逻辑代数空间，并应用于物理量之间的多值逻辑问题。

Secondly, for the spascial AF C* algebra-UHF algebra, I study the linear characterization of 2-local isometry on it: make use of the frame attribute, find the trace state of UHF algebra according to the one of matrix algebra and verify the 2-local isometry is linear.

充分利用UHF代数的结构特点，利用矩阵代数的迹态找到UHF代数的迹态，从而证明了2-局部等距的线性性质。

Some other conditions which the implicative operator of a Implication Algebra should satisfied in a logic system are given. The relations between MV-Algebra and Distributive Implication Algebra, Implication Algebra with condition are gained.

对于偏序集上蕴涵代数中的蕴涵算子引入了一些逻辑条件，得到了偏序集上具有不同条件的蕴涵代数与MV-代数之间的关系，给出了偏序集上蕴涵代数与MV代数之间的几个等价定理。

By utilizing the concepts and methods developed in Algebra Topology,Algebra Geometry and Algebra Representations,we first depicted the concepts and results of Incidence Algebra which reflects the linear structure of underlying posets and Sheaf theory which reflects the topological structure of underlying poset in the framework of Category Theory.

本文综合运用了代数拓扑、代数几何及代数表示论里发展起来的概念与方法，首先在范畴的框架下，对和偏序集的线性结构密切相关的Incidence代数，及与偏序集的拓扑结构紧密联系的层，进行了刻画。

Explicitly, they are consist of three classes: If H is semisimple, then H k* for some finite group; If H is not semisimple and the characteristic of k is zero, then H is isomorphic the dual of the cross product between one so called Andruskiewitsch-Schneider algebra and a group algebra; If H is not semisimple and the characteristic of k is not zero, then H is isomorphic the dual of the cross product between one special algebra and a group algebra.

具体地讲，它们共(来源：5fbfA02BC论文网www.abclunwen.com)分三类：①如果H是半单的，则H同构与一个群代数的对偶；②如果H是非半单的并且基础域的特征是0的话，则H同构一个所谓Andruskiewitsch-Schneider代数与一个群代数交差积的对偶；③如果H是非半单的并且基础域的特征不是0的话，则H同构于某个特定代数与一个群代数交差积的对偶。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。