定理

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不动点定理，削弱了泛函下方有界这个条件。

By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.

到它被攻陷的时候，里面多数的犯人是写了反对政府贪污文章的作家。

The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.

在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色，卵在发育96h后卵基本全部孵化。