代数多项式

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

This procedure using C language, completing a polynomial algebraic computation, addition and subtraction by.

详细说明：本程序用C语言编写，完成一元多项式的代数运算，加减乘。

Based on an introduction to the robust control of uncertain linear systems and a survey on the past and recent contributions to the related polynomial algebraic method, state space method and frequency domain method, this dissertation focuses on the robust control problem of uncertain linear systems in frequency and time domain.

本文首先就不确定线性系统的鲁棒控制问题作一扼要的介绍和概括，并分多项式代数方法、状态空间方法和频率域方法对其历史发展及其研究现状进行了比较全面的综述。

By complete discrimination system of polynomial algebraic equation and resultant theory, a symmetry class of quartic systems with stellar node is studied.

利用多项式代数方程的判别系统理论和结式理论，讨论了具有星形结点的一类对称四次系统的代数分类，并对系统进行全局分析。

This paper reviews the historical development of the algebraic solutions of polynomial equations, introduces the life and scientific achievements of Cardano together with the historical background of Ars Magna. Based on this, the paper makes an elaborate study on Ars Magna.

本文首先回顾了多项式方程代数解法的发展过程，介绍了卡尔达诺的生平、科学与数学成就以及《大术》的历史背景，然后在此基础上详细研究了《大术》各章的内容。

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

Secondly, by applying inverse Fourier integral transform to the displacement, and uniting the constitutive and geometrical equations, the analytical expression of stress in Laplace domain were derived. Thirdly, by defining dislocation density functions, the Cauchy singular integral equations were obtained according to the boundary condition and interface connection conditions, and the problem was reduced to algebraic equations by Chebyshev orthogonal polynomial. Based the these, the unknown coefficient of the algebraic equations can be solved by Schmidt method. Finally, the time response of dynamic stress intensity factor and energy release rate are obtained by inverse Laplace transform.

首先，利用积分变换方法，推导出粘弹性层的控制方程组；其次，引入位错密度函数，并结合边界条件和界面连接条件，导出反映裂纹尖端奇异性的Cauchy型奇异积分方程组，然后，应用Chebyshev正交多项式化奇异积分方程组为代数方程组，并采用Schmidt方法对其数值求解，最后，经过Laplace逆变换，求得动态应力强度因子和能量释放率的时间响应。

We researched the problem of Lagrange interpolation of polynomial space on the algebraic manifold.

研究高维空间中代数流形上多项式空间的Lagrange插值问题。

G^k continuous piecewise algebraic blending surface patches are obtained by solving the system via the generator basis algorithm of module over polynomial ring.

借助围绕一个顶点处的代数曲面光滑拼接条件，利用多项式环上的素模中的生成基方法，给出了凸组合和非凸组合情形下三个坐标平面间的的任意阶几何连续的光滑拼接方法。

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.

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

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％。