查询词典 axiomatic

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

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

"Intuitionists reject ed 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."

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

Key Words: Axiomatic method; Elements; the idea of all western knowledge originate from China; logic; spread

搜索词汇；公理化；几何原本；西学中源；逻辑；传播

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

Based on the new theories developed in biology,the basic theoreticalproblems of the genetic algorithm,which are the representation scheme,co-nvergence and convergence rates of the genetic algorithms,etc.,are discussedwith Boolean algebra,group theory,martingale theory and axiomatic method inthe framework of the Markov chain.

本文以生物学发展的新理论为背景，在遗传算法的Markov链框架下运用Boole代数、群、鞅及公理化方法研究遗传算法的表示、收敛性与收敛速度等基本理论问题。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。