查询词典 computable function

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

This produce a non-computable problem between denumerable set and an element of tangibility set, which is referred to as system complexity.

所以本文分析客观世界的特性，尤其是非线性的问题等，试图将现实世界的表征扩大到现实集中，这样产生的一个由可数集到现实集元素之间不可计算的或非能行问题，作为关于系统复杂性定义或界定的问题。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。