formulas

Both MAX ( 1) and MARG ( 1) are subclasses of the minimal unsatisfiable formulas, and formulas in these subclasses can be represented by trees.

MAX（1）和MARG（1）是极小不可满足公式的两个子类，这两个子类中的公式可以用树表示。

Instead, they are usually estimated by empirical formulas, which are usually functions of parameters from standard penetration test, cone penetration test or site wave velocity test. Empirical formulas based on the standard penetration test value are especially common.

这些经验公式通常以标贯试验、静力触探试验、现场波速试验等参数为指标，其中以标准贯入值为指标的经验公式应用较多。

Some formulas for ferrite tensor permeability in both demagnetized state and partially magnetized state are derived, which is based on the statistical theory on domains, and these theoretical formulas show good agreement with the experimental results.

本文应用磁畴统计理论，对去磁态和部分磁化态微波铁氧体的张量磁导率公式进行了推导，得出了与实验结果相符的理论公式。

Agreement may be achievable only by formulas so vague as to invite later disavowal or disagreement.

只有采用非常含糊的提法,才有可能达成协议,而这些提法往往因其含糊而引起后来的否认或分歧.

Other formulas for setting the charges therefore must be considered.

因此,必须考虑其他的解决收费的方法.

Nagative expander formulas started to include such items of wood, as wood dust or wood flour.

负极板膨胀剂配方开始包括木质一类的材料, 如木屑或木粉.

In order to verify the factuality of the old and new optimal formulas of the throwing angle in shot put, the marking of the optimal angle of release was applied to sample for verifying the old and the new formulas.

为了验证新、旧最佳投掷角度公式的真实性，运用最佳出手角度标志线，对新、旧公式进行了抽样检验。

A complete classification of linear recursive formulas is given, and their corresponding compiled formulas are derived from the VPC Resolution Graph.

基于VPC－扩展图，给出了线性递归表达式的一种完备分类方法，并导出了其相应的编译表达式。

His polite formulas often carried much spleen.

他那文雅的客套,常常带有极大的怒气.

The formulas about the relative sliding ratio and the engagement trail of beeline-tooth conjugate inner-gearing pair are worked out on the basis of the gear meshing principle. Based on the formulas, the factors that may influence the relative sliding ratio of beeline-tooth conjugate inner-gearing pair are analyzed.

利用齿轮啮合原理推导了直线共轭内啮合齿轮副的啮合线方程和相对滑动系数的计算公式，研究了啮合过程中齿间相对滑动状态，综合分析了相对滑动系数的影响因素。

It sells speciality infant and toddler formulas, follow-on formulas, and maternal and adult nutrition products.

该业务的产品有特殊婴幼儿配方食品、后续阶段配方食品、孕妇及成人营养品。

Let's try and reduce it to formulas.

咱们设法把它归纳成公式吧.

These formulas make the approximations for the derivatives at these points in a nonsymmetrical manner.

这些公式使得这些点子上的导数近似式是非对称形式.

One cannot help feeling that these mathematical formulas have an independent existence and a true intelligence.

人们不禁要感到那些数学公式是独立存在的,并具有真实的内容.

Scalar formulas do carry over for these matrices.

对于这些矩阵,数量间一些公式确实保留下来.

They are not schematic formulas and algebraic formulas in the textbook . They are human beings.

他们不是书本上的原理公式或代数公式.

Recent history had washed away the easy consolations and the old formulas.

现代的历史已经把轻松的安慰和陈旧的公式一扫而光.

Substances which have identical molecular formulas but different strucural formulas, are known as isomers.

凡具相同分子式但不同结构式的物质称为异构体.

The formulas of calculating the tidal coefficient and lag time are developed, and the corrected formulas of lag influence of tide in the well level are given.

导出了计算固体潮系数和滞后时间的公式，给出了考虑滞后影响的井水位固体潮校正公式。

Constant coefficient computing formulas are better than traditional variable coefficient computing formulas. Constant coefficent formula for conformal projection transformation is the best model for computer calculation. They could be widely applied in flelds of computer cartography, map databases and GIS, ect.

常系数计算公式优于传统的变系数计算公式，是基于计算机的等角投影变换的最佳模型，它在计算机制图、地图数据库、GIS等领域中有着广泛的应用。

We derive the addition formulas for sine and cosine from the arithmetic of complex numbers.

用复数算术推导了正弦,余弦的加法公式.

Compared with the formulas of Chinese [ RRTTC] and related foreign ones, the authors believe that analysis test type of train resistance formulas is more rational and effective than the pure test type.

经与《列车牵引计算规程》公式以及国外相关公式进行比较后，认为这种分析-试验型公式比纯试验型公式更为合理而有效。

This paper introduces the formulas for calculating the inner forces and deformation of non-circular arches with the fundamental formulas, these non-circular arches including parabolic, three-centered, elliptic, hyperbolic and logarithmic spiral arches under constant loads can be calculated.

本文以圆弧拱坝的形、载常数的基本公式为基础，推导了等厚抛物线、三心圆、椭圆、双曲线及对数螺旋线等拱圈的内力、变位计算公式。

NaCl. In solving these problems you must apply the formulas you have just learned.

你必须运用刚学的公式来解这些问题.

In all the formulas for mold spray, a common ingredient is water.

在给出的所有脱模剂配方中, 水是共用的拼料.

Experience, as we know, has ways of boiling over, and making us correct our present formulas.

正如我们所知, 经验具有各种超越我们现有模式的方式, 使我们对其加以更改.

The results are cumbersome and the formulas in the general case cease to be useful.

其结果很繁而其公式在一般情况是不再有用的.

General formulas of acid base titration curve, complexometric titration and general formulas of buffer solution of mixed acides index are introduced.

介绍了酸碱滴定曲线通用计算公式、络合滴定通用计算公式、氧化还原滴定通用计算公式、混合体系缓冲容量的通用算法以及这些公式在图形处理中的应用。

In this paper the theoretical calculation formulas for thermal neutron sensitivity and neutron sensitivity, the burn-up correction equations, and reduction formulas at different neutron temperature of rhodium self-powered in-core neutron detector are given.

本文给出了铑自给能探测器的热中子灵敏度和中子灵敏度的理论计算公式、燃耗修正公式以及不同中子温度下的换算公式。

The set of k-step order k linear multistep formulas and nearly A-stable linear multistep formulas

K步K阶线性多步公式集及几乎A稳定的线性多步公式