查询词典 sufficient condition

New technologies were a necessary condition for the green revolution, but not a sufficient one.

而新技术只是绿色革命的必要非充分条件。

Based on the definition of Boolean function on set and positive extension, The sufficient and necessary condition of PBF is proven. At last, an algorithm of generating MSP expression of stack filter positive Boolean function is presented taking advantage of Hasse diagram.

通过定义布尔函数开、闭集和最小项正、负扩展，证明了布尔函数具有层叠性的充要条件是布尔函数开集的正扩展或闭集的负扩展具有不变性，在此基础上，提出了一种通过Hasse图确定层叠滤波器最简正布尔函数的算法。

Based on the definition of Boolean function on set and positive extension, The sufficient and necessary condition of PBF is proven. At last,an algorithm of generating MSP expression of stack filter positive Boolean function ispresented taking advantage of Hasse diagram.

通过定义布尔函数开、闭集和最小项正、负扩展，证明了布尔函数具有层叠性的充要条件是布尔函数开集的正扩展或闭集的负扩展具有不变性，在此基础上，提出了一种通过Hasse图确定层叠滤波器最简正布尔函数的算法。

Then,a sufficient condition of incremental software design is introduced based on the concept of requirement's heritability.

文[1]中研究了实现软件的不变性需求之后，再对软件开发的最小费用需求进行增量式软件设计。

The close relationship between the Hybrid polynomial approximation and the classical Hermite polynomial approximation to rational curves and surfaces are studied, Hermite approximation is in fact a special case of Hybrid approximation. The sufficient and necessary condition for the convergence of Hybrid approximation to rational Bézier surface is deduced and proved.

围绕着有理曲线曲面的Hybrid逼近，作者研究了有理曲线曲面的Hybrid多项式逼近与传统的Hermite多项式逼近之间的密切关系，并指出Hermite逼近事实上是Hybrid逼近的一种特例，此后演绎并证明了有理Bézier曲面的Hybrid多项式逼近收敛的充分必要条件。

The sufficient condition of stochastic delay population system with diffusion is obtained in Hilbert space.

利用Ito公式和Burkholder-Davis-Gandy定理及Gronwall-Bellman不等式，通过构造一个有界的柯西列，给出了Hilbert空间中随机时滞种群扩散系统解的存在性和唯一性的充分条件，文章所得到的结论是目前现有结果的推广。

We give a sufficient condition for the self-similar set in the plane which is homeomorphic to the unit disk.

最后一章讨论自相似集的拓扑结构，给出了平面上的自相似集同胚于单位圆盘的充分条件。

Finally, a sufficient condition which can decide whether there exists a homomorphism between a qualitative reasoning system and R is presented.

定性推理具有"定量分析"不可比拟的某些优势，可望在建立深层次的故障诊断模型、模拟和预测某些物理系统的行为等方面得到广泛的应用。

Some sufficient condition to guarantee the existence of global invariant manifold s consisting zero homotopic closed orbits is gived.

当在每个不变柱面上有奇点时证明了这类系统局部极限环的存在性；同时给出了这类系统存在由第一类闭轨组成的全局不变流形的条

We obtained a kind of sufficient condition for 2-harmonic submanifolds becoming minimal submanifolds in hyperbolic space and an integral inequality like Simons integral inequality.

得到了双曲空间中2-调和子流形成为极小子流形的一个充分条件，以及一个Simons型积分不等式。

Cable dampener cannot be rolled up but must be hung over the cable.

缆帆不能被卷起，必须保证处于展开状态

"This skylark is a present from my master," he says.

"这只云雀是我主人献上的礼物。"他说。