解析证明

The solution is proved that it can be written as the sum of limited polynomial series.

通过所做的非线性函数变换，得出了考虑雷暴活动的全球电模式的近地稳态解析解，并证明其能展开为有限多项式级数之和。

Especially, the domain of failure calculated based on the damage radial tensile strain criterion is much same as that from the test.

通过解析分析和有限元分析，计算所得的破坏区域与模型试验的结果基本吻合，证明了该准则的正确性。

It is proved that these two types of fuzzy controllers are equivalent to the variable structural combinations of nonlinear PI controller and nonlinear control offset. Moreover, the outputs of these fuzzy controllers are monotonically increasing, continuous, and bounded with regard to the corresponding universe of discourse.

基于此，深入研究了模糊控制器的解析结构，并证明了这两类模糊控制器等价于一种变结构的非线性 PI 控制器与相应的非线性控制偏置之和，并且在其输入论域上是单调递增、连续且有界的。

Moreover, if a method is algebraically stable, then the numerical solutions of this method can preserve the stability property of the analytic ones.

并且证明了如果一个方法是代数稳定的，则该方法的数值解保持解析解的渐近稳定性。

In this paper,we give the analytic way to estimate the parameter of RED,which is more accurate and stable than the self-configuring,and then present the amendatory algorithm of RED,which is demonstrated by simulation to be more adaptive,with lower transfer delay and jitter.

在本文中，作者首先给出了估计流量特性的解析方法，该方法较参数自适应具有更好的稳定性和准确性；并据此提出了一种RED改进算法，最后通过动态仿真，证明该改进算法提高了RED的适应性，降低了网络时延，减小了时延抖动。

The research for the three-photon correlated imaging with incoherent light of lensless Fourier-transform is reported.

首次从理论上提出了利用非相干光场在无透镜的情况下，得出高阶干涉光的三阶关联函数解析式，并证明了非相干光场通过傅里叶变换，完全能够实现多光子的关联成像。

The closed-characteristic expression is proven to be of a A-class entire function and some related propositions are also given. Based on them a series of nathematic deviations are done, which brings an analytic expression between the controller parameters and the cost funtion as well as the restrictions on the optimization problem. In this way the original proposition is concretized for solving.

从系统的传递函数出发，首先证明系统闭环特征函数为A-类整函数的性质并给出其它有关定理，然后进行一系列数学推导，得出了控制器参数与目标函数间的解析关系式及优化的约束条件，由此产生参数优化的具体命题。

Practices show that the method is derect, very effective, small scale for its computing and easy to know the whole and natural of the problem.

实践证明，该方法具有简捷、高效、易于抓住问题的整体和本质，计算工作量小、便于解析讨论和推广的特点。

The results of numerical simulation and experiments prove that the calculating formulas have high accuracies in this paper.

数值模拟计算和试验测试结果证明本文给出的解析计算式具有很高的精度。

This chapter provides a mathematic model for the transformation between two images obtained from the same scene. Based on pin-hole camera model, the relationship between the coordination of two images is discussed using two camera models, and it is proved that geometric relationship of two images obtained from one scene satisfies affine transformation.

论文在透视投影成像模型基础上，用两个不同相机在不同位置对空间中同一点成像，推导出对应点在不同图像中像素坐标之间的解析表示形式，证明了像素坐标之间满足仿射模型，同时分析了图像之间满足仿射模型时应具备的条件。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了