查询词典 computation time

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会话的初始化和承担服务器端的解密的预运算。

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法对图像进行后处理提高了可视化效果。

That snake Alaric named Archbishop...

庇护。。。那个毒如蛇蝎的Alaric被命名为大教主。。。

You have done lots of magical things to be amazed at.

你做了很多神奇的事物感到惊讶。