一阶

During the ordinary modeling process of first order hydraulic system, some principal diagonal elements of mass matrix were zero, and the stiffness matrix was nonsymmetrical.

建立以界面信息形式表达的一阶液压均衡系统动力学方程，同时利用卷扬系统动力学方程，首次建立机械卷扬-液压均衡子系统动态耦合的数学模型。

However, the pseudo-triaxial strengths of several rocks from the best fitting solutions have great scatterness from the real magnitudes. Also, it does not correspond to the experimental results that rock has the same strength under conventional triaxial compression and tension; the maximum increase of strength from intermediate principal stress has a linear relation with the minor principal stress; and the first-order derivative of strength has an interruption at the peak point.

此外，统一强度理论认为岩石三轴伸长强度与常规三轴压缩强度相同，在最小主应力恒定时中间主应力引起的强度最大增加值随最小主应力线性增加，且强度关于中间主应力的一阶导数在峰值点是不连续的，这些都与试验结果不能完全协调。

So-called first-order theorem proving may be restricted to a propositional calculus with terms (constants, function names, and free variables) added, making it impossible to express mathematical induction.

所谓一阶定理证明可限于命题演算的条款（常数，函数名，并免费变量）说，无法表达数学归纳法。

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤。

This paper introduced the some theories of propositional logic, and gave the Computer implementation of the propositional logic calculations based on VC++.

本文在对数理逻辑领域的命题演算课题进行理论研究的基础上，对命题式的真值计算和一阶谓词命题式的前束范式化简进行了基于 VC++平台的编程实现。

Intuitionists can accept expressibility of formal system and recursive functions, but will deny any concept of truth outside provability of first order arithmetic.

本文引入了直觉主义的思想，对维特根斯坦的评论进行了新的解读，指出哥德尔证明中所基于的一阶算术的解释是模糊的。

In these cases, a first-order theorem prover may fail to terminate while searching for a proof.

在这种情况下，一阶定理证明者可能会失败而终止，而寻找证据。

The simulation results show that the quantization error is much less than conventional simple SDM.

仿真结果表明这两种方法在量化精度上大大优于传统的一阶SDM的方法。

On each sub-interval, the quartic Bézier curve segment has one freedom degree that is used to adjust the shape of the segment.

zier曲线的形状。自由度由极小化样条曲线和辅助曲线的一阶导矢差的平方的积分确定。

The new transform differs from the one previously derived by Bao (1999) by an additional term containing the derivative of the radial component of the orbital velocity associated with the long ocean waves.

新积分变换不同于Bao (1999)建立的积分变换，两者形式上区别在于新积分变换中包含了长波径向轨道速度一阶倒数项。

The labia have now been sutured together almost completely.The drains and the Foley catheter come out at the top.

此刻阴唇已经几乎完全的缝在一起了，排除多余淤血体液的管子和Foley导管从顶端冒出来。

To get the business done, I suggest we split the difference in price.

为了做成这笔生意，我建议我们在价格上大家各让一半。