查询词典 computable

In its developmental history, software systems are categorized as either algorithmically computable systems or interactive computing systems.

从计算机软件系统的发展历程来看，主要可分为算法可计算的软件系统和交互式计算的软件系统两个阶段。

In the frame of TTE, this work proves that the resolvent operator of compound KDV equation is computable.

本文在TTE的框架下，运用算子理论和方法，证明了组合KdV方程的解算子是可计算的，从而可以。。。

Neural computing strategies is clearly distinguished from both numerical and symbolic computing as a class of intelligent computable model.

为此，本文提出了一种新的基于神经网络的系统可靠性冗余优化算法。

Rasters are able to represent a large range of computable spatial objects.

网格能表示可计算空间物体目标的大范围。

After this opinion has given, some people doubt that the programmable number actually is computable number had defined earlier.

此观点给出后，受到学术界的一个质疑是，程序数事实上是已经被前人定义过的可计算数。

However, as the general problem of dependence analysis is not computable and it is a NP hard problem even for linear analysis, research work is focused on approximate solutions.

相关性分析是并行化编译的基础。伴随着并行化编译的发展，对相关性分析方法的研究已经持续了二十多年。

In order to use economic ploy depressing the emission level, we need to study the operation and interaction of the economy system, so we use the Computable General Equilibrium method.

为此，我们利用可计算一般均衡模型进行模拟分析。CGE模型是60年代以来产生的一种定量政策分析工具，在许多国家得到了广泛的应用。

The approximate analytical solution may be expressed in terms of a rapid convergent power series with elegantly computable terms.

近似解结果和数值结果非常符合，证明了所提出的方法的准确性和可靠性，该方法可以用于解决其他科学和工程技术问题。

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

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。