1) 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.
隧道围岩和支护结构作为一个统一的整体,二者共同组成"围岩-支护"体系参与作用,并通过承压拱机理,对隧道系统锚杆的设计计算理论进行研究,从而确定其合理参数,降低建设成本。
2) computational theory
计算理论
1.
The development of the cable-stayed suspension hybrid bridges in the world is reviewed,and the research on structural systems,computational theory and the mechanical p.
概述了吊拉组合体系桥的国内外发展现状,综述了吊拉组合体系桥在结构体系、计算理论、力学性能包括静力、动力和抗风性能等方面的研究进展,并指出了以后研究的主攻方向。
2.
This paper briefly reviewed coefficient theory, computational theory and Octant model.
本文对早期颜色恒常理论、系数理论、计算理论和 Octant模型作了简要回顾 ,并结合已有的研究成果进行评述。
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.
汽车追尾碰撞是高速公路交通事故的主要形式，为了避免汽车追尾事故的发生，本文在通过对汽车追尾碰撞的主要特征、理论计算和责任认定研究的基础上，提出了高速公路汽车追尾事故的预防对策。
补充资料：计算理论
计算理论
theory of computation
1 ISuan lllun计算理论(theo灯of col旧putation)关于计算和计算机械的数学理论。 1936年，为了讨论对于每个问题是否都有求解的算法，数理逻辑学家提出了几种不同的计算模型的定义。K.G改」el和5.C.Kleene等人创立了递归函数论，将数论函数的算法可计算性刻画为递归可枚举性。A.M.Turing和E.L.l入粥t彼此独立地提出了理想计算机的概念，将问题的算法可解性刻画为在具有严格定义的理想计算机上的可解性。这一时期提出的通用图灵机在很大程度上影响了1946年出现的程序存储式计算机的设计思想。近代计算机的诞生使研究的焦点从理论可计算性转移到现实可计算性。因而，对一般算法设计方法的研究以及对一类问题的算法解的难度的分析与研究便成为计算机科学的热点。由此产生了算法学和计算复杂性理论等新兴的研究领域。自A.M厂1汕ring提出图灵机，E.L.Pe巧t提出波斯特机以后，直到1948年才由美籍匈牙利数学家J.VOnN~n提出建立自动机的一般数学理论，对各种人造自动机和天然自动机进行比较、分析，探索其共同规律。他还研究了自动机的自繁殖和自恢复问题。1954年前后形成了时序机的概念，1963年后概率自动机的理论有了新的发展。1960年后，细胞自动机在生物学和大规模集成电路技术的基础上有了重要的进展，成为自动机理论中的一个活跃领域。形式语言的研究始于20世纪初，把形式语言用于描述自然语言则是20世纪50年代中期的事。1956年，N.Cllonlsky发表了用形式语言方法研究自然语言的第一篇文章。在1960年发表的户J工X)L60报告中，首次使用与上下文无关文法等价的巴克斯范式系统来描述程序设计语言的局部语法，从而使形式语言理论在程序设计语言的设计与实现中发挥了重要的基础作用。 计算理论主要内容包括算法、算法学、计算复杂性理论、可计算性理论、自动机理论和形式语言理论等。 算法解题过程的精确描述。它由有限条可完全机械执行的、有确定结果的指令(或命令、语句)构成并具有以下性质:(l)将算法作用于特定的输人集或问题描述上将产生由有限个动作构成的动作序列;(2)该动作序列具有唯一的初始动作;(3)除末尾的动作外，序列中的每个动作都有一个或多个后继动作;(4)序列或者终止于问题的解，或者终止于指出对给定输人集原问题无解。最常用的算法有排序算法，求解组合问题和组合最优化问题的组合算法等，而动作具有随机性的概率算法可望比确定型算法更高效。随着并行处理机的出现，一类适应于并行操作的并行算法便应运而生，并且日益成为热门的研究领域。 算法学系统地研究算法的设计、分析与验证的学科。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条