充分条件

The traditional opinion is that the logic form of retroduction is the form of affirmative consequent of hypothetical inference under ample conditions.

传统观点认为，回溯推理的逻辑形式是充分条件假言推理的肯定后件式。

This is very like the future predicted by Gunther Stent. In fact, on page 137 of [25], Stent explicitly cites the development of transhuman intelligence as a sufficient condition to break his projections.

这个很象Gunther Stent所预言的未来，在《The Coming of the Golden Age： A View of the End of Progress》一书中的137页，Stent清除的谈到超人智能将是打破这种状态的充分条件。

Some sufficient conditions for existence and uniqueness of periodic solution to Duffing equation are obtained using trigonometrical series and contraction mapping.

利用三角级数理论及压缩映射原理，研究时滞Duffing型微分方程，给出此类方程存在唯一周期解的几个充分条件。

The discussions declare that the least condition can be represented by three items, that is, the total number, divistion ratio and spatial distribution of character points. There are also three possible cases involved in least conditions. They are, undegenerate, degenerate and seriously degenerate ones.

对于特征点总数、特征点的分配、特征点的分布等三项内容；非退化、退化、严重退化的三种情形；最小的必要条件、充分条件等，进行了广泛深入的讨论，并给出了四个判别准则及单谷性的有关结论，从而深化了对于评定理论的认识。

So it is necessary to reduce the venture of customer, and consequently accelerates the development of Electronic-Commerce.

降低用户的风险，帮助用户选择可信的交易对象，是电子商务发展的充分条件。

In section 2, we make some preparations for next setion. In section 3, we study the coexistence of the system and derive sufficient conditions of the system and some important corollaries. In setion 4, we prove the existence of positive periodic solutions by the fixed point theory.

本文具体安排如下：第一节介绍引言；第二节介绍准备工作；第三节研究了系统的共存问题，给出了系统共存的充分条件及一些重要推论；第四节利用不动点理论证明了系统周期正解的存在性。

For a class of linear uncertain interconnected delay systems, we considered the problem of decentralizing feedback stabilization and gave the sufficient condition for the existing of the stabilization controller based on LMI.

研究了具有时滞互联项的组合系统的分散反馈鲁棒镇定问题，并利用LMI给出了使系统镇定的控制器存在的充分条件，并用实例验证了所得结论。

In chapter 2, By combining the theory of exponential dichotomies of linear system and the method of functional analysis, some sufficient conditions that guarantee the existence and uniqueness of periodic solution of the systems are obtained.

第四章，考虑具有无穷时滞的非线性积分微分方程概周期解的存在性和唯一性问题，利用矩阵测度和不动点方法获得了一类方程的概周期解的存在性与唯一性的充分条件。

This chapter proposes three conceptions, i.e., Kernelled quasidiferential, star-kernel and star-diferential, and establishes their operational properties. A sufficient theorem and a sufficent and necessity theorem for a quasi-kernel being a kernelled quasidiferential are proven. Both the existence of star-kernel for a quasidiferentiable function and the existence of star-differential for a direnction-ally diferentiable function are established.

在这一章里，首先给出核拟微分，星核与星微分的定义及其它们的运算性质；然后证明了拟核微分的一个充分条件定理及一个充要条件定理；最后讨(来源：A27BC论文网www.abclunwen.com)论拟可微函数星核的存在性及方向可微函数星微分的存在性以及Penot-微分与上下导数之间的关系。

Chapter 2 gives preliminaries and lemmas that are needed in this thesis.

第三章，得到模型解的振动与非振动的充分条件。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。