查询词典 formulas

The above all the theory of truth degrees of formulas are proposed in propositional logic.

以上各种真度理论都是在命题逻辑中给出的，对于谓词逻辑而言，建立公式的真度理论要复杂得多。

Early in 1952 Rosser and Turquette proposed the idea of distinguishing reliabilities of formulas in the propositional logic, and this idea was discussed and developed by many scholars from different points of view.

关于区分命题逻辑中公式可靠程度的思想早在1952年就由Rosser与Turequtte提出，多年来许多学者从不同的角度提出了确定这类公式真确程度的方法。

After the integrated semantic theory, Professor Wang Guojun proposed the theory of truth degree of formulas in two-valued propositional logic.

建立了积分语义学之后，王国俊教授在经典的二值命题逻辑中建立了命题的真度理论。

The experiments show that the method can make up the deficiencies of the description logic reasoner and complement the theorem prover for satisfiable formulas.

实验结果表明，这样可以解决描述逻辑工具的不足，并可以弥补定理证明器对可满足的公式推理的不完备性。

It is testified by the tests that the effect of the correcting formulas and software is satisfactory. So they can be put into practical use in proving ground.

通过试验验证发现修正方法及管理软件效果较好，符合测试要求，可以投入靶场的实际应用。

The multiple method of scale is used to obtain the averaged equations in primary parameter resonance. From the averaged equations, the theory of normal form is applied to find the explicit formulas of normalform associated with a double zero and a pair of pure imaginary eigenvalues with the aid of the Maple program.

利用多尺度方法得出了主参数共振情况下的平均方程，利用Normal Form理论对具有双零特征值和一对纯虚特征值的平均方程进行了简化，得到了平均系统的Normal Form。

The two basic formulas of electron quasi motion are given.

给出了电子准经典运动的两个基本关系式。

We give the approximation formulas of the variance of the sample ratio estimator for a population mean and its asymptotically non-biased estimator in multi-stage sampling.

讨论多阶段抽样比率估计及其样本量选择的问题，给出了比率估计抽样均方误差的近似公式及其渐近无偏估计的公式。

For more complex problems, recalculation enables you to store long, complicated formulas and many changing values and quickly produce alternatives.

对于较复杂的问题，重新计算让用户能够存储长的、复杂的公式和许多改变的值，并且很快的产生替换。

For performance reasons, we do not want the server to read the workbook file from disk again, or to recalculate formulas that do not need recalculation.

从性能方面考虑，我们不希望服务器重复从磁盘中读取工作簿，或者在不需要重新计算时重新计算公式。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。