2) computational complexity theory
计算复杂性理论
3) theoretical calculation
理论计算
1.
Experimental research and theoretical calculation on the craft of trash extraction of cyaniding poor liquid;
氰化厂贫液除杂工艺试验研究及理论计算
2.
Advances in the theoretical calculation research of sulfur isotope fractionation in sulfides;
硫化物中硫同位素分馏理论计算研究进展
3.
Stress analysis and theoretical calculation of weigh pad
称重板的受力分析与理论计算
4) theoretic calculation
理论计算
1.
The dynamic responses of Hongshui River Railway Cable-Stayed Bridge under traveling of locomotive were obtained respectively by the theoretic calculation and filed measurement and the results of the responses obtained by the calculation and measurement were analyzed and compared.
通过理论计算和现场实测,分别得出红水河铁路斜拉桥在机车通过时的动力响应,并将两种方法得到的结果进行分析和比较。
2.
Obtains the pivotal data used in project by theoretic calculation and model experiment, which can reduce construction budget, save operating cost and yield good economic returns.
介绍了小湾水电站地下厂房的自然通风设计方案,制作了自然通风试验模型,总结了模型试验的成果,通过理论计算和模型试验,得出了工程可以使用的关键数据,从而减少了工程投资,节约了运行费用,创造了经济效益。
3.
The theoretic calculation and retrofit scheme for turbine,rotator and stator of generator are discussed.
论述了对汽轮机、发电机转子和定子的理论计算和改造方案。
5) Theoretical calculations
理论计算
1.
The comparison between results of model test and theoretical calculations of the hydrodynamic resistance of Sea Station cage;
飞碟型网箱水动力模型试验与理论计算比较
2.
Recent research progress on the heterofullerenes, especially the theoretical calculations on the structures, stabilities and electronic properties, was surveyed.
对近年来异质富勒烯的研究进展，尤其是对异质富勒烯的结构，稳定性和电子性质的理论计算研究进展，进行了回顾。
3.
The possibility of the two rearrangement pathways and the difference of the fragment ions′abundance were explained and confirmed by theoretical calculations.
利用理论计算解释了2种重排途径的可能性与碎片离子的丰度差异。
6) theory calculation
理论计算
1.
The theory calculation of double network T reference data, based on the kirchhoff equation of electric voltage and current to get T reference data through algebra calculation.
双口网络T参数的理论计算,是通过建立基尔霍夫电压和电流方程,经过代数运算求出T参数。
2.
In order to find out the bearing capacity and serviceability in this bridge, the theory calculation of the bridge is carried out based on the procedure software of finite element in common use.
为检测该桥的承载能力以及使用性能,基于通用有限元程序软件对该桥进行理论计算,同时根据理论计算结果作为控制内力进行现场检测试验。
3.
Automobile behind collision is the major form of expressway traffic accident, to prevent this behind colli- sion accident, the article proposes the prevention countermeasures to behind accident on expressway based on the studies on the characteristics, theory calculation and responsibility identification of behind accident.
汽车追尾碰撞是高速公路交通事故的主要形式，为了避免汽车追尾事故的发生，本文在通过对汽车追尾碰撞的主要特征、理论计算和责任认定研究的基础上，提出了高速公路汽车追尾事故的预防对策。
补充资料：可计算性理论
| 可计算性理论 computability theory 研究计算的可行性和函数算法的理论。又称算法理论。它是算法设计与分析的基础，也是计算机科学的理论基础。可计算性是函数的一个特性。设函数f的定义域是D，值域是R ，如果存在一种算法 ，对D中任意给定的x ，都能计算出f（x）的值，则称函数f是可计算的。 算法有不同的直观定义。一般认为，能机械地实现，并总能终止的有穷指令序列称为算法。也有把算法称为“有效过程”的，并把能机械地实现，但不一定终止的有穷指令序列称为一般过程。 在可计算性理论中，算法主要用于计算函数和判定谓词。具有定义域D的谓词P是D中元素的一种特性，D 中每个元素或者具有这种特性，或者不具有这种特性。如果D中x具有特性P，就称P( x )真，否则称P（x）假。如果存在一个算法，对D中任何给的x，该算法总能给出P(x)是否真的明确回答，则称谓词P是可判定的。 函数的可计算性和谓词的可判定性是密切相关的概念 。可以把每个谓词P与一个值域为｛0，1｝的函数f连系起来 ，P和f具有相同的定义域D。对D中任意x，如果P(x )为真，则f（x）＝1；如果P（x）为假，则f（x）＝0。显然，f是可计算的当且仅当P是可判定的。因此 ，只需讨论函数的可计算性即可。 在可计算性理论中讨论的函数都是整函数，它们的定义域和值域都是非负整数集。这种限制的合理性在于：其他类型的函数可以通过G  del算术化，与整函数建立一一对应。为了表示一个函数是可计算的，只需给出一个计算它的算法即可。按照上述定义，对于一个适当的算法，应该能构造一个执行算法指令的机器，这是一种抽象的计算机，算法就是该抽象计算机的程序。只有能由这种机器计算的函数，才可定义为可计算函数。通常用于这种目的的抽象计算机就是所谓的图灵机。因为图灵机有精确的定义，所以可计算出数的概念就变成了一个精确的数学概念。 上述定义可计算函数的方法称为抽象机方法。在可计算性理论中，另一种定义可计算性的方法是函数方法，这种方法的基本出发点是认为可计算函数就是能行可构造函数。所谓“能行性”是指存在切实可行的构造方法，并能在有限步骤内构造出来。基于这种方法的研究在可计算性理论中构成了递归函数论，其主要成果是论证：能行可构造函数就是一般递归函数。 可计算性理论中有一基本论题称为Church-Turing论题，它断言图灵机可计算函数类就是直观可计算的函数类。因为直观可计算函数并不是精确的数学概念，所以Church-Turi-ng论题不能用数学方法加以证明。但是有许多令人信服的论据支持这个论题，人们后来提出许多不同的计算模型都被证明与图灵机等价，即各种模型所定义的可计算函数类都是图灵机可计算函数类。这表明图灵机及其他等价模型确实合理地定义了可计算性。因此，Church-Turing论题得到了计算机科学界和数学界的公认。 给定可计算函数的精确定义之后，既能证明一些具体函数是可计算的，也能证明某些函数是不可计算的。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条