查询词典 prove

Chapter three: Define fuzzy congruence relation of MTL-algebra, prove that fuzzy fiter and fuzzy congruence relation is a bijective function in MTL-algebra, quotient algebra induced by congruence relation still forms a MTL-algebra; Introduce the relation between some kinds of fiters and fuzzy filters maitained above in IMTL-algebra,i.e. BR_0 algebra, which is a MTL-algebra satisfied inversely odering and involutive relation.

第三章：定义了MTL-代数中的Fuzzy同余关系，证明了MTL-代数中Fuzzy滤子与Fuzzy同余关系是——对应的，由同余关系所诱导的商代数依然构成一个MTL-代数；介绍了在满足逆序对合对应的MTL-代数-IMTL-代数，即BR_0-代数中上述几中特殊滤子，Fuzzy滤子之间的关系。

When form ring satisfies certain Λ-stable range condition, we use the results in [2]to prove the normality of a unitary congruence subgroup EU andan important commutator equation of unitary congruence subgroups.

在型环满足适当的Λ-稳定秩条件时，利用[2]中的结果证明了酉群的同余子群EU的正规性，建立了酉群的同余子群之间的一个换位子公式。

Experimental results prove that extracted features using phase congruency is invariant to image illuminance and noise.

实验证明，相位叠合提取特征对图像的照度以及可能出现的噪声是不变的。

No, or prove that two triangles congruent good.""

不，还是证明这两个三角形全等好。""

Chapter 1 briefs the relation between invariance and computer vision and summarizes the research and application of invariance in computer vision. Chapter 2 first derives the transformations of three camera models, then makes the correpondences between the models and three typical geometrical transformation groups by analysing the transformations respectively. The correspondences supply the theoretical basis for applying geometrical invariants to resolve the problems of computer vision. In Chapter 3, we describe the geometrical invariant theory and prove some geometrical invariants of coplanar points, lines or conics by algebraic method. In order to use the invariants of conic pairs to describe general 2D shapes, we discuss the perspectively invariant representation of planar curves using conies in detail. A system consisted of two TMS320C25 and based on moment invariants is introduced in Chapter 5. The system can recognize more than 30 different shapes of object model or more than 10 plane models with similar shape in real time.

第一章简述了不变性与计算机视觉的关系，以及计算机视觉中的不变性研究和应用概况；第二章推导了计算机视觉中常用三种投影模型的变换关系，通过对这三种变换关系的分析，分别建立了这三种投影模型和几何学中的三种变换群之间的一一对应关系，为几何不变性在计算机视觉中的应用提供了理论基础；在第三章中，我们介绍了几何不变性的理论，并且用代数方法证明了共面点、直线、二次曲线的几何不变量和射影不变量；为了把二次曲线的不变量用于一般二维形状描述，在第四章中我们详细地讨论了用二次曲线实现一般平面曲线的透视不变性表示的方法；第五章介绍了用两片TMS320C25构成的、基于不变矩形特征的运动目标实时识别系统。

In Chapter 2,we prove the conjecture above is wrong.

在本文第二章中，对上面的猜想进行研究分析得出猜想是错误的。

You need to first prove yourself to be correct, before they can disprove your conjecture.

这时你必须首先证明你是正确的，在他们能反驳你的猜测之前。

I had mentioned that a partner could prove to be a true gem over January 23-24, when Jupiter will conjoin the Sun.

我曾提到，一个珍贵的伙伴将会出现在1月23-24日，当木星与太阳相合的时候。

Based on maximal independent set,this paper proposes a distributed algorithm for minimum connected dominating set,and prove...

本文基于极大独立集，提出了一种求解最小连通支配集的分布式算法，并证明了算法的正确性。

While they have intelligence enough to defend the hive from natural predators, they prove easily conquerable by more sharp-witted foes.

虽然他们有足够的智能可以保护虫群免於自然掠食者的侵害，但也很容易被更聪明的敌人征服。

But we don't care about Battlegrounds.

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

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

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