查询词典 leibniz theorem

Formulas are derived to compute hydrodynamic pressures or hydrodynamic perssure influence matrices on dams using series development and linear superposition theorem with nonvertical upstream face、the compressibitily of water、the effect of absorption of the reservoir bottom ect. being taken into account.

利用级数展开和线性叠加原理，推导了坝迎水面倾斜、库水具有可压缩性、库底具有吸收性等多种情形下，重力坝迎水面上动水压力和动水压力影响系数矩阵的计算公式。

As an examplc, in the Chebyshev coordinates, we use the Backlund theorem to give a Backlund transformation and a permutability formula between the generalized sine-Laplace equation and the generalized sinh-Laplace equation.

作为一个例子，利用几何的Backlund定理我们给出了广义的sine-Laplace方程和广义的sinh-Laplace方程之间的Backlund变换及其置换公式。

Some problems related to sentence vectorization are investigated, several fundamental definitions as well as one judgement theorem are given, and the postpositional processing on attribute vectors of sentence cells is discussed.

研究了语句矢量化的有关问题，给出了若干基本定义和一个判定定理，讨论了句元属性矢量的后置处理。

The main results are as follows:(1) In Chapter 2, the proof of the main theorem on quadratically related m-geometric sequences in [5] is simplified and consummated; A family of GMW-geometric sequences derived from GMW sequences are constructed, and their correlation functions and linear complexities are given.

本文也正是从扩频码序列的相关性能和安全性的角度来构造和研究了几类扩频码序列集合，得到以下的结论：（1）第二章首先简化并且完善了文献[5]中关于二次相关m-几何序列的主要定理；其次，在GMW序列的基础上构造了GMW-几何序列，计算了GMW-几何序列的相关函数；最后给出了GMW-几何序列的线性复杂度。

Also the reciprocal theorem is invoked and analytical expressions of the Frechet derivatives are derived on the basis of NMM, and resultingly in each iteration the forward modeling is needed to be invoked only once.

为提高速度，采用前述的INMM方法，同时运用互易定理，并导出了基于NMM的Frechet导数解析表达式，这样，每次迭代只需一次正演。

In order to select optimal grid and good computation efficiency to recover the entire signal, aiming at the Ricker wavelet commonly used in forward modeling, we analyzed the alias and signal restoration problem in finite-difference method based on spatial sampling theorem and seismic wave traveling regulation in media with different velocity, to derive quantitative relationship among the modeling grid size, minimum velocity of model layer, and recovered main frequency of wavelet.

为了选择最佳的网格尺寸以及以最小的计算量完整地恢复出信号，针对地震波场正演模拟中经常使用的Ricker子波，根据空间采样定理和地震波在不同速度介质中的传播规律，分析了有限差分算法中的假频和信号恢复问题，推导出模拟网格尺寸、模型地层的最小速度和能够恢复的子波主频之间的近似定量关系，并用数值算例验证了这一关系。

It also makes an introduction to Lie groups, the de Rham theorem, and Riemannian manifolds.

同时也对李群，de Rham定理，和黎曼流形作了简要介绍。

According to the idea and theorem, this paper describes the algorithm of creating charts for two-dimensional Riemannian manifolds and presents the definitions of transition and blend functions.

按照算法思路和存在定理，详细描述了二维黎曼流形上创建坐标卡的算法，并给出流形上转换函数和混合函数的定义方法。

Include Roue Theorem.

包括罗尔定理。

In Chapter 2, starting from a generalization of Hensel's Lemma to non-commutative case, we introduce the Brauer characters and the generalized decomposition numbers, and construct a kind of maximal semisimple algebras; then, similarly to Puig's methods, we prove Brauer's Second Main Theorem over arbitrary fields; applying it to blocks with nilpotent coefficient extensions, a formula on characters of such blocks is given; the formula of characters of nilpotent blocks is just an easy consequence of the fomula.

在第二章中，我们将Hensel的引理推广到非交换的情况，以此为起点，定义了Brauer特征标和广义分解数，构造了一类极大的半单的代数，类似于Puig的方法，给出了任意域上Brauer的第二主要定理；作为该定理的应用，我们给出了具有幂零系数扩张的块的特征标公式，幂零块的特征标公式只是它的一个简单的推论。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。