数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
您可能注意到，我们已经讨论了较基础，较理论的计算机科学的课程。
You might notice that I've been discussing the more fundamental, theoretical computer science courses.
它有很多实际应用，因为它所强调的是计算机维护和分析的理论基础。
It has few practical applications, because it concentrates on the theoretical underpinnings of computer maintenance and analysis.
无论是以前成百上千的计算的基础是错误的，亦或是量子电动力学理论本身的问题。
Either the previously accepted measures upon which hundreds of calculations have been based are wrong, or there is a problem with the theory of quantum electrodynamics itself.
在对汽车制动过程理论分析的基础上，建立了实用安全跟车距离计算模型。
Based on the theoretical analysis on brake process of automobiles, the calculation model of practical safe following distance is set up.
并在求解温度场的基础上按热弹塑性理论计算了应力场及最终的残余应力。
Both thermal stresses and residual stresses are calculated according to thermal elastoplastic theory based on the calculation of temperatures.
全数字全息术以光学原理为其理论基础，与计算机强大的处理能力相结合，应用于信息安全领域。
The all-digital holography is based on the optical theory, combined with the strong manipulated ability of the computer, which is applied to the information security fields.
在此模型的基础上进行了理论分析和数学计算。
On the basis of the model theoretical analysis and mathematical calculation are carried out.
分析了计算机视觉研究中的某些问题，如计算机视觉的理论基础、它和人类视觉的差异及与其相关的领域。
Some problems in the research of computer vision, such as theoretical basis, relevant fields and difference from the humans vision, are analyzed.
它是现代数学的一个重要分支，是计算机专业基础理论的核心课程之一。
It is important subject of modern mathematics, one of core courses in computer science and technology.
本文在磁性流体密封理论的基础上计算了磁性流体密封的耐压能力，并进行了实验研究。
In this paper, computation and experimental study of the seal capacity for magnetic fluid seal were carried, on the basis of the theory of the magnetic fluid seals.
在计算结果的基础上，结合其他同类型桥梁的理论计算和试验结果，分析了该类型桥梁的动力特性。
The dynamical characteristic of this kind of bridge is analyzed basing on the calculation results and referring to the results of theoretics calculation and testing of other similar bridges.
智能计算机辅助教学(ICAI)系统是以人工智能科学、认知科学和思维科学为理论基础的一种计算机辅助教学的应用模式。
Intelligent Computer Assisted Instruction (ICAI) is one of the application modes in CAI. It is based on the artificial intelligence science, cognitive science and thought science.
本文以结构动力可靠性理论为基础，探讨了建筑结构地震保险费率的计算方法，供地震保险工作参考。
Based on dynamic reliability theory of structure, a calculation formula of earthquake insurance fee of buildings is derived in the paper, which can be for a reference of earthquake insurance.
由于在焊缝部位存在焊接缺陷，采用传统的建立在构件无缺陷、无裂纹基础上的强度理论进行设计计算时，往往不能确保起重机在额定载荷下使用的安全性。
Since there are weld defects in welds, using traditional strength theory based on no defect and no crack to design, crane's security in rating load can't be insured.
本论文在传统PID控制的基础上，结合控制理论、人工智能理论和计算机科学，对全数字一体化角位移系统的控制策略进行了较为深入的研究。
Base on the traditional PID control theory, integrate control theory, computer science and artificial intelligent, deeply research on the control tactic of the global number Angle position system.
目的CDT(范畴数据类型)是以范畴理论为基础的并行计算模型，本文对存储器类型的CDT构造进行深入的探讨。
Aim CDT (categorical data type) is a parallel model basing on category theory, and this paper discusses the CDT construction of the memory type in details.
本文介绍了我国首台高速动力车基础制动装置的设计及制动距离的理论计算。
This article has presented brake rigging device's design and theory calculation of brake distance of the first high speed power car in our country.
在研究其准直原理及理论计算基础上，讨论了材料和结构参数对准直特性的影响。
The optical principle and the effects of material and structural parameters on collimating properties are studied theoretically.
此数据将收入中国评价中子核数据库，并作为理论计算的基础。
The evaluated data will be taken into Chinese Evaluation Nuclear Data Library (CENDL) and served as the basis of theoretical calculations.
本文分析了成型铣刀刀刃曲线的几何性质，推导出它的数学方程，求取铣刀上圆盘刀片中心坐标，为成型铣刀的计算机辅助设计奠定了理论基础。
This paper analyses the geometrical character of curve of edge of form milling cutter, and infers the mathematical equations of curve, The center coordinates of conical button-shaped are evaluated.
计算得到的红外光谱将对以后的实验研究工作提供理论基础。
The IR spectra are calculated, and will be useful in future experiments.
在计算数学关于函数结构理论的基础上，本文讨论了软件进程计算结构图形表示算法。
On the basis of computational mathematics on function structure theory, this article discusses the algorithm of software process computing structure graphical representation.
所提方法和公式均通过理论、数值验证，是现浇空心板结构计算的理论基础。
The proposed methods and formulas are carefully verified by both theoretical and numerical means, and they may serve as a foundation for structural analysis of cast-in-situ hollow slabs.
模块理论是通过对人的认识特性的考察，在将人脑与计算机进行类比的基础上所提出的关于认知构架，心理结构的理论。
Through reviewing on the nature of human cognition, module theory is about human cognitive and psychological structure with the basis of the analogy between human brain and computer.
数据结构是计算机科学的算法理论基础和软件设计的技术基础，在计算机领域中有着举足轻重的作用。
The data structure is the foundation of computer algorithm theory and software design technology, and plays an important role in the computer field.
本文介绍了按行业货运需求预测方法的理论基础与计算。
This paper introduces theoretical basis and calculation of methods of transportation demand forecast for productive industries.
在理论计算的基础上，给出了话音编码速率和分组开销为不同数值时的最佳话音分组长度。
On the basis of theoretical calculation the optimum voice length is obtained for different voice signal coding rates and packet overheads.
并在试验和理论计算的基础上，对下甲板结构的设计进行了讨论。
Based on the experiment and the theoretical calculation the design of the lower deck structure is also discussed.
数值风洞模拟要想获得理想的计算精度，依赖计算人员的理论基础及其在具体操作中对各种重要因素的选择。
The theoretical foundation of the user and the selection of some factors determine the calculation accuracy in the simulation of the architectural numerical wind tunnel.
应用推荐