查询词典 formula

The experimental results have shown that the common logarithm values of transverse rupture strength lgσ〓 increase with the increase of fractal dimension D〓, and has a linear equation relationship. The microfracture fractal model of cermets has been founded and the estimated fractal dimension formula of fracture surfaces proposed.

建立了颗粒型复合材料金属陶瓷断裂的微观fractal模型，提出了计算断口表面分形维数的公式，指出断口分形维数依赖于测量码尺的选择，对金属陶瓷来说其临界测量码尺为0.07μm。

Well, that is a common saying in Formula One and when I said it I obviously felt it.

呃，这在 F1是句俗语，当我说这句话的时候，我体会到了这种感觉。

The "Formula of Concord" was an attempt to rescue German Churches from this concession to the so-called Sacramentarians; it pronounced, as Calvin never would have done, that the unworthy communicant receives Our Lord's Body; and it met his objection by the strange device of "ubiquity"-- namely, that the glorified Christ was everywhere.

"公式的和谐"是一种尝试，以拯救德国教堂从这个让步，即所谓sacramentarians ；宣判，正如卡尔文从未想到自己会做的，这不但不配communicant收到我们的主的身体，并且会见了他的反对意见，由奇怪装置的"无处不在"-即，在歌颂耶稣是无处不在。

In this paper, we study the comparison theorem of backward doubly stochastic differ-ential equtions with continuous coefficient by Tanaka-Meyer formula.

利用Tanaka-Meyer公式研究了双重倒向随机微分方程在连续条件下的比较定理。

By checking the results of this software against those of foreign formula, it is proved that the compartmentalization of space nodes is correct and the software is feasible and reliable.

通过实例计算对比国外公式，证明了节点细化的正确性和开发软件的适用性及可靠性。

This compendium gives details of the status, formula, and activity of each substance.

内容包括各种杀虫剂的成分、状态、化学式和化学活性等相关信息。

Based four-level forecast model, this paper presented an improved complete graph algorithm and derived analysis formula of computational amount of algorithms to prove improvement in algorithm performance.

以四级预测模型为基础，提出改进的完全图算法，并推导出该算法计算量的解析式，从理论上证明了改进的完全图算法性能上的提高。

In Chapter 4, we define the induction of divisors and prove the existence of Galgebras of complete induction; through the analysis of Mackey formula, we give an equivalent characterization of the relationship between Green correspondence and free projectivity.

在第四章中，我们定义了除子的诱导，证明了完备诱导的G-代数的存在性；通过分析Mackey公式，给出了Green对应和自由投射关系的等价刻画。

The details of proving the completeness theorem of formula system L~*, which is given by Prof. Wang, are reviewed, and the proving of strong completeness about L~* is analyzed and revised.

考察了形式系统*完备性的现有证明过程，并对其中所涉及的R0代数同构问题进行了研究，分析了关于*系统强完备性证明中的错误并给出了一个全新的修正证明。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

Dixie itself is a nickname for the American South.

Dixie 本身是美国南部的别称。

I think John Terry epitomises that and a big reaction is what we will be looking for.

而我认为特里就是这样一个典型，他正是我们期望看到的那个领秀。