查询词典 interpolation formula

First, we introduce and discuss the various methods of multivariate polynomial interpolation in the literature. Based on this study, we state multivariate Lagrange interpolation over again from algebraic geometry viewpoint:Given different interpolation nodes A1,A2 .....,An in the affine n-dimensional space Kn, and accordingly function values fi(i = 1,..., m), the question is how to find a polynomial p K[x1, x2,...,xn] satisfying the interpolation conditions:where X=(x1,X2,....,xn). Similarly with univariate problem, we have provedTheorem If the monomial ordering is given, a minimal ordering polynomial satisfying conditions (1) is uniquely exsisted.Such a polynomial can be computed by the Lagrange-Hermite interpolation algorithm introduced in chapter 2. Another statement for Lagrange interpolation problem is:Given monomials 1 ,2 ,.....,m from low degree to high one with respect to the ordering, some arbitrary values fi(i= 1,..., m), find a polynomial p, such thatIf there uniquely exists such an interpolation polynomial p{X, the interpolation problem is called properly posed.

文中首先对现有的多元多项式插值方法作了一个介绍和评述，在此基础上我们从代数几何观点重新讨论了多元Lagrange插值问题：给定n维仿射空间K~n中两两互异的点A_1，A_2，…，A_m，在结点A_i处给定函数值f_i(i=1，…，m)，构造多项式p∈K[X_1，X_2，…，X_n]，满足Lagrange插值条件：p=f_i，i=1，…，m (1)其中X=(X_1，X_2，…，X_n)，与一元情形相似地，本文证明了定理满足插值条件(1)的多项式存在，并且按"序"最低的多项式是唯一的，上述多项式可利用第二章介绍的Lagrange-Hermite插值算法求出，Lagrange插值另一种描述是：按序从低到高给定单项式ω_1，ω_2，…，ω_m，对任意给定的f_1，f_2，…，f_m，构造多项式p，满足插值条件：p=sum from i=1 to m=Ai=f_i，i=1，…，m (2)如果插值多项式p存在且唯一，则称插值问题适定。

First, we introduce and discuss the various methods of multivariate polynomial interpolation in the literature. Based on this study, we state multivariate Lagrange interpolation over again from algebraic geometry viewpoint:Given different interpolation nodes A1,A2 .....,An in the affine n-dimensional space Kn, and accordingly function values fi(i = 1,..., m), the question is how to find a polynomial p K[x1, x2,...,xn] satisfying the interpolation conditions:where X=(x1,X2,....,xn). Similarly with univariate problem, we have provedTheorem If the monomial ordering is given, a minimal ordering polynomial satisfying conditions (1) is uniquely exsisted.Such a polynomial can be computed by the Lagrange-Hermite interpolation algorithm introduced in chapter 2. Another statement for Lagrange interpolation problem is:Given monomials 1 ,2 ,.....,m from low degree to high one with respect to the ordering, some arbitrary values fi(i= 1,..., m), find a polynomial p, such thatIf there uniquely exists such an interpolation polynomial p{X, the interpolation problem is called properly posed.

文中首先对现有的多元多项式插值方法作了一个介绍和评述，在此基础上我们从代数几何观点重新讨论了多元Lagrange插值问题：给定n维仿射空间K~n中两两互异的点A_1，A_2，…，A_m，在结点A_i处给定函数值f_i(i=1，…，m)，构造多项式p∈K[X_1，X_2，…，X_n]，满足Lagrange插值条件：p=f_i，i=1，…，m (1)其中X=(X_1，X_2，…，X_n)，与一元情形相似地，本文证明了定理满足插值条件(1)的多项式存在，并且按&序&最低的多项式是唯一的，上述多项式可利用第二章介绍的Lagrange-Hermite插值算法求出，Lagrange插值另一种描述是：按序从低到高给定单项式ω_1，ω_2，…，ω_m，对任意给定的f_1，f_2，…，f_m，构造多项式p，满足插值条件：p=sum from i=1 to m=Ai=f_i，i=1，…，m (2)如果插值多项式p存在且唯一，则称插值问题适定。

Lagrange interpolation focus on the application of the formula .The comparison between the method of Transform and that of Lagrange's interpolation formula in square matrix form is made. Also the form of Lagrange's interpolation formula is generalized to include the double root case.The application of the generalized lagrange's interpolation formula in square matrix to solving state equations is found to be effective.

重点介绍了Lagrange插值公式在状态方程求解中的应用，用对角矩阵及相似矩阵的性质证明了，当状态转移矩阵中方阵的特征根相异时，拉格朗日插值公式与Laplace变换法对表达具有一致性，并用极限方法对方阵含二重根时拉格朗日插值公式的应用进行了推导。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

Furthermore,we present the method for designing quadratic Bezier developable surface:give four corner points of developable surface and two free designing parameters,the other two control vertexes are on the line connecting the linear interpolation point between the first two control vertexes and the linear interpolation point between the last two control vertexes,and they are the linear interpolation points between these two linear interpolation points respectively,namely,these four linear interpolation points are colinear.

提出了二次Bézier可展曲面的设计方法：给定可展曲面的4个角点a0、b0、a2、b2和两个自由设计参数？姿、？滋，则待求的2个控制顶点a1、b1是在前2个控制顶点a0、b0的线性插值点a*与后2个控制顶点a2、b2的线性插值点b*的连线上，并且也是a*、b*这2个线性插值点的线性插值，即这4点a*、a1、b1、b*共线。

On the basis of determining interpolation neighborhood, this paper factures many geochemistry plots by using more spatial interpolation of the deep penetrating geochemical data in the study area. The methods include inverse distance weighted interpolation, global polynomial interpolation, local polynomial interpolation, radial basis function, simple Kriging and universal Kriging, etc.

文中在确定插值邻域的基础上，应用多种空间插值方法对研究区的深穿透地球化学数据制作了多个地球化学图，如反距离加权插值法、全局多项式插值法、局部多项式插值法、径向基函数法、简单克里金法、泛克里金法等。

Address the characteristics of non-uniform speed transmission, position function control and transmission ratio function control were presented to realize electronic gearbox. The differences between position function curve interpolation and general NC interpolation were analyzed. Considering the effect of uncontrollable continuous principal motion, interpolation slope and position function precompensation interpolation were presented. The relationship among interpolation, servo dynamic response and transmission precision was studied. The coordinate linkage relationship and electronic gearbox scheme in noncirclar gear hobbing were studied.

对电子齿轮箱实现非匀速比传动进行了研究，提出了位置函数控制与传动比函数控制两种非匀速比传动关系的实现方法；对位置函数控制方式，分析了位置函数曲线的插补与普通数控插补方法的区别，提出了插补斜率的概念与位置函数曲线的预补偿插补方法；对非匀速比电子齿轮箱传动精度进行研究，得出了插补精度、伺服系统动态性能指标与传动精度之间的关系；研究了非圆滚齿加工坐标联动的非匀速比传动关系，列出了多种可以满足要求的电子齿轮箱传动方案。4。

The relevant interpolation algorithms include Lagrange interpolation formula, Newton polynomial interpolation, Hermite's interpolation, cubic spline; the relevant fitting algorithms include least square method, Chebyshev multinomial fitting algorithms and so on.

主要的拟合算法有最小二乘法、切比雪夫多项式拟合算法。

In this paper ,on one hand ,we establish the weakly asymptotic order of the classical Bernstein interpolation sequence approximate functionin the Wiener space(or 1-fold integrated Wiener space),on the other hand,we discuss the asymptotically order for the average error of Lagrange interpolation sequence, Hermite-Fejer interpolation sequence and Hermite interpolation sequence based on the Chebyshev nodes on the 1-fold integrated Wiener space.

本文一方面确定了经典的Bernstein多项式算子列逼近函数时在Wiener空间(或1-重积分Wiener空间)下的平均误差的弱渐近阶；另一方面确定了基于第一类Chebyshev多项式零点的Lagrange插值算子列、Hermite-Fejer插值算子列和Hermite插值算子列在1-重积分Wiener空间下的平均误差的弱渐近阶。

The interpolation algorithm of introduced error compensation for complex parametric curve in space is proposed for the high precision interpolation of parametric curve on the basis of studying the first, second order taylor expression parametric curve interpolation algorithm and the plane parametric curves interpolation algorithm.

以一、二阶泰勒展开式参数曲线插补算法和平面参数曲线插补算法研究为基础，提出引入误差补偿值的复杂空间参数曲线高精度插补算法以实现空间曲线的高精度插补。

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。