查询词典 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.

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

If I didn't care what anyone thought, I would.....

如果我不介意别人怎么看，我会。。。。

In recent decades, Chile has mandated earthquake-proofing for new structures, requiring that materials like rubber and features like counterweights be built into the architectural designs to allow buildings to bend and sway during temblors rather than break.

在最近数十年里，智利已经为兴建防震的新土建结构而对建筑材料提出要求，需要的材料类似于橡胶，而特性就象运用在建筑设计中的平衡物体，一旦应用以后，当地震发生时建筑就能弯曲摇摆。