查询词典 iterative computation

Partial evaluation plays a very important role in software optimization,while incremental computation is a technique for avoiding duplicative computation.

LISP语言的增量式部分求值器李航，宋立彤，金成植（吉林大学计算机科学系长春130023）摘要部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术。

This course, which discusses elementary of computational number theory, includes the following subjects:(1) Fundamental properties of Integers;(2) Congruences;(3) Congruent equations;(4) Legendre and Jacobi symbols;(5) Primitive roots;(6) Primality testing and factorization;(7) Index computation and discrete logarithm computation;(8) Other computational problems.

本课程将讨论计算数论的基本知识，主要包括以下内容：(1)整数基本性质；(2)同余；(3)同余式；(4) Legendre和Jacobi符号；(5)原根；(6)素性测试和大数分解；(7)指数计算和离散对数计算；(8)其他计算问题。

The contribution of this dissertation includes:(1) A new computation and data access model of active storage device is presented, whose interface combines the storage object and application object employing embedded computation power.

本文的贡献主要包括以下几个方面：（1）提出了一种主动存储体系结构的计算和存储访问模型，同时研究和分析了该模型相对于传统存储系统的性能优势，并探讨了适用于该计算模型的应用实例。

Key for superstructure endogenic force computation and reinforcing bars computation, section checking calculation

重点为上部结构的内力计算与配筋计算，截面验算。

In the third part, the theory of thrust angle and unbalanced forces is studied andapplied to Xiluodu arch dam. some conclusions are obtained :(1) The thrust angle issmaller by elaso-plastic computation than elastic computation. For the non-linearcomputation, the thrust angles at different elevations all increase during overloading,which reveals the internal mechanism of good performance of arch dam in conditionof overloading;(2) The elaso-plastic theory always minimizes the actual unbalancedforces in the sense of a condition number in the norm ofcomplementary energy.

第三部分，通过对溪洛渡拱坝拱端推力角及不平衡力的研究，得出如下结论：(1)非线性计算较弹性计算的推力角大；对于非线性计算而言，拱坝超载过程中各高程段的推力角均有所增加，这反映了拱坝具有较高超载能力的内在机制；(2)在总余能范数的意义上，按弹塑性本构关系确定的不平衡力或加固力是最小的，弹塑性计算确定的加固力和真解相比偏于安全。

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.

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

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 teacher likes the honeymouthed little girl very much.

老师很喜欢这个嘴甜的小姑娘。

Mr. Notker Bien's interests are traveling, spending quality time with the family and long-distance-running.

诺特卡·柏恩先生热爱旅游，长跑，以及和家人一起共度美好时光。