查询词典 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代数、群、鞅及公理化方法研究遗传算法的表示、收敛性与收敛速度等基本理论问题。

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