查询词典 computable function

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.

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

It means that any computable object in Turing machine can be defined itera tively and computed efficiently with Pure logic.

这就等于证明了，任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算。

To explain the computable of correlated noise attenuation by wavelet analysis; to give adaptive wavelet shrinkage algorithm on basis of threshold. We discuss three thresholds'choice; namely eigenvalue, unbiased risk estimator and hitograph method. We give comesponding experiments'analysis and comparison. It shows that our method is reliable.

阐述了小波分析去相关噪声的可行性；给出了基于阀值的自适应小波收缩法，讨论了三种阀值的选取；论述了特征值法，无偏的风险估计与直方图法，给出了相应的实验分析与比较，说明了该方法是可行的。

By using Critical Path Method of network planning technique as the tool,this paper studied the properties of float.Based on the above properties,the super-large type project network is simplified as an equivalent simple network,making the incomputable and complex problem a computable and easy one.What is particular is that the work load of computation of the simplified network is largely reduced whatever agrithorm is used.

本论文用关键路线法(Critical Path Method，简称为CPM)网络计划技术作为工具，在机动时间特性研究的基础上，把超大型工序网络化简为等效的简单网络，从而使不可计算的问题转化为可计算的问题，使很复杂的问题转化为比较简单的问题，尤其是利用化简后的网络求解时间-费用权衡问题，无论使用任何一种算法其计算量都会大大减小。

Though the decay of weighted wavelet coefficient is the same as the common wavelet, the computable complication is observably reduced.

表明了加权小波系数的衰减性与一般正交小波的系数衰减性相同，但计算复杂度更低。

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