查询词典 constructive existence proof

Moreover, the compact space is in existence, which is different from a cut space.

f空间；去掉任意一点以后的子空间是不可约cut空间的cut~*空间是不存在的。

The existence of the optimal control for the system is demonstrated via compactness theorem and prior estimates.

根据预备知识，利用紧性定理和先验估计，证明了系统最优控制的存在性。

By using the compactness theorem of SBD space, Poincaréinequality onthe BD functions,we prove the existence for variational problems.

主要利用SBD函数空间的紧性定理，BD函数的Poincaré不等式等给出了变分问题的存在性。

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

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

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。

With the help of the Mountain-Pass Theorem lacking Palais-Smale compactness condition (PSc condition and by adoption of the best attained function of Sobolev embedding, the paper proves the existence of nontrivial solutions of two classes of critical biharmonic equations on boundary conditions by overcoming serial difficulties caused by loss of compactness due to Sobolev embedding.

本文借助于没有 PS 条件的翻山引理，并利用 Sobolev 嵌入的最佳达到函数，克服了由于 Sobolev 嵌入失紧性而带来的系列困难，证明了含临界增长的两类双调和方程边值问题非平凡解的存在性。

For the commercial banks in china, if we can solve the problem of view and mechanism and production and function in comparison with the international banks, which is the existence and the development of the commercial banks in china in course of the economic globalization.

就我国商业银行而言，能否在中国入世缓冲期内尽早解决中间业务发展的理念、机制、品种和功能等方面的问题，缩小与国际先进商业银行的发展差距，直接关系到我国商业银行在全球经济金融一体化格局中的生存和发展。

There are hundreds of aspects of human existence which we feel should be treated, Compassionately and with Wisdom, in individualized ways.

有数百个方面的人的存在，我们觉得应该处理的，同情，并与智慧，在个性化的途径。

For adapt to the develpnent after China's join to the WTO of the local market internationalize,the international market domestic turn of current,extend an international competieion further,strengthen business of existence ability,the movenent way of thinking of our company is:Enhance the management to continually raise the movement mode from domestic and intenational markets,enhance the management in the enterprisemperfect investigate a mechanism.

为适应中国加入WTO后国内市场国际化、国际市场国内化的发展潮流，进一步扩大国际竞争优质，增强企业的生存发展能力，本公司的发展思路为：强化管理，继续提高企业经济运行质量，学习掌握国内外先进生产技术、经营管理方法，进一步强化企业内部管理，完善考核机制。

Moral thinking breaks "existential complacence" and focuses on man and existence.

伦理思维打破了"存在的自鸣得意"，它在"人与存在的相与向度"运思，将展开人之"是其所应是"的生活向度。

A small, rubber-headed hammer used in examination or diagnosis by percussion.

叩诊槌用在通过''。'振荡'。''所作的检查或诊断中的橡皮头的''。'小'。''槌

Affixes are limited in number in a language, and are generally classified into three subtypes, namely, prefix, suffix, and infix, depending on their position with reference to the root or stem of the word.

语言中词缀的数量总是有限的，根据它们跟词根或词干的相对位置，一般可以把词缀分外三小类：前缀，后缀和中缀。