可计算

This paper provides casualties probability forecast model of city under earthquake using reliability method.

提出了利用可靠度方法预测城市地震人员伤亡数目的概率模型，利用此模型可计算出所需概率意义下的伤亡人数的范围，为地震区编制抗震防灾规划和地震救援方案提供有效的依据。

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 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

For a good 3D models retrieval system, the geometrical similarity matching method should be reckonable, and be robust to rotation, noise, model degeneracy.

对于三维模型检索系统，三维模型几何相似性比较算法要有较好的可计算性，具有较好的噪声鲁棒性，较好的网格简化鲁棒性，以及三维模型的坐标系旋转鲁棒性。

In accordance with two learned values of current and relative slip frequency values the rotor time constant can be calculated.

根据两次不同的转差频率设定值和经学习后得到的两个对应的定子电流学习值，便可计算出转子时间常数辨识值。

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方程的解算子是可计算的；最后对全文进行了总结，并对未来的研究方向作了展望。

The broken sea line only cut off the physical connection with other part of the world. Such cut off is temporary and the damage can be measured.

断掉的海缆，只是断开了我们跟部分世界的物理连接，这种断开，在时间上是有限的，在损失上也是可计算的。

You can literally sit down and figure out your costs, he said.

你坐下来就可计算你的成本。

In addition, wavelet analysis can be employed to calculate the Hurst coefficients, which represents the long term dependency of hydrological time series.

此外，长时期之水文时间序列具有持续性，应用小波分析可计算水文时间序列之赫斯特系数。

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.

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

Computably enumerable degree; minimal pair.

可计算枚举图灵度；极小对。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。