查询词典 axiomatic system

It was found that the experiment result was consistent with the outcome from the axiomatic design method in terms of the correctness rate of icon identification and the time spent for judgment.

实验发现在考虑图像辨认正确与答题时间下，实验结果与以公设计方法所得到的结果一致。

Therefore, the axiomatic design method was concluded to be useful as a decision tool for designing alarm icons in process control systems.

因此，公理设计方法应能有效地应用於程序控制系统之警报图像设计决策问题。

Mathematics;Axiomatic Method;Legal Culture

数学；公理化方法；法律文化

Through discussing good and bad points of several common statistical measures and examining the relationship between such measures,we discover that the statistical method itself also has some unsatisfactory places,one of improvement means is to use the axiomatic method and the welfare method.

从理论上讲，有许多种可实际应用的度量不平等的方法，每一种度量方法都具有一些值得称颂的优点，同时也存在一些难以克服的缺点，其中实践中使用得最为广泛的就是统计度量方法。

The first one is that the Chinese edition of Elements was very difficult to read, and the second one is the idea that all western knowledge originated from China belittle the axiomatic method, the third one is that no logic knowledge came with it then.

从当时的实际出发，我们认为这主要有三个原因：一、《几何原本》生涩难读；二、"西学中源"说轻视西方科学；三、公理化方法传来的时候本身不完整。

Then introduce Fishburn's axiomatic method into insurance pricing, because his description about risk satisfied the need of insurance.

第四章失真定价原则就是针对共同单调风险可加性建立的，是一个较为理想的定价方式。

Mathematics;;; Axiomatic Method;;; Legal Culture

数学方法、数学观念、数学精神都对法律文化产生过重要影响。

"Intuitionists rejected certain concepts of logic and the notion that the axiomatic method would suffice to explain all of mathematics, instead seeing mathematics as an intellectual activity dealing with mental constructions independent of language and any external reality."

直觉主义否认某些逻辑概念，公理方法的注释已经足够解释数学的全部，而不把数学看作是处理与语言和任何外部现实无关的思想构造的一种智力活动。

In the late of Ming dynast and in the early of Qing dynast, much western scientific knowledge were introduced into China by missionaries, so the axiomatic method came to our country together.

明末清初随着《几何原本》等西方文献的汉译，在西方社会盛行了近两千年的公理化方法来到了中国。

Index ; assessment ; axiomatic method ; formalization

指数；测验；公理方法；形式化

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