可计算

Considering the effect of rough sea, a program called GRWAVE1 which may compute the electric field strength and phase has been written.

在地波程序GRWAVE的基础上，考虑了随机粗糙海面的影响编制了程序GRWAVE1，该程序既可计算地波场幅度又可计算其相位。

Computability is one of the most interesting and fundamental concepts in mathematics, philosophy and computer science, and it would be more than natural to ask what logic it induces. This is where computability logic comes in.

可计算性在数学、哲学和计算机科学领域是最有趣和最基础的概念之一，人们很自然地会问，从可计算性得出的是什么逻辑，这就是报告人新近提出的可计算性逻辑。

That field which is concerned with decidability and solvability of problems is referred to as computability theory or theory of computation, although some computer scientists advocate the inclusion of the current field of algorithms as part of the discipline.

我们把问题的可判定性和可解性的研究领域称为可计算性理论或者计算理论，虽然一些计算机科学家主张把现代算法领域包括到这门学科当中去。

In its developmental history, software systems are categorized as either algorithmically computable systems or interactive computing systems.

从计算机软件系统的发展历程来看，主要可分为算法可计算的软件系统和交互式计算的软件系统两个阶段。

Consequently, the class PC of the plus cupping computably enumerable degrees is not an ideal of ?, the upper semilattice of the computably enumerable degrees.

因此所有加杯可计算枚举度组成的集合PC不是ε的理想，这里ε是所有可计算枚举度构成的上半格。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

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 Winklhofer method is an exact method.But Winklhofer method cannot calculate centerdistance of a roller chain drive whose length of chain is an odd number of chain pitches.Involute function method is anapproximative method.

W ink lhofer方法是准确的计算方法，但只能用于链条总长是链节的偶数倍时的链传动，而渐开线法是近似法，不能精确地计算链传动中心距；而二分法是一种数值法，它可精确地计算链传动中心距，并且适用于链条总长是任意值的链传动，可计算出链传动中心距最大值和最小值。

The present thesis construct the boundary model on carburettors which is based on themethod of characteristics. The IEM computer program for computing the wave action and ex-change gas process of the gas oline engine is accomplished by using the method of characteristics.

建立用特征线计算的代油器边界模型，利用非等墒特征线理论编制了可计算汽油机进气管内的压力波动及换气过程的计算机程序IEM，并用该程序对BJ492QA汽油机进行了计算，计算与实测的压力波曲线吻合良好，表明了该化油器边界模型及IEM的合理性。

Other methods can only give approximate values. The presented method can be used in any roller chain drive where the two sides of the chain are straight.

非线性方程法可用于参数是任何值的链传动，可计算出链轮在任何位置时的链传动中心距，且可计算链传动中心距的最大值和最小值，是精确计算链传动中心距的方法之一。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了