查询词典 proof stress

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 work of this paper is as follows: 1. Looking back the progressing history of the linear motor, introducing the features of the elevator driven by linear induction motor, radicating the topic of this paper "the digital frequency variable control of the elevator bi-side direct driven by linear induction motor". The research of this paper covers the conventional VVVF control, space vector based VVVF control, vector control and DTC.

本文主要开展了以下几个方面的工作： 1 回顾了直线电机发展历史，电机的驱动技术演变，特别是针对直线电机的驱动，简要介绍了直线感应电机驱动电梯的优点和不同结构类型，对传统的v／f控制，基于空间矢量法的v／f控制，矢量控制，和基于电压空间矢量的直接转矩控制进行了比较，确立了本课题的研究主题：直线感应电机双边直推式驱动电梯的全数字变频控制。

The article combines with the treatment of a superficial civil air defense work to introduce how the grouting method to improve the performance of the backfill soil.

文章从治理漂浮人防工事的角度提出了注浆技术在改善回填土性质方面的应用，并详细阐述了注浆技术的施工流程。