查询词典 proof by contradiction

For the unsuitabihty of the Tag-KEM/DEM to be used as multi-message hybrid encryptions, a new hybrid paradigm, KEM/Tag-DEM, is proposed with its security proof. For the corresponding multi-message hybrid paradigm, KEM/Tag-SKE, security is also proved. Two constructions for IND-CCA secure Tag-DEMs are proposed with the security proof.

6鉴于Tag-KEM／DEM不宜用作多消息混合加密，提出一种新的混合加密范例KEM／Tag-DEM，证明了它作为一次混合加密时的安全性，以及对应的多消息混合加密KEM／Tag-SKE的安全性，给出了两种构造Tag-DEM的方法并证明了安全性。

Theorem of mean significance: The application derivative research function's nature wants directly or indirectly with the aid of Yu Zhongzhi,Specially Lagrange theorem of mean,Here is mainly from the equality proof, the inequality proof, existence asks some limits, the determination equation root and so on five aspects to carry on the discussion,so, The theorem of mean is transforms as the function in the sector research important tool, Must bring to the enough attention in the middle of ours study and the teaching.

中值定理意义：应用导数研究函数的性质都要直接或间接地借助于中值，特别是拉格朗日中值定理，这里主要是从等式的证明、不等式的证明、求一些极限、判定方程根的存在性等五个方面来进行讨论，因此，中值定理是转化为函数在区间上的研究的重要工具。在我们的学习与教学当中要引起足够的注意。

Based on imaging technique, the shape measurement method and light scattering characteristics of static aerosol particles are investigated. The experimental apparatus is set up and the main effort is paid on the design of the scattering chamber and the optical fiber arrangement. The air-proof and the light-proof scattering chamber are designed for dynamic aerosol particles, and they are different from those for static aerosol particles. The control of airflow and the calibration procedure are also developed.

2针对静态气溶胶粒子，提出了基于成像法检测其形状与散射的方案，以散射腔为核心，确定了光纤插孔的排布，研制出"中正式"结构的实验装置；针对动态气溶胶粒子，设计了密封和光封的独特散射腔，实施了流量控制，制订了定标方案，初步完成了满足动态气溶胶粒形统计要求的实验装置。

In order to the company develop the service, has purchased MainTop Forgery-proof design software in June 2004, has forgery-proof designed capacity, simultaneously also in unceasing innovation.

公司为了拓展业务，于2004年6月购买了蒙泰防伪设计软件，有一定防伪设计能力，同时也在不断的创新。

Noise-proof: Because having a minimum density and internal porous, wall materials have strong sound absorption features. Noise-proof effect that can achieve 40 dB or more is better than concrete and other building materials. Walls make you have a quiet and comfortable living space in the complex world.

隔音：墙体原料自身密度小，且内部有微孔，具有很强的吸音功能，其隔音效果优于混凝土等建筑材料，可达到40分贝以上，在繁杂喧闹的世界中，墙体让您拥有一个安静舒适的生活空间。

In this paper, contraposing to the special demand of explosion-proof, it presents a kind of comparatively ideal design scheme of fully digital explosion-proof AC motor soft starter, which has been validated through the experiments.

本文针对目前国内中压软起动器在特殊工作场所中防爆隔爆的要求，提出了一种较为理想的全数字隔爆型交流电动机软起动器的设计方案，并且通过了实验验证。

Mouldy reason and mould-proof measure and mould-proof test are introduced in this paper.

介绍了纸及其制品的霉变原因，防霉措施和防霉效果检测方法。

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

A friend invited me to Nepal, originally, I thought I would suffer from the reaction of high altitudes and ultraviolet irradiation, therefore, I prepared the Northland water proof and breathable equipment, OZARK down-filled sleeping bag, super anti-ultraviolet radiation sun-proof cream and classes except of snow glasses, and one thing is very important, it is a pair of Gore-Tex Garmont shoes.

去尼泊尔是我的一个朋友邀请我去的，开始我以为去那里要经历一些高山反映、紫外线的照射、所以准备了NORTHLAND的冲锋衣裤、OZARK的羽绒睡袋、高倍数的防紫外线的防晒霜、眼镜，只差没有买雪镜了。还有最重要的就是一双GORE-TEX GARMONT的鞋子。

Page proof: A proof of type after assembly into page form.

书页稿样：拼版后，书页版面的稿样。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"