查询词典 axiomatic method

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.

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

Moreover, the classical Hoare logic is extended as an axiomatic basis of this method. Compared with other existing methods, it pays more attention to the state space other than time properties of hybrid system.

与VDM++中的同步机制相比，不仅吸收了VDM++中两种同步机制的优点，同时也将其两种同步机制化归在统一的框架之下，减轻了用户的负担。

Thus, a new approach was proposed to solve these problems. A case study on alarm icon design for process control systems was used to demonstrate how the axiomatic design method with users' preferences on icon elements as inputs works for measuring the decision objectives, eliminating undesired alternatives, and suggesting the optimal alternative.

因此，本研究尝试以使用者对於图像元件之偏好程为基础，结合公设计方法，以程序控制系统中之警报图像设计为，对图像设计的决策问题提出新的决策方法，使其能明确与有效的衡决策目标，并能控制备选方案的，使决策者能根据此方法所预测的后果选取最好的方案。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

As we all known, with the founding of Euclidean geometry in ancient Greece, with the development of analytic geometry and other kinds of geometries, with F.Kline" s Erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. On the other hand, Euclid formed geometry as a deductive system by using axiomatic theory for the first time. The content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from Kline and Perry" s appealing.

纵观几何学发展的历史，可以称得上波澜壮阔：一方面，从古希腊时代的欧氏综合几何，到近代解析几何等多种几何的发展，以及用变换的方法处理几何的埃尔朗根纲领，到20世纪拓扑学、高维空间理论等几何学的新发展，这一切都在不断丰富人们对几何学的认识；另一方面，从欧几里得第一次使用公理化方法把几何学组织成一个逻辑演绎体系，到罗巴切夫斯基非欧几何的发现，以及希尔伯特形式公理体系的建立，极大地发展了公理化思想方法，不管是几何学的内容还是方法都发生了质的飞跃。

These are (1) denying the relationship between sense and existence,(2) doing not accord with the law of causality,(3) imaging the universe using deductive method of mathematics,(4) propagating the super distance effect which do not need time,(5) using wrong philosophy and physics concepts,(6) studying the origin of the universe,(7) departing from axiomatic system,(8) denying the definitions of basic physical quantities.

主要表现为：否定感觉与实在的关系、不讲因果律、用数学演绎方法臆想宇宙、宣传不需要时间的超距作用、哲学和物理概念错误、研究宇宙起源、脱离了公理化理论体系，否定基本物理量的定义等。

Chapter 3 puts forward the networked manufacturing configuration modeling method of motor based on axiomatic design.

第三章提出了基于公理设计的电机产品网络化制造配置建模方法。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作&细精度&的语义刻画。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。