查询词典 proved

It is proved that the estimating process is convergent and hence the model is more practical.

我们证明了这个参数估计过程是收敛的，因此新模型有更好的可操作性。

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

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

Under some reasonable conditions, it is proved that the algorithm is locally and globally convergent.

在合适的条件下，证明了算法的全局收敛性和局部二次收敛性。

At the same time, the immune programming algorithm based on register-stack structure is proved to be convergent theoretically.

同时，在理论上证明了基于寄存器—栈结构的免疫编程算法的全局收敛性。

The Lyapunov theorem and its converse theorem of globally exponential stability for the discrete-time systems family in which the sampling period is a parameter are proved.

对以采样周期为参数的离散时间系统族，证明了全局指数稳定的Lyapunov定理和逆定理。

All the following process was done on the sub image. Second, the morphology gradient theorem and its converse theorem were both proved. And the DGT reverse theorem was used to look for the regional maxima points of the sub image. In the improved region growing method, the seeds were those regional maxima points.

然后证明了数学形态学的膨胀梯度定理(dilation gradient theorem， DGT)及其逆定理，并利用DGT逆定理查找图像的局部极大值点，将灰度值不为0的局部极大值点作为区域生长法的种子点。

It is proved in production practice that the actual conversion values between rockwell and vickers hardness of quenched tempered high speed tool steel dont correspond with the values in GB/T1172-1974 《Conversion Tables on Hardness and Strength of Ferrous Metals》.

引言多年来，一些高速钢工具专业生产厂和自用生产厂在测量淬硬高速钢的洛氏硬度 HRC和维氏硬度 HV时觉察到两种实测硬度之间的换算值与国家标准 GB/T1 1 72 - 1 974《黑色金属硬度及强度换算表》中的换算值不相符合。

It has proved to be the best converter for me on several sites.

它已被证明是最好的转换，我的几个网站。

The concept of a consistent term structure is introduced and a result on its existence is proved with the theory of convex analysis.

在引入相容的期限结构概念后，利用凸分析理论给出了它的一个存在性结果：存在相容的期限结构当且仅当市场是无套利的。

In dual Brunn-Minkowski theory, we study the properties of the dual harmonic quer-massintegrals systematically and establish some inequalities for the dual harmonic quer-massintegrals, such as the Minkowski inequality, the Brunn-Minkowski inequality, the Blaschke-Santalo inequality and the Bieberbach inequality. We establish the dual Brunn-Minkowski inequality for dual affine quermassintegrals. Recently we learned that Gardner have independently proved it by a different method. The polar body of a convex body is an important object in the context of convex geometry. Hence, after we studied the intersection bodies, it is natural to consider the inequalities for their polar bodies.

在对偶Brunn-Minkowski理论中，我们引入了对偶调和均质积分概念，系统的研究了它的性质，并建立对偶调和均质积分的Brunn-Minkowski不等式，Blaschke-Santalo型不等式和Bieberbach不等式；接着我们建立了对偶仿射均质积分的对偶Brunn-Minkowski不等式，最近我们得知这个不等式被Gardner用另外的方式证明；凸体的极体是凸几何中一个重要概(来源：2525ABf8C论文网www.abclunwen.com)念，既然相交体和投影体有对偶关系，因此在研究完投影体的极体之后自然要研究相交体的极体。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失