查询词典 partially computable function

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.

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

So the paper analyzes system complexity by inversion, and it, in the theory, is also a non-computable problem or unsolvable problem, that is not to simply say a lot or hugeness.

另一个是理论上可计算性的，但实际中由于问题的计算量以非多项式增长无法在现有计算机可接受的时间内完成。

The present paper covers the Hopf points bifurcating from double fold points, and gives some computable nondegeneracy conditions and stability conditions of these Hopf points.

本文研究从双重折叠点分支出的Hopf点，给出了可计算的非退化性条件及稳定性条件。

Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

包括的领域包括： provability的逻辑，对生物学，心理学，物理学，化学，经济学和其他基础科学的computability 理论的应用； computability 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

"The operators will suffer a temporary decrease in the number of consumers and short message services as people may not like having to provide their ID cards for a phone number," Xu Junqi, vice-dean with the Policy-Making Institute of the Telecommunications Research Centre under MII, said yesterday.

信息产业部下属的通信决策研究院副主任徐俊其昨天说：&实行手机实名制后，人们可能不太情愿用身份证注册手机号，所以通信运营商会暂时面临用户减少和短信用户减少的问题。&

I don't believe in make-believe!

我不相信这些虚构的故事。