1) 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
称重板的受力分析与理论计算
2) 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.
论述了对汽轮机、发电机转子和定子的理论计算和改造方案。
3) 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.
汽车追尾碰撞是高速公路交通事故的主要形式，为了避免汽车追尾事故的发生，本文在通过对汽车追尾碰撞的主要特征、理论计算和责任认定研究的基础上，提出了高速公路汽车追尾事故的预防对策。
4) 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种重排途径的可能性与碎片离子的丰度差异。
5) theoretical computation
理论计算
1.
Synthesis,structure,thermal analysis and theoretical computation of ionic complex [Zn(phen)_2(H_2O)_2][NbOF_5];
离子型配合物[Zn(phen)_2(H_2O)_2][NbOF_5]的合成、结构、热分析和理论计算
2.
This paper presents an analysis through theoretical computation on the.
应用电磁场理论和电力架空线路设计的理论,针对三芯绝缘导线束进行电气参数理论计算和分析,结果表明:与常规裸导线相比,其电抗和电纳分别为0。
3.
This paper presents a comparatively thorough theoretical computation on the reactance and adimttance of four core square and triangular low voltage split insulated conductors at different sections and under different power supply modes, through the methods of computing electrical parameters of aerial lines and through electric and magnetic field theory.
应用电磁场理论以及电力系统架空线电气参数的计算方法，对四芯正方形排列和四芯三角形排列的低压绝缘分裂导线在不同截面和不同供电方式下的电抗、电纳进行了较详尽的理论计算。
6) calculation theory
计算理论
1.
Comparative study on the calculation theory for the flexural capacity of steel reinforced concrete beams;
型钢混凝土梁正截面受弯承载力计算理论的对比分析
2.
The author studies the shear lag calculation theory of the curved box girder.
探讨了曲线箱梁剪力滞计算理论,通过ANSYS建立实体模型,借助计算机仿真分析的方法,讨论纯弯曲荷载作用下薄壁曲线箱梁主要结构参数对剪力滞效应的影响,以供参考。
3.
Through bearing-load arch theory,and calculation theory study of tunnel system bolt,the certain parameters were ascertained to reduce the cost of construction.
隧道围岩和支护结构作为一个统一的整体,二者共同组成"围岩-支护"体系参与作用,并通过承压拱机理,对隧道系统锚杆的设计计算理论进行研究,从而确定其合理参数,降低建设成本。
补充资料：理论计算机科学
关于计算和计算机械的数学理论，也称为计算理论或计算机科学的数学基础。
学科的产生 在几千年的数学发展史中，人们研究了各种各样的计算，创立了许许多多的算法，但以计算或算法本身的性质为研究对象的数学理论却是到20世纪30年代才发展起来的。当时为了要解决数学基础的某些理论问题，即是否有的问题不是算法可解的，数理逻辑学家提出了几种不同的（后来证明是彼此等价的）算法定义，从而建立了算法理论（即可计算性理论）。30年代前期，K.哥德尔和S.C.克林尼等人创立了递归函数论，将数论函数的算法可计算性刻划为递归性。30年代中期，A.M.图灵和E.L.波斯特彼此独立地提出了理想计算机的概念，将问题的算法可解性刻划为在具有严格定义的理想计算机上的可解性。30年代发展起来的算法理论，对在40年代后期出现的存储程序型计算机的设计思想是有影响的。图灵提出的理想计算机（称为图灵机）中的一种通用机就是存储程序型的。
学科内容 理论计算机科学主要包括：①自动机论与形式语言理论;②程序理论(包括程序正确性证明、程序验证等);③形式语义学；④算法分析和计算复杂性理论。在这些领域中，自动机理论和形式语言理论是50年代发展起来的。前者的历史还可以上溯到30年代，因为图灵机就是一类自动机(无限自动机)。50年代以来一些学者开始考虑与现实的计算机更相似的理想计算机，J.诺伊曼在50年代初提出了有自繁殖功能的计算机的概念。王浩在50年代中期提出了一种图灵机的变种，这是一种比原来的图灵机更接近现实机器的机器。他还提出一种存储带上的内容不能清除的机器，并证明这种机器是与图灵机等价的。60年代前期，又有人提出具有随机存取存储器的计算机（简称RAM）以及多带图灵机等。
形式语言理论 导源于数理语言学中的乔姆斯基理论。在这种理论中,形式语言分为四种:①0型语言；②1型语言;③2型语言;④3型语言。相应地存在着0型、1型、2 型、3型四种形式文法。1型语言又名上下文有关语言，2型语言又名上下文无关语言，3型语言又名正则语言。其中2型语言最受人注意。60年代中期,还发现了这四类语言与四类自动机之间的对应关系（见表）
在上表中，左边所列的语言恰好是右边与之对应的自动机所能识别的语言（见形式语言理论）。
程序设计理论 包括程序正确性证明和程序验证，它的一些基本概念和方法是40年代后期诺伊曼和图灵等人提出的。诺伊曼等在一篇论文中提出借助于证明来验证程序正确性的方法。后来图灵又证明了一个子程序的正确性。他的方法是：设有一给定的程序，且有变量X1，X2，...，Xn以及输入谓词P(X1，...，Xn)与输出谓词Q(X1，...，Xn)。如果能证明下列事实：若在程序执行前谓词P（X1，...，Xn）成立，则在程序执行后,谓词Q(X1，...，Xn)成立，程序的正确性得证。
图灵的这一结果长期未引起注意，一直到P.瑙尔在1963年和E.F.费洛伊德在1966年重新提出这一方法后，才引起计算机科学界的重视。此后，有不少理论工作者在从事这方面的研究。但正如E.W.戴克斯特拉在70年代中期曾指出的，实际有效的方法是边设计边验证，在设计完毕时证明或验证的过程也同时结束。J.T.施瓦兹和M.戴维斯70年代后期提出了一种他们称之为"正确程序技术"的软件技术。这种方法是先选定成千种基本程序模块，并借助已知的各种验证方法（包括程序正确性证明）来保证这些基本程序的正确性。然后再提出一组能保持正确性的程序组合规则。这样，就可以通过不断的组合，生成各种各样的程序。
有人指出，程序正确性证明技术所发展出来的"循环不变式"，即一个程序中的某一循环的入口或出口点上所附的谓词，有些文献中称作"归纳断言"，可以用来供程序研究用。也就是说，不像过去那样，对一个给定的程序找出其若干个循环不变式，然后借助这些不变式来证明这个程序的正确性；而是在编制这个程序之前，根据对这一程序的要求，找出若干个循环不变式，然后根据这些不变式来生成这个程序。
自动程序设计的概念也是从40年代提出的。图灵在1947年的一篇论文中，提出借助定理证明的方法来设计程序。他的想法大致如下:设要求设计一个程序,使成为计算一个给定的递归函数F(X)的程序，并令F(n)=m（这里n是任一自然数，m是自然数），需要找到一个证明F(n)=m的构造性证明。在有了这样一个构造性证明以后，就可以从这个证明中提取出F(X)的求值算法，然后生成所需要的程序。图灵的这一思想长时间不为人所知。1969年又有人独立地提出了这一想法。
程序语言的形式语法的研究，从50年代中期起有了较大的发展。而形式语义的研究自60年代以来虽有不少研究工作者从事这方面的工作，提出几种不同的语义理论，主要是操作语义学、指称语义学或称数学语义学、公理语义学和代数语义学，但仍没有一种公认在软件技术中够用的形式语义学，因而需要提出一种更适于用到实际计算中的新的语义学。
在程序正确性证明和形式语义学中应用的程序逻辑，是60年代末发展起来的。这是谓词逻辑的一种扩充。原来的谓词逻辑中是没有时间概念的，所考虑的推理关系是在同一时间里的关系。程序是一种过程，一个程序的输入谓词与输出谓词之间的逻辑关系就不是同一时间里的关系。因此，在有关程序性质的推理中，原来的谓词逻辑不够用，需要有一种新的逻辑。
60年代末，E.恩格勒等人创立了算法逻辑。C.A.R.霍尔也创立了一种程序逻辑。这种逻辑是在原来的逻辑上增加一个程序算子而得到的。例如，可以将程序作为一种新的算子置于一个谓词公式的前面，如表达式
｛S｝P(X1，...，Xn)表示在程序S执行完毕时,谓词P(X1，...，Xn)成立（这里的）X1，...，Xn是程序S 中的变量）。
算法分析和计算复杂性理论 关于算法的复杂性的研究。关于这一领域的名称曾有争论。一般认为，各类具体算法的复杂性的研究称作算法分析，而一般算法复杂性的研究称作计算复杂性理论。计算复杂性理论原是可计算理论的一支，是以各种可计算函数(即递归函数)的计算复杂性（在早期称作"计算难度"）为其研究对象的。可计算性分为理论可计算性和实际可计算性两种。作为可计算性理论一支的计算复杂性理论，是以前者的复杂程度为其研究对象的；而作为计算机科学一个领域的复杂性理论，则是以后者的复杂程度为其研究对象的。
这一分支的基本问题是要弄清楚实际可计算函数类的结构和一些性质。实际可计算性是一个直观的概念。如何对这一概念进行精确的描述，是一个并不容易的问题。60年代中期以来，有关的研究工作者一般是以计算时间多项式有界的函数作为实际可计算的函数。这实际上是一个论题，而不是一个可以在数学中加以证明或否证的命题。有人指出，在有关的多项式次数较高时（如n的情形），很难说是实际可计算的。
另一个带根本性的问题是：确定性机器与非确定性机器的解题能力的比较问题。人们早已知道，确定性图灵机与非确定性图灵机的解题能力是相等的。因为非确定性机器虽比确定性机器效率高，而如果计算时间没有限制，则确定性机器总可以用穷举的方法来模拟非确定性机器。因此，二者的解题能力是一样的。但在计算时间多项式有界时，二者的解题能力是否相等，这就是有名的P=? NP问题。
关于计算和算法（包括程序）的研究，对串行计算的性质研究较多，而对并行计算性质的研究则还很不够（特别是对异步的并行计算更是如此）。因此，关于并行计算的研究很可能将成为计算机理论的研究重点。
学科的产生 在几千年的数学发展史中，人们研究了各种各样的计算，创立了许许多多的算法，但以计算或算法本身的性质为研究对象的数学理论却是到20世纪30年代才发展起来的。当时为了要解决数学基础的某些理论问题，即是否有的问题不是算法可解的，数理逻辑学家提出了几种不同的（后来证明是彼此等价的）算法定义，从而建立了算法理论（即可计算性理论）。30年代前期，K.哥德尔和S.C.克林尼等人创立了递归函数论，将数论函数的算法可计算性刻划为递归性。30年代中期，A.M.图灵和E.L.波斯特彼此独立地提出了理想计算机的概念，将问题的算法可解性刻划为在具有严格定义的理想计算机上的可解性。30年代发展起来的算法理论，对在40年代后期出现的存储程序型计算机的设计思想是有影响的。图灵提出的理想计算机（称为图灵机）中的一种通用机就是存储程序型的。
学科内容 理论计算机科学主要包括：①自动机论与形式语言理论;②程序理论(包括程序正确性证明、程序验证等);③形式语义学；④算法分析和计算复杂性理论。在这些领域中，自动机理论和形式语言理论是50年代发展起来的。前者的历史还可以上溯到30年代，因为图灵机就是一类自动机(无限自动机)。50年代以来一些学者开始考虑与现实的计算机更相似的理想计算机，J.诺伊曼在50年代初提出了有自繁殖功能的计算机的概念。王浩在50年代中期提出了一种图灵机的变种，这是一种比原来的图灵机更接近现实机器的机器。他还提出一种存储带上的内容不能清除的机器，并证明这种机器是与图灵机等价的。60年代前期，又有人提出具有随机存取存储器的计算机（简称RAM）以及多带图灵机等。
形式语言理论 导源于数理语言学中的乔姆斯基理论。在这种理论中,形式语言分为四种:①0型语言；②1型语言;③2型语言;④3型语言。相应地存在着0型、1型、2 型、3型四种形式文法。1型语言又名上下文有关语言，2型语言又名上下文无关语言，3型语言又名正则语言。其中2型语言最受人注意。60年代中期,还发现了这四类语言与四类自动机之间的对应关系（见表）
在上表中，左边所列的语言恰好是右边与之对应的自动机所能识别的语言（见形式语言理论）。
程序设计理论 包括程序正确性证明和程序验证，它的一些基本概念和方法是40年代后期诺伊曼和图灵等人提出的。诺伊曼等在一篇论文中提出借助于证明来验证程序正确性的方法。后来图灵又证明了一个子程序的正确性。他的方法是：设有一给定的程序，且有变量X1，X2，...，Xn以及输入谓词P(X1，...，Xn)与输出谓词Q(X1，...，Xn)。如果能证明下列事实：若在程序执行前谓词P（X1，...，Xn）成立，则在程序执行后,谓词Q(X1，...，Xn)成立，程序的正确性得证。
图灵的这一结果长期未引起注意，一直到P.瑙尔在1963年和E.F.费洛伊德在1966年重新提出这一方法后，才引起计算机科学界的重视。此后，有不少理论工作者在从事这方面的研究。但正如E.W.戴克斯特拉在70年代中期曾指出的，实际有效的方法是边设计边验证，在设计完毕时证明或验证的过程也同时结束。J.T.施瓦兹和M.戴维斯70年代后期提出了一种他们称之为"正确程序技术"的软件技术。这种方法是先选定成千种基本程序模块，并借助已知的各种验证方法（包括程序正确性证明）来保证这些基本程序的正确性。然后再提出一组能保持正确性的程序组合规则。这样，就可以通过不断的组合，生成各种各样的程序。
有人指出，程序正确性证明技术所发展出来的"循环不变式"，即一个程序中的某一循环的入口或出口点上所附的谓词，有些文献中称作"归纳断言"，可以用来供程序研究用。也就是说，不像过去那样，对一个给定的程序找出其若干个循环不变式，然后借助这些不变式来证明这个程序的正确性；而是在编制这个程序之前，根据对这一程序的要求，找出若干个循环不变式，然后根据这些不变式来生成这个程序。
自动程序设计的概念也是从40年代提出的。图灵在1947年的一篇论文中，提出借助定理证明的方法来设计程序。他的想法大致如下:设要求设计一个程序,使成为计算一个给定的递归函数F(X)的程序，并令F(n)=m（这里n是任一自然数，m是自然数），需要找到一个证明F(n)=m的构造性证明。在有了这样一个构造性证明以后，就可以从这个证明中提取出F(X)的求值算法，然后生成所需要的程序。图灵的这一思想长时间不为人所知。1969年又有人独立地提出了这一想法。
程序语言的形式语法的研究，从50年代中期起有了较大的发展。而形式语义的研究自60年代以来虽有不少研究工作者从事这方面的工作，提出几种不同的语义理论，主要是操作语义学、指称语义学或称数学语义学、公理语义学和代数语义学，但仍没有一种公认在软件技术中够用的形式语义学，因而需要提出一种更适于用到实际计算中的新的语义学。
在程序正确性证明和形式语义学中应用的程序逻辑，是60年代末发展起来的。这是谓词逻辑的一种扩充。原来的谓词逻辑中是没有时间概念的，所考虑的推理关系是在同一时间里的关系。程序是一种过程，一个程序的输入谓词与输出谓词之间的逻辑关系就不是同一时间里的关系。因此，在有关程序性质的推理中，原来的谓词逻辑不够用，需要有一种新的逻辑。
60年代末，E.恩格勒等人创立了算法逻辑。C.A.R.霍尔也创立了一种程序逻辑。这种逻辑是在原来的逻辑上增加一个程序算子而得到的。例如，可以将程序作为一种新的算子置于一个谓词公式的前面，如表达式
｛S｝P(X1，...，Xn)表示在程序S执行完毕时,谓词P(X1，...，Xn)成立（这里的）X1，...，Xn是程序S 中的变量）。
算法分析和计算复杂性理论 关于算法的复杂性的研究。关于这一领域的名称曾有争论。一般认为，各类具体算法的复杂性的研究称作算法分析，而一般算法复杂性的研究称作计算复杂性理论。计算复杂性理论原是可计算理论的一支，是以各种可计算函数(即递归函数)的计算复杂性（在早期称作"计算难度"）为其研究对象的。可计算性分为理论可计算性和实际可计算性两种。作为可计算性理论一支的计算复杂性理论，是以前者的复杂程度为其研究对象的；而作为计算机科学一个领域的复杂性理论，则是以后者的复杂程度为其研究对象的。
这一分支的基本问题是要弄清楚实际可计算函数类的结构和一些性质。实际可计算性是一个直观的概念。如何对这一概念进行精确的描述，是一个并不容易的问题。60年代中期以来，有关的研究工作者一般是以计算时间多项式有界的函数作为实际可计算的函数。这实际上是一个论题，而不是一个可以在数学中加以证明或否证的命题。有人指出，在有关的多项式次数较高时（如n的情形），很难说是实际可计算的。
另一个带根本性的问题是：确定性机器与非确定性机器的解题能力的比较问题。人们早已知道，确定性图灵机与非确定性图灵机的解题能力是相等的。因为非确定性机器虽比确定性机器效率高，而如果计算时间没有限制，则确定性机器总可以用穷举的方法来模拟非确定性机器。因此，二者的解题能力是一样的。但在计算时间多项式有界时，二者的解题能力是否相等，这就是有名的P=? NP问题。
关于计算和算法（包括程序）的研究，对串行计算的性质研究较多，而对并行计算性质的研究则还很不够（特别是对异步的并行计算更是如此）。因此，关于并行计算的研究很可能将成为计算机理论的研究重点。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条