查询词典 higher arithmetic

Based on ZDFV work, the thesis focuses on the following key problems: how to construct an efficient synthesis engine; how to improve the structural similarity of the two designs; how to verify data path designs efficiently; how to use half adder graph to perform arithmetic unit verification; and how to use the hybrid SAT engine in the existing verification flow.

为了解决这个问题，本文作者结合自主研发等价性验证系统的工作，在高效综合引擎的研究与实现、单个模块的相似性研究、数据通路的验证方法、结合半加图的算术单元验证以及基于混合SAT引擎的RTL验证流程等五个方面开展了研究：1。

Unlike BDD, BMD adds weight on edges and thus reduces the node quantity of the diagram. A new circuit abstraction method, half adder graph was proposed to represent arithmetic circuits during the synthesis period.

结合半加图的算术单元验证：论文研究了基于BMD验证乘法电路的方法，该方法使用矩分解方式，在BMD的边和节点上赋予权重信息，减少了图的节点数。

Many people get puzzled over this little piece of arithmetic."Why don't I double my half-turn distance and stand eighteen feet from the target?"

有些人可能对这一算法感到迷惑，他们问："为什么我们不能直接将半周投掷距离乘2从而得出18英尺的距离呢？"

The caul was won, I recollect, by an old lady with a hand-basket, who, very reluctantly, produced from it the stipulated five shillings, all in halfpence, and twopence halfpenny short—as it took an immense time and a great waste of arithmetic, to endeavour without any effect to prove to her.

我还记得，胎膜让一位手里拎一个篮子的老太太给抽着了。她万个不情愿地从篮子里摸索出预先规定的五个先令，全都是半便士的零碎硬币，而且最后还差两个半便士——因为尽管是给她解释了老半天，一分分算给他听，都无济于事。

Then, I realized the game of four arithmetic operations and realized the interesting game of Hanoi Tower.

最后本文描述了游戏学习系统的下一步研究方向和游戏化学习的发展前景。

With the progress of the harmonic arithmetic, the instruments for harmonic analysis have become more and more.

在谐波分析算法进步的同时，用于谐波分析的仪器也越来越多。

This paper refers to the related national standard and the domestic and foreign similar products technical specification and the practical application requirement, base on the existing harmonic analyzer, develops a new analyzer which bases on FFT harmonic arithmetic in software and DSP chip in hardware.

本文参照有关国家标准和国内外同类产品的技术指标和现场实际应用的要求，在现有谐波分析仪的基础上，研制了一种软件上基于快速傅里叶变换谐波分析算法，硬件上基于DSP芯片技术的分析仪。

First, a new similarity measure, named as arithmetic harmonic mean divergence measure, is induced.

首先，提出了新的相似性测度，算术调和均值距离测度AHM，图像通过最大化AHM全局配准，然后将图像划分成均匀子块，采用AHM测度刚性配准各对应子块，选取对应子块的中心作为标记点对，最后，用三次均匀B样条实现图像的弹性配准。

When using relative number or average number to get averaging, you may use denominator or numerator of this relative number or average number as weight number to weigh the relative number or average number,and use frequency formula or weighted harmonic mean formula of weighted arithmetic mean formula to get its mean value.

在由相对数或平均数求平均数时，可以以这一相对数或平均数的分母或分子为权数，对这一相对数或平均数进行加权，利用加权算数平均数的频数公式或加权调和平均数公式求其平均值。

We need to realize some classical arithmetic in order to study the Hash function for image further.

为了更深入的研究面向认证的Hash算法的性能，需要实现一些经典的算法。

He paid $5,000 for this cupcake.

他我这个纸杯蛋糕花了5000美元。

I mean, if you want to, that is

我的意思是，如果你们想吃的话。