查询词典 higher arithmetic

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.

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

Based on expansion of ODF in series of Generalized Spherical Harmonics by Bunge, we design programming in Orientation Distribution Function for polycrystal which contained five thousands crystals based on increment arithmetic of Voronoi. Geometrical data information, ODF of every crystal in polycrysal are imported to Open Graphics Library to draw, that means we implement visualization of ODF for every crystal in polycrystal.

主要针对具有立方结构的多晶体材料，采用Bunge级数展开法模型计算取向分布函数的理论模型，利用C语言在VC++环境下对ODF值进行了计算，并以Voronoi增量算法为基础生成包含有5000个晶粒的多晶体材料各晶粒的几何数据信息，与计算得到的ODF值一起导入OpenGL进行可视化处理，直观显示了多晶体材料中ODF值在各晶粒内的分布。

Apllied the data of QuickBird-2——the highest resolution remote sensing,and based on the theory and methodology of fractal geometry,we have quantitatively studied remote sensing lineations in Gaolong gold deposit of Guangxi.

采用Quick Brid-2高分辨率卫星遥感数据，通过分形几何学的盒计维数法，定量研究广西高龙金矿区遥感线性构造。

So, sometimes, to change the color can not be your food (referring to the above-mentioned crustacean) has been a sign of boiling over.

所以，有时，来改变颜色，不能你的食物一直是沸腾了的迹象。