查询词典 proving

To address this problem, a new method of security analysis of QKD protocols is introduced. Based on the equivalence attack model of QKD protocols which is refered to Biham's proving, the protocol is divided into two parts: the body and the attack, then a Petri-net model of BB84 is obtained, and a security analysis is followed.

为了简化量子密码协议的安全性证明以及建立一种通用的证明方法，基于Petri 网提出一种量子密钥分配协议的形式化分析方法，根据Biham 的等效对称化攻击模型，将协议分为主体模型和攻击模型两部分，建立了BB84 协议的Petri 网模型，然后对模型进行安全性分析，分析结果表明， BB84协议是无条件安全的。

Sonya dumps Graham during her nephew's circumcision ceremony - proving there's more than one way to get a briss.

桑娅倾卸场格雷厄姆期间，她的侄子的割礼仪式-证明有一个以上的方式获得

Currently, Heihe has already become a member of CAAM and an observer of the Proving Ground Committee of CAAM, and participating in various activities held by the association and the committee.

提出了在黑河建设&中国北方汽车展示、对俄贸易、试车综合服务中心&的&三位一体&的发展思路。

In our experiments, different types of images have been used proving that this algorithm can commendably obtain their edge-images.

实验中将对不同种类边缘图像的测试，证明该算法能够处理各种类型的图像边缘。

There are 39 studies on Masai shoes, of which nine have been published in peer-reviewed journals, according to company scientist Cordula Stegen. The company has been focusing on showing the shoes represent a healthier way to stand and walk, and in proving they can be used effectively for rehabilitation of pain or injuries.

Masai 公司资助了一项 30 名研究人员参与的研究项目，月份在加拿大举办的一次科 6 研会议上，该项目的瑞士研究者表示，在一个疗程结束后，与那些只在家锻炼，不穿 MBT 鞋子的病人相比，那些穿了三个月 Masai MBT 鞋的病人长期疗效要更好。

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.

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

Heavy-foot made a derisory noise, proving that he didn't recognize irony when he heard it.

大脚发出了嘲弄的笑声，证明他根本不懂得反话。

The third part of this thesis is reactive simulating calculation In this section, some well-known auxiliaries are selected to compute in density functional theory B3LYP on Gaussian 03, from which the relationship between reaction active energies of transition states and enantiomeric excess of chiral products homoallylic alcohols isobtained based on relative reactive ratio theory. Using this relationship, calculations on the reaction of more than eight auxiliaries with four other aldehydes are carried out in AMI and MNDO, proving that N,N\'-dibenzyl tartamide has higher enantioselectivity than others in this reaction.

第三部分为计算化学部分，运用密度泛函理论B3LYP方法在Gaussian03软件上对已经报道的几种手性配体参与的醛不对称烯丙基化反应过程进行模拟计算，基于相对反应速率理论找出两种构型过渡态间活化能的差异与产物光学收率之间的关系；并以此为基础，用AM1和MNDO方法对上述合成的几种配体控制的反应过程进行量化计算，从而在理论上证实了N-苄基酒石酸二酰胺配体在醛的不对称烯丙基化反应中具有较高的立体选择性。

During using anaerobic fermentation slurry as insecticide, there had many problems that are random using, non-strictly prevention and curing time, non-suitable temperature and consistency mixture ratio ctc. In this research, fristly the different mixtures are made according to the different ratio of slurry to additive. Then the insecticidal effects of the mixture are tested in different conditions so as to find the good matches of slurry and additive in laboratory. According to the up result of the good matches extents of mixture, the field experiment is made to test the mixture's insecticidal chraricter and is further found new dosage form which has many good indexes such as good insecticidal effectiveness, little additive dosis ctc. So as to looking for the dosage form's synergism, the significant analysis is done and the characters of the dosages are tested which are ecological and environmental and the new types of dosage are determined. At last, for proving the dosage's field insecticidal potency, the wide field area experiments are done and four new style dosages are triturated which adapt ecological agriculture development. Aadditionally the effective period of the mixtures are tested when other experiments are done.

本文针对厌氧发酵液作为杀虫剂施用时，随用即配和无严格的增效剂种类、喷施时间及温度、浓度配比等现象，首先对各添加剂与厌氧发酵液配成的不同浓度的混和剂在不同条件下进行实验室测试，确定杀虫率高的浓度范围，进一步细化各混和剂浓度范围作田间试验，选出杀虫效果好，添加剂量少等各项指标都好的剂型并进行显著测定，确定出各剂型的增效情况；然后对选出的剂型进行生态和环保特性测定，以便确定新剂型，最后对选定剂型作大区试验来验证田间杀虫药效，最终研制出了4种适合生态农业发展的新型无污染药肥，并对选出的混合剂进行了有效期实验测定。

These tests were performed at the US Army Dugway Proving Grounds under a contract with the Office of Naval Research.

这些试验完成的美国陆军达格威靶场根据与美国海军研究办公室的合同。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。