查询词典 make a proof

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 ，不均衡的节奏，而将逻辑清洁，非常确信，因此轻蔑的举证责任，不信任甚至是适当的证明，一本书的开始。。。

Various mining type explosion-proof equipments and apparatus, gas alarming apparatus , ventilator and ventilation testing apparatus , mining type wire rope and its flaw detector, mine engine transportation surveillance controlling system, hydraulic pressure supporter, mining type sensor ,breathing protection apparatus, mine escaping/self-saving apparatus, rescuing apparatus, communication apparatus, TV surveillance controlling apparatus, mine safety surveillance controlling system, mine information management system ,dust removing apparatus, mine temperature lowering apparatus, noise-proof apparatus, under-well lighting apparatus, safety sign, exposure suit, safety detecting ,supervising, surveillance controlling technology and apparatus, fire forecasting system, fire fighting apparatus ,tool ,fire engine ,fire extinguisher and so on.

煤矿安全、视频监控、劳动防护、矿山救护与灾害防治技术设备等：各种矿用防爆器材及电器、瓦斯报警设备、风机及通风测试设备、矿用钢丝绳及钢丝绳探伤仪、矿井机车运输监控系统、矿用传感器、呼吸防护设备、矿山逃生/自救设备、抢险装备、通讯设备、电视监控设备、矿山安全监控系统、矿山信息管理系统、除尘设备、矿井降温设施、噪声防护设备、井下照明设备、安全标志、防护服装、安全检测、监测、监控技术及设备、火情预报系统、救火设备、工具、消防车辆、灭火器材、通风、排水等各环节技术装备等。

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问题和二维时变场第一边值初值问题广义解的存在与唯一性。

Through a series of FOIA requests to various departments of the government, 48 years after I was first experimented on, I found solid proof of my memories—proof that was in the government vaults of the nearly 18,000 pages of declassified documents from the Bluebird/Artichoke and MKULTRA programs.

通过一系列信息法自由度行动，给多个政府部门写了请求，在我第一次试验48年后，我发现了对我记忆充分的证据-证明是在政府档案库中，在有关蓝知更鸟/朝鲜蓟和MKULTRA项目的接近18，000页的已解密档案中。

The application of the combined shallow seismic reflection method and Rayleigh surface wave method to the field quality inspection of the leakage-proof wall shows that the integrated application of the two methods can not only detect the continuity of the leakage-proof wall and the burial depth of the roof and the footwall rather effectively but also measure the thickness of the wall quite accurately.

采用浅层地震反射波法和瑞雷面波法相结合，对大堤防渗墙或隔渗墙的质量进行检测结果表明，两者的综合应用，不仅能有效地检测防渗墙或隔渗墙的连续性和顶底板埋深，而且能较为准确地获取墙的厚度这种综合方法为无损检测墙的质量提供了一种行之有效的检测手段

For example, an edition of 45 means there will only be 45 of that sculpture produced,(plus an Artist Proof or Foundry Proof possibly).

譬如说，'限量45'，意即该雕塑品的发行量为45件（可能会外加一个A.P。

A good example of this was the machine-aided proof of the four color theorem, which was very controversial as the first claimed mathematical proof which was essentially impossible to verify by humans due to the enormous size of the program's calculation (such proofs are called non-surveyable proofs).

一个很好的例子，这是机器辅助证明了四色定理，这是非常具有争议的第一人数学证明基本上是无法核实由于人类的巨大规模，该项目的计算（如证明是所谓非surveyable证明）。

Galley proof: A proof taken from matter on a galley.before being made up into pages.

长条稿样：拼版前，将版盘上的字样压印而得的稿样。

Reader'proof: A galley proof used by the printer 's proofreader.

毛稿样：给厂内校对员用的长条稿样。

The use of the web to spread fears that flicking the switch on the LHC could create a Black Hole that could swallow up the Earth particularly concerned him, he said.

他说，使用互联网散布恐慌说启动LHC会生成一个可能吞噬地球的黑洞的做法让他感到忧虑。

Not a single word have I written down.

我一个字也没有写下来。