证明

We prove its semantic security on the hardness of Decisional Bilinear Diffie-Hellman problem and its unforgeability on the hardness of Computational Diffie-Hellman problem.

我们利用DBDH问题的困难性证明了方案的语义安全性，同时利用CDH问题的困难性证明了方案的不可伪造性。

Therefore, where he used these same dreams and stories to demonstrate or "prove" his theories (that penis envy, vagina dentata, the Oedipus complex and etc.) were archetypal human fears and longings, he was not proving anything at all.

因此，他在那里使用这些相同的梦想和故事，展示或&证明&他的理论（即阴茎羡慕，阴道树的恋母情结等）是典型的人的恐惧和渴望，他没有证明任何东西。

So,China should adopt the mixed system and practice both standard proof and discretional proof

我国应当实行规范证明和自由证明的混合制度。

Meanwhile,it is necessary to learn from the experience of other countries and discretional evaluation of evidence i...

同时合理借鉴域外成熟经验，并将自由心证明纳入法律调控和监督之下，构建行政诉讼多元化证明标准体系。

The paper, based on insistence with the conceptions of legal truth, discretional evaluation of evidence and due process, makes the proposition of restructuring the...

本文通过比较两大法系行政诉讼证明标准的特点及赖以存在的正当性基础，在坚持法律真实、自由心证和正当程序理念的基础上，提出在区分一般情况和特殊情况的前提下，重构我国行政诉讼证明标准体系的建议。

Similarly, in mathematics, a thesis can be proven or disproven constructively, or we must declare it unproven.

与此相同的是，在数学领域里，我们可以用构成主义方法证明或者否定论文观点的正确性，否则我们就只能说这篇论文是未经证明的。

This article gives a formal description of how to prove a proposition by means of ecthesis.

显示法是亚里士多德纯必然三段论证明的关键，本文给出了显示证明的形式刻划。

By time-varying filtering, we realize the signal selectivity and interference suppression, especially for the signals with time-varying power spectrum. It is shown herein that conventional eigenstructure based methods are lower dimensional special case of the time-frequency subspace fitting method. The closed-form array response estimation algorithms for blind source separation in wireless communication is also developed in the dissertation by exploiting the data structure of second-order statistics of the array output in the presence of multipath. The proposed method achieves array response estimation with little constraint on signal property and propagation environment such as scatters or angular spread. Moreover, the array utilized here can be of arbitrary geometry and even uncalibrated. Since the closed-form solution is obtained, no misconvergency may occur and large amount of computation can be saved. The equivalent feed model and corresponding optimization designation are proposed to realize the downlink multi-user selective transmission. By coherent and non-coherent superposition of the electromagnetical field, multiple beams can be formed using a single array, so that each co-channel user signal is transmitted in each beam and will not interfered with each other. The proposed system scheme implements the digital beamforming and the channel allocation in the base band, therefore is suitable for the utilization of the radio software technology. The feasibility and effectiveness of the proposed model are proved by the RF experiment.

在窄带条件下，GSC－SSF方法还可以提高阵列的虚拟孔径，从而提高估计的性能；可以证明，Cyclic DOA 和SC-SSF方法可看作该方法的特例或近似； 3、提出了二维GSC－SSF方法和宽带谱相关DOA矩阵方法，利用信号的循环平稳特性解决了宽带条件下二维 DOA 估计问题，并具有阵元数少、计算量较小的特点； 4、提出了时频子空间拟合和宽带时频DOA估计算法，将联合时频分析的理论和方法引入到阵列信号的空间谱估计研究中，利用时变滤波实现信号选择性测向和干扰抑制，特别适合于谱时变信号；可以证明传统特征结构法可看作是时频子空间拟合方法的特例； 5、提出了多用户环境下阵列响应的估计方法——CARE方法，该方法对信号结构和传播参数（主要是散射源分布与角度散布）的约束较少，适用于各种几何结构的阵列甚至未校准的阵列，能够直接得到阵列响应的闭式解，因此计算量小、稳健性好，不存在收敛问题； 6、提出了针对多用户下行选择性发送的阵列等效激励模型、优化设计方法及其系统实现方案，通过空间场的相干叠加与非相干叠加使得单一阵列能够形成多个波束，并保证各波束内的用户信号各不相同且相互干扰最小；其系统方案具有在基带实现数字波束成形、信道分配并便于软件无线电实现的特点，其有效性已得到外场实测数据的证实。

The refund is done by the issuing of an endorsable cerificate of financial credit which can be used for paying the state taxes.

返还方式为签发可背书财政信贷证明，该证明可以用来支付国家税收。

Thus,CMG-KALA nanoparticles have great potential as gene vectors for transfection in vitro.2.GS-peptide nanoparticles were synthesized as previous reported method in order to improve the ability of cell penetrating,endosome escaping and nuclear targeting.

通过激光共聚焦、荧光光谱以及红外光谱证明KALA可以成功地连接到CMG纳米颗粒表面；通过静电引力吸附将DNA与CMG-KALA纳米颗粒进行复合，并通过琼脂糖凝胶电泳证明该纳米颗粒对DNA具有很好的保护作用。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐