完备半格

Then, theoretically, mathematical morphology is stretched from complete lattices to complete semi-lattices and the adjunction of complete semi-lattices is studied. Some qualities of mathematical morphology on complete semi-lattices are discussed and supported. Two examples of difference semi-lattice and reference semi-lattices are also supplied.

然后在理论上，把数学形态学从完备格延伸到完备半格，研究了完备半格上的伴随，讨论并证明了完备半格上数学形态学的一些性质，列出了差分半格和参考半格两个例子。

Unlike the canonical extension,the number of algebraic completion of a poset may be more.

一个偏序集的代数完备可能有多个，可是，当偏序集是并半格时，代数完备在序同构意义下却是唯一的。

It is proved that a complete lattice is completely distributive lattice if and only if it is both semi-Smooth lattice and semi-continuous lattice.

证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格。

And based on those measures two I/O linear scalable feature selection algorithms, StaFSOS and EnFSOS, are accurately constructed. 2 On the basis of Quotient Space theory and EnFSOS , granular transformation RBF classification model, GTM-CORBUNfast is constructed. The correctness of this model is proved by complete partial lattice, lattice tree search and property preserved theorems.

二、根据商空间理论，结合本文在特征选择和RBF神经网络的研究结果，给出了基于粒度变换的分类器构造模型GTM-CORBUN〓，并证明了其对应粒度变换的完备半序格、格树搜索和分类判别函数的性质保持性定理。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

It is also known as one of the most poisonous naturally occurring substances.

它也被称为一个最自然发生的有毒物质。

The greatest stress is found at the location on the cross section where V is the largest.

最大应力出现在横截面上V为最大的地方。