一阶

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

So this paper constructs a double moral hazardmodel and derives endogenously the capital structure of venture backed by venturecapital.

构造了风险企业双边道德风险下的融资模型，运用一阶条件方法导出了风险投资的最优资本结构是，风险投资家持有可转换优先股，创业者依业绩获得普通股。

And then the optimal incentive mechanism and its characteristics are given by optimization first-order condition when employees are risk neutral or risk evadable.

通过最优化一阶条件分别求解员工风险中性与风险规避时的最优激励机制，并分析最优激励机制的特点。

Followingly, an interfacial acoustic pressure level at a certain point on the vibrating plate is found with this equation.

以脉动半球声源和固定圆板的一阶振型假设为基本物理模型，导出了不同频率下的振声转换公式，由此求出振动板上某一点处的界面声压级。

In model experiments, we find that the deviation of the first derivative calculated by Fourier transform is very large to comparing with the theoretical derivative, but the fitting effect of the derivative of anomalies calculated by cosine transform is very good. The calculation accuracy of data are all very high except that errors of several data on the boundary are large because of the residual Gibbus effect induced by finite truncation of gravity anomalies. Errors are -009%～5%.

模型实验中发现，用Fourier变换计算的一阶导数与理论导数偏差很大，而余弦变换计算的导数与理论异常导数拟合效果非常好，除边界几个数据因重力异常的有限截断产生的吉布斯效应残留使误差较大外，数据的计算精度均很高，误差为-009%～5%。

And designed using pole-zero cancellation and with a PI plus repetitive control block heuristically tuned.

图5。带简单PI控制器（基于图5中简化的一阶系统，使用消除零极的设计）的热交换器及带PI加搜索调谐控制模块的热交换器，控制两者时的效果之比较。

By establishing a new comparison principle,and using method of L-quasi-upper and lower solutions and mixed monotone iterative technique,the results of existence and uniqueness of solutions to Cauchy problem s of first order nonlinear integrodifferential equations in Banach spaces are obtained.

通过建立一个新的比较原理，利用L-拟上下解方法和混合单调迭代法，研究了Banach空间中一阶非线性积分微分方程初值问题解的存在唯一性，并给出了近似解的迭代序列和误差估计式。

Single precision of the Runge - Kutta - Kiel in the initial conditions for n simultaneous first-order differe...

单精度的龙格-库塔-基尔法在初始条件下求解n元联立一阶常微分方程组；很好。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

In 1999, Struijk found that the myelinated nerve could be excited by transverse field induced by pulsed magnetic stimulation without the effect of tissue unhomogeneities and bends in the nerves.

因此，在近几年的神经磁刺激研究中，也局限于讨论感应电场纵向分量的作用，以纵向场负的一阶导数极大值作为刺激方式的选取及线圈改进的衡量标准。

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.

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