查询词典 computation errors

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

Then the basic fundamental and method of the computation of thermal load of the heated parts of internal-combustion engine are elaborated, the deflective differential equation of heat conduction, basic equation and boundary condition of the theory of thermo elasticity and numerical computation by FEA are introduced.

接着阐述了求解内燃机受热零部件热负荷的基本原理和方法，介绍了热传导的偏微分方程、热弹性理论的基本方程和边界条件确定的原则以及用有限元法进行的数值求解。

A region superresolution spectrum estimation method based on coventional DFT computation is presented for obtaining one dimensional range profile, which has the advantages of real-time in computation and robustness under clutter and noise background over general superresolution methods. A iterative extropolation method based on both priori knowledge provided by conventional DFT spectrum and matching filtering process of target return data is also presented for range profile processing, which has the advantages of robustness in improving range resolution, suppressing clutter and noise.

在目标一维距离成像谱估计中，提出了以常规DFT为基础的邻域超分辨谱估计方法，它与普通超分辨算法相比，具有实时性强、在杂波与噪声背景中稳健性好的优点；在外推成像处理中，提出了以常规DFT目标结构图像为约束条件并结合目标信号准匹配滤波处理的迭代外推算法，其优点是稳健性好，能适度地提高距离分辨力但保留适度的抗杂波抗噪声能力。

Since the step that is most computationally expensive and causes computational imbalance between clients and server in the SSL handshake protocol is the decryption computation of the server,we show that a client balanced secret exchange algorithm can be used to speedup SSL session initialization and undertake the previous computation tasks of server's decryption.

由于在SSL握手协议中最耗费计算资源和造成客户端与服务器端计算不平衡的步骤是服务器端解密运算，提出了客户端平衡的密钥交换算法，用来加速SSL会话的初始化和承担服务器端的解密的预运算。

It provides a way to find optimal lower dimensional approximations of the given data, and It enormously reduce the storage of the data which is needed when the physical processes is recurred. The physical process can be described in series expansion function that only is related to the time and space. It is optimal approximation of the given data in a certain least squares optimal sense. The most obvious advantage of the method is that it reduces the computation cost and computation time markedly.

它提供了一种描绘物理过程的有效方法，该物理过程可以写成一个只与时间相关的函数和一个只与空间相关的函数的展开式序列，且它们在均方意义上是最优的，在展开式中只需要少量的项数就可较准确地描述该物理过程，因此降低计算维数、减少计算量和节省计算时间是这个方法最明显的优点。

The signing algorithm needs one exponentiation computation,the verification algorithm only needs two pairings computation.

方案的签名算法只需要一个指数运算，验证算法仅需要两个对运算。

The method of calculation of fiber model numerical value that established steel tube to restrain a ferroconcrete to control curved component part, use in computation follow the addition of load and increase steel tube to be opposite ceaselessly the restrains effect method of core concrete, numeric computation result and test result be identical are good.

建立了钢管约束钢筋混凝土压弯构件的纤维模型数值计算方法，计算中采用随荷载的增加而不断增大钢管对核心混凝土的约束效应的方法，数值计算结果和试验结果吻合良好。

The computation results show that compared with the traditional FLIC, the computation efficiency of the improved algorithm increases by approximately 10%, and it can generate sparse texture and dense texture simultaneously. Also the property of result image was improved using double LIC algorithm.

计算结果表明，与一般的快速线积分卷积法相比，改进后的算法计算效率提高了约10%，同时可以产生稀疏纹理和密纹理，并且采用二次LIC法对图像进行后处理提高了可视化效果。

A further analysis of the structural systems having combination of RC shear-wall with block wall is worked out, calculation of seismic action is performed, a formula for computation of principle of work in coordination between RC shear-wall with block wall is put forward, and the program for computation source is given.

对钢筋混凝土剪力墙—砌块墙组合结构体系又进行了进一步分析，进行了地震作用计算，提出了钢筋混凝土抗震墙与砌块墙协同工作的计算公式，给出了计算源程序。

The article gave out to coefficient of mechanical computation of the system and its force enlarge corresponding computation is formulary.

文章对系统的力学计算及其力放大系数给出了相应的计算公式。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。