查询词典 existence proof

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年初在中国发表的对费马大定理的证明论文一起与本国的数学家共同认真研究。

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.

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

"I want proof before this gets used, and proof is not three studies of 40 college students lying about whether or not they are holding the three of spades," says Hank Greely, director of Stanford University's Center for Law and the Biosciences in California.

"我想在该方法投入使用以前得到验证，而且证据不只限于测试40名谎称是自己拿了唯一一张黑桃3的大学生的3份调查"，加利福尼亚斯坦福大学法律与生物科学中心的主任，汉·戈利说。

And sexual harrassment is a very big thing in states, if you have any proof (sometimes it doens't even need proof), you can sue his ass out, including the institute which employes him.

第二，你的放弃还是属于逃避，既然觉的每天都很充实，说明这次宝贵的机会还是物有所值的，不喜欢你的专业还在其次，我想主要的原因是你无法承受孤单寂寞、需要有人来保护。

A carrier gas such as nitrogen is directed through line 20 and valve 22 to connect with line 26 and mix with the gas sample.

如氮气之类的载体通过管线20和阀22引入，与管线26相通，与气体样品混合。

But for the most part, knaves and parasites had the command of his fortune

然而支配他的家产的大多是恶棍和寄生虫。