查询词典 arithmetic data

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。

From the RAPD analysis data, the band similarity rates and average band similarity rates between two individuals in the sampling population, average band allele frequencies, average band heterozygosis degree, and the Shannon genetic diversity index were calculated to perform the cluster analysis of heterozygosis arithmetic averages and construct the phylogenetic tree.

根据RAPD结果分别计算了两两个体间的带纹相似率、平均带纹相似率、带纹的平均等位基因频率和平均带纹杂合度及遗传多样性指数，作亲缘关系的类平均聚类并绘制了相关关系聚类图。

Function graphing and analyzing: 2D, 2.5D functiongraphs and animations, extrema, root, tangent, limit,derivative, integral, inverse; sequence of number: arithmetic progression, geometric progression; analytic geometry: vector, line, circle, ellipse,hyperbola and parabola; solid geometry: spatial line, prism, pyramid, cylinder, cone, dado and sphere; Ability to save graph as data file or bmp file; Ability to save animation as AVI file; Ability to move, zoom in, zoom out and rotate the scene.

函数图表和分析：2D， 2.5D 函数图表和动画，极值，根，正切，极限，导数；序列号：等差数列，等比级数；解析几何：向量，矢量，直线，圆，椭圆，双曲线和抛物线；立体几何：空间线，棱柱，三角锥，圆柱，圆锥体，梯形台和球体；保存图形为数据文件或者图像文件的功能；保存动画为 AVI 文件的功能；移动，缩小，放大和旋转场景的功能。

Thereinto ,it the connection of foreground application and background data-base is the nodus of the exploitation;it arithmetic of invigilator dispatchment is the point of the system exploitation.

其中，前台应用程序和后台数据库的连接是开发的难点，监考员分派的算法是系统开发的关键部分。

As to software, modularized C and assembler language programs are designd to realize data samplingprocessing(include FIR digital filter FFT and arithmetic of dielectric loss parameter),variable frequency power and display keyboard processing etc, which make the system have the functions of control,measuring,display,man-machine conversation and communication etc.

在软件上，设计了模块化的C语言及汇编语言程序，实现数据采集、数据处理(包括FIR数字滤波器、FFT算法和介损参数的计算)、变频电源以及LCD液晶显示、键值响应菜单等，使得整个系统具有控制、测量、显示、人机对话及通信等功能。

After the discussion of the static Markoff chain model,the dissertation establishs a normal set called Stat Model, which can be used to calculate a support probability of the experimental data sequence.The probability is a standard which is used to determine the existence of the abnormal behavior.Then an abnomal detection method based on the static Markoff chain model is discussed, and a detection arithmetic is brought forward, the results of experiment is given.

本文利用马尔可夫模型建立一个正常集，也就是统计模型，通过计算该模型对一个实际观测序列的支持概率来判断是否存在异常行为，并给出基于静态马尔可夫链的检测算法及其修正算法，最后给出实验结果。

The paper presents a method to realize the production planning system based on the Material Requirements Planning MRP arithmetic. It develops the system resolving and balancing the capacity on the platform of VC++. The data management is based on the VFP. With the help of rapid material resolving, the visual technology of capability balancing and the powerful database function, it realizes the seamless integration of the modules of MIS and CADCAPP.

提出了一种以物料需求计划MRP算法为基础的生产计划系统的实现方法，算法的求解与能力的平衡在VC++平台上完成系统基础数据的管理、操作界面的集成基于VFP平台物料快速分解、能力平衡可视化技术与VFP强大灵活的数据库功能相结合，实现了管理信息系统MIS各模块的信息集成以及MIS与计算机辅助设计与工艺CADCAPP的无缝集成

A new C++ class and its basic arithmetic were defined to deal with the miscount caused by the precision limitation of built-in data type in common statistical software under large number of varieties and traits.

通过定义任意长度整数C++运算律，解决了当品种数和性状数较多时，因常用软件内置数据类型有效位数不足所导致的计算误差问题。

And by the arithmetic, the data needed for drawing isoline map and nephogram is provided.

可视化显示剖面的分析结果数据一般采用等值线或彩色云图。

The calculation results show that the normalized polynomial-match for non-linear function and neural network can match experimental data more accurate than other arithmetic methods for compensating the offset thermal drift of pressure sensor.

结果表明，非线性函数多项式拟合规范化方法和神经网络法拟合出的数据精度很高，取得了其他方法无法达到的补偿效果。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。