查询词典 proved

In this paper the level of elementary graphs is explored, and the D^2 of any non-bipartite elementary graph is proved to be a complete graph.

本文研究了基本图的水平，证明了对于任何非二部的基本图，它的D^2是一个完全图。

It is proved that closed pretopologies and pseudo-closure operator s on a complete lattice are corresponding one by one.

引入了预拓扑分子格的概念，并证明了完备格上的闭预拓扑和伪闭包算子是一一对应的。

The main results of this paper are given as follows: In the first chapter , the concept of fuzzy filter is introduced. Some of its properties are investigated. The structure of fuzzy filters is discussed and it is proved that the set of all fuzzy filters of a residuated lattice is a distributive and complete lattice .

本文的主要内容如下：本文的第一章在剩余格中引入了Fuzzy滤子的概念，得到了它的一些特征性质；给出了Fuzzy滤子的结构，证明了剩余格中的Fuzzy滤子之集构成完备的分配格；利用Fuzzy滤子的特有结构，在剩余格中定义了Fuzzy滤子间的两个运算""，""

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〓，并证明了其对应粒度变换的完备半序格、格树搜索和分类判别函数的性质保持性定理。

We proved that there exists a dense G (subscript δ) subset of the complete metric space consisting of the vector optimization problems satisfying some conditions ,and each problem in the dense G (subscript δ) subset has stable solution set, which generalized the corresponding results in the literature.

证明了满足一定条件的向量优化问题构成的完备度量空间中，存在一个稠密G集，在此稠密集中每个问题的解集都是稳定的，推广了文献中的相应结果。

A fuzzy conditional expectation with respect to sub σ-algebra of for a fuzzy random variable is introduced in the complete probability space, and the fact that such a fuzzy conditional expectation exists uniquely is proved and its some properities are discussed.

在完备的概率空间中引进一个模糊随机变量关于■的一个子σ代数■的模糊条件期望，并证明这样定义的模糊条件期望存在且唯一，还就其某些性质作了讨论。

The completeness theorem of this method were proved at last.

最后， 证明了该方法的完备性。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。