1) 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.
根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念。
3) ordered line complex
有序直线丛
4) well-ordered set
良序集
1.
New algorithm for machine vision navigation of farm machine based on well-ordered set and crop row structure;
基于良序集和垄行结构的农机视觉导航参数提取算法
5) 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 -基 。
6) 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公理系统的等价性。
补充资料：良序集
良序集
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).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条