可计算

The computable numbers form a real closed field and can be used in the place of real numbers for many, but not all, mathematical purposes.

在可计算数形成一个真正的封闭领域，可用于取代真正的数字对许多人来说，但并非所有数学的目的。

The numerical results indicate that the generalized Dirichlet distribution should be a reasonable prior, and the computation in forecasting coproduct output is relatively straightforward with respect to the approximation approach.

本研究所採用的贝氏统计分析方式，对於预测生產量的计算，比求近似解的方法简单，可计算变数二阶以上的动率，而且在使用的时机上较不受限制。

Horizontal distance, difference in height and slope distance are calculated. Coordinate file data and manual input data are available to be used.

本程序可计算上述两种情况的平距、高差和斜距，计算可以使用坐标文件数据和手工输入数据。

And as the phases corresponding to the lasers are all detected, the slow axis orientation and the optical path difference of the waveplate can be determined.

透过波长改变与相位延迟量的变化，可计算出波板造成的光程差，进一步可判断出波板的阶数。

This course will introduce the basic theory of parallel computing, teach how to identify problems that are parallelizable, and demonstrate how to apply the principles of parallel computing to civil engineering problems. Students will have opportunities to obtain hands-on experience by developing their own parallel programs. The prerequisite of this course is computer programming. It is suitable for graduate students to choose as an elective.

在本课程中将介绍平行运算的原理（Concurrency and Synchronization），分辨可平行化和不可平行化的问题，探讨平行运算的演算法和可计算性，以及介绍将程式平行化的实用技术，并分析程式容错性和可靠度（Fault Tolerance and Reliability），以帮助学生将平行运算应用在土木工程和学术研究中，学生将有机会使用平行化程式语言开发应用程式，本课程先修课程为程式设计，建议研究所同学选修。

Road design, calculation of the plane curve model categories, which translate such relaxation curves.

道路设计中，平面曲线计算的模型类，该类中可计算缓和曲线。

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

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

352 Note: With totaliser in this mode (1 output pulse/unit - 1-pulse/bbl) it can be calculated that pulse output from totaliser is too slow for instantaneous EdgeX monitoring.

注：表头在此状态下（1输出脉冲/单位-1脉冲/桶）也可计算，但表头脉冲输出太慢无法满足数采系统瞬间产量的计算要求。

The results are verified from deep to extremely shallow water conditions. The shoaling waves, standing waves, 3D disturbance waves, tidal waves and solitude waves are simulated and verified,and waves over an underwater bar,the diffraction near single breakwater, breakwater gap, offshore breakwater, Breakhoff experiment are taken into account in this model. Furthermore, the wave harbor resonance under special topography, and "Bragg" resonance are simulated. The wave refraction problem under current fields,the nonlinear wave refraction-diffraction under "Arthur" current field, and the wave propagation under slowly varying current field are studied. The favorable calibrations show the model's feasibility in dealing with the wave nonlinearity and simulation in both deep and shallow water.

论文对深水至极浅水非线性波进行了较全面的验证，计算模拟了波浪浅化、立波、三维干涉波、潮波、孤立波以及波浪越过潜堤、单突堤绕射、双突堤绕射、岛式堤、Berkhoff实验和多连通水域波浪传播等问题，还对特殊地形条件下波浪发生港湾共振、布拉格共振进行了仿真；论文研究了水流中波浪传播折射变形问题，Arthur流场上非线性折射-绕射、水位缓变的转向潮流中波浪传播等缓变水流中波浪问题，各类问题的较好解决验证和表明了本文模式与方法具有适用于深浅水的可计算性与非线性。

The ratio of the well-testing data is used and the reliability of the analysis results can be also increased. The well pressure of a swabbing producing well can be calculated with this new model as well.

同时，利用该理论还可计算抽汲过程中任一时刻的井底压力和关井时刻的井底压力，解决了抽汲井难以计算关井时刻井底压力的问题。

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.

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