查询词典 algebraic algebra

Aiming at OQL, we treated type as monoid (collection monoid and primitive monoid), and used monoid comprehension as OQL's intermediate representation. Therefore we can merge the rewrite rules for a number of collection types, then employ monoid comprehension in defining algebraic operators, as cut out the limit that in relational algebra/calculus algebraic operators are only for set.

针对ODMG-2.0的对象查询语言OQL，我们把类型提高到幺群级，然后从幺群概括入手，用幺群概括作为OQL的查询中间表示，统一了多种聚集类型的重写规则，幺群概括还被我们用于定义代数操作符，这使得代数操作符突破了关系代数/演算中只针对集合的局限。

Computing integral closure of a finite extension is not only an important problem in commutative algebra, but also in algebraic geometry and algebraic number theory.

计算有限扩张的整闭包不但是交换代数中的一个核心问题，也很受代数几何以及代数数论发展的推动。

In Chapter 3,we classify a binary-coded individual space equivalently withthe help of the ideals of Boolean algebra and analyze the search capabilitiesof a new kind of algebraic crossover operator in these equivalence classes,thenprovide the algebraic representation of a type of genetic algorithms by usingthe permutation group,therefore we can derive a lot of new forms of geneticalgorithms.

第三章运用Boole代数的理想将二进制编码的个体空间进行等价分类，分析了一类代数杂交算子在这些等价类上的搜索能力；然后利用置换群给出一类遗传算法的代数表示，由此导出多种新形式的遗传算法，并给出其中两类算法形式的收敛性结果。

Based on the filtered Lie algebra of the universal enveloping algebra, the algebraic structure of projected subsystems are studied. It is proved that they have simple decompositions, and the construction of the representations is given as well as the corresponding criterion for project limit controllability.

基于泛包络代数的滤李代数结构，研究了投影子系统的代数结构，证明它们具有简单的分解形式，并给出了它们的表示的构造方法和投影极限能控性的判别定理。

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

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

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.

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

This direction of research associates the graph in graph theory with the matrix in algebra by the matrix representation of a graph, then studies the algebraic property of graphs with the methods in graph theory and algebra.

该研究方向是通过图的矩阵表示将图论中的图与代数中的矩阵联系起来，再利用图论和代数方面的一些方法来研究图的代数性质。

As the center or the Algebra subalgebra of a algebra plays an important role in reducing the number of state variables, the cartan subalgebra is a maximum Abelian subalgebra of an algebra, so it can be a powerful tool for the structure simplification of control systems.

由于代数的中心，或交换子代数在系统的变量降低方面具有重要作用，而Cartan子代数是李代数的极大交换子代数，因而它能成为简化系统结构的有力工具，第二部分利用向量场的积分曲线所定义的映射，构造出一个S—坐标，在该坐标下任一向量场都有一个标准的表示方法，一种无穷级数表示方法。

Vector is the new high school textbooks and the new one of the important contents, it is rich in physical background, it is the object of study algebra, and geometry is the object of study is set,"the number of Form" in a mathematical concept of an abstract algebra, linear algebra and functional analysis of the basic mathematical model.

向量是高中新教材中新增加的重要内容之一，它有着丰富的物理背景，它既是代数研究的对象，又是几何研究的对象，是集"数、形"于一身的数学概念，是抽象代数、线性代数、泛函分析中的基本数学模型。

Weak quasi-bialgebra (quasi-Ilopf algebra) is an associative algebra with unit 1 a non-unital algebra map i.

弱拟双代数是一个具有单位1的结合代数，具有余乘法与余单位。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。