查询词典 algebra of events

The computer algebra and Wu-Ritt elimination method are employed as the tools to deal with this problem.

第一章简单介绍了本文所涉及到的学科的起源和发展过程，以及国内外学者在这些方面所做的工作和已经取得的一些成果。

In enumerative combinatorics, we need the theory of group [10,29], the theory of ring [7,27], the theory of algebra [30] and so on.

在计数组合学中，我们需要群论，环论，代数等理论。

Part Two of our dissertation is to determine canonical basiselements of the quantized enveloping algebra for type 〓.

我们论文的第二部分就是确定〓型量子群的典范基元素。

The logical operations require the operators of set algebra: equal to, greater than, and less than, and combinations thereof

逻辑运算需要代数运算者：相同的比较，和比较少的比较，和组合关於

As a graphical framework for formally describing interactive system, basic graph can represent processes and the interaction between processes in two ways: one is graphical representation, where a graph corresponds to a process and reduction in a graph corresponds to interaction between processes; the other is using term algebra consisting a set of terms and an equational theory on terms.

基本图是一种描述并发交互系统的形式化方法，它具有描述简洁、清晰和直观的特点。在基本图中，进程以及进程间的交互行为，既可以用图表示方法(其中一个图对应一个进程，图之间的归约对应进程之间的交互行为)，又可以用项代数来表示。

We characterize the left joint spectrum, generated C * algebra C * and Taylor essential joint spectrum of the n tuples of dominated operators in this paper.

给出了控制算子组T的联合左谱，生成的C 代数C以及Taylor本性谱的刻划

The non-commutativity of two gen-erators in an algebra or a group can usually lead to a certain geometrical phase.whose magnitude is generally an area of a circuit(e.g.a triangle)in a certain space.such as the spherical surface or the Euclidean plane.

通常一个群或且一个代数中两个生成元的不对易性会导致某种几何相位。这种相位可能对应于球面或且欧几里德平面几何中某个闭合回路的面积。

Therefore And,exclusive OR algebra system research in logic function realm are getting the more and more extensive application.

因此与、异或代数系统在逻辑函数的研究领域正在得到越来越广泛的应用。

It's comforting to know that my time at Exeter has seen a marked decrease in my pre-algebra skills.

它的安慰，要知道，我当时在埃克塞特出现了显着下跌，在我的前代数技巧。

They are all a kind of exoteric algebra method, that is to say we join persons subjective information in the solution process to seek the solution which needs.

它们都是一种开放的代数方法，即在求解过程中加入人的主观信息，来寻找所需要的解。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。