查询词典 effectively computable function

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 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

In Chapter 7, we prove the resolvent operator of compound KDV equation is computable via the operator method, contraction mapping principle and TTE theory.

第五章应用Backlund变换得到了变系数组合KdV-Burgers方程的N-类孤子解；第六章应用F展开法及其扩展形式得到了变系数组合KdV方程和(n+1)维Sine-Gordon方程的孤立波解；第七章运用算子方法、压缩映象原理和TTE理论，证明了组合KdV方程的解算子是可计算的；最后对全文进行了总结，并对未来的研究方向作了展望。

In this paper a computable formal algorithm language is advanced to disoribe somebasic concepts, such as dynamic process, stabilization, teachability etc, which are usedin control and manegement science, by means of ∑-module.

本文讨论了如何将控制与管理科学理论中的一些基本概念，例如系统的动态过程，稳定性、可达性等，用统一的形式化算法-Σ-模结构语言来描述。

But we will see that the Turing machine and the RAM are equivalent from many points of view; what is most important, the same functions are computable on Turing machines and on the RAM.

但是，我们将看到，图灵机和内存相当于从许多观点；什么是最重要的是，同样的职能是可计算的图灵机和内存。

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 若在黑夜行走，就必碰跌，因为那光不在他里面。