查询词典 compactness

Innonmonotonic logic I,the compactness theorem cannot come into existence.

McDermott于1982提出了一组更强的非单调逻辑，称为非单调逻辑Ⅱ。

Since bounded closed sets in infinite dimensional space are notcompact generally,in order to employ Horn's fixed point theorem the compactness of operator Pis initially proved in section 3 in this chapter.

由于无限维空间的有界闭集一般不具备紧性，为了应用Horn不动点定理，我们先证明了Poincare算子P的紧性。

Figueiredo (2002) condition, using above compactness theorem we prove that the functional corresponding to a class of quasilinear system of elliptic equations satisfies condition.

建立了一个抽象的紧性定理，然后借此定理证明了对应于一类拟线性椭圆型方程组的泛函在比Boccardo和De。

The aim of this paper is to study the existence of solution and multiply results for quasilinear elliptic system in bounded domain and the whole space, semilinear elliptic equation in two dimension space, second order nonlinear difference equation by variational methods. The main results are listed in the following:1. An abstract compactness theorem is proved, and then, under weak Boccardo and De.

本文主要利用变分法，分别研究了有界区域和全空间上拟线性椭圆型方程组、二维空间上半线性椭圆型方程和二阶非线性差分方程问题的解与多重解的存在性，具体内容如下： 1。

They are valued for their durability, compactness, and ease of use.

他们的价值的耐用性，紧凑性和易用性。

It is very important, almost crucial, that this compactness remains the constant feature of this group and this team.

这是重要的，也是至关紧要的。这样紧密保持了这个团体和队伍的持续特征。

However, I think with familiarity will come an appreciation for the compactness.

不过，我觉得与随之而来的是熟悉的紧凑性表示赞赏。

Another source of Emerson's strength is his extraordinary compactness of style and his range and unexpectedness of illustration.

爱默生的另外一种力量源泉是他的十分紧凑的写作风格和他的善变的和令人意想不到的阐述。

Now we have to recover the spirit and compactness we had before the break.

现在我们要在下一场比赛前重新找回团结的精神。

Another source of Emerson, s strength is his extraordinary compactness of style and his range and unexpectedness of illustration.

爱默生另一个力量的源泉是他的特别的简洁的风格和他宽泛的和意想不到的例证。

The witness also told the jury at the Royal Courts of Justice in London that he saw a paparazzo fighting with a member of the public who was trying to stop him taking pictures in the minutes before the emergency services arrived.

他还告诉在伦敦皇家法庭的陪审团，在急救服务到来之前，他当时看见一个狗仔队正和一群阻止他拍照的人打架。

The entire N／C program on a tape is made up of an accumulation of these successive data blocks.

纸带上的整个数控程序由这些连续数据单元连接而成。