良序,good order

1)good order
良序
例句>>

2)well-ordered set
良序集
1.
New algorithm for machine vision navigation of farm machine based on well-ordered set and crop row structure;
基于良序集和垄行结构的农机视觉导航参数提取算法



3)well-ordered bundle
良序丛
1.
In term of the characteristics of both fair exchange protocols and strand spaces, this paper defines two new notions: bundle s maximum node and well-ordered bundle.
本文根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念。


2.
In this paper,we define two new notions:bundle\'s maximum node and well-ordered bundle based on the characteristics of fair exchange protocols and strand spaces.
根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念。



4)well arranged basis
良序基
1.
Eigenvalue matrix for resolving sparse polynomial equations is constructed by deploying well arranged basis in semigroup algebra k[A].
本文利用半群代数k[A]中良序基,构造了求稀疏多项式方程组解的特征值矩阵,并给出了可以构造方阵的条件。


2.
In this paper, we discuss how to construct well arranged basis for idea F A in semigroup Algebra by means of Gauss-Jordan elimination,moreover,get well-behaved basis-groebner basis.
讨论了在半群代数k[A]中 ,如何利用Gause -Jordan消元法去构造半群代数的理想的良序基 ,进而得到理想的良性基 -Groebner -基 。



5)well-ordering principle
良序原理
1.
One of them deals detailedly with the logical relation between the principle of mathematical induction (type I sa well as type I )and the well-ordering principle under a certain condition and the other introduces an axiom concerning the natural numbers and demonstrates the equivalence between it and the system of Peano axioms.
其一详论在一定条件下,Ⅰ、Ⅱ型数学归纳原理及良序原理之间的逻辑关系:另一则提供一个关于自然数集N的公理并论证它与Peano公理系统的等价性。


更多例句>>

6)Wellordering
良序的


补充资料：良序集


良序集
well-ordered set

　　良序集【wen一咖ered set;即。皿e担op皿朋，e“noeM“o-翔cTOSO] 具有二元关系簇并且满足下列条件的一个集合尸: l)对任意x，夕6p，或x(y，或y(石 2)如果x簇夕并且夕簇x，那么x=夕: 3)如果x(y并且夕蕊:，那么x簇石 4)在任意非空子集X C=P中，存在一个元素“，使得对所有x‘x，a簇x. 于是，良序集是满足极小条件的全序集(totallyOrdered set). 良序集概念是由G.Cantor(【l」)提出的.自然数集对于自然顺序是良序集的一个实例.另一方面，实数区间【O，11对于自然顺序不是一个良序集.良序集的任一子集是良序的.有限个良序集的Descartes积对于字典序(le廊。graphic older)是良序的.一个全序集是良序的，当且仅当它不包含反同构于自然数集的子集(见偏序集的反同构(咖一isomorphismofpartia】】y oldered set)). 一个良序集尸的最小元素用零(符号0)表示.对于任意元素a‘尸，集合 [o，a)={x:X Ep，x极限元(Umit eler加nt). 比较定理(comparison此。~).对任意两个良序集p，和p:有且仅有下列情形之一成立:a)尸1同构于pZ;b)pl同构于p:的一个初始段;或者c)尸2同构于尸，的一个初始段. 如果选择公理(画om of choice)包含在集合论的公理中，那么可以证明，对任意非空集合可以赋予它一个序关系，使其成为一良序集(即任一非空集合是能够良序的).这个定理(称为Zerlldo定理(Zer-n祀10 lheorelll))事实上等价于选择公理.Zern犯10定理和比较定理构成了集合的基数之间的比较的基础.良序集的序型称为序数(ordinaln切mber)(见序型(order type:序数(ordin川nUmber)).【补注】在上面的定义中，条件3)(序关系的传递性)事实上是多余的:它从子集{x，y，艺}的最小元素的存在性得到. 有时一个良序集称为全良序集(totally weU一order-ed set)，以反映次序关系是全序(total ordering)或线性序(linear order雌).见全序集(totally orderedset).
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。

良序,good order