查询词典 algebraic algebra

Without getting too tied down by words, you can see how the possible variety of algebraic expressions can be represented using classes.

没有得到太多的话捆绑了，你可以看到如何代数表达式的各种可能的办法可以使用类来表示。

Then, to decide whether a propositional formula can be deduced from a finite set of such formulas,we only need to decide whether the polynomial vanishes on an algebraic variety which is related to this formula set.

从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数簇上消失。

A polynomial system PS over the rational number field is constructed from the formula...,in a given many-valued logic system such that follows from ...,iff the algebraic variety defined by PS is empty, iff the idealenerated by PS is trivial.

由给定的多值逻辑系统中的一组公式，。。。，，出发，构造出了一组有理数域上的多项式PS，使得是，。。。，的逻辑结论，当且仅当PS定义的代数簇为空集，当且仅当PS生成的理想是平凡理想。

In an algebraic world, of course, this isn't easy.

在一个数字世界中，当然，这并不简单。

In this paper,a novel algebraic feature extraction method is presented.

该文给出了一种新的代数特征抽取方法。

This is a different usage than in this article. For more information, see algebraic data type.

这是一种不同的用途比本文讨论可疑为更多的信息，参见代数的数据类型。

The purpose of this thesis is to collect the known results in graph theory with algebraic techniques involved.

这篇论文的目的主要是收集了已知的图论上使用的代数方法。

From then on, more and more algebraic topologist become interested in this area.

从此，越来越多的代数拓扑学家对这一领域产生了兴趣。

In this paper,the basic contents of the algebraic attacks on stream ciphers with linear feedback are introduced.

概述了流密码代数攻击的提出和发展，介绍了它的基本思想。

In chapter 3, we discuss several problems on piecewise algebraic varieties.

第三章我们讨论了分片代数簇的某些问题。

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数据流的质量检测。