查询词典 sufficient condition

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图确定层叠滤波器最简正布尔函数的算法。

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多项式逼近收敛的充分必要条件。

In this paper, we present the sufficient and necessary condition for the sum of a identity matrix and a generalized cyclic matrix is nonsingular, and obtain the formal representation of the relative gain array of the sum matrix.

本文给出了单位矩阵与广义循环矩阵的和矩阵的非奇异的充要条件，得到了这样和矩阵的相对增益阵列的显示表达式。

Secondly, a conjecture about the stability for these systems is proposed based on the sufficient and necessary condition of the isolated transfer function being positive real. When the zeros and poles of the transfer functions lie in the imaginary axis, a known conclusion is derived from the conjecture; while the zeros and poles are on the real axis, a new result is obtained and is proved in this note. Finally, according to the conjecture, an example with poles existing on the complex plane is presented, which is not only interesting but also challenging.

然后， 基于所有孤立部分传递函数都正实的充分必要条件给出了上述系统为稳定的一个猜想，当传递函数的零极点都位于虚轴上时，由这一猜想得到了一个已知的结论；当传递函数的零极点都位于实轴上时，由这一猜想得到了一个新的结论，本文证明该结论是正确的；最后，根据这一猜想，给出了传递函数极点位于复平面的一个例子，它涉及到一类系数矩阵为时变正定矩阵的振动方程的稳定性问题，值得去深入研究。

The sufficient and necessary condition for complete inertial force balancing of open-chain spatial linkages is derived and the concept of relative balancing is presented in this paper .

本文导出空间开链型机构惯性力完全平衡的充分必要条件，提出相对平衡的概念。

In this paper we have obtained the sufficient and necessary condition concerning the passage to the limit under the integral sign, and have given some examples of the problems which can be solved by the theorem of this paper but cannot be solved by the familiar Vitali's theorem.

关于积分号下取极限的问题，有著名的Lebesgue定理及Vitali定理。本文作者进一步研究了这一问题，得到了积分号下取极限的充分和必要条件，并给出了几个能用本文结果解决而不能用Vitali定理解决的例子。

This paper has made a sufficient survey on domestic and overseas status. It concluded the downhole pressure change regulation under intermittent recovery condition and built up well testing analysis model of bailing wells and intermittent oil recovering wells basing on the infiltrating fluid mechanism and characteristics in production bailing and intermittent oil recovering wells.

本文在充分调研国内外研究现状基础上，根据提捞井及间歇采油井在间歇生产期内油层流体流动渗流机理和渗流特征，总结出间采条件下井底压力变化规律，建立了大庆油田提捞井和间歇采油井试井分析模型。

Based on that, a sufficient and necessary condition of diagnosability for invalidation fault is given.

基于此，给出了失效故障的可诊断性的充分必要条件。

And a sufficient and necessary condition of existence of place invariant for a class of Petri net is proved .

本文以Petri网作为离散事件系统的模型，对控制理论与方法进行了较深入的研究。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。