可计算

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 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，即所有的计算都在有限的时间内完成）。

Numerical results show that this formula is clear in conception and convenient in calculation and desirably precise. It is helpful in the initial design and final check-up of structures.

算例计算结果表明：简化计算公式力学概念清晰，应用方便且计算精度较高，可用于结构的初步设计和最终校核。

Using the method we calculate the 〓 elasticdifferential scattering cross section, excitation differential scattering crosssection, and excitation cross section of electron collision with 〓 We transform the electron and molecule problem into electron problemby Born-Oppenheimer approximate. Mr Rossi, Dr. the Flinders University ofSouth Australia, calculated electron collision with molecule, but theexchange term he used become bigger and bigger as incident energyincreases, it is unreasonable, besides, the potential of electron and nucleus heused is somewhat rough. At present we correct these two terms. The potentialconsists of static potential, exchange potential, polarization potential.

电子与分子的碰撞过程的相互作用势主要是由静态势、交换势和极化势三部分决定的，这里对这三部分在动量空间中进行分波展开，推导出易于计算的表达形式，根据这些公式，并参考Rossi的弹性碰撞程序编写了计算电子与分子碰撞激发截面的程序，利用程序计算出势能矩阵元，通过求解Lippmann-Schwinger方程求得T矩阵元，便可求得散射截面。

The model was preprocessed to assure the regulation of facets, create the dual graph of it, and then adapt Reeb Graph to extract the skeleton which contains enough information of the model, such as gesture and topological features, to be able to be used as descriptor of 3D model retrieval.

通过对模型进行一定的预处理保证面片的规则，定义面片间距离计算方法，创建模型的对偶图，识别连通分量，在连通分量上应用Reeb图的计算思想抽取原模型的骨架。试验表明，该算法具有较好的计算效果和效率，最终的骨架保存了模型的拓扑连通性以及姿态，可用于基于内容的三维模型检索时的特征描述符。

And the compare between the result of calculation and that of test shows that the method proposed in this paper can be used to calculate the environmental vibration produced by elevated railroad traffic.

计算结果与实测结果吻合较好，表明本文的计算模型和方法可应用于分析计算高架轨道交通引起的环境振动。

in basic of a hypothesis, a emulation calculate mode about the steady available of the weapon equipment was formed. emulation calculate process was compiled by using matlab6.5 engineering calculate software. a front-alternating interface was made in virtue of visual basic6.0 program language, and the data transfers was realized by using dde of windows operating system.

在一定假设的基础上，建立了武器装备稳态可用度仿真计算模型，利用matlab6.5工程计算软件编制了仿真计算程序，借助visual basic6.0编程语言制作了前端交互界面，并通过windows操作系统特有的动态数据交换机制实现了数据的传输。

A mathematical model of heat transfer in batch type radiant-tube enameling furnace is established by imagine plane method and the calculation is made.

利用假想平面法建立了室式辐射管搪烧炉传热数学模型，并进行了仿真计算，结果表明，假想平面法能够大大简化室式辐射管搪烧炉内大量的角系数的计算，并可对炉子的有关参数(如辐射管的距径比、布置、炉墙结构等)进行优化计算。

It provides a way to find optimal lower dimensional approximations of the given data, and It enormously reduce the storage of the data which is needed when the physical processes is recurred. The physical process can be described in series expansion function that only is related to the time and space. It is optimal approximation of the given data in a certain least squares optimal sense. The most obvious advantage of the method is that it reduces the computation cost and computation time markedly.

它提供了一种描绘物理过程的有效方法，该物理过程可以写成一个只与时间相关的函数和一个只与空间相关的函数的展开式序列，且它们在均方意义上是最优的，在展开式中只需要少量的项数就可较准确地描述该物理过程，因此降低计算维数、减少计算量和节省计算时间是这个方法最明显的优点。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。