证明性的

A completely trusted third party is not necessary in our scheme. It makes the system model simpler and reinforces undeniability and anonymousness of cash-publishing bank, therefore strengthens security of whole system and anonymousness of E-Cash. The application of self-certified public key policy also can lighten the burden of verifying cash for corporation and depositing bank.

该方案不需要完全可信的第三方，系统模型更加简单；增强了发币银行的不可否认性和匿名性，从而增强了整个系统的安全性和电子现金的匿名性；同时，自证明公钥体制的应用也减轻了商家及其存款银行验证电子现金的负担。

The existence of three positive solutions for boundary value problem of third order differential equation is studied.

证明了几个新的最大值原理，并利用这几个新的最大值原理证明了两类三阶微分方程边值问题解与正解的存在性。

By means of deriving the approximate solution and a process of approaching iteration, we have shown that a general solution exists for a non-Newtonian compressible fluid in 3D bounded domains. The proof is based on an elementary energy method.

文章利用构造近似解和极限的过程证明了三维有界区域中非牛顿可压缩流体广义解的存在性，所用的证明方法为能量方法。

We improved the merit function in quasi-feasible interior point method and used the exponential function that is the more general function to prove the existence of one order optimality point in feasible problem. We discussed the inner and outer algorithms and made the convergence theorem.

在算法中改进了拟可行内点法中的值函数，使用指数形式的更一般函数，用此值函数证明了可行性问题的一阶最优性点的存在性，并通过对内部算法及外部算法的讨论得到了算法的收敛性定理。

We only prove an inequation rather than the standard dataflow equation (8) because we are interested only in the correctness of the solution, not in its optimality.

我们只证明这个不等式方程，而没有证明标准数据流方程(8)，原因是我们所感兴趣的只是解的正确性而不是解的最优性。

In the random oracle model,it can be proved that the new protocol fulfills all the characteristics that anonymous subscription protocols should satisfy in order to be interesting or useful in practice,i.e.,anonymity,unlinkablility,unforgeability,coalition-resistance,etc.

在随机预言模型下，可以证明新协议满足了实用匿名订购协议所要求的全部特性，即匿名性、无关联性、不可伪造性、抵抗联合攻击等。

Yohimbe has been clinically proven to increase male sexual performance by enhancing the size and staying power of erections as well as dramatically increasing libido and sexual drive.

Yohimbe已被临床证明可以提高男性性功能，提高规模和后劲的勃起，以及显着提高性欲和性驱动器。

The sequence is permuted pseudo-randomly and is modulated by using m sequence.

仿真实验证明了算法的稳健性和不可觉察性

In this paper, an important theorem which is used in the conversion of Coons surface to NURBS surface is discussed.

给出了这个定理的一种构造性证明。定理的证明过程同时也给出了转换方法。

This paper prepares first to establish to exists in Chinese the characteristic of blood relationship . then the preceding reasons logically the treatise, and my pre-establish was proofed reasonable.

本文先从中国古代神话之中存在着血统性这一现象着手，预设存在血统性这一特质，然后进行推理论述，证明此预设的成立。

But we don't care about Battlegrounds.

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

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

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