完备半格
- 与 完备半格 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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.
进一步,类似于经典情形下寻求判定一个公式恒真的半可判定算法,建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法,并证明了其可靠性和完备性。
- 推荐网络例句
-
This one mode pays close attention to network credence foundation of the businessman very much.
这一模式非常关注商人的网络信用基础。
-
Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.
扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。
-
There is no differences of cell proliferation vitality between labeled and unlabeled NSCs.
双标记神经干细胞的增殖、分化活力与未标记神经干细胞相比无改变。