有序集

关于无端点稠密有序集理论完全性的证明

The Proof of No Endpoint Dense Ordered Set ′ s Completeness

文章利用Robinson判别法证明无端点稠密有序集是完全理论，并由Robinson判别法得到了一个理论是完全理论的充分条件。

In this paper , the completeness of no endpoint dense ordered set is proved by Robinson method . And the sufficient conditions are given to prove the completeness of a theory from Robinson method .

有序集上的自由Ockham代数的注记

Note on the Ockham Algebra on Ordered Sets

有序集的序同态映射与其固定点

The Order Homomorphic Mapping of an Ordered Set and Its Fixed Points

提出一个表示有序集的新的数据结构。

This paper presents a new data structure trichromatic tree for ordered sets .

有序集以字母表顺序打印，每行一个。

Orderings are printed in lexicographical ( alphabetical ) order , one per line .

有序集与有序环

The Ordered Set and the Ordered Ring

表示有序集的一个新的数据结构

A New Data Structure for Ordered Sets

对应于每个约束的定义，应打印输出全部满足该约束的有序集。

For each constraint specification , all orderings consistent with the constraints should be printed .

在本文中又引入了对模糊推理十分有用的模糊概念有序集，从而建立了模糊逻辑的推理步骤。

" A sequential set of fuzzy concepts " which is very useful to fuzzy inference is described herein and the inference steps for fuzzy logic are consequently determined .

证明了一个适用于任意有序集的一般归纳原理，以此为基础导出了数学归纳法、超限归纳法和连续归纳法，从而揭示出三种归纳法的共同基础。

In this paper , a general inductive principle for any ordered set is proved , and the mathematical induction , the transfinite induction and the continual induction are then deduced .

此缓存中存储的文档id，是按某些条件查询结果排序的有序的集。

This cache stores ordered sets of document IDs & the top N results of a query ordered by some criteria .

索引是一个指向基础表的有序指针集。

An index is an ordered set of pointers to rows in a base table .

对于有序点集的曲线拟合和无序散乱点集的曲线拟合方法进行了综述。

There carried on the summary of the curve fitting methods of order points and the curve fitting methods of disorderly scattered points .

利用同样的有序消息集可以开发描述与每个观点相关的要素之间协作的白盒序列图。

A white box sequence diagram depicting collaborations among the elements relevant to each viewpoint is developed using the same ordered set of messages .

接着，通过对属性数学的基本理论和方法的介绍，说明了属性数学方法在有序评价集识别上的优势。

In succession , the advantages of the Attribute Mathematical Method in the identification of ordered evaluation sets are showed by introducing the basic theory and methods of Attribute Mathematics .

从为有序元素集定义面积直方图出发，通过图像的阀值分解及层集等概念，面积直方图被扩展到了灰度图像。

Starting from the definition for a set of ordered elements , the area histogram has been extended to analysis gray - level image through the notions of image thresholding decomposition and level sets .

首先引入有序语言短语集构造权重的语言判断矩阵，通过其导出矩阵求解指标的权重信息。

First , the paper introduced ordered linguistic terms to construct judgment matrix with linguistic assessment information for criteria and got the weight by the educed matrix .

此外，本文提出了几种求解有序逻辑程序回答集语义的算法，并对算法进行了比较。

Finally we give some algorithms for answer set semantics .