可计算的

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

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矩阵元，便可求得散射截面。

In this note, a new approach is presented which calculates analytically the experiment estimator distribution via a Fourier transform, using the likelihood ratio as an ordering estimator. The analytic approach enjoys an enormous speed advantage over the toy Monte Carlo method, making it possible to quickly and precisely calculate confidence level results.

本文则介绍一种新的计算方法，通过定义似然函数比为实验的估计值，并应用Fourier变换，用解析的方法计算出置信度，与toy Monte Carlo方法相比，解析方法可极大地提高计算的速度和精度。

Expression of the realization of the calculation, and calculation of spin-off procedures and executable programs.

详细说明：阐述表达式计算的实现，并且附带程序计算和可执行程序。

The material balance of technology and one hundred thousandtone stages is accomplished, laying a foundation for industrial experiments of bisphenol A ofpolycarbon-stage with HPA method. The characteristics of the process are shown as follows. Thefirst, using reaction distillation technology to make water and toluene to reach azeotropy andremove them promptly, the reaction rate is increased.

绘制了带控制点的流程图，建立了流程优化模拟计算的数学模型并编制了计算机程序，通过输入工艺设计要求，应用该程序很快就可以完成整个流程的模拟计算，应用该程序也可进行整个流程的优化设计计算。

Present,a few of private computing schemes were proposed by some researchers,but oversized complexity,low production,unweighable securirty level,narrow applicable scope and so on factors restrict their applications,and their implementations are very less.

目前交集的保密计算的方案已有些人提出，但大多受到计算复杂度过大，计算效率低下，安全程度无法衡量，适用范围狭窄等因素的制约，少有可实际应用的方案及其实现。

352 Note: With totaliser in this mode (1 output pulse/unit - 1-pulse/bbl) it can be calculated that pulse output from totaliser is too slow for instantaneous EdgeX monitoring.

注：表头在此状态下（1输出脉冲/单位-1脉冲/桶）也可计算，但表头脉冲输出太慢无法满足数采系统瞬间产量的计算要求。

A research of freezing process of circular tunnel with initial temperature near 0 ℃has been made.

该解既可用于工程估算也可用来检验数值计算的计算程序及结果。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。