证明性的

Stability and convergence of the model are proven by means of the weak convergence theorem of generalized function and the convolved integration theory.

由广义函数弱收敛定理和卷积理论，证明所提出的非局部连续模型具备收敛性和稳定性。

In the end the convergence of the algorithm is proved.

最后证明了算法的收敛性。

At last, we give the convergence proof of this algorithm.

最后证明了算法的收敛性。

In particular, the global convergence theories of the algorithm are given.

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

The main results areas follows: On the invariants of λ-multiplier convergent series, first, it proves that ifλ- has the signed weak gliding hump property, the λ-multiplier convergentseries has the dual invariant.

获得了如下研究成果：在〓数乘收敛级数的不变性方面，首先证明了若〓具有弱滑脊性，那么〓数乘收敛级数具有对偶不变性。

In this paper, we use the convex function to form the order statistic and the linear rank statistic, and the asymptotic normality of the statistics are proved.

本文用凸函数构造了线性次序统计量和线性秩统计量，并证明了它们的渐近正态性。

For strictly convex problems, it is proved that the decomposed two-level problem is equivalent to the original one.

对于严格凸问题，证明了分解问题与原问题的等价性。

And to prove several complete theorems in the two-dimensional space with the complete covering theorem.

利用完全覆盖定理证明二维空间的几个完备性定理。

To formalize this algorithm,crosscutting contract calculus and a set of contract elaboration rules are presented.

为了形式化这个算法，提出Crosscutting Contract演算和一组契约求解规则，并通过定义和证明契约完备性来保证契约求解过程的正确性。

Under the optimized conditions, in-situ-generated N,N -dioxide from the corresponding amide (10 mol%) and m-CPBA (20 mol%) retained the same asymmetric catalytic activity and enantioselectivity, and most of the aromatic,α,β-unsaturated, heterocyclic, aliphatic and steric hindrance ketones could be converted into the corresponding cyanohydrin trimethylsilyl ethers in up to 99% yield and 93% ee.

底物扩展证明，该有机小分子催化体系对芳香酮、杂芳香酮、脂肪酮、位阻酮以及α，β-不饱和酮都具有优良的手性诱导能力，收率高达99％，对映选择性达93％ee。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。