查询词典 prove

The results of simulation prove that the improved algorithms are feasible for evolving the digital combinational logic circuits and improve the evolvable efficiency and convergence performance.

仿真实验结果证明了改进演化算法对于实现函数级数字组合逻辑电路的硬件演化是可行的，并且提高了演化算法的演化效率和收敛性能。

It shows the effectiveness and practicability of the approach to prove algebraic identies with combinatorial analysis .

说明了用组合分析方法证明代数恒等式的有效性和实用性。

By using the lattice path model to combinatorial identity,it can be made very flexible to prove.

将格路模型应用在证明组合恒等式中，使证明方法十分灵活。

From this result we can prove that cryogenic treatment has obvious effect on energy consumption in the comminution.

研究结果表明低温处理对于降低废旧线路板细碎过程中的能耗有显著的效果。

It is prove that groups of order p2 can be divided into two kinds in the isomorphism sense:(1) cycle group ;(2)commutative group which can be written as a product of two cycle proper-subgroup of order p.

证明了在同构意义下p2阶群共有两类：一类是循环群，一类是可分解为两个p阶真循环子群乘积的可换群。

In chapter three, we study the strongly cleaness of some 3 times3 matrix rings over a commutative local ring and prove that if R is a commutative local ring, Then TM_{3} is a strongly clean ring.

本文第三章主要研究可换局部环上的某些三角矩阵环的强clean 性，并且证明如果 R是可换局部环，则 TM_{3}是强clean矩阵环。

We prove that the Jordan semi-triple derivable maps of the algebra of all n×n matrices over a 2-torsion free commutative ring with unity is the sum of an inner derivation and A_φ, where A_φis the image of A underφapplied entrywise andφis an additive derivation over R.

证明了作用在一个包含单位元的可交换的2-无挠环上的矩阵代数上的拟三重Jordan可导映射是一个内导子与A_φ的和(这里A_φ是A在φ下逐点作用的像)。

This thesis is mainly about to discuss the commutativity and the algebra properties of dual Toeplitz operators, and to prove the boundedness and compactness of products of Hankel operators in the several complex variables.

本文主要研究的是多变量的对偶Toeplitz算子的交换性和代数性质，以及Hankel算子乘积的有界性和紧性。

In this paper, the difference of compact operator on p-Bloch space and little p-Bloch space of polydisc will be considered, and we will give a sufficient condition for the compactness of the difference of compact operator, and then prove it.

本文主要研究了多圆柱上p-Bloch空间之间及小p-Bloch空间之间的复合算子的差分形式，给出了它有界性和紧性的一个充分条件。

We will prove that the only compact dual Toeplitz operator is the zero operator, and that a densely defined dual Toeplitz operator with square integrable symbol is bounded if and only if its symbol is essentially bounded.

首先，我们证明了只有零算子是紧的对偶Toeplitz算子，同时给出了以平方可积函数为符号稠定义的对偶Toeplitz算子有界当且仅当它的符号函数是本性有界的。

But we don't care about Battlegrounds.

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

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

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