查询词典 axioms of order

The first part is basic concept and axioms: Gives the definition and the basic theorem of diagonally dominant matrix, M-matrix, H-matrix which involve in this paper.

第一部分为基本概念和定理：给出本文所涉及的对角占优矩、M-矩阵、H-矩阵的基本概念和定理。

When the consistency is checked, the "distance diagram"is employed. It is concluded that the axioms of a description satisfies the consistency iff there are no negative directed cycles in the distance diagram.

在验证ISITL描述的一致性时采用"距离矢量图"，并认为一个ISITL描述满足一致性当且仅当其距离矢量图上不存在负矢量和的有向回路。

It is worth mentioning that the Feet, regulation,"sub-Square" in Operations, problem-solving, results, only the Need to "Elementary Geometry" of the axioms, logic, reasoning, we can prove that.

值得一提的是尺、规，"分角尺"的操作、解题、结果，只需"初等几何"的公理、逻辑、推理、就能证明。

In section three, we recall the mapping cone and show that the mapping cone is equivalent with the octahedral axiom if the other three axioms are satisfied.

在第三节，我们讨论了预三角范畴中的映射锥，证明了在其它三条公理满足的条件下，"映射锥是三角"与八面体公理等价。

The unique existence theorem forutility function based on the new axioms,which is the base of lattice-orderdecision-making theory,is obtained in this dissertation.

本论文研究了在格序决策行为公理体系之下效用函数的存在性问题，并给出了相应的存在惟一性定理，为格序决策理论与方法的研究奠定了基础。

The unique existence theorem forutility function based on thenew axioms is obtained.

给出并证明了基于格序决策行为公理体系的效用函数的存在惟一性定理，为格序决策的研究奠定了理论基础。

The pointless description of axioms of separation, especially T2 axiom is a question without final result in pointless topology.

中文摘要：分离公理，尤其是T2公理的无点刻划是无点拓扑理论中没有统一结果的问题。

It's not really math itself that is incomplete, but any formal system that attempts to capture all the truths of mathematics in its finite set of axioms and rules.

它不是说数学本身是不完备的，而是针对任何某种尝试，试图把数学全部的真命题包括在一套有限的公理与法则里。

Every community built around an idea, a principle or an aim (from fox-hunting enthusiasts to Freudian psychotherapists) will always face hard arguments about where the boundaries of that community lie, and how far the meaning of its founding axioms can be stretched.

每一个建立在某种观念、准则或目的上的群体（无论是猎狐爱好者们还是弗洛伊德派心理医生们），都会常常面临该群体的边界在何处，其奠基理念的意义能延伸到何种程度，诸如此类的激烈争论。

A definition of "Kernel" is given first. Algorithm axioms, algorithm rules of interval grey numbers and new algebraic systems are built based on the "Kernel" and the degree of greyness of grey numbers. And the properties of the algorithm are studied.

首先给出了灰数"核"的定义，基于"核"和灰数灰度建立了区间灰数运算公理、运算法则和新的灰代数系统，并研究了运算性质。

Objective To investigate the relationship between ovum fertilization rate and sperm morphology, acrosome reaction in IVF and to explore the influence of parameters of sperm on fertilization rate.

目的 研究体外受精(in vitro fertilization，IVF)中精子形态、顶体反应与卵子受精率之间的关系，分析精子各参数在IVF受精率方面的参考意义。

A: I hear Mr. White wants to run for the Presidency!

我听说怀特先生要参加总统竞选！