查询词典 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的查询中间表示，统一了多种聚集类型的重写规则，幺群概括还被我们用于定义代数操作符，这使得代数操作符突破了关系代数/演算中只针对集合的局限。

This process is actually the process of algebraic extension; also it is the basic way of algebra: organizing some objects into an operation system, and then study the relationship between elements or parts of the system.

这实际上是代数扩张的做法，也是代数的本质：将一些对象组织成一个运算体系，研究这个体系中各个个体之间以及部分与全体之间的关系。

Methods of algebraic geometry rely heavily on sheaf theory and other parts of homological algebra .

代数几何方法在很大程度上依赖束理论和其他地区的同调代数。

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.

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

Algebraic K-theory is an important branch of algebra which has deep relationships with other branches of mathematics such as algebraic number theory, algebraic geometry and algebraic topology.

代数K-理论是代数学的一个重要分支，它与数学中代数数论，代数几何和代数拓扑等其它分支有深刻的联系。

Basic Mathematics has undergone an amazing evolution and born fruit on fields such as algebra, functional analysis, dynamic system, algebraic number theory and differential geometry.

基础数学的研究经过多年工作积累，在代数学、泛函分析、动力系统，代数数论，微分几何等领域在国内外有一定影响。

This method is developed based on Algebra of Systems, an algebraic system modeling language.

并对系统代数提出"Merge"算子，使其更适合建立较复杂系统的仿真模型。

The algebraic system uses the method of algebra to study the properties and characteristics of various things in the world.

代数结构主要从系统宏观的代数方法去研究客观事物的各种性质与特征。

A new algebraic system X is constructed by using the known loop algebra 1 and difference operators.

首先利用环代数1和微分算子构建一种新的代数系统X。

Linear algebra also plays an important part in analysis, notably, in the description of higher order derivatives in vector analysis and the study of tensor products and alternating maps.

这样向量可以用来表示物理量比如比力，可以做加法或和标量做乘法。如此形成了第一个例子：实数向量空间。

I can not make it blossom and suits me

我不能让树为我开花

When temperatures are above approximately 80 °C discolouration of the raceways or rolling elements is a frequent feature.

当温度高于 80 °C 左右时，滚道或滚动元件褪色是很常见的特征。