查询词典 partially ordered space

Topological space, metric space, normed linear space and inner product space

在直角空间内建立了主从运动映射模型。

Firstly,by using the estimating methodfor the compact embedding operators(from weighted Sobolev space to the weighted〓space),we obtain a necessary and sufficient condition for the discreteness of thespectrum of certain differential operators.Secondly,based on the property of thespectrum of difinitizable operators on the Krein space,we consider the left definitedifferential equations with middle deficiency indices,and give a completecharacterization for self-adjoint(J-self-adjoint)differential operators in theindefinite inner product space 〓.Especially,we prove that all the J-self-adjoint differential operators are definitizable.

我们首先运用加权Sobolev空间到加权〓空间嵌入算子紧性的判别方法，证明一类加权自伴微分算子具有离散谱的充要条件；然后，基于Krein空间上可定化算子谱的性质，对于具中间亏指数的左定型微分方程，建立其相应的微分算式在不定度规空间〓上所生成自伴算子的完备性刻画（特别证明了J-自伴微分算子具有可定化性）。

They are the vertical utilization of urban space, the interpenetration of urban space with architectural space and transportation space and to develop the green city.

在整合的作用下，当代城市形态已经具有了一些新的发展趋势，主要表现为城市形态的立体化、城市空间的相互渗透和城市形态的绿色化。

The problem of Lagrange interpolation of polynomial space in space Rs is studied,and the construction of Lagrange interpolation polynomial in space R1 and space R2 is proposed.

研究空间Rs 中多项式空间中的Lagrange插值问题。给出了R1和R2上Lagrange插值多项式的构造，同时，给出了R2上插值问题的几个例子。另外，给出了矩形网点上的Lagrange插值多项式和三角形网点上的Lagrange插值多项式。讨论了Rs空间中的Lagrange插值多项式及其余项

In this paper, the existence of isometric mapping between the manifold in the high-dimensional data space and the parameter space is proved. By distinguishing the intrinsic dimensionality of high-dimensional data space from the manifold dimensionality, and it is proved that the intrinsic dimensionality is the upper bound of the manifold dimensionality in the high-dimensional space in which there is a toroidal manifold.

首先给出了高维数据的连续流形和低维参数空间之间的等距映射存在性证明，然后区分了嵌入空间维数、高维数据空间的固有维数和流形维数，并证明存在环状流形高维数据空间的参数空间维数小于嵌入空间维数。

That is, any function from a discrete metric space to another bounded metric space is Lipschitz continuous, and any function from a discrete metric space to another metric space bounded by 1 is short.

就是说，从离散度量空间到另一个有界度量空间的函数是李普希茨连续的，而任何从离散度量空间到另一个有界于 1 的度量空间的函数是短映射。

The invention intercepts a pixel area with the scheduled size in each frame from several continuous frame images in turn, reduces the intercepted pixel area to the largest size which the scheduled storage space can store and is stored in the scheduled storage space, then detects the face in the stored pixel area, hence, due to the minification of the storage space pixel area having the same size smaller than the whole frame image, thereby increasing the pixel area and reducing and storing the object face size compared with the whole frame stored in the storage space after reducing the frame image.

本发明依次从连续几帧图像中的每一帧中截取预设大小的像素区域，并在每次截取后，均将截取的像素区域缩小至预设存储空间所能够存储的最大尺寸后存储在预设存储空间内，然后在存储的像素区域内检测目标人脸。

N\nTotal disk capacity:%s\nUsed disk space:%s\nAvailable disk space:%s\nRequired disk space:%s\nRemaining disk space after import:%s\n

n\n磁盘总容量：%s\n已使用容量：%s\n可用容量：%s\n需要容量：%s\n导入后剩余容量：%s\n

Since convergencehas a close relationship with normed space itself, the definition which is normedspace (Y_1) stronger than normed space (Y_2), and normed space is presented innormed space for further research.

由于收敛性与赋范线性空间Y本身关系密切，文中引入了赋范线性空间Y_1强于赋范线性空间Y_2的定义，并将赋范线性空间Y具体到赋范线性空间l_p中进行研究。

With Hilbert space filling curve and latent semantic index, MLSQ maps similar data objects in high dimension semantic space into an adjacent range in one dimensional value space, and considers every data object sequence number in one dimensional space as a key. MLSQ distributes the keys to adjacent nodes of structured P2P systems. By embedding the process of searching data points of HSFC into the nodes of structured P2P networks and using the data search mechanism of networks, MLSQ can facilitate to search the data objects in accordance with query requirements.

该方法利用Hilbert空间填充曲线和潜在语义索引，将高维语义空间中相似的数据对象映射到一维数值空间中的邻近区域中，并以每个数据对象在一维数值空间中的序号作为键，将数据对象的索引分布到有组织P2P网络邻近的结点上，通过将HSFC中数据点的查找过程嵌入到有组织P2P网络的结点上，再利用网络的数据查找机制，MLSQ可方便地搜索到符合查询要求的数据对象。

Researches reveal that students who suffer from corporal punishment tend to resort to violence in their future life.

研究表明遭受过肉体惩罚的孩子倾向于在他们今后的人生中使用暴力。

Total sugar of sarcocarp and chlorophyll of pericarp increased firstly, and then decreased afterward along with altitude; Titratable acidity, ascorbicacid and anthocyanin of pericarp were increased along with altitude; The content of protein increased firstly and decreased afterward along with altitude; Carotenoid of pericarp were decreased along with altitude.

果肉总糖和果皮叶绿素含量随海拔高度升高先升高后降低；可滴定酸、维生素C和果皮花青苷含量均随海拔升高而升高；蛋白质在1720m处最大，1420m处最小；果皮类胡萝卜素随海拔升高而降低。