查询词典 sufficient

In the process of calculation, by comparison theorem and strict calculation, some sufficient conditions for persistent and extinct of three populations are obtained.

推导过程中主要应用了比较定理，并且通过严密的计算，得到了三种群持续生存性和绝灭性的充分条件。

Making use of the comparison theorem, some sufficient conditions are derived for permanence of the system and non-permanence of predators.

运用比较定理，得到了系统持久生存和捕食者灭绝的充分条件。

By analytical method and comparison theorem, some sufficient conditions for uniformly persistent of two populations and the whole system are obtained.

利用分析法和比较定理，得到两种群分别一致持续生存以及整个系统一致持续生存的充分条件。

By using of the comparison theorem and some results, some sufficient and necessary conditions are derived for permanence of the periodic system and non-permanence of predators.

运用比较定理和一些主要结果，得到了系统永久持续生存和捕食者灭绝的充分必要条件。

In the forth chapter, by employing the comparison theorem in theory of difference equations together with pure analysis, we get sufficient conditions for permanence of a class of ratio-dependent discrete system.

第四章运用差分方程理论中的比较定理和纯分析的方法得到离散系统持久性的充分条件。

Must have sufficient understanding of a tender process and to competently compile a tender document.

必须对投标过程有充分的理解，能胜任编制投标文件。

For the company's products to enter the international market to provide sufficient quality assurance and market competitiveness.

为公司的产品进入国际市场提供了充分的品质保证和市场竞争力。

Under the conditions of compatibility or sub-compatibility between a single-valued mapping and a set-valued mapping,a necessary and sufficient condition for set-valued mapping pair and single-valued mapping which have the common fixed point in complete convex metric space are given.

在单值映象与集值映象相容或次相容的条件下，给出了完备凸度量空间中集值映象对与单值映象存在公共不动点的一个充要条件，改进和推广了某些已知结果。

2By constructing a completely continuous operator in a functional space and employing the cone compression and expansion fixed point theorems, we obtain some sufficient conditions which guarantee the existence of positive periodic solutions for Eq.

通过在一个函数空间构造一个全连续算子，再利用锥压缩锥拉伸不动点定理，得到了一些保证方程(1)，(2)至少存在一个周期正解的充分条件，所得结论改进了文[1]和[6]中的结果。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。