证明性的

It is finally shown by two examples that, compared with the methods presented in the literatures, the method presented in this paper can reduce the conservativeness of the results, which indicates the validity of the proposed method.

最后，通过两个示例表明，与文献方法相比，采用文中所提方法可减少结果所存在的保守性，证明了文中方法的有效性。

We also study the continuous properties of the curve segment.

并且从理论上对曲线的连续性及保凸性进行了严格的证明

A sufficient condition is obtained to ensure the existence and uniqueness of almost periodic solution for MAM neural network with time-varying delays by way of exponential dichotomy and contraction map theorem. Moreover, the global exponential stability of the almost periodic solution for this type of MAM neural network is proved by using Halanay inequality.

利用指数二分法结合运用压缩映射原理获得了变时滞多向联想记忆神经网络模型概周期解的唯一存在性，利用Halanay不等式证明了变时滞多向联想记忆神经网络概周期解的全局指数稳定性。

In section 2, we prove the approximate controllability of the linearized system by means of a cost function.

第二节我们用传统的变分方法证明了系统(1.1)线性化以后的逼近能控性。

Furthermore, without any assumption, the global convegence is proved.

在不需要任何假设的情况下，证明了算法的全局收敛性。

On the basis of general Krawczyk-Hansen Operator, the interval iteration of the constrained functions are established; the interval extension of maximum entropy function is discussed; convergence is proved; region deletion rules are supplied and the algorithm of interval maximum entropy has been set up.

利用极大熵函数和罚函数将问题转化为无约束可微优化问题，借助广义Krawczyk-Hansen算子建立了约束函数的区间迭代；讨论了极大熵函数和罚函数的区间扩张，证明了收敛性等性质，给出了无解区域删除原则，建立了区间极大熵算法。

In the end , the adaptive prediction algorithm is proved to be globally convergent by using the extended form of Martingales Convergence Theorem .

k。最后用鞅收敛定理的推广形式证明了这一自适应预测算法的全局收敛性。

Since the model is provided with good convergency and stability, it can meet the needs of the on line detection of a gas sensor.

实际使用证明该模型具有良好的收敛性和稳定性，完全能满足对气体传感器故障在线检测的需要

In this thesis,we analyse the theory properties of the hybrid method,andprove its global convergence and local suplinear convergency.

在这篇论文中，我们详细讨论了杂交化方法的理论性质，并证明了杂交化方法的全局收敛性和局部超线性收敛速度。

Through analysis of Markov chain, the proposed method is proved to be convergent on whole solution space.

通过马尔可夫链的分析，证明了本文提出该算法的全局收敛性。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。