查询词典 prove

By using the compactness theorem of SBD space, Poincaréinequality onthe BD functions,we prove the existence for variational problems.

主要利用SBD函数空间的紧性定理，BD函数的Poincaré不等式等给出了变分问题的存在性。

Figueiredo (2002) condition, using above compactness theorem we prove that the functional corresponding to a class of quasilinear system of elliptic equations satisfies condition.

建立了一个抽象的紧性定理，然后借此定理证明了对应于一类拟线性椭圆型方程组的泛函在比Boccardo和De。

The simulation results of SVC3D in comparison with those of test prove that the model is reasonable and the software is correct.

访真计算与试验结果的对比证明了模型的合理性及软件的正确性。

In section 4, we first prove a version of the comparison theorem for ε-ζprojective resolutions.

作为推论，我们给出了Gorenstein投射对象的几个性质命题。

Under the most elementary conditions for backward stochastic differential equation introduced by Peng S., we put forward and prove a general converse comparison theorem.

在由彭实戈引入的倒向随机微分方程的最基本的条件下，提出并证明了一个一般的反比较定理。

His challenge is to prove that he's worthy of the comparison.

他面对的挑战是要证明他是值得比较的。

In the administrative proceeding, the complainant must prove that each of these three elements are present.

投诉人在域名争议解决程序过程中对于以上三种情形的同时存在，应负举证责任。

Based four-level forecast model, this paper presented an improved complete graph algorithm and derived analysis formula of computational amount of algorithms to prove improvement in algorithm performance.

以四级预测模型为基础，提出改进的完全图算法，并推导出该算法计算量的解析式，从理论上证明了改进的完全图算法性能上的提高。

In Chapter 4, we define the induction of divisors and prove the existence of Galgebras of complete induction; through the analysis of Mackey formula, we give an equivalent characterization of the relationship between Green correspondence and free projectivity.

在第四章中，我们定义了除子的诱导，证明了完备诱导的G-代数的存在性；通过分析Mackey公式，给出了Green对应和自由投射关系的等价刻画。

Chapter one: Provide the simple introduction to basic conceptions and properties used in the article about MTL-algebra; prove the set of all the filters form a complete distribution lattice in MTL-algebra; Discussion some property characteristics of Boolean filter, at the same time introduce the conceptions of positive implicative filter and obstinate filter, receive some properties of them, discuss the relation between the important filters and their equivalent condition.

第一章：对文章中用到的关于MTL-代数的基本概念和性质给出简单的介绍，证明了MTL代数中的全体滤子之集构成一个完备的分配格；讨论了布尔滤子的一些性质特征，同时引入和固执滤子的概念，得到它们的一些性质，探讨了几类重要滤子之间的关系。

But we don't care about Battlegrounds.

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

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

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