证明性的

The analytic solution of plane distribution of water depth and velocity in curved open channels are also given, which is better than those only giving depth-averaged velocity in radial direction.

但有限元法作为一种域法，不适合用于无界域的计算，且有限元法及边界元法的收敛性、稳定性目前还不能从理论上加以证明，计算误差也无法精确预测。

Also this paper discusses the convergence of the algorithm to deal with the self-containing and mutual containing relationships existing in some prescriptions, and proposes a method to speed up the algorithm within the tolerance error of the cost.

针对配方中存在自包含和相互包含现象，讨论并证明了算法的收敛性，并提出了在成本容许误差范围内提高算法速度的方法。

High performance ion exchange chromatography has been demonstrated to be capable of efficient separation of bacteria of different species with high resolution on the base of the differences in both electrostatic charge property and structure of the cell.

高效离子交换色谱已被证明能根据细菌细胞的荷电性及表面构造快速而高分辨率地分离不同种属的细菌。

Finally, the efficiency and effectiveness of the method are illustrated through the redesign of an existing universal motor family.

最后采用通用电机产品族的再设计实例，证明了该方法的正确性与高效性。

Under certain conditions, the global and superlinear convergences of the algorithm are proved.

在一定条件下，给出了算法的全局收敛性以及具有超线性收敛速度的证明。

With rigorous analysis, the proposed control scheme guarantees the asymptotic convergences along the iteration axis.

严格的数学推导证明了该方法的收敛性。

The processing time of a batch Bi in this paper is rel...

对于极小化最大完工时间问题，给出了一个复杂性为O(n2)的动态规划算法，并证明了这个算法的最优性。

The experimental results show that the proposed algorithm is robust and accurate, and can extract the QR Code information effectively.

最后，实验结果证明本文提出之演算方法具有高度的强健性与准确率，能有效地辨识QR Code影像内含的资讯。

We analyze the evidence from psycholinguistic research, particularly from production research, for a connection between subject and animacy.

我们从分析心理语言学，特别是从言语生成的研究证据，证明了主语与&有生命性&之间的密切关系。

These contrasting aspects of the internal structure are discussed in terms of the various reactivities and are shown to be crucial for understanding the optical properties of such complex heterostructured nanomaterials.

内部结构的这些不同方面讨论了各种反应性条款，并证明是理解这种复杂heterostructured纳米材料的光学特性至关重要。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐