查询词典 numerical computation

All of the computation and dynamic control problems of the biped robots, such as dynamic modelling, computation of ZMP, mass center and driving torques, as well as impact between the robot and ground, can be solved by using DYSISBL.

第二章从控制的角度讨论了两足机器人的综合设计问题。为使机器人能在非结构环境下实现动态行走，设计了两足机器人多级递阶控制系统。

Yesterday, group division issues Alibaba the software in subsidiary A is announcing a series of driving the concrete step that application of business affairs of electron of medium and small businesses develops at the same time, announce to will prepare to construct many " center of computation of cloud of electronic business affairs ", center of first cloud computation will be in Nanjing of settle of 9 the beginning of the year, head period investment amounts to on 100 million yuan of RMBs, will be in in the near future inside increase investment.

昨日，阿里巴巴集团旗下子公司阿里软件在公布一系列推动中小企业电子商务应用发展的具体措施同时，宣布将筹建多个"电子商务云计算中心"，首个云计算中心将在09年初落户南京，首期投资额达上亿元人民币，并将在未来几年内追加投资。

The first chapter the content examines including the orbital intensity calculated that reserves the axle seam the computation, in the curve reduces axle's arrangement, the axle festival general arrangement plan, the railroad ballast amount used computation, designs the road section and the station yard cubic meter of earth and stone quantity calculates as well as mixes, railroad cubic meter of earth and stone and orbital project construction organization and budget.

第一章内容包括轨道强度检算，预留轨缝的计算，曲线上缩短轨的布置，轨节布置图的绘制，铁路道碴用量的计算，设计路段和站场的土石方量计算以及调配，铁路土石方和轨道工程的施工组织及预算。

Computation formula for expecting probability is derived from simple mathematics Computation method for continuousset and discontinuous set of expecting probability, give reference and academics to personnels who are engaged in engineering hydrology design and research.

本文以简单的数学推导导出了期望概率的计算公式；给出了连续系列和不连续系列期望概率的计算方法；具有可操作性。对于从事工程水文设计和研究的人员具有一定的参考价值和学术价值。

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的第十问题。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。