查询词典 arithmetic

At this text I bring forward effective project strategy of non-maturity haleness watermark model arithmetic. Making use of time-frequency local characteristic of wavelet switch, I bring forward digital image watermark insetting project basing on block of wavelet switch, at the first ,make the image disporting to block of 8×8,then make use of the characteristic of Haar wavelet switch,then make the image the second layer wavelet switch and carry through power modulus transaction.

本文提出了非完备性鲁棒性数字水印典型算法中的行之有效的设计策略，利用小波变换良好的时频局部特性，提出了基于块的小波变换的数字图像水印嵌入方案，把宿主图像分为8×8的小块，利用 Haar小波变换的特性，对图像进行二层小波变换分解，对变换系数进行权重处理，然后把每一个水印象素隐藏在相应的图像块的中低频小波系数之中，提高了数字水印的隐蔽性和鲁棒性。

Experiments on multiplier tree and adder tree expressions exhibit running time reduction of 83% to 99%, and 40% to 80% respectively.4. Arithmetic unit check with half adder graph technique: Binary Moment Diagram technique has been used in multiplier equivalence checking.

比如针对加法和乘法连续运算的表达式，算法从实现电路中提取变量顺序和结合顺序并加以利用，实验表明，在验证乘法连续运算的表达式时减少了83%～99%的时间，加法连续运算表达式的验证时间也可减少40%～89%。4。

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样条实现图像的弹性配准。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。