查询词典 binary arithmetic

In other words combination of two arithmetic operations may produce rounding error that significantly exceeds 2 epsilon.

换句话说，两个操作操作的组合可能会产生显著超过 2 倍精度的误差。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

The signal test table is established where the Labview signal collection system collects the concrete exit pressure signals, the piston displacement signals of concrete cylinder and the main hydraulic signals. The real measured signals are processed through arithmetic equilibrant filter of the data signal processing method. The pumping efficiency and relative error of real time output are measured by two output calculation methods.

搭建了实测信号试验台，通过Labview信号采集系统现场采集混凝土出口压力信号、混凝土缸活塞位移信号和主液油信号，采用算术平均滤波法的数字信号处理方法对实测信号进行处理，通过两种排量计算方案检测泵车实时排量的泵送效率和相对误差。

At last, this paper introduces the PCB design and program arithmetic of the system, and solves the problem of error code.

最后，给出了无线监测模块应用中的电路设计和软件实现方法，并对通信中的噪声进行处理。

The account results demonstrate that this arithmetic is better than the usual regress method, the relative error is limit, and the prediction is reasonable. Therefore, it provides an effective method to solve nun-linear forecasting problem as waterway freight.

结果表明，本算法的计算相对误差很小，预测结果合理可信，且优于常用的回归预测，为解决航道货运量等非线性系统预测提供了一条新的途径。

This paper measures the fault vibration signal of the sun-gear in planetary gear box. Bring forward a new arithmetic of time-field average which settle the problem of cycle truncation error affect the result of averaging in substance.

但这些信号又往往被伴随产生的噪声干扰，在噪声较强时，不但信号的时间历程显示不出规律性，而且在频谱图上这些周期分量很可能被淹没在噪声背景中。

In this paper the effects of scanning truncation error, scanning position error, random amplitude and phase error, and multiple-reflection error in near-field antenna measurement are analyzed; error equations and the uncertainty of measurement are obtained through computer simulation; compensated techniques for reducing the effects of measurement errors in near-field antenna measurement are presented and the formula and arithmetic of phaseless near-field techniques are derived.

本文从解析法和数值仿真两个角度深入分析口面天线近场测量中扫描面截断误差、扫描面位置误差、随机幅相误差、多次反射误差等误差源对天线远场特性测量精度的影响，一方面从理论上给出相应的误差方程，另一方面建立误差分析模型，通过计算机模拟，得到不同误差条件下测量结果的不确定度，并介绍了减小这些误差的修正方法，推导无相位近场测量的公式和算法。

Value.h completely hides the evaluator for arithmetic expressions and at the same time specifies what we have to implement.

识别器完成了。value.h完全隐藏了数学表达式的求值程式，同时也指定了我们必须要实现的函数。

Now,mostly research is to find a simple,timeless and exacted arithmetic for practical application.

目前，摄像机标定技术的主要研究任务在于根据实际应用的特点，寻找简便、快捷、准确的标定算法。

Compared with arithmetic means, it can obtain more exacter measuring result.

软件简介：文中给出了数据融合算法，并提出把数据融合方法应用于电器试验数据采集电压计算中，使计算结果能更完善、准确地反映电压的数值。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。