查询词典 etch-proof

One reason is that the model is an algebra method and it is based on the theory of minimal element. It can give more credible proof. Another reason is that the model tries to prove security of protocols, rather than check them. Thirdly, the model is simple and easy to use, and proof can be finished by manual. Moreover, graphic description makes its proof more comprehensible. Fourthly, there is much research work related to the model, which gives me a good springboard.

首先，该模型是一种代数方法，以极小元等理论为基础，可以给出可信度较高的证明；其次，该模型不是验证协议，而是试图证明协议的安全性；第三，该模型简单、易用，可以手工的方式完成证明，而且图形表示使其证明更加直观；第四，关于该模型有许多相关的研究工作，这为进一步工作打下了良好的基础。

In the wake of the above the classification, Rosenberge raised the principle for distribution of burden of proof: person who is in view of right existence is obligated to take the burden of proof according to the legal requirement for the right occurring; person who deny right existence is obligated to take the burden of proof according to the legal requirement for right obstacle, right nullification or right obviation.

在进行了上述法律规范分类后，罗森伯格提出的分配证明责任的原则是：主张权利存在的人，应就权利发生的法律要件事实负证明责任；否认权利存在的人，应对存在权利障碍要件，权利消灭要件或权利排除要件事实负证明责任。

The treasurer of the state of new jersey, do hereby certify that, Paulette Biancemano the officer whose name is subscribed to the certificate of acknowledgment, proof or affidavit attached to the annexed instrument, was at the time of taking said ackonwledgment, proof or affidavit a notary public, in and for the state of new jersey, duly commissioned and sworn and was, as such , an officer of said state, duly authorized by the laws thereof to take and certify the same, as well as to take and certify the proof and acknowledgment of deeds and other instruments.

确实是比较多的。原文一水儿的大写字母，还没有什么标点符号，我自己翻了一下，请能者指教新泽西州财务主管据此作出保证，Paulette Biancemano，即在公证书上签名的公务员，依附于附属文件的证据或誓词是在出具所说的承认书时，公证人员的证据或誓词。在新泽西州以及代表新泽西州，正式委托、任命的一位所说州的办公人员，被相关法律正式授权以出具和证明上述证据或誓词以及出具和证明行为和其它文件的证据和承认书。

In the second part, this article gives descriptions about the effects ofpresumptions on the Burden of Proof in detail in the civil law and common law. In thecivil law, as a special provision of Burden of Proof, the presumption of law make theburden of production and the Burden of Proof shift to the adversary. In the commonlaw, there is a difficult wok to make a choice between shifting the burden ofproduction and shifting both of the burden of production and the burden ofpersuasion.

第二部分，就两大法系中推定对举证责任产生什么样的影响分别作了论述，大陆法系认为法律推定是一种特殊的举证责任规范，它转移结果意义上的举证责任和行为意义上的举证责任；英美法系法律推定在推定是只转移提供证据的责任还是及转移提供证据的责任又转移说服责任之间徘徊。

Based on the induction of related substantial law and procedural law of proof, along with the comparison of rules between Continental law system and Common law system, especially the analysis on the current situation as well as the trend of litigious procedure in the World, the author holds that under the discretion, the ideal of bona fide has become the inner criterion of a judge when he examines or determines a proof, that is the core spirit of proof law.

通过对涉及证据规范的实体法和程序法的归纳，以及对于两大法系证据规范的对比总结，特别是对当今世界诉讼程序的现状和发展趋势的分析，可以肯定，在现代自由心证证据制度下，诚信观念将成为法官审查、判断证据的内心准则，是证据法的核心精神。

Standard of proof is not only the core of the proof theory,but also a question of first importance in the application of proof in judicial practice.

证明标准是证据制度中证明理论的核心内容，也是司法实践中证据运用的首要问题。

Proof steps and proof states in the theorem prover Isabelle are very referable proof information , but now there is no tool that can manage them efficiently.

Isabelle定理证明器中的证明步骤和证明状态是非常具有参考价值的证明信息。然而目前没有工具可以有效管理这些信息。

Depending on the degree of automation, the prover can essentially be reduced to a proof checker, with the user providing the proof in a formal way, or significant proof tasks can be performed automatically.

根据自动化程度的证明者基本上可以归结为证明检查，与用户提供的证明在一次正式的方式，或显着的证明任务可以自动执行。

Many steps were reached using the long-cherished method of Proof by Induction, others by Proof by Reductio ad Absurdum, and still others using Proof by Graduate Student.

许多步骤是用各种经典的逻辑证明方法推导得到的，包括归纳法、反证法等，甚至有些部分还是由旁听的研究生证明的。

Weeding-proof experiment of 8 fine ruderal in pot culture with 5 soil treatment pesticide formula were studied,The results show:the bes effect of weeding-proof to polggonum is Kuocaoqing and Guangmieling,The weeding-proof rate is 84.2

选用 5种土壤处理剂，对 8种优势杂草进行盆栽防除试验研究，结果表明：防除酸模顺蓼的特效药剂是阔草清和广灭灵防效为 84 2

A carrier gas such as nitrogen is directed through line 20 and valve 22 to connect with line 26 and mix with the gas sample.

如氮气之类的载体通过管线20和阀22引入，与管线26相通，与气体样品混合。

But for the most part, knaves and parasites had the command of his fortune

然而支配他的家产的大多是恶棍和寄生虫。