查询词典 proved

He died intestate and every attempt to trace any member of his family has proved abortive and unsuccessful.

他死没有遗嘱的和每种尝试追踪他的家庭任何的成员已经流产的和不成功的。

My Client died intestate and every attempt to trace any member of his family has proved unsuccessful and abortive.

我的顾客死了无遗嘱并且到他的家庭的任何成员已经证明不成功并且没有成功的踪迹的每尝试。

Finally above-mentioned theories and feasibility of the method have been proved.

最后对上述理论和方法的可行性进行了验证。

But history has proved that what disaster the existence of a absolute monarchy or extreme democracy will bring about.

否则，如果国家的权力和力量偏向于官僚制或民主政治的任何一方，都有可能导致一种危险的政治体制的出现。

On the whole, we do as follows: Firstly, we list some conceptions and lemmas for later use. Secondly, we inducted the absolute value norm in the two-dimensional vector interspace, and also proved the two-dimensional vector interspace is a Banach Interspace. Thirdly, we define two-dimensional vector-valued functions on a interval by the definition of -fine partitions in part 1. Then, some sufficient and necessary conditions of integrabel are given, and discuss the property of the integral on two-dimensional vector-valued functions.

主要包括以下内容：在第一部分，我们介绍了本文所用到的几个基本概念和引理；第二部分，我们在二维向量空间中引入了绝对值范数，并且证明了二维向量空间是一个Banach空间；在第三部分中，通过第一部分关于-精细分划的定义，我们给出了在某区间上二维向量值函数积分的定义以及可积的充分必要条件，并讨论了二维向量值函数积分的一些性质。

Hua Luo—geng [1] has proved the generalized Opial ineguality: where y is an absolutely continuous function on,y=o and l is a positive integer.

华罗庚先生[1]证明了当y是上绝对连续函数，y=O时，推广的opial不等式对正整数ι都成立。

It is proved that if μ is not singular, then it is absolutely continuous with respect to Lebesgue measure.

本文证明了μ要么关于Lebesgue测度奇异，要么关于Lebesgue测度绝对连续。

However, it is proved during engineering practice that the adhesion between the layers of the pavement structure is poor, the adhesion quality is between absolutely slippery and whole continuous, and the interface transfer force by contact.

然而，工程实践证明，沥青混凝土层与水泥稳定层之间以及沥青混凝土层之间的层间界面粘接比较薄弱，处于完全滑动与完全连续的中间状态，层与层之间通过接触传递应力。

Through the application to practices, it indicates that demarcation iterative algorithm has a simple principle and can be proved to be absolutely convergent and independent of the modifying method of iteration variables.

应用实例表明，提出的定界迭代算法原理简单，可保证迭代算法绝对收敛，且与迭代变量的修正方法无关。

A modified mutation operator in BCA, Contiguous Region Hypermutation Operator, was introduced; a Markov chain model of the BCA was proposed; a novel method for the construction of transition matrices for the BCA was given. Consequently, it was proved that the BCA was convergent absolutely.

给出了在BCA中使用的一种变异算子－连续区域超体变异算子和BCA的Markov链模型，提出了一个新的构造算法的状态跃迁矩阵的方法，证明了BCA的绝对收敛性。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。