查询词典 explosion-proof

Proof standard should be a kind of legal request defined that main bodies who is burden with proof try to reach when they prove the controvert facts with evidences and expound their own opinions.

总之，我们探讨的证明标准应该仅涉及狭义的证明和具体的具有可操作性的标准。

If not, you can assume some facts without proof, for example you could omit the proof that F_p^* is a cyclic group.

如果讲不完，可以承认一些事实而不用证明，比如你可以删掉Fp*是一个循环群的证明。

In the case of applying for declaration of bankruptcy of a debtor by a debtee, the debtee shall provide proof relevant to the amount and character of the creditors and the proof that the debtor being incapable to repay the due debt.

债权人申请宣告债务人破产的，应当提供关于债权数额、性质以及债务人不能清偿到期债务的证据。

He deemed that even though the premise of inductive inference was authentic, it was not the guarantee of authenticity of conclusion. Philosophers and logicians have tried quite a few ways to solve the issue, that is, to do deductive proof ; to do inductive proof with the help of the uniformity of the world; and so on.

对这一问题，哲学家和逻辑学家提出了种种解决途径：或借助概率弱化归纳推理的结论，企图对之作演绎论证；或借"世界齐一性"对之作归纳证明；或诉诸无知的解决方式；或釜底抽薪的解决方式。

However, based on my understanding of Jiang Chun-xuan's analysis and the preprint of his new paper "Disproof Of Wiles' Proof For Fermat's Last Theorem", I believe that I am in the position to make some important remarks, which provide strong support to Jiang's disproof of "Wiles's Proof For Fermat's Last Theorem" as follows

然而，基于我对于蒋春暄的分析及其新的文章"对怀尔斯费马大定理证明之否定"预印本的理解，我相信我有条件提出一些重要的看法，可以对蒋春暄否定"怀尔斯费马大定理证明"的文章给予重要支持

Like most university graduates in mechanical engineering, I do not have the sufficient mathematical knowledge to judge major mathematical problems, i.e. Fermat's Last Theorem, Riemann's Hypothesis, Jiang Chun-xuan's proof of FLT, Wiles's in question proof of FLT, or Jiang Chun-xuan's disproof RH, etc.

像大部分机械工程大学毕业生那样，我没有足够的数学知识判断重大数学问题，如费马大定理〔FLT〕、黎曼假设〔RH〕等，以及蒋春暄对于FLT的证明、怀尔斯〔Wiles〕对FLT有问题的证明、蒋春暄对于RH的否定。

Furthermore, the proof of correctness of CalcCycleTime is also the proof of the existence of cycle time, the existence of generalized eigenvectors, and the duality theorem.

本论文中给出的CalcCycleTime算法的正确性证明同时是周时存在性、广义特征向量存在性和对偶定理的证明。

He writes,"Today I find it an impossible book: I consider it badly written, ponderous, embarrassing, image-mad and image-confused, sentimental, in places saccharine to the point of effeminacy, uneven in tempo, without the will to logical cleanliness, very convinced and therefore disdainful of proof, mistrustful even of the propriety of proof, a book for initiates…".

他写道，今天我觉得这是不可能的书：我认为写得很差，笨重，令人尴尬的，形象疯狂和图像混淆，感情用事，在地方糖精的地步effeminacy ，不均衡的节奏，而将逻辑清洁，非常确信，因此轻蔑的举证责任，不信任甚至是适当的证明，一本书的开始。。。

A few overseas mathematical researchers indicated, after Jiang Chun-xuan writes the "Disprove Wiles' Proof of Fermat's Last Theorem", they would like together with Jiang Chun-xuan's proof of FLT published in China in early 1992, carefully review them together with other mathematicians of their country.

国外几位数学研究者表示，等蒋春暄将《怀尔斯对费马大定理的证明之否定》论文写出来以后，他们愿意将它与蒋春暄1992年初在中国发表的对费马大定理的证明论文一起与本国的数学家共同认真研究。

For the first time, in [3] the authors discussed the inequalities of B-B and by using them the authors give a proof of the existence and uniqueness of the generalized solution for magnetostatic field problem with zero boundary value. By using the inequalities of B--H in, in[-5,6] the authors give a proof of the existence and uniqueness of the generalized solutions for 3-D magnetostatic field Neumann problem and 2-D magnetic field first boundary value initial problem.

前人已讨论了B—H间的几个基本不式，并由之证明了三维静磁场带零边值问题广义解的存在与唯一性，作者也曾利用给出的B—H间的不式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性。

Molecular Distillation is a kind of high vacuum distillation method, which is suitable for the separation of high boiling, heat sensitivity and viscidity products.

分子蒸馏技术是一种在高真空条件下进行的连续蒸馏过程，适合于分离高沸点、热敏性及具有生物活性的混合物。

They are to the Noughties what yuppies were to the Eighties .

那在六十年代是时髦的，但在八十年代肯定是过时了