查询词典 axiomatic method

An independent axiomatic system that describes the upper approximation of Pawlak rough sets is formulated by three simple formulas.

获得的结果深刻地揭示了经典等价关系与模糊等价关系的本质区别，进一步深化了Pawlak粗集理论。

The Elements begin with plane geometry , still taught in secondary school as the first axiomatic system and the first examples of formal proof .

在过去的二千年的形容词"欧"是不必要的，因为没有其他类型的几何已经设想。

At a formal level, an axiom is just a string of symbols , which has an intrinsic meaning only in the context of all derivable formulas of an axiomatic system .

在正式一级，公理只是一个字符串的符号，它的内在含义只有在所有derivable公式的公理化体系。

Axiomatic system of law ; topics ; practical knowledge ; situational thinking

法律公理体系；论题学；实践知识；情境思维

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

In this paper, an axiomatic system for the definition of degree of greyness of grey number is built based on discussion with two definitions of degree of greyness of grey number which have been put forward in the past.

基于对已有的几种灰数灰度定义的讨论，建立了灰数灰度定义的公理系统；以灰数灰度定义公理为准绳，由灰数产生的背景或论域及灰数取数域的测度构造出一种新的灰数灰度定义式。

Similarly it is important to see rationalists like Descartes and Spinoza, trying to formulate philosophy in terms of some kind of an axiomatic system, in a discursive and historical context characterized by the emerging natural sciences, formulated in a mathematical language.

同样，在看待象笛卡儿和斯宾诺莎这样设法用某种公理体系构造哲学的唯理论者时，也要将其置于以数学语言构造的新兴自然科学为特征的商谈和历史情境中。

With the great change in sci-tech activities in high-tech era, the theme of philosophy of science has to be transformed into the Topics of Science from the traditional axiomatic system for static researches on single theory and paradigm conversion for dynamic researches on multiple theories.

随着"高科技时代"科学活动方式的巨大转变，科学哲学主题也将由传统的"公理体系"的单理论静态研究和"范式转换"的多理论动态研究向大科学时代的"科学论题学"研究转变。

Keywords : variational theory, variable-independence, consistency , formalization, Axiomatic System of Variation, Formal System of Variation

进一步，我们发现，在鹫井久一郎、钱伟长和罗恩的工作中明示的或隐含的有关变量独立的"传统"的理解隐含着矛盾 [6， 9-11， 14]。

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