查询词典 leibniz theorem

The cohomology of q-polynomial coalgebras with coefficients in trivialcomodule K are also determined(see Theorem 6.3.11).Having obtained Theorem 5.2.3 andTheorem 5.2.4,we determine(see Theorem 7.2.6)all the nonzero 〓.

对于这一类q-多项式余代数，我们决定了（见定理6.3.11）系数在它的平凡余模K中的上同调，有了定理5.2.3与定理5.2.4以后，我们决定了（见定理7.2.6）所有非零的〓。

In part 1, we explore some properties of solution y of a backward stochastic differential equation, such as comparison theorem, reverse comparison theorem and uniqueness theorem of generator.

第一部分研究了倒向随机微分方程的解中y的性质，其中包括解的比较定理，逆比较定理，生成元的唯一性定理。

By mean of the method of upper and lower solutions, we will obtain a existence theorem like Kazdan-Warners. Using this theorem, we will study the vortex equation in holomorphic line bundle over complex manifold and prove a theorem of existence of Hermitian metric with a prescribed holomorphic section.

在本论文的最后部分，我们在紧复流形上讨论一类Kazdan-Warner型方程，用上下解方法得到了光滑解存在的Kazdan-Warner型定理，并将其用于研究全纯线丛的涡旋方程，得到了一个具有预定全纯截面的厄米度量的存在定理。

Helling and Jorgensen established the algebraic convergence theorem,limit theorem and convergence theorem in plane,respectively.

Helling、Jorgensen分别建立了平面Mobius群列的极限定理、代数收敛性定理和收敛性定理等等。

Invariant theorem of the operator series multiplier convergent. Using operator series multiplier convergent,AK-space of concept ,we obtained the theorem of operator series multiplier convergent invariant and the old theorem of general series multiplier convergent invariant is looked as special case.

第三章 算子级数乘数收敛的不变性：利用算子级数乘数收敛、AK—空间的定义，得到了算子级数乘数收敛的不变性定理，从而将以往的普通级数乘数收敛的不变性定理作为特殊情况。

This paper investigates the converse theorem of rectangular projection theorem in descriptive geometry,and furthermore supplements and confirms another converse theorem,If the projection of two lines intersecting vertically fo rms a rectangle on a certain projecting plane,at least one line of the two lines is parallel to the projecting plane.

通过对《画法几何学》中直角投影定理的逆定理的研究，得出："若垂直相交的两直线在某一投影面上投影成直角，则该两直线至少有一条直线平行于该投影面"的推论。

All the following process was done on the sub image. Second, the morphology gradient theorem and its converse theorem were both proved. And the DGT reverse theorem was used to look for the regional maxima points of the sub image. In the improved region growing method, the seeds were those regional maxima points.

然后证明了数学形态学的膨胀梯度定理(dilation gradient theorem， DGT)及其逆定理，并利用DGT逆定理查找图像的局部极大值点，将灰度值不为0的局部极大值点作为区域生长法的种子点。

In the following, we list the main works in our paper:(1) We introduce briefly the concepts of fuzzy mathematics and three fundamental principles—decomposition theorem, representation theorem and extension theorem. We also present the concepts of fuzzy number and some simple properties.

本文主要内容包括以下几个方面：(1)简要地介绍了模糊数学中基本概念和三大基本定理--分解定理，表现定理和扩展定理，模糊数的概念、性质以及比较两个模糊数的方法。

In fourth chapter of this paper,we mainly investigate the properties of a subclass S_p~* of starlike functions of orderα,including its coefficient estimate,distortion theorem,closure theorem and extreme points theorem.

在第四章中，我们主要研究了α次星形函数一类子族S_p~*的性质，包括系数估计，偏差定理，闭包定理，极值点定理。

In this paper, we give a section theorem of Ky Fan type and its equivalent theorem in hyperconvex metric spaces, and as their applications we obtain some minimax theorems and a coincidence theorem.

赵云河 ，张惠丽文章给出了超凸度量空间中的一个Ky Fan型截口定理及其等价定理，作为它们的应用，得到了一些极大极小定理和一个重合定理。

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