查询词典 proof

Sherry is fortified after fermentation with high-proof brandy to 16-18% alcohol.

雪利酒在发酵后，用浓度高的白兰地来增加酒精含量，一般为16～18%。

40 Drops of your favorite essential oil or essential oil blend keeping the safety data of the chosen essential oil in mind 1.5 ounces of distilled water and 1.5 ounces of high-proof alcohol (vodka is suitable, rubbing alcohol is not) or 3 ounces of distilled water.

加入1.5盎斯的蒸馏水及1.5盎斯的高纯度酒精（伏特加是一个满适合的选择，注意不要用工业用酒精－甲醇）或者就只加入3盎斯的蒸馏水。

High-proof adj.

含酒精度高的。。。

You can taste a few for free before you decide, but most people opt for the high-test 58-proof variety ($15.60 for a 750-milliliter bottle).

酒精浓度有28度、30度、38度和58度的。你可以免费品尝，不过大多数人会选择58度的高度酒（一瓶750毫升的高粱酒售价为15.6美元）。

The Taylor formula holds the very important status in the differential calculus, especially in solves in some concrete problems to have the extremely important application, for instance the proof inequality, the judgment improper integral collects the divergence, asks the function the limit, asks the function the higher order derivative, determines certain complex progressions to collect the divergence, solves certain differential equation, as well as approximate calculation in and so on application, therefore this article will do the thorough research to these seven aspects.

摘 要：泰勒公式在微分学中占有非常重要地地位，尤其在处理1些具体的茄题中有10分重要的应用，比如证明不等式，判断广义积分的敛散性，求函数的极限，求函数的高阶导数，判定某些复杂级数的敛散性，求解某些微分方程，以及近似计算等中的应用，因此本文将对这七个方面做深入的研究。关键词：泰勒公式；不等式；广义积分；极限；高阶导数；复杂级数；微分方程

Inequality proof of higher mathematics is a common problem, but also a mathematical problem solving mathematical analysis of the other.

不等式的证明是高等数学中一个常见的问题，而且也是数学分析解决其它数学问题的基础。

On the other hand, Hippolytus of Rome defended them and attempted a proof, basing his arguments on the allegorical explanation of the six days of creation as six thousand years, as he had been taught by tradition.

另一方面，关于hippolytus罗马替他们辩护，并试图证明，根据他的论点对寓言的解释，为期六天的创造作为六千年，正如他一直所教的传统。

Individual hirer must provide proof of home address within 3 months.

二：如用私人名义，必须出示最近三个月之住址证明文件。

In this paper, a certified dynamic storage management library is built using Hoare-logic style reasoning at the assembly level with the assistance of a theorem formalization and proof tool called Coq, since Hoare logic is more expressive. This work is a significant application of program verification technique.

由于Hoare逻辑更好的表达能力，采用Hoare逻辑风格的推理，在汇编语言级别，使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库，这是程序验证技术一次有意义的实践。

And it's just such proof that the hoaxer brings to the table for those hungry for evidence that their beliefs are not deluded.

这些信仰逃避科学解释和证据。就是这个证据才使恶作剧者大显身手，那些急于寻找证据证明他们的信仰不是骗人的人。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。