前提

Notice, however, that premise 1 of Gaunilo''s argument is incoherent.

然而，注意到前提 1 Gaunilo 的争论是支离破碎的。

The Incompleteness Theorem states that any consistent mathematical theory must contain one or more premises that cannot be proved within the theory.

哥德尔不完备定理是说：当一个演绎系统是自足的，总有至少一个或几个前提是在系统内不能证明的。

Based on the assumption of incompressibility of reservoir water,the basic formulae for calculating hydrodynamic pressure and the added mass matrix are derived.

在库水不可压缩假定的前提下推导了坝面动水压力与附加质量矩阵的基本方程。

On the assumption of incompressibility ofreservoir water, the added mass matrix was also derived. Numerical examples of gravity damsand arch dams show that this approach is simple, effective and appropriate for engineeringpurpose.

并在库水不可压缩的前提下，推导出了基于SBFEM的动水压力附加质量矩阵计算公式，与原有的工程中普遍采用的其它附加质量计算方法相比，计算精度和效率均得到很大提高，比较适合实际应用。

For generations, that premise appeared incontestable but, in the summer of 2007, it failed.

数代人以来，这似乎是颠扑不破的前提，却在2007年夏季破灭了。

So the establishment unifies to efficiently become one of the initial missions that the nation faces at present with the candor incorrupt judiciary, the judicatory independence then becomes work core of contents, it is foundation and premise that other systems reform, having decisive function to the reform of the whole judiciary.

所以建立统一高效和公正廉洁的司法制度成为国家当前面临的首要任务之一，司法独立则成为工作核心的内容，它是其它制度改革的基础和前提，对整个司法制度的改革起着决定性的作用。

With more social concern on food safety, the way to secure food safety becomes an urgent problem to resolve, while the unsymmetrical information, moral hazards and management misbehavior always act as transaction cost increaser.

食品安全已成为全社会普遍关注的问题，但是保证食品质量安全必然会因信息不对称、道德危害和管理行为等因素而使交易成本增加，如何在保证食品安全的前提下减少交易成本就成为一个亟待解决的问题。

We can comprehend the mode of the system of immunity of witness like that: the witness refusing to testify according to the prior condition of " the privilege against self- incrimination " The prosecutor has the absolute controlling power to start the immunity of witness.

作证豁免制度一般模式为：前提条件一般为证人基于"反对强迫自证其罪"特权拒绝作证；追诉方拥有作证豁免的绝对控制权；豁免的法律后果是证人如实提供证言，司法机关彻底免除或有限免除其刑事责任；豁免不排除对证人以作伪证或藐视法庭而给予处罚。

Subject to Section 6.5, the failure by any Indemnitee to so notify the Indemnifying Party shall not relieve the Indemnifying party from any liability that may have to such Indemnitee under Section 6.1 or 6.2, except to the extent that the Indemnifying Party demonstrates that it has been prejudiced by such failure.

在遵守第6.5条规定的前提下，受补偿方没有按照前述规定通知补偿方并不解除补偿方按照第6.1或6.2条的规定对受补偿方应承担的责任，但补偿方证明由于受补偿方未能产生上述通知而对其产生不利后果的除外。

Although Chen Tianzhong is in,negotiation ever had with Baidu company for many times before appealing to, but sue according to him " shameless person -- Chen Tianzhong - Baobao- sina BLOG " link, the premise that be not supplies the address that gives Baidu the company, and after Chen Tianzhong is sued, baidu company also had corresponding operation to this address, before Chen Tianzhong proves without evidence the address of place bargaining, had not disconnected, in maintaining Baidu snapshot then, the court operates place experience website, company of indemonstrable Baidu is put in fault and tort behavior, satisfy pair of Chen Tianzhong accuse the court decision does not grant to support.

虽然陈田忠在诉前曾多次与百度公司进行交涉，但依据他起诉的"无耻之徒——陈田忠-baobao-新浪BLOG"链接，并非之前提供给百度公司的地址，而且在陈田忠起诉后，百度公司对该地址也进行了相应的操作，陈田忠无证据证实之前所交涉的地址，没有断开过，法院遂认定百度快照中操作所涉网站，并不能证实百度公司存在过错和侵权行为，遂对陈田忠之诉判决不予支持。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。