查询词典 partially computable function

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.

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

Teachers are problem posers who orient their children toward constructing effective activity patterns that are computable with those traditional methods through phenomenological, psychological, sociological and anthropological problems. Teaching/learning environment are spontaneous constructions of children.

教学者是布题者，透过现象学的、心理学、塺会学的以及人类学的数学问题的提出，教师期望能促使儿童建构不仅有效，而且能与传统典范竞争效率的抽象解题运思。

For the Riemann boundary value problems for the first order elliptic systems , we translates them to equivalent singular integral equations and proves the existence of the solution to the discussed problems under some assumptions by means of generalized analytic function theory , singular integral equation theory , contract principle or generaliezed contract principle ; For the Riemann-Hilbert boundary value problems for the first order elliptic systems , we proves the problems solvable under some assumptions by means of generalized analytic function theory , Cauchy integral formula , function theoretic approaches and fixed point theorem ; the boundary element method for the Riemann-Hilbert boundary value problems for the generalized analytic function , we obtains the boundary integral equations by means of the generalized Cauchy integral formula of the generalized analytic function , introducing Cauchy principal value integration , dispersing the boundary of the area , and we obtains the solution to the problems using the boundary conditions .

对于一阶椭圆型方程组的Riemann边值问题，是通过把它们转化为与原问题等价的奇异积分方程，利用广义解析函数理论、奇异积分方程理论、压缩原理或广义压缩原理，证明在某些假设条件下所讨论问题的解的存在性；对于一阶椭圆型方程组的Riemann-Hilbert边值问题，利用广义解析函数理论、Cauchy积分公式、函数论方法和不动点原理，证明在某些假设条件下所讨论问题的可解性；广义解析函数的Riemann-Hilbert边值问题的边界元方法是利用广义解析函数的广义Cauchy积分公式，引入Cauchy主值积分，通过对区域边界的离散化，得到边界积分方程，再利用边界条件得到问题的解。

We prove the equivalent conditions of completely monotone function, we also discuss the relationship of positive definite function, semi-positive definite function and completely monotone function when the function take values in a commutitive von Neumann algebras.

我们证明了完全单调函数的几个等价条件，并且讨论了取值于交换von Neumann代数的正定函数，半正定函数及完全单调函数之间的关系。

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.

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