查询词典 comparison theorem

Firstly, we prove the existence and uniqueness of the adapted solution of multi-dimensional backward stochastic differential equations driven by Brownian motion and Lévy process by using predictable representation theorem and the fixed point theorem about contract mapping, and also prove the comparison theory.

第一部分运用可料表示定理和压缩映射原理证明由布朗运动和Lévy过程共同驱动的多维倒向随机微分方程适应解的存在唯一性及其相应的比较定理。

Having discussed Wallis'interpolation in great detail, the paper shows that Wallis mainly relied on incomplete induction and analogical inference to obtain his results, an approach which was key to the creation of many important algorithms during the considered period. A comparison between Wallis'method and previous interpolations is then made and the influence of Wallis' thinking style embodied in his interpolation on Newton's invention of binomial theorem is clearly revealed.

通过考察沃里斯的插值过程，指出沃里斯插值法完全是借助于不完全归纳和类比推理得到的，并与过去的插值法做了比较，最后分析了沃里斯插值法对牛顿发明二项式定理的影响。

Model of experiments was calculated by this Method and calculation results compared with Experiment results. Comparison shows upper-bound theorem of limit analysis is feasible, simple and accurate in calculation.

运用极限分析上限法对试验模型进行计算，并将计算结果与试验结果进行了对比分析，分析表明，利用极限分析上限法不仅简单可行，且具有较高的计算精度。

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.

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

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

The software has the following features:(1) it includes large deformation theory based on S-R decomposition theorem first time as well as one based on polar decomposition theorem for comparison the latter is included by most commercial finite element software;(2) three design methods for nonlinear mechanical problem i.e.

采用飞箭软件公司的有限元程序自动生成系统作为软件开发平台，进行"深部软岩工程大变形力学分析设计系统"的合作开发工作。

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泛函得到保证系统正解全局吸引的充分性条件。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。