查询词典 translation theorem

The zonal translation networks on the unit sphere is constructed with the best approximation of spherical harmonic polynomials and the Riesz means. The Jackson theorem of approximation by such kind of zonal translation is established.

借助于球调和多项式的最佳逼近多项式和Riesz平均构造出了单位球面S上的带形平移网络，并建立了球面带形平移网络对LS(上标 q中函数一致逼近的Jackson型定理。

By taking advantage of a corollary of the Desargues theorem and the corresponging extension of Desarguesian configuration, the concept of stereohomology has been defined in projective geometry and presented based on homogeneous coordinates. Consequently, a series of geometrical transformations, such as central projection, parallel projection, centrosymmetry, translation transformation, reflection, rotation transformation, which can be contained in it or derived from it have also been analytically defined.

利用Desargues定理的一个推论和引申的Desargues图形，给出"空间透射"在射影几何意义下基于齐次坐标表象的解析定义，从而解析定义了可蕴涵其中的中心投影、平行投影、中心对称、平移、反射等几何变换以及可由此衍生出的旋转变换。

By using the theorem of moment of momentum with respect to the mass center, the ship motion is devided into translation and rotation respect to the ship mass center, and the six-degree-freedom nonlinear equation can be deduced based on the exactly analysing the force acting on the ship.

基於刚体运动学理论，将船舶在波浪中的运动分解为平动和绕质心的转动，在分析了船舶受力情况的基础上，运用质点系相对於质心的动量矩定理和Newton第二运动定律建立了船舶的六自由度运动的非线性藕合方程。

Because the governing equations have the relationship of translation symmetry, the displacement fields and the electrical potential fields can be represented by Bloch theorem to get the periodical structural governing equations.

将应力和电位移场以位移和电位场表示，即可利用层与层间的位移、应力、电位和电位移必须连续等条件求得转换矩阵，再满足上下表面的边界条件即能求得出压电周期叠层板波传频谱。

In this paper, the descriptive semantics of class diagrams, interaction diagrams and state machine diagrams are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models.

本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。