查询词典 computation

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.

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

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

Summary In copyright infringement cases,if the alleged infringer uses or even plagiarizes the copyrighted works or parts thereof,which causes no substantially adverse effect on the normal exploitation of the work,nor does it inflict any substantial damages to the right owner,the de minis doctrine should be applied to exempt the liabilities of the defendant and seek the balance of interests between the right owner and the general public embodied by the copyright law.

在侵犯著作权案件中，如果被控侵权行为人虽未经著作权人的同意，使用甚至抄袭了受著作权保护的作品或作品的片段，但若情节轻微，未对该作品的正常使用产生任何实质不利的影响，亦未对权利人的权利造成实质性的损害，则应适用&不计琐细原则&，免除行为人的责任，以寻求在权利人利益与著作权法所体现的社会公共利益之间的平衡。

This new product will become our best seller.

这个新产品会成为我们最畅销的产品。