查询词典 computable

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.

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

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)网络计划技术作为工具，在机动时间特性研究的基础上，把超大型工序网络化简为等效的简单网络，从而使不可计算的问题转化为可计算的问题，使很复杂的问题转化为比较简单的问题，尤其是利用化简后的网络求解时间-费用权衡问题，无论使用任何一种算法其计算量都会大大减小。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。