查询词典 hermite interpolation polynomial

Then, to decide whether a propositional formula can be deduced from a finite set of such formulas,we only need to decide whether the polynomial vanishes on an algebraic variety which is related to this formula set.

从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数簇上消失。

A polynomial system PS over the rational number field is constructed from the formula...,in a given many-valued logic system such that follows from ...,iff the algebraic variety defined by PS is empty, iff the idealenerated by PS is trivial.

由给定的多值逻辑系统中的一组公式，。。。，，出发，构造出了一组有理数域上的多项式PS，使得是，。。。，的逻辑结论，当且仅当PS定义的代数簇为空集，当且仅当PS生成的理想是平凡理想。

Applying the techniques of real radical ideal, P-radical ideal , decomposition of semi-algebraic set in ( [72] ), affine Hilbert polynomial and B-net form of polynomials on simplex, this paper obtains two theorems of real C〓 piecewise algebraic variety dimensions and the real Nullstellensatz in C〓 spline ring.

4：应用多项式在单纯形上的B-网形式以及文献（[72]）中的实根理想，锥根理想，半代数簇分解定理，本文得出了实C〓分片代数簇的二个维数定理和C〓样条空间的实零点定理。

A polynomial is a sum of two or more algebraic terms.

多项式是两个或者更多代数项的和。

What s more, we wonder whether there are some qualities about algebroid function corresponding to meromorphic func-tion,specially, concerning deficiency, characteristic function,differential polynomial and so on.

而且一些亚纯函数中存在的性质在代数体函数中是否相应存在仍有待研究，特别是涉及亏量、特征函数及微分多项式等方面。

The ECC theory was studied in this paper. Polynomial was used to complete the hardware design of all kinds of algorithm including multiplication, division, point addition, point doubling和 point multiplication in GF (2m).

本文研究了椭圆曲线密码学理论，采用多项式基实现了椭圆曲线在有限域GF(2m)中各种运算的硬件设计，这些运算包括乘法、除法、点加、倍点和点乘，并用软硬件结合的方式实现了ECC的加/解密流程。

This thesis proposes to use optimal method to search for the interpolation that matches with the allowable maximum range of chord error to build a curve of near field photolithographic fabrication.

同时本文提出最佳化搜寻合乎允许最大弦误差范围内之插值点方法，以建立近场光学微影加工之曲线。

The computation of two-dimensional advection transport using current methods such as Alternating Direction Implicit Method and linear interpolation technique can be subject to numerical attenuation,parasite oscillation and poor reproduction of wave propagation when large time steps are used.

在概化的平面区域内，采用上述方法模拟了二维初始浓度高斯分布和水流激波在旋转速度场及均匀速度场上的对流输移问题，结果表明方法在优化幅值衰减和数值扰动以及计算效率方面具有相当的发展潜力和应用前景

Cooperating with the demand of the exercise bike, an integrated ampere-hour method is developed to estimate the residual capacity of the battery where the initial capacity estimation is based on the electromotive force method and interpolation method. The accuracy of the estimation has been verified in experimental tests.

在残电侦测方面，配合电动健身需求，发展出一套整合型安培小时法对电池残电量进行估测，即利用加载电压法与内插法估算出电池初始容量，并经由安培小时法提供续的电池容量估测，实验证明此方法可准确预估电池残电量。

Then the interpolation method and analogue method can be used for calculating descaling temperature.

并在此基础上，提出适用于中厚板轧制的板形锁定法，理论推导和现场应用均已证明，这种方法能够在对厚度控制微小影响的前提下，避免轧制宽薄材时板形容易出现边浪的缺陷。

More direct, directer ; most direct, directest

径直的，笔直的

Do you know how to use a chain saw?

你知道如何使用链锯吗？