可计算

Documents are defined in real number field using the form of vector, pattern recognition and mature calculate methods in other fields can be used, which improves calculability and maneuverability of nature language document obviously.

把文档以向量的形式定义到实数域中，能够使用模式识别和其它领域中各种成熟的计算方法，极大地提高自然语言文档的可计算性和可操作性。

So we can use ab initio method and DFT to describe electronic structure of molecule and atomic group. Using Dewar,Chatt, and Duncansons model can count out the interaction energy between molecular orbit and metal state.

我们利用从头计算法和密度泛函方法描述分子以及原子团簇的电子结构，采用Dewar，Chatt，和Duncanson模型可计算出分子轨道与金属态的相互作用能。

The satellite position and clock offset at any time can be gained through interpolating precise ephemeredes using CHEBYSHEV polynomial coefficients.

在计算中，通过对精密星历采用切比雪夫多项拟合的方法可计算卫星任意时刻的卫星位置和钟差。

This includes computability theory , computational complexity theory , and information theory .

这包括可计算性理论，计算复杂性理论，信息理论。

Computational theory of the three traditional core areas: automata, computability and complexity.

计算理论的三个传统的核心领域：自动机、可计算性和复杂性。

Computability theory differs from the related discipline of computational complexity theory, which deals with the question of how efficiently a problem can be solved, rather than whether it is solvable at all.

可计算性理论的不同之处相关学科的计算复杂性理论，其中涉及的问题是，如何有效的问题可以得到解决，而不是它是否解决了。

Q. Aren't computability theory and computational complexity the keys to AI?

可计算性理论和计算复杂性理论是不是AI的关键？

To solve the third problem, the definition of T-revision function and RT-computation model are proposed, and it is proved that with the increase of revision time, T-revision function converges to revision function and T-revision function is computable.

作为对第3个问题的解决，作者提出了T-修正函数的定义和RT-计算模型，证明了随修正时间的增长，T-修正函数逼近修正函数，且T-修正函数是可计算的。

Just as λ-calcu-lus allows you to construct and reason about every possible computable function, there were high hopes that π-calculus would play similar role for concurrency.

本文提出了一个方法，据此可以把自然数和函数描述为进程，从而证明了π演算有足够的能力描述所有的可计算函数，同时还说明了与λ演算相比，π演算有着更高的计算效率。

To solve the third problem, we present the definition of T-revision function and RT-computation model, prove that T-revision function converges to revision function with the increase of revision time and Trevision function is computable.

作为对第3个问题的解决，作者提出了T－修正函数的定义和RT－计算模型，证明了随修正时间的增长，T－修正函数逼近修正函数，且T－修正函数是可计算的。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了