是否存在一种计算，它在理论上是(计算机)不可计算的？
Are there any calculations which are theoretically impossible for a computer to perform?
如图灵可计算的完整性和理论的东西的技术细节超出了大多数。
The technical details of things like Turing completeness and theories of computability are beyond most of them.
recursive 规定该属性包含可计算的对象的dn值。
recursive states that this attribute contains the dn values of objects that can be evaluated.
一定要记住，在使用静态断言时，检查的表达式在编译时必须是可计算的。
While using static assertions, always remember that the expression being checked must be evaluable at compile time.
不存在神秘且不可计算的力量，而是一种有理论基础的方法计算一切事物。
There are ·no mysterious incalculable forces that come into play, but rather that one can, in principle, master all things by calculation.
但这是可计算的，它的影响也是很可观的，当讨论重新分布远大于一个人的质量时。
But it's calculable and the impact can be quite impressive when you talk about redistributing more mass than just one person.
虽然在这些部位剪切应力将会以斜拉应力的形式被提供，而斜拉应力是不可计算的。
Although it is really the diagonal tension for which shear reinforcing must be provided, diagonal tensile forces are not calculated.
本文提出了向列型液晶的格胞理论，为研究分子短程关联提供一个可计算的理论模型。
A cell theory of nematic liquid crystals is presented, which provides a calculable theoretical model for investigation of molecular short-range correlations.
这与银行（及其他）经济学家采用可计算的一般均衡模型(CGE models)有关。
Part of the reason lies in the computable general equilibrium (CGE) models used by the Bank's (and other) economists.
计算主义纲领关于生命现象或过程是可计算的主张，与关于生命现象的还原论是一脉相承的。
Algorithmism asserts that phenomena and process of biosis are computable, and this assertion has gone on with Reductionism.
对于电极表面有缺陷的情况，只要选取适当的电极表面轮廓模型，其起始放电电压也是可计算的。
In the case of electrode surface imperfections, the discharge inception voltage can also be calculated provided a suitable electrode surface profile model is chosen.
除了可计算的资源外，NetKernel的缓存还存储了资源依赖和计算每个缓存点所需代价的元信息。
In addition to computed resources, NetKernel's cache stores meta information about resource dependencies and the cost of computing each cached entry.
假设，天文学是可计算的，那就是说，宇宙万物的行动都可以在计算机上复制出来；但这不能说明宇宙就是一台计算机。
Suppose astronomy were computable – that is, that the behaviour of everything in the universe could be modelled on a computer – this would not show that the universe is a computer.
介绍了视频数据的采集方式，并提出了一套可计算的视频特征属性，可以反映人们对不同的视频风格的典型特征的理解。
The method of video data collection is introduced. It presents a set of computational attributes, which can reflect human's understanding of the typical features of various video genres.
该公式基于一个被称为“最优停止”的统计学技术，可计算出做某事的最佳时间。
The formula is based on a statistical technique known as optimal stopping - or the best time to do something.
这是一个有趣的阅读用来探索MapReduce模型如何应用到各种不同的可计算算法。
It's an interesting read to explore how the MapReduce model can apply to a variety of computational algorithms.
由于他的著名的关于宇宙的可计算性大胆预言，SethLloyd博士是一个认为我们生活在一个巨大的量子计算机的俱乐部的成员。
Famous for his bold predictions about the computational capacity of the universe, Dr. Lloyd belongs to the club that thinks that we live inside of a gigantic quantum computer.
证明过程中主要应用了分析中的压缩映象原理和一些空间的性质，通过构造可计算函数，来把解从一个区间延拓到整个空间。
We mainly apply the contraction principle in analysis and properties of some Spaces. By the computable functions constructed, we extend the solution from the internal to the entire space.
这些研究增强了语言处理的可计算性。
All these researches improve the computability of the language processing.
下面的表格指出了在可计算性和复杂性理论应当考虑的一些种类的问题。
The following table shows some of the classes of problems that are considered in computability theory and complexity theory.
这一事实使它们非常适合于理论研究的可计算性问题。
This fact makes them very suitable for theoretical investigations of computability questions.
和接触电势一样，由于偏移电流而引起的小电流信号测量不确定度亦可计算获得。
As with the contact potential, the uncertainty added to a small current signal by the offset current can be calculated.
我的足迹是一个网页，它可计算每人消耗的土地与水资源量。
My Footprint is a Web page that calculates the amount of land and water resources that an individual USES.
该公式基于一个被称为“最优停止”的统计学技术，可计算出做某事的最佳时间。
The formula is based on a statistical technique known as optimal stopping — or the best time to do something.
分析了一般均衡模型和可计算一般均衡模型在排污收费政策中的应用。
The applications of General Equilibrium model and the Computable General Equilibrium model in pollution charge policy were studied.
下面的表格指出了在可计算性(蓝色)和复杂性理论(绿色)应当考虑的一些种类的问题。
The following table shows some of the classes of problems (or languages, or grammars) that are considered in computability theory (blue) and complexity theory (green).
下面的表格指出了在可计算性(蓝色)和复杂性理论(绿色)应当考虑的一些种类的问题。
The following table shows some of the classes of problems (or languages, or grammars) that are considered in computability theory (blue) and complexity theory (green).
应用推荐