查询词典 foundry proof

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

The present invention relates to a nano-bullet-proof tires made of solid environmental protection methods, specifically the use of a nano-materials, renewable sources of rubber, rubber material dispensed through a series of processing, made of "nano-rubber in solid matrix""Matrix" outside "bullet-proof body", through the composite adhesive, bonding, in a plastic bag,"Nano polyurethane tread", made of "nano-bullet-proof tires solid environmental protection."

本发明涉及一种纳米防弹环保实心轮胎的制成方法，具体讲是一种利用纳米材料、再生橡胶、橡胶料的配发，经过一系列的加工，制成"纳米橡胶实心内胎体"，在"内胎体"外设置"防弹体"，通过胶粘剂的复合、粘接，在包胶一层"纳米聚氨酯胎面"，制成"纳米防弹环保实心轮胎"。

Acorrding to the analysis of theories of sharing the burden of proof and the facts that will be proved,this article puts forward a system of stardard of sharing the burden of proof:the commom stardard is "the one claims,the one adduces proof;the special stardard will clear and definite clicents" ability of adducing evidence correspondent to different fact of case.

本文通过对各种有关举证责任分配理论和特定待证事实的分析，最终形成了一个行政诉讼举证责任分配的标准体系：即在一般标准中坚持&谁主张，谁举证&和举证能力强势方举证的分配原则，在特殊标准中进一步明确当事人对于不同案件事实的举证现实性。

The burden of proof;The legal burden of proof;The burden of adducing evidence;The legal burden of proof;the accused;The prosecution

证明责任；举证责任；证明的法定责任；被告人；控方

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。