查询词典 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的加/解密流程。

The following table lists the errors of the polynomial, the full moon cycle correction, and the full moon cycle and solar correction , as compared to true syzygy , for a period of 372 years = 4601 synodic = 4931 anomalistic months

下面表中列出了多项式的误差，满月周期的修正、满月周期和太阳的修正，与真实的朔望月，相当于372 年= 4601 朔望月= 4931 近点月的比较

Convergence of semi-iterative method was discussed by Varga, Young and HU Jia-gan when iterative matrix is symmetric. In this paper, using Chebyshev polynomial and its properties, we obtain the convergence of semi-iterative method for a class of antisymmetric iterative matrix.

本文依据Varga， Young，胡家赣书中介绍的迭代矩阵为对称阵时，半迭代法的收敛性的理论，以Chebyshev多项式及其基本性质作为基本工具，对一类反对称迭代矩阵，研究其半迭代法的收敛情况。

Combining the definition of CWT and the derivative property of convolution, we constructed a general method to calculate the approximate derivative of signal through CWT by using the first and second derivative of Gaussian function, Haar, and the first derivative of three-order-Spline function as wavelets. As compared with the other approaches of calculating derivative, which include the numerical differentiation, polynomial filters, Fourier transform, and the recently proposed DWT method, fast calculation and simple mathematical operation were remarkable advantages of CWT method. For the signal corrupted by severe noise (Signal-toNoise Ratio=5), the satisfactory results could also obtained via CWT method through appropriately adiusting the dilations.

在此基础上，(1)结合连续小波变换的特点和卷积的微分性质，提出了使用Gaussian函数的一阶和二阶导数，Haar和三次样条函数的一阶导数作为小波函数的连续小波变换计算信号近似导数的一般性方法，与其他导数计算方法(包括数字微分法，多项式滤波法，Fourier变换法和离散小波变换法)相比，本法简单便捷，计算速度快，对于噪声含量较高的信号(S/N为5)，只要适当调节尺度即可获得比较满意的结果。

This paper proposes a polynomial approximate method using the property of light scattering.

光线散射效果的绘制对于增强计算机生成图形的真实感具有十分重要的作用。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。