证明性的

In Chapter 3, considering fractional relaxation equation, we make use of directlythe Grunwald-Letnikov definition to discrete fractional derivative, obtain a numericalmethod of fractional relaxation equation,and give the proof of consistency ,conver-gency and stability.

第三章对于一个推广到分数阶的松驰方程，直接利用Gru¨nwald-Letnikov分数阶导数定义进行离散，得到分数阶松驰方程一个数值方法，并给出了相容性，收敛性和稳定性的证明。

The existence and uniqueness of solution for FROE is proven,and its analytical solution is given.

证明了分数阶Relaxation-Oscillation方程解的存在惟一性，并利用格林函数给出了它的解析解。

Under mild conditions, the global convergence of the algorithm is proved.

在适当的条件下，证明了此算法的全局收敛性。

Under mild assumption, we show the global convergence of the method.

在适当的条件下证明了算法的全局收敛性。

Under suitable conditions, we obtain the global convergence of the globalized method.

并在较弱的条件下证明了算法的全局收敛性。

With nice global searching capability and convergence property, IA is suitable for such kind of problem. It is proved by practice that this method is reliable and suitable.

免疫算法具有很好的全局搜索能力和收敛性，能够很好地解决这类问题，实例也证明了该方法是可行和有效的。

It is proved by test result that with optimized alignment parameter the vehicle has better returnability and handiness .

根据所述理论对某轻型货车前轮定位参数进行了改进设计，试验证明优化后的汽车具有更好的回正性能与轻便性。

This paper proposes a modified reduced Hessian SQP method and establishs its global convergence without the above-mentioned requirement.

本文提出了一个修正的既约Hessian SQP方法，并且证明其在没有上面提及的假设条件下具有全局收敛性。

Compared with the identified HIRA family, their identities are quite high and the newly acquired integrated sequences of genes have been proved to be the members of HIRA family.

通过与其它已知的HIRA家族基因比对，同源性非常高，证明所获得的新全长基因为HIRA家族成员。

This suggested the important function of plant volatiles in host searching of natural enemies of the phytophagous.

再次证明，植物挥发性次生化合物在害虫及其寄生天敌搜寻寄主的过程中起到重要的作用。

But we don't care about Battlegrounds.

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

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

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