充分条件

It is an essential definition because it attempts to get at the essential features of the concept - its necessary and sufficient conditions of application.

它是一个本质定义，因为它试图抓住这个概念的本质特点——即使用这个概念的必要条件和充分条件。

Keep in mind that it is a necessary but far not sufficient condition.

请记住，这是必要的，但远不是充分条件。

Stability is a necessary condition for complex human interaction but it is not a sufficient condition for efficiency.

稳定是复杂的人类交往的必要条件，但它不是有效的充分条件。

Now that's the necessary but not sufficient condition.

这，就是必要条件，而非充分条件。

For a uniform complex dynamical network, linear matrix inequality is adopted to derive a sufficient condition of synchronization.

针对一类一致连结的耦合复杂网络模型，采用线性矩阵不等式的方法给出了实施牵制控制达到同步的充分条件。

By using the continuation theorem of topology degree theory and properties of nonsingular M-matrix, we obtain sufficient conditions for the existence of positive periodic solutions of this system.

利用拓扑度理论中的连续定理以及M-矩阵的性质获得了该系统正周期解存在的充分条件。

The satisfiability of conjunction normal form is a typical NP-complete problem. To study the complexity of SAT problem, a new concept of saturated clause muster has been introduced with using the characteristic of saturated clause muster. The sufficient condition of SAT problem was approved to be a polynomial and has opened out essential distinction of 2SAT and 3SAT problems.

合取范式可满足性问题是典型的NP完全问题，本文引入了一个饱和子句集的新概念，利用饱和子句集的特性，研究了SAT问题的复杂性，证明了SAT问题复杂性为多项式的一个充分条件，并揭示了二元可满足性问题与三元可满足性问题的本质差别。

This paper discusses the necessary and sufficient conditions of normed linear spaces equading reflexive space and the relationship between reflexibility and weakly compact.

讨论了赋范线性空间为自反空间的充分条件和必要条件，并讨论了自反与弱紧的关系。

In the second chapter, we obtain a sufficient condition for that there exist two elements x and y which satisfy x⊥Iyand x⊥By. As a result, it is proved that there exist elements x and y with x⊥Iyand x⊥Eyin any real two-dimensional normed linear space.

本文从点态入手，在第二章中，给出了既等腰正交又Birkhoff正交的元存在的一个充分条件，证明了在任意实二维赋范线性空间中既等腰正交又欧式正交的元的存在性。

The error growth of numerical method grows linearly with the stage of iterated matrix. A sufficient condition of bounded stability for linear θ-method is proved.

证明了数值方法的计算误差是随着迭代矩阵的级数线性增长的，又进一步给出了线性θ-方法有界稳定的一个充分条件。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！