查询词典 theorem

This paper consists of three parts:We first consider the non-autonomous predator-prey system with both Beddirigton-DeAngelis functional response and dispersion. By using comparison theorem of differential equation, we study the permanance of the system. After that, by constructing suitable Lyapunov function, we obtain some sufficient condition which guarantee the existence of globally asymptotically stable almost periodic solution of the system.

本文研究三方面的内容：第一部分考虑具有扩散和Beddington—DeAngelis功能反应的捕食-食饵系统，利用微分方程比较原理得到该系统一致持续生存的条件；通过构造适当的Lyapunov函数得到了该系统存在全局渐近稳定概周期解的充分条件。

With the help of comparison theorem, sufficient conditions which guarantee permanence of the system are obtained. For the almost periodic case, by constructing a suitable Liapunov function, we obtained that the system has a unique globally asymptotically stable positive almost periodic solution. Finally, we study a multispecies predator-prey system with stage structure and Holling II type functional response.

第二部分考虑具有阶段结构的非自治扩散捕食系统，利用比较定理得到该系统持久生存的充分条件，其后在概周期情形下通过构造合适的Liapunov函数得到了保证该系统存在唯一一个全局渐近稳定的概周期解的条件。

By the corollary to Theorem 4.3, the origin is asymptotically stable.

根据定理4.3的推论，原点是渐近稳定的。

Using high-speed ADC front-end to cover a given monitor bandwidth, carrier frequency at a rough estimate and considering some of the protection zone, use less uniform bandpass sampling theorem interpolation line drawn in order to get the signal after subsampling.

详细说明：利用前端高速ADC来覆盖给定的监视带宽，在粗略估计载频并考虑一定的保护带，利用带通信号的均匀欠采样定理行内插抽取，以获得欠采样后的信号。

The main results in this chapter are as follows:Theorem 2.1.2Let〓be a countable atomic model.If〓is infinite,then〓is a countable atomic model.

本章的主要结果有：定理2.1.2若〓是可数的原子模型，〓不是〓的代数公式，则〓也是可数的原子模型。

In this paper,the asymptotic property for two kinds of ecological systems and oscillation for solutions of a neutral differential equations is studied by employing differential inequalities and using eigenvalue analysis,iterative algorithm,induction and comparison theorem etc.Here, the system\'s asymptotic property includes the uniform persistence,the global attractability of the solutions,the asmptotic stability of the solutions and the oscillation of solutions.

本文利用微分不等式、特征根分析法、迭代法、归纳法及比较原理等方法和理论，研究了两类生态模型解的渐近性和一类脉冲中立型微分方程解的振动性，其中包括模型的一致持久生存性，正平衡态的全局吸引性、局部与全局渐近稳定性以及解的振动性。

Most of the traditional maximum flow problems are based on "Augmented chain theorem".

传统的最大流问题大多都是基于"增广链定理"。

By studying the generalized automorphism groups,we obtain some results which generalize some related classical theorems,including a theorem of P.

通过研究群的广义自同构群，该文得到了若干结果，推广了一些相关的经典定理，包括P。

The fundamental problem of the geometry of matrices can be interpreted as a theorem on graph automorphism of the graph on a certain kind of matrices, and it also has practical application in the linear preserver problems which are the research area in matrix and operator theory.

矩阵几何的基本定理也可以叙述为图论中的图的自同构定理；并且它在矩阵和算子的保持问题中有很好的应用。

Moreover, existence of analytic solutions for a linear iterative equation with variable coefficients is given by reducing to an auxiliary equation and using Schauder's fixed point theorem.

此外，本章还使用Schauder不动点定理，通过建立辅助方程，研究了变系数的线性型迭代方程解析解的存在性。

The labia have now been sutured together almost completely.The drains and the Foley catheter come out at the top.

此刻阴唇已经几乎完全的缝在一起了，排除多余淤血体液的管子和Foley导管从顶端冒出来。

To get the business done, I suggest we split the difference in price.

为了做成这笔生意，我建议我们在价格上大家各让一半。