查询词典 Boolean algebra

All real simple Malcev algebra,are classified according to whether or not they have a compatible complex structure and simultaneously we give all the invariant bilinear forms by the killing form of the real simple Malcev algebra or the killing form of it s complexification .

研究实单Malcev代数上的不变双线性型，仿照李代数的情形给出实Malcev代数上的容许复结构、实Malcev代数的复化以及Malcev代数上的不变双线性型等概念，并通过对实单Malcev代数上容许复结构的讨论，将实单Malcev代数上的不变双线性型分为两种情形。

Then we study the typical property of theirs form the starting of nature and constitute of the two types of Lie algebra, and we calculated separately their dimension, center, commutator algebra, Killing type, Cartan subalgebra, structure formula, root system, and so on.

本文主要研究了两类典型的李代数即李代数so*(2n)和g*，首先介绍了一些李代数的基本知识，并且给出了这两类李代数的组成结构，然后从这两类李代数的本质构成出发，研究它们的一些典型性质，分别讨论了它们的维数，中心，换位子代数，Killing型，Cartan子代数，结构公式，根系等。

Based on the methods and techniques of covering theory, the structure of module category of tame concealed algebra, one-point extension, vector space category, finite enlargement, degeneration theory, stable equivalence and combinatorial method, we will classify all of the three-point algebras with Gabriel quiver the system quiver Q according to representation type. We get the classification theorem: Let A=kQ/I be a three-point algebra given by the system quiver Q.

本文综合利用覆盖理论，tame concealed代数模范畴的结构，单点扩张，向量空间范畴，有限enlargement，退化理论，稳定等价以及组合的方法等多种方法和技巧，将所有由系统箭图Q给出的三点代数按表示型进行分类，得到如下分类定理：Q是系统箭图，I是kQ的一个admissible理想。

We give some examples of BiFrobenius algebras based on the extensions of algebras and coalgebras . Let H be a bialgebra of finite dimension . Then T= H⊕H* has an algebra structure and a coalgebra structure also . We discuss the properties of T , and get the necessary and sufficient condition for T to be a BiFrobenius algebra .

然后根据代数余代数的平凡扩张给出一类BiFrobenius代数的例子，设H是有限维双代数， T= H⊕H*既有代数结构也有余代数结构，研究T的性质，给出了T成为BiFrobenius代数的充要条件，即定理3.9。

Associated it we define a root system. In a suitable condition we define a Lie algebra to realize this root system, namely, using an Euler cocycle given by intersection matrix, we define an infinitely dimensional vector space with the Lie operation becomes a Lie algebra.

在适当的条件之下，我们给出了该根系的一个李代数实现，即利用该相交矩阵确定的一个欧拉cocycle和根系，我们定义了一个无限维向量空间和李运算，并且证明了这个无限维向量空间在该李运算之下构成一个李代数。

"Applied algebra" introduce application of algebra in cryptography and coding theory.

应用代数主要内容是一些代数知识在密码学和编码学中的应用。

In the chapter two, we will recall some basic concepts and properties in commutative algebra and homological algebra.

在第二章中，作者介绍了交换代数和同调代数的一些基本概念和性质。

The thesis studies the difference between GWSs composition and traditional workflow applications, proposes the implement mechanism and technical architecture of GWSs composition and defines the reference model of GWSs composition platform, which provide holistic framework and top-level guidance for studying dynamic GWSs composition technology, designing GWSs composition platform, and implementing representative composite service applications.2、Theories and methods of composite process modeling and process analysis. This thesis proposes a meta-model of Geo-spatial Web services composition process defining from two aspects, i.e. process and resource. According to the process definition meta-model, we propose a new Geo-spatial Web services composition Process/Resource model based on extended WF-net, which effectively resolves the problems on uncertain activity option and dynamic variation of service in composite process model. A notion with regard to soundness of process model is proposed from three aspects, i.e. the structural correctness of process model, validity of data link and validity of resource. The notion of soundness definitely gives a dividing line on correctness of composite GWS process. This thesis analyzes sufficient and essential terms of soundness, and studies compositional property of WSCP/R-net models which provides an effective method to construct a soundness WSCP/R-net model. According to WSCP/R-net, the thesis proposes composition algebra and studies the properties of it. Based on the composition algebra, 6 kinds of composite process reduction rules are induced to optimize the process.3、Geo-spatial Web service QoS model and its application architecture. This thesis proposes an extendable GWS QoS model from three aspects, i.e. Geo-spatial Web Service itself, networking conditions and service consumer which can be used to distinguish GWSs with overlapping or identical functionality. We work over the QoS evaluation methods of composite GWS process which can be used to guide the execution, monitor and service selection of composition process. Aming at some disadvantages in traditional Web service discovery model for its lacking of QoS supporting, this thesis proposes a new service discovery model SDMQ supporting QoS constraints.4、Technologies of composite service executing. SSPL, a new composite service process language, is defined to overcome the disadvantages of existing composite services process languages which can not adapt to the dynamic variation of Geo-spatial Web Services. An algorithm is described to translate WSCP/R-net model into SSPL. The thesis studies the model of dynamic services selection with QoS global optimization, presenting an algorithm GODSS to resolve dynamic services selection with QoS global optimization in GWSs Composition.5、Design and implement experimental system and representative applications. According to the research findings presented above, we design and implement an experimental system and construct two representative applications to show that our achievements are effective and practical.

针对当前空间信息服务聚合研究中存在的若干不足，本文重点在基于工作流的空间信息服务聚合框架、空间信息服务聚合流程建模和分析技术、空间信息服务QoS模型及应用体系以及空间信息服务聚合流程执行等几个方面进行深入研究，主要工作和创新点包括：1、基于工作流的空间信息服务动态聚合框架：研究了空间信息服务动态聚合和传统工作流应用的不同，在此基础上提出了基于工作流技术的空间信息服务动态聚合实现机制、技术体系和参考模型，为研究空间信息服务聚合的关键技术、开发服务聚合支撑平台以及在此基础上构造特定的空间信息服务聚合应用提供了总体框架和顶层指导。2、空间信息服务聚合流程建模和分析技术：首先基于动态服务聚合流程建模的需求和空间信息服务动态变化的应用实际，从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型；与之相对应，对基本的WF-net进行扩展，提出服务聚合流程/资源网作为空间信息服务聚合流程的形式化描述模型，有效解决了现有的基于基本Petri网和工作流网的服务聚合建模方法所不能解决的不确定路径选择和服务的动态变化性问题；从流程结构正确性、数据依赖有效性和资源实现有效性三个方面提出了WSCP/R-net健壮性的概念，明确界定了聚合流程正确性的标准，并对WSCP/R-net模型的健壮性分析方法和WSCP/R-net模型的组合特性进行了研究；提出了空间信息服务聚合代数算子并对其性质进行了研究，在此基础上提出了6种聚合流程约简规则，从而可达到优化聚合流程、提高聚合流程执行效率的目的。3、空间信息服务QoS模型和应用体系：从服务本身、网络环境和服务消费者三个层次出发，提出了一个可扩展的空间信息服务QoS模型GSQM，实现了对空间信息服务的度量和评价，并对GSQM不同质量要素信息的客观、公正采集方法进行了研究；研究了空间信息服务聚合流程QoS评价方法，有效支持了空间信息服务聚合流程的执行、监控以及服务选择等操作；针对目前的服务发现模型仅支持服务功能性描述、不能有效满足空间信息服务应用需求的现状，提出了一种新的支持QoS约束的服务发现模型SDMQ，并对模型的实现框架进行了研究。4、空间信息服务聚合流程执行技术：针对现有的服务聚合流程描述语言不能有效满足空间信息服务动态聚合流程描述的特点，基于BPEL4WS提出了一种新的空间信息服务聚合流程描述语言SSPL；研究了满足健壮性要求的WSCP/R-net模型向SSPL的转换算法，在此基础上可以满足用户无显式编码来实现空间信息服务聚合应用的目的；研究了服务动态选择QoS全局优化模型，并在此基础上提出了一种解决服务动态选择QoS全局优化问题的实现算法GODSS.5、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus conics and limits

高中：代数，几何，高等代数，三角学，？圆锥和极限

Further some equivalent conditions for a trivial algebra are given, and that the mapping which maps the subset of the universal to the maximal congruence that saturates the subset being a -homomorphism, being order preserving, being constant mapping, the algebra being trivial are equivalent is proved.

最后利用该同余给出了关于平凡代数的几个等价条件，证明了泛代数的子集到渗透该集的最大同余的映射为保序映射、该映射为-同态、该泛代数平凡等是等价的。

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'.

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