查询词典 calculus of approximations

Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.

从而形成了模糊谓词演算一种新的语构与语义体系。

Also, first-order predicate calculus isn't good enough anyway.

同时，从各方面来说，一阶谓词演算都不是足够好。

A legitimate expression of the predicate calculus.

一个合法的谓词演算表达式，即谓词演算语法所允许的公式。

This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.

通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。

The structure and process in PI is similarly to deduction in logic. But PI has much richer structures than predicate calculus. It is a complex of logic and psychology.

PI的结构与过程类似于逻辑中的演绎推理，但它的可取之处在于它可以提供比谓词逻辑更加丰富的结构形式，它是心理学与逻辑的综合。

In particular, the authors' original formulation of Gdel's completeness proof for the predicate calculus has been updated.

尤其是，作者们哥德尔完备性证明原制定的谓词演算已被更新。

In the predicate calculus, a connector connecting two conjunctive formulas denoted by sign ∧or∩.

在谓词演算中，一种连接二个合式公式的连接符，用符号∧或∩表示。

This has led some people who design the specification mechanisms for programming languages, or in the case of UML, for modeling languages, to include facilities from first-order predicate calculus as a language extension.

这就促使一些人在编程语言的描述机制和建模语言处理机制中加进了部分一阶谓词演算的东西，作为一种功能扩展。

Resolution-based many-sorted predicate calculus has been applied to many fields of computer science, such as knowledge representation, artificial intelligence and automatic theorem proving, software specification and verification, etc.

在前人工作的基础上，对自动推理领域的如下问题进行了研究与探索：基于归结原理的多种类谓词演算、模糊逻辑与近似推理、Web环境下的知识表示与自动推理等。

The atom ic formula is called atom for short in predicate calculus.

在谓词演算中，有时将原子公式简称为原子。

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