演算

But it could perform 50 multiplications per second , a feat unmatchable by either a human or the latest adding machine

但它每秒能演算50次，这是个人和任何最新的算术计算机均无法比拟的。

Significant improvements to the TOPMODEL were made on the distributed computation of runoff yield in the mesh scale which is equivalent to that of DEM in one hand,and an isochrones hydrograph was calibrated from rainfallrunoff observations for watershed convergence simulations on the other hand.These improvements were made to enhance the simulation ability of the TOPMODEL,meanwhile to extend the model′s adoptability in rainfallrunoff simulations to middle and large scale watersheds.

考虑到流域地形、下垫面条件及流域气象条件的空间差异性，将TOPMODEL的产流计算细化到每个栅格，以改进模型的分布式计算，并在考虑地形坡度影响的情况下，根据降水-径流资料优选出的参数率定等流时线、利用率定的等流时线进行流域的汇流计算，以提升TOPMODEL在中、大尺度流域模拟演算的能力。

Aiming at OQL, we treated type as monoid (collection monoid and primitive monoid), and used monoid comprehension as OQL's intermediate representation. Therefore we can merge the rewrite rules for a number of collection types, then employ monoid comprehension in defining algebraic operators, as cut out the limit that in relational algebra/calculus algebraic operators are only for set.

针对ODMG-2.0的对象查询语言OQL，我们把类型提高到幺群级，然后从幺群概括入手，用幺群概括作为OQL的查询中间表示，统一了多种聚集类型的重写规则，幺群概括还被我们用于定义代数操作符，这使得代数操作符突破了关系代数/演算中只针对集合的局限。

Subjects were discussed and dispensed with through algebraic means, but calculus was not used.

主题进行了讨论，并免除通过代数方法，但不是用来演算。

The order and time delay of the dynamic model are assumed to be unknown a priori. A time-weighted digital filter is employed to group of linear algebraic equations. The moving horizon least-squares algorithm is then developed to estimate the model parameters in a recursive fashion.

该法应用一时间加权离散滤波器将特定时段内取样的输出入讯号转换成一实数，然后利用不同时段的量测讯号以移动区间递回最小平方演算法来估测模型参数。

The sum of algebraic rewriting system and second order λ-calculus can be used as an operational model of FOPL.

对一个类定义，通过限制方程的从左向右使用即可得到一个代数重写系统，代数重写系统和二阶λ演算的和即可作为FOPL的一个操作模型。

In this thesis, we propose a new algorithm to overcome the problem.

在本论文中，我们将提出一个新的演算法来解决这个问题。

Figure 15 after the installation of projection angle control agencies, supplemented by the net back propagation algorithms, mobile robot path, projected position and hit the target or diagram (circular icon that hit the target location, location triangle icon that did not hit the target)...

图15 加装投射角控制机构后，并辅以经网之倒传递演算法则，机器人移动径，投射位置与命中目标物与否示意图(圆形图示位置表示命中目标物，三角形图示位置表示未命中目标物)。。。。

The performance depends on the beam width and the standard deviation of the angular distribution of the multi-path components.

此演算法之效能与波束宽度及多途径讯号成份角度分布的标准差有著紧密关系。

It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.

Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义：确保了从需求分析阶段开始的软件开发周期的完全形式化；避免了人工的误操作或演算错误导致的求精前后不一致，保证了系统的一致性和完整性；由于求精过程避免了手工操作，因而Z规格说明自动精化为程序代码的编译环境可以建立，这将会加速Z规格说明在工业界的推广应用。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。