定理

This result is a common generalization of atheorem of Posa and a theorem of Bondy et al on the existence of heavy cyclesin weighted graphs under the same condition.

这推广了Bondy等人关于赋权图中最重圈的一个结论，也推广了Pósa的在非赋权图中有关最长圈的一个定理。

Ada received further training from Augustus DeMorgan, today famous for one of the basic theorems of Boolean algebra

中： Ada 从 Augustus DeMorgan 被承认进一步的训练，为在今日著名的一个布尔代数基本定理

Generalized ε- correlation Immune Boolean Vector Functions ...

定理1 告诉我们布尔向量函数具有m 阶广义ε相关免疫性的一个必要条件是它各分量函数的。。。。。

With the help of the optimization theory, we present the vertex solution theorem for determining both the exact upper bounds or maximum values and the exact lower bounds or minimum values of the dynamic response of structures, in which these parameters reach their extreme values on the boundary of the interval mass, damping, stiffness matrices and the interval external loads vector.

借助于优化理论，提出了确定结构动力响应精确上下界的极点求解定理，其中极值将在区间质量矩阵、阻尼矩阵、刚度矩阵和外载荷列向量的顶点达到。

This paper is concerned with the existence of positive solution for singular m-point boundary value problems with p-Laplacian operator by using a fixed point theorem on cone.

运用锥拉伸压缩不动点定理，讨论了一类具有p-Laplacian算子m-点奇异边值问题的正解的存在性，推广和包含了一些已知的结果。

In this paper the boundary value problem of integro-differential equation is discussed and several basic theories of it are proved.

利用上解和下解的概念讨论了积分微分方程的边值问题，给出了几个基本定理。

This paper considered the existence of solutions to boundary value problem of several kinds of nonlinear sys...

本文利用锥理论，不动点理论，Krasnoselskii不动点定理等研究了两类奇异微分方程非线性边值问题解的情况，得到了一些新成果。

Thus there has been an increased interest in studying theexistence and multiplicity of periodic boundary value problem.

因而受到人们广泛的关注，发展和解决这类问题的一些有效的方法如Lyapunov泛函方法，不动点和范数形式的锥拉伸锥压缩不动点定理等。

Theorem 1 A series of nonnegative terms converges if and only if it's partial sums are bounded above.

定理1 正项级数收敛的充分必要条件是：它的部分和数列有上界。

In Chapter 2, we use Zorn lemma and generalized order set general principle [47] to generalize classical Caristi fixed point theorem, respectively, which weaken the condition that the functional is bounded from below.

在第二章中，我们首先分别利用Zorn引理和推广的序集一般原理[47]推广了古典的Caristi不动点定理，削弱了泛函下方有界这个条件。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。