查询词典 separable space

In this paper,with the aid of the w~*- sequential compactness of bounded closed balls in the conjugate space of a separable space,we proved that the convex hull of a finite union of bounded closed balls in l~∞ is closed.

借助可分空间的共轭空间中有界闭球的弱星序列紧性，证明在无穷维数列空间l∞中有限个闭球之并的凸包仍为闭集

The concept of G unit interval and the definition of separable degree between elements on G unit interval are given, and some properties are discussed. Based on this concept, it determined a metric p, and ([0, 1], p) becomes a metric space (It is called G unit logical metric space). In this paper, the properties and structure of G unit logical metric space are discussed in detail, and get some good results.

给出了G单位区间[0， 1]的定义并在其上引入了元素间的可分度的概念，讨论了其基本性质，并在此定义的基础上确定了一个度量P，从而([0， 1]， p)成为一个度量空间（文中称"G单位逻辑度量空间"），并对G单位逻辑度量空间的性质及其结构进行了详尽的讨论，并得到一些好的结果。

In section four, we consider a normal π-subgroup in π-separable group, a normal set and a complex value class function space defined on G, using the B_π-character theory and character-triple isomorphism, and find a classical basis of this space such that it behaves as the set of irreducible Brauer characters, and satisfies the Fong-Swan property.

在第四节中我们考虑了π-可分群G中的一个正规π-子群，以及定义在G上的一个正规集和它上面的一个复值类函数空间，利用B_π-特征标理论和特征三元组同构，我们找到了这个空间的一个经典基，使得这个基具有类似于不可约Brauer特征标的集合的性质，并且满足Fong-Swan性质。

Characters selection and transformation, SVM increase dimension of input space to ensure it is Linearly Separable in high dimension space.

因为升维后只是改变了内积运算，并没有使算法复杂性随着维数的增加而增加，因此这种方法才是可行的。

The role of hidden layer neurons of a RBF neural network can be interpreted as a function which maps input patterns from a nonlinear separable space to a linear separable space.

RBF神经网络的隐层神经元的作用可解释成从非线性可分空间向线性可分空间映射的函数。

Here, we characterize sequential separability and prove that l_p is a separable space if and only if E is a separable space and l_p is a GAK_space.

关于Banach序列空间lp，讨论的主要问题之一就是E的几何性质能否提升到lp中去，在文中，刻划了lp的序列可分性，证明了lp是可分的当且仅当E是可分的以及lp是GAK 空间

The SVM has the basis limited sample training to obtain good exude ability,and it\'s an general learning machine,it maps the original space into high dimensional characteristic space,makes the original classified question become a linear separable question in the characteristic space.

支持向量机具有依据有限样本训练获得良好的泛化能力，并且是一个通用的学习机，它将原空间映射到一个高维的特征空间里，使原分类问题在特征空间里成为一个线性可分的问题。

In the mathematically rigorous formulation of quantum mechanics, developed by Paul Dirac and John von Neumann, the possible states of a quantum mechanical system are represented by unit vectors (called "state vectors") residing in a complex separable Hilbert space (variously called the "state space" or the "associated Hilbert space" of the system).

在保罗·迪拉克和约翰·万·诺埃曼创立的严谨的量子力学数学公式里，用停留在一复杂可分的希耳伯特空间(很多地方称作"状态矢量空间"或与系统有关的希耳伯特空间)单位向量来描绘量子力学系统的可能状态。

This model uses nonlinear mapping to map samples into high dimensional feature space, and compares the distribution of each type of samples in the high dimensional space. So that a binary decision tree is constructed through clustering, which can make the more separable classes classified at the upper node of the binary decision tree. The model overcomes the accumulation of misclassification and avoids the condition of impartibility efficiently. At the same time, each node of decision tree uses binary least squares wavelet support vector machine to obtain higher generalization ability.

该模型利用非线性映射将样本投影到高维特征空间，比较每类样本在高维空间的分布情况，进行聚类构造出一个二叉决策树，使容易区分的类别从根节点逐层分类出来，有效克服了错分积累和避免不可分情况；同时，各个节点采用二值最小二乘小波支持向量机，以获得较高的泛化能力。

By using the kernel function, the input space is mapped to a high dimension feature space where the data are expected to be more separable, the initial centroids in the feature space are selected by applying the KRA algorithm, and the large and small clusters are partitioned and the outliers can be split from the large clusters iteratively after the kk-means clustering. As a result, the audit data can be clustered better. Secondly, the closed sequential patterns mining algorithm CloSpan is improved according to the restrictions that is composed of the axis properties and reference properties.

该方法通过核函数把数据样本空间映射到一个高维的特征空间，使数据在新的空间中具有更好的可分离性；在特征空间采用KRA算法选取初始聚类中心，然后在核k-means聚类的基础上，划分出大簇小簇并在大簇中分离出异类再次进行核聚类，从而不断地优化聚类结果。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失