查询词典 leibniz theorem

Finally, after defining an evaluation module of the corresponding Loop superalgebra (Section 4), two major results of the paper -Theorem 4.land Theorem 4.2 are proved: Theorem 4.1 reduces the irreducibility of the tensor product of finitely many evaluation modules to the irreducibility of the tensor product of finitely many irreducible modules of a nilpotent Lie superalgebra; Theorem 4.2 gives a criterion for the tensor product of such modules to be irreducible.

第4节在定义了相应的Loop超代数的赋值模之后，证明了本文的两个主要结论：定理4.1和定理4.2。定理4.1将有限多个赋值模其张量积的不可约性归结为一幂零李超代数的限多个不可约模其张量积的不可约性；定理4.2利用不可约指标给出了一幂零李超代数的限多个不可约模其张量积仍不可约的判别准则。

It includes luol theorem, Lagrange theorem and cauchy theorem, Taylor theorem.

它包括罗尔定理、拉格朗日定理、柯西定理、泰勒定理。

The use of Differential Mean Value Theorem (Rolle theorem, Lagrange's theorem, Cauchy's theorem) to solve a number of derivative and limit the problem.

利用微分中值定理（罗尔定理，拉格朗日定理，柯西定理）解决一些导数和极限的问题。

Chapter 2 deals with some refinements of the central limit theorem for a class of non-uniformly hyperbolic dynamical systems called Young\'s system, such as local central limit theorem and so-called Berry-Esseen theorem giving the rate of convergence in the central limit theorem.

在第二、三章中，我们考虑一类重要的非一致双曲动力系统的统计性质-中心极限定理，及其进一步的精细结果如局部中心极限定理，带有收敛速度的中心极限定理。

On the other hand , illuminated by close relation between harmonic maps and sumanifold theory, we have also researched in-depth about some relative problems in submanifolds theory which include: the estimate of heat kernel and eigenvalue and it geometric application of submanifolds with or without boundary; many kinds of pinching problem of submanifolds which include the rigidity theorem, topological sphere theorem, differential sphere theorem and topological finite theorem.

另外，鉴于调和映照与子流形之间的密切关系，我们还要深入研究子流形几何中与之相关的一些问题，主要包括：带边与不带边子流形的热核与特征值估计及其几何应用；子流形的刚性定理、拓扑球定理、微分球面定理、拓扑有限性定理等各类Pinching问题。

The positive periodic solution of functional differential equation with infinite delay is deeply concentrated these years, some scholars study this subject by means of Lyapunov theorem, Schauder fixed point theorem, and cone extending and compression theorem (from thesis -[5]), and they obtain the existence theorem of positive periodic solution.

近年来，无穷时滞泛函微分方程的周期解问题受到广泛关注，一些学者应用Lyapunov泛函方法，Schauder不动点方法，以及非线性泛函分析中的锥拉伸锥压缩方法(见[1]-[5])，研究了无穷时滞泛函微分方程的周期解的存在性问题。

In addition, by utilizing Jacobi two square numbers theorem and Lagrange four square numbers theorem and some theta function identities, we also prove the known results of number theory: two triangular number theorem, four triangular number theorem, and the number of representations of a positive integer by various quadratic forms in terms of divisor functions

包括Jacobi二平方数定理，Lagrange四平方数定理等，然后利用这些结果结合几个theta函数恒等式，我们获得了把任意一个正整数表示成两个三角数或四个三角数的和以及其他的二次形式的方法数，这些方法数都是用因子函数来表示的。

And guided by Schur theorem, many of the Schur theorem inference arises, formed a complete theoretical system Schur theorem. Schur theorem and put many of its reasoning applied to the unitary matrix and the similarity matrix eigenvalue of proof onto.

在Schur定理的指导下，许多关于Schur定理的推论便产生了，并且形成了一个完整的Schur定理理论体系，把Schur定理和它的许多推论推广到了酉矩阵的相似和矩阵的特征值的证明上来。

To conquer the difficulty faced by modernphilosophy,the intuition theory of Leibniz combines a priori with aposteriori,universality with particularity,and solves the puzzle of how to obtainessential knowledge properly.This make it possible for Leibniz philosophy to avoidthe emptiness of earlier rationalism and narrowness of empiricism,and reach theunprecedented livelyness and richness.

为了克服近代哲学的这种困境，莱布尼茨的直觉理论以现象学直观的方式突破了近代唯理论和经验论在本质认识上所陷入的困境，将先验与具体、一般和特殊统一起来，这使其哲学得以可能克服经验论的狭隘性和以往唯理论的空洞性，从而达到空前的生动和饱满。

Pointing out some revealing similarities between Leibniz's "Monadology" and the world described in The Matrix , Greenberg goes on to use the film to help elucidate Leibniz's notion of "monads" and his theory of causation.

在指出莱布尼兹所描述的单子论与影片所描述的情形之间存在的很有启发意义的相似性后，作者利用影片来阐释了莱布尼兹的"单子"概念和因果理论。

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数据流的质量检测。