证明性的

The result which could be verifried to confirm the unitary nature and orthonormality is got. So it proves that the EFM is correct and concise on the representation theory of group.

计算结果表明所得母分系数满足幺正性、归一性，证明了本征函数法处理群论问题的正确性和简洁性。

The existence and uniform boundedness of the global solutions of the model for sulphur dioxide oxidation in a tubular reactor with periodic flow reversal are proved by the invariant domain method.

利用不变区域方法，证明了二氧化硫催化氧化管式反应器流向变换强制操作模型整体解的存在性和一致有界性。

The technology of preparation of chiral phenylglycinol from chiral phenylglycine is turned out to be a technical platform which can prepare many kinds of aminoalcohol through repeated experiments of the small scale test.

并且经过实验室小试反复测试，证明由手性苯甘氨酸制备手性苯甘氨醇工艺有技术平台式作用，可用于各种氨基醇类化合物的合成。

A sex offender is a person who has been criminally charged and convicted of a sexual offense, or has plead guilty but not convicted.

性犯罪者：是那些在刑法上被指控或证明犯有性侵害罪的人，或者是虽未证明有性侵害罪但已服罪的人。

Introduce a zero phase error tracking controllers base on neural network, the result of controlling indicates the method gives good frequency respondency and has high robustness.

介绍了一种基于神经网络零相差控制器，实时控制结果证明了该方法对转台系统具有很好的动态跟踪性和鲁棒性。

Under mild conditions, we establish the global and superlinear convergence results for the method.

在适当的假设条件下，我们证明了算法具有全局收敛性和超线性收敛性。

In Chapter 2, combining two types of the preconvex part of modified Broydens family with Armijo line search, we get two algorithms for solving unconstrained optimization problems, and prove these algorithms are global and superlinear convergence under some suitable conditions.

第二章，将两种修改Broyden非凸族与Armijo线搜索相结合，得到了求解无约束最优化问题两种算法，在适当的条件下，证明了这些算法具有全局收敛性和超线性收敛性。

If their dogs truly are stable, sound, trainable and protective, let them prove it on the field.

如果他们的狗的确是稳定、健全、可训性强，又有护卫性。让他们实地去证明。

The main work is done as following: 1.A model of dynamic fuzzy multi-dimensional data is proposed. The compose and the categoricalness theorem of the model of dynamic fuzzy multi-dimensional data is proposed. The provement of both is proposed.

主要工作有以下几方面： 1、给出了动态模糊多维数据模型，包括动态模糊多维数据模型合成定理和动态模糊多维数据模型完备性定理，对该模型的合成定理和完备性定理作了证明。

We propose a new certificateless threshold signature scheme,and prove it secure in terms of robustness and existential unforgeability.

本文提出了一个新的无证书门限签名方案，并从健壮性和不可伪造性两方面证明了方案地安全性。

But we don't care about Battlegrounds.

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

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

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