查询词典 comparison theorem

The principle of the fractal-interpolated surface was discussed. The formula and the theorem of fractal dimension of the fractal-interpolated surface were analyzed. The numerical analysis of height anomaly fit by the fractal interpolated surface and the result comparison with the quadric polynomial surface model with practical data were given.

本文论述了分形插值曲面的原理，分析了分形插值曲面的计算公式，讨论了分形插值曲面的维数估计方法和公式，用实际数据进行了分形插值曲面拟合高程异常的数值分析以及与二次多项式曲面拟合模型结果的比较。

By using Lebesgue s dominated convergence theorem,several new comparison theorems for the oscillations of the difference equations with continuous arguments were established.

利用Lebesgue控制收敛定理，建立了具连续变量差分方程振动性的几个新的比较定理，给出了具连续变量差分方程强迫振动性的充分条件，并举例说明了强迫项对方程解的振动性的影响

For the comparison equations, the sufficient conditions for the existence of nonoscillatory solutions are also given by using fixed point theorem.

对于比较方程，也用不动点定理给出了非振动解的存在的充分条件。

By integral in mean and comparison theorem, boundednesses of consumer population and resources, as well as a sufficient condition for population's weak persistent in mean are given when the environment is with a small capacity.

利用积分均值法和比较定理，给出消费者种群和资源量的有界性，以及环境容量较小情形下种群弱平均持续生存的充分条件。

Chapter 4 discusses the stability of a class of nonlinear impulsive partial differential equations. The main idea is translating the stability of the considered nonlinear impulsive partial differential equation into that of the corresponding linear impulsive ordinary differential equation via Gronwall-Bellman inequality with impulse on the basis of comparison theorem.

第四章基于比较定理，主要利用含脉冲的Gronwall-Bellman不等式初步讨论了脉冲偏微分系统的稳定性，将一类非线性脉冲偏微分方程的稳定性化归为线性脉冲常微分方程的稳定性，为将脉冲常微分方程稳定性的有关结论推广到脉冲偏微分方程提供了理论依据并奠定了基础。

In chapter two, under non-Lipschitz condition, the existence and uniqueness of the solution of the second kind of BSDE is researched, based on it, the stability of the solution is proved; In chapter three, under non-Lipschitz condition, the comparison theorem of the solution of the second kind of BSDE is proved and using the monotone iterative technique , the existence of minimal and maximal solution is constructively proved; in chapter four, on the base of above results, we get some results of the second kind of BSDE which partly decouple with SDE, which include that the solution of the BSDE is continuous in the initial value of SDE and the application to optimal control and dynamic programming. At the end of this section, the character of the corresponding utility function has been discussed, e.g monotonicity, concavity and risk aversion; in chapter 5, for the first land of BSDE ,using the monotone iterative technique , the existence of minimal and maximal solution is proved and other characters and applications to utility function are studied.

首先，第二章在非Lipschitz条件下，研究了第二类方程的解的存在唯一性问题，在此基础上，又证明了解的稳定性；第三章在非Lipschitz条件下，证明了第二类BSDE解的比较定理，并在此基础上，利用单调迭代的方法，构造性证明了最大、最小解的存在性；第四章在以上的一些理论基础之上，得到了相应的与第二类倒向随机微分方程耦合的正倒向随机微分方程系统的一些结果，主要包括倒向随机微分方程的解关于正向随机微分方程的初值是具有连续性的，得到了最优控制和动态规划的一些结果，在这一章的最后还讨论了相应的效用函数的性质，如，效用函数的单调性、凹性以及风险规避性等；第五章，针对第一类倒向随机微分方程，运用单调迭代方法，证明了最大和最小解的存在性，并研究了解的其它性质及在效用函数上的应用。

In the chapter three, by using the comparison principle and frequency domain method of the discrete systems with time-delay, combining Rouche Theorem, sufficient criterions for the stabilization of the neutral type discrete control systems with multiple time-delay and the neutral type interval coefficient discrete control systems with multiple time-delay are obtained by choosing appropriate feedback controller.

在第三章，利用时滞离散系统的比较原理与时域法，结合复变函数理论中的路歇定理，通过选取适当的反馈控制律，得到了多组时滞中立型线性定常离散控制系统和多组时滞中立型区间系数线性定常离散控制系统的无条件镇定的充分性准则。

By using the comparison theorem of differential equation, we study the permanance of the system; After that, by constructing sutiable Lyapunov functional, we obtain some sufficient condition which guarantee the global attractivity of the system.

利用微分方程比较原理得到保证系统持续生存的条件；通过构造适当的Lyapunov泛函得到保证系统正解全局吸引的充分性条件。

It gives us one more dimension for semantic comparison inside a noun with abstract sememe and for semantic comparison of nouns with relevant concepts from different languages.

概念分析所得到的格式塔是测量抽象实质的工具，它使抽象语义名词的内部以及不同语言之间相关概念的比较又多了一个比较的层面。

As long as the mind thinks in terms of the 'more', there must be envy; as long as there's comparison, though through comparison we think we understand, there must be envy; as long as there's an end, a goal to be achieved, there must be envy; as long as the additive process exists which is self-improvement, the gaining of virtue, and so on, there must be envy.

只要头脑想着所谓的"更多"，那就一定有嫉妒；只要有比较，尽管通过比较我们认为我们了解了，那就一定有嫉妒；只要有结果，一个目标达成了，那就一定有嫉妒；只要有积累的过程存在，那是自我提升、获取美德等等，那就一定有嫉妒。

Aquatic or marsh-growing fern allies; known to have existed since the Cenozoic; sometimes included in Lycopodiales.

生活于水中或湿地的蕨类；从新生代生存至今；有时归于石松目之中。

The engine was uprated from a 90hp Franklin to a 125hp Lycoming.

改良过的引擎是从90hp到125hp莱康明富兰克林。