证明性的

In Rule 404 the general position is taken that character evidence is not admissible for the purpose of proving that the person acted in conformity therewith, subject, however, to several exceptions, one of which is character evidence of a witness as bearing upon his credibility.

按照规则404的规定，为证明某人曾按其品格行事而提出有关品格证据，一般无可采性；但有一些例外情况，其中之一就是针对证人的可靠性而提出品格证据。

In addition,the adaptive robust controller is designed to implement smith variable structure control;and the convergence of closed loop system is verified.

设计了自适应鲁棒控制器以实现光滑的变结构控制，证明了闭环系统的收敛性。

The wheat coleoptile is a good material to study plant elonggation growth because it is structurally simple and easy to get unifomal materials.

通过测定叶片的电导率发现，随Cu2+浓度的升高，膜透性大大增加，也证明了这一点。

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矩阵环。

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。

Compared with Plotkin's work, a reduction closed CPS language is defined in which all continuations are explicitly expressed as functional encodings and it is simpler to prove both the soundness and completeness directions of simulation theorem.

与Plotkin的工作比较，工作特点在于，给出了一个CPS归约闭语言，该语言中所有继续都可以用函数形式表达，且模拟定理的可靠性和完备性方向证明更为简单。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

Experiments show that the proposed method can fast extract line segments in complex image, and is robust to noise.

经过实验证明，该方法能够快速地提取图像中的线段，并且对噪声具有一定的鲁棒性。

Finally, the numerical results show this class of conjugate gradient methods is very efficient.

然后证明三种新算法在强Wolfe线搜索下的全局收敛性，数值验证表明这类共轭梯度法是比较有效的。

In this paper a class of new conjugate gradient methods are presented, with which the global convergence with generalized Wolfe line search is proven.

本文提出一族新的共轭梯度法，证明了其在推广的Wolfe非精确线搜索条件下具有全局收敛性。

But we don't care about Battlegrounds.

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

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

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