查询词典 theorem

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不动点定理，通过建立辅助方程，研究了变系数的线性型迭代方程解析解的存在性。

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

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

In this paper, using different geometric means, the introduction of the corresponding auxiliary function of the Lagrange theorem proof explored.

本文首先采用不同的几何手段，引进相应的辅助函数，对拉格朗日定理的证明进行了探索。

A corresponding theorem is obtained by using an auxiliary function and two main theorems.

定理的证明主要利用p-adic亚纯函数论中的两个基本定理和一个辅助函数。

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

In the paper we generalize the while-rule in Hoare calculus to an infinite one and then present a sufficient condition much weaker than the expressiveness for Cook'2 relative completeness theorem with respect to our new axiomatic system.

程序推理使用的抽象机器与物理机器的差距降低了推理的精确度，为了缩小这个差距，本文提出了一个带位级别抽象的新抽象机，在这个机器里，二进制整数以纯语法的方式被表示成位矢量而不是非负整数。

In contrast to the ubiquitous rising-sun-with-rays military flag of the Japanese, Chinese banners and ensigns feature a range of designs.

与遍地都是的太阳军旗不同，中国人的旗帜和徽章设计得各式各样。

From their small corner of Feng's Guangzhou headquarters -- a jumble of pink leashes, squeezable rubber steaks, and plastic doggy Santas for Fido's stocking -- Soleil's designers come up with at least five new products a month.

从Feng 设在广州总部的产品展示柜台上可以看到，Soleil的设计师每月至少设计出5件新产品。