查询词典 axiomatic method

Secondly, by using of the medium axiomatic set theory, a natural number system in MS is constructed, and it is proved that five axioms of Peano′s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。

It has proved that well sets completely satisfy all axioms of ZFC -(the classical system of axiomatic set theory ZFC without the regular axiom).

在中介公理集合论系统中重新定义了良集的概念，讨论了它的性质。

The fuzzy set theory is a rapidly growing branch of applied mathematics whereas the Boolean-valued model is a nonstandard model of the axiomatic set theory.

在文献[1]中我们曾引进正规弗晰集合结构的概念，这种正规弗晰集合结构是对弗晰集合论的一种本质的刻划与推广；在文献[1]中还证明了任一正规弗晰集合结构都是带本元的集合论公理系统ZFa的一个布尔值模型。

He has taught the following courses since he became a teacher in 2001: first-order logic, modal logic, the axiomatic set theory, recursive theory and model theory.

已开课程有《一阶逻辑》《模态逻辑》《公理集合论》《递归论》《模型论》。2005年11月至2006年11月，访学于阿姆斯特丹大学逻辑、语言与计算研究所。

The research on rough set axiomatic system plays an important role in the rough set theory and its applications.

粗糙集合理论是一种新的有效处理不精确、不确定、含糊信息的理论，粗集公理系统研究是粗集理论及应用研究的基础。

Finally, an example is given to illustrate how to do system verification based on FPTL and its axiomatic system.

最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。

In an axiomatic system, the primitive symbols are undefined and all other symbols are defined in terms of them.

在任何公理系统中，基设符号都是不下定义的，其它所有符号都藉基设符号来界定。

Two consistent systems for elasticity, the Axiomatic System of Variation and the Formal System of Variation, are suggested in this paper.

他事实上认为变分原理中的变量独立是不证自明的或理所当然的[14]。但是变量独立的问题并没有解决，因为在他的系统中也存在着矛盾。

The axiomatic system in Pawlak rough approximation space is studied by use of matrix expression of fuzzy relation and its operation.

利用模糊关系及其运算的矩阵表示，建立Pawlak粗近似空间的公理体系，该公理系统由三条相互独立的非常简洁的表达式构成。

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