查询词典 computations

OWL DL '' supports those users who want the maximum expressiveness while retaining computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time).

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

OWL DL supports those users who want the maximum expressiveness without losing computational completeness (all entailments are guaranteed to be computed) and decidability (all computations will finish in finite time) of reasoning systems.

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

For a delta wing model, numerical computations for every above AFSS's design methods are given.

全文以某三角翼为对象对上述每步工作进行了数值计算。

It's fixed by swing depressor fixtume structure thedespower can be assured by checking computations.

在前述定位基准面选择的前提下，用摆动式压板杠杆夹紧结构，夹紧力经验算可以保证。

It's fixed by swing depressor fixtume structure the despower can be assured by checking computations.

在前述定位基准面选择的前提下，用摆动式压板杠杆夹紧结构，夹紧力经验算可以保证。

Applications of differential calculus include computations involving velocity and acceleration , the slope of a curve, and optimization .

应用微分包括涉及计算速度和加速度，斜率的曲线，与优化。

Distance and dihedral angle constraints are used in distance-geometry and molecular dynamics computations to calculate and refine these structures.

他们将距离和二面角的约束效应运用在距离几何学和分子动力学的计算中使其对分子结构的测定更为精确。

Preliminary orbital computations by the Minor Planet Center suggested an atmospheric entry of this object within a day of discovery.

作为国际小行星中心所在地的哈佛史密松天体物理中心昨天表示，北京时间今天上午10：46，小行星2008 TC3与地球相撞的概率可达99.8%-100

The rolling effects of horizontal and edger rolls were both taken into account during load distribution, and iterative computations were done alternately along the width and thickness of work piece by virtue of the equal load function to optimize the rolling schedule step by step.

分配时兼顾水平辊和立辊轧制的影响，在宽度和厚度两个方向进行等负荷函数的交替迭代计算，逐步优化规程，并在外层迭代中设置了机组轧制负荷超限情况下的道次数自动修正。

Because of the high-non-linearity, the adiabatic lateral wall condition and high aspect ratio , the numerical simulation process possesses a series of features. A number of computations and numerical tests have been conducted to find effective convergence conditions.

由于所计算问题的高度非线性，以及侧壁绝热、大的长径比等特点，使数值模拟的迭代收敛过程出现一系列特点。

Newly designed quick-refill fuel tank cap and dust proof radio box back-up their impressive form by also contributing to the low center of gravity.

新设计的快速填充油箱盖和防尘电台方块备份其令人印象深刻的形式也有助于低重心。

The book is a spin-off from his master's thesis.

这本书是他的硕士论文的派生作品。