查询词典 theorems

Pointwise approximation theorems for combinations of the new operators are given.

给出了这个新算子的线性组合的点态逼近定理。

Secondly, by using the Sobolev inequality on the C-C spaces we prove a Fefferman-Phong type lemma. Based on which we provide nonexistence theorems to three kinds of nonlinear subelliptic parabolic equations through a relatively unified method.

其次，利用Carnot-Caratheodory空间上的Sobolev不等式证明了一个Fefferman-Phong型引理，并用比较统一的方法证明了三类非线性次椭圆抛物方程解的不存在性判定定理。

In the study of the first problem, by using the fixed-point index theorems, we get the existence of boundary value problem in neither superlinear nor sublinear condition.

在第二种形式边值问题的研究中，主要利用Krasnoselskii不动点定理，得到了一些正解存在性定理及正解不存在性定理。

Some theorems and corollaries are presented for delay-independent stability and exponential-stability of linear time-delay systems.

本文利用Lyapunov稳定性理论和Razumikhin稳定性理论，研究了时滞系统的鲁棒稳定性及其鲁棒控制问题。

Bull; Then we'll take up theorems, lemmas, propositions, and corollaries and how to study the way the subject fits together.

回望一路跑来的方向，它以在那片黄色的海洋里留下了轨迹，刚刚经过的菜花还在不停地摇曳者。

Secondly we will show some important lemmas and theorems which are used in the proofs of the conclusions in the paper.

在本章中，讨论了在第二章中定义下的Wiener过程在加权线性组合下的增量有多大。

Then we give and prove some theorems and lemmas on potentialwell.

列举并证明了有关位势井的一些定理和引理。

This thesis is organized as follows. In Chapter 1, some necessary definitions and notations, the background and main result of this thesis are given; In Chapter 2, some auxiliary lemmas and theorems are obtained; In Chapter 3, the main result is proved.

本文第一章介绍了一些必要的概念与记号，问题的背景及本文主要结果；第二章给出了一些辅助引理及定理；第三章给出主要结果的证明。

Expressing the programming language as a set of postulates from which to derive theorems is very difficult.

表达程序设计语言很困难，如一组假定是从哪里得来的。

With the aid of the parser tree of L, the authors analyse some characteristics of words belonging to Adh, and prove iteration theorems for adherences of regular languages and context-free languages, thus solving the problem on syntactic structure for the adherence of corresponding languages.

语言附着的句法结构郭清泉（山东大学计算机科学系，济南250100）摘要本文研究语言L的附着Adh的句法结构，借助于L的语法分析树，我们分析了Adh的句法特征，提出并证明了正规语言和上下文无关语言附着的叠代定理，从而解决了这两类语言的附着的句法

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了