查询词典 restricted lie algebra

This dissertation is changed into two parts. The first part, the theory and application about Wu-Ritt differential characteristic sequence method are discussed, which involves the theories of differential equations, abstract algebra and computer algebra etc.

本文共分两部分，第一部分讨论微分特征列法的理论和应用问题，涉及到微分方程，抽象代数，计算机代数等重要学科。

Higher algebra is an abstract and theoretical subject.In the teaching,it is hard to join the examples with the real life.This gives people the impression that learning algebra is not useful.

高等代数是一门抽象性和理论性较强的学科，在教学中所涉及的例子较少能与实际生活密切相连，让人感觉到学习的内容与生产实践脱节，体现不了数学的应用价值。

Keywords: Hecke algebra; quantum affine algebra; Fock space

中文关键词：黑克代数；量子仿射代数； Fock空间

Based on White event algebra, the formal framework is extended for event algebra, considering semantic definition of events in more concise temporal relationships of events to enhance the expressiveness of event query language while taking into consideration event selection and consumption policy-the context consumption policy to improve the performance of event detection.

基于White事件代数，扩展了事件代数的形式化框架，在形式化框架中考虑复合事件在更精细的时间关系下的语义定义，以增强事件代数的表达能力，同时考虑与应用相关的事件选择和消费策略-上下文策略，以提高事件检测的性能。

MV-algebra is a kind of logic algebra, which has been introduced by the international famous model expert C.

MV-代数是一种逻辑代数，它是国际著名模型论专家C.C。

Tai Chi has algebra contains the contents of the dialectic, and Tai Chi is dialectical logic of algebra and math.

太极代数里包含有辩证的内客，而太极代数是辩证逻辑的数学化。

In nearly half a century, the scholars of various countries have already made the rich achievement to the studying of MV- algebra and a lot of algebra systems with logic background.

近半个世纪以来，各国学者对MV-代数以及许多具有逻辑背景的代数系统的研究已取得了丰硕的成果([1]，[3-14])。

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

Linear Algebra is mainly a subject which studies the linear structure of finite dimensional linear space and its linear transformation while linear concept is in itself from the old Euclid Geometry. The concept of "Linear Space" is a kind of algebraic abstract. In many fields of modern engineering project and technology, because of the influence of computer and graph showing, the algebraic disposal of geometric questions, the visual disposal of algebraic questions, algebra and geometry are tightly combined.

线性代数主要是研究有限维线性空间及其线性变换这一代数结构的学科，而线性概念究其根源则是来自古老的Euclid几何，线性空间概念是几何空间的一种代数抽象，在现代工程技术的许多领域里，由于计算机及图形显示的强大威力，几何问题的代数化处理，代数问题的可视化处理，把代数与几何更加紧密地结合在一起。

Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.

格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。

Finally it offers the analysis of the fault-tolerance system as well as its test verification.

这样，运行于空间环境中的系统的设计目标就是在保证系统实时性

However, it is still difficult to find out the real reason of the increase of the keratinized gingiva during the orthodontic extrusion whether it is due to the proliferation of the gingival tissue or to its elastic nature, that is because the proliferation of the fibroblasts as well as the connective tissue changes in volume and the intra-fibers spaces were all immeasurable in most of the studies.

然而，仍然难以找到真正的原因增加的角化牙龈在正畸挤压它是否是由于扩散的牙龈组织或其弹性性质，这是因为增殖的成纤维细胞以及作为结缔组织的变化量和内部纤维空格都是不可估量的，大多数的研究。