查询词典 leibniz theorem

As a particular of Rado's theorem and the compactness theorem one obtains the following result.

作为Rado定理和紧致性定理的一种特殊情形，我们得到下面的结果。

First,we show a compactness theorem in SBH,then byusing this compactness theorem,we discuss variational problems for two different func-tionals.

首先给出了SBH空间的一个紧性定理，然后利用这个定理讨论了两个不同泛函的变分问题。

Finally, we study the equivalence theorem and the comparison theorem of semiconvergence for the second quasi-nonnegative splitting.

最后讨论了第二型quasi非负分裂半收敛的等价定理和比较定理。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Secondly in§3.2 ,firstly we prove a new fixed point theorem on Banach space,and study the Sturm-Liourille boundary value problem with the theorem and some properities of concave function, then the existence of three positive solutions is gotten.

第二节，先证明一个新的锥上不动点定理，再利用此定理及凹函数的性质来研究边值问题，得到了三个正解的存在性。

By giving the example, explains that theorem 4 in the refuted paper is not the necessary condition of the continued fraction convergences, by discussing the indeterminacy of the lever function and citing the counterexamples, expounds that the theorem 4 is not sufficient condition of the parameters W and W -1 neutralizing each other, and so shows algorithm 1 and 2 in the refuted paper to be incorrect.

通过举例说明了"攻文"定理4不是连分式收敛项的必要条件，并通过对杠杆函数不确定性的讨论和反例的举证说明了"攻文"定理4不是W与W –1相互抵消的充分条件，从而证明了"攻文"算法1和2及其衍生方法是错误的。

In this paper,at first we transformed the nonlinear elliptic system of 2m first order equations into the complex form, then by use the results on the Riemann-Hilbert problem for nonlinear elliptic complex equation of first order, the method of continuity, the Schauder fixed-point theorem and the Leray-Schauder theorem, we proved that the modified Riemann-Hilbert boundary value problem for the complex system with some conditions is solvable.

本文先将较一般的多个未知函数的一阶椭圆型实方程组化为复方程组，然后讨论这些复方程组在某些条件下的一些边值问题的可解性。这里所考虑的方程组既包含线性的，也包含非线性的，比广义超解析函数所满足的方程组还要广，又本文主要研究较一般的Riemann-Hilbert边值问题，先给出这种边值问题解的先验估计式，然后用参数开拓法及Leray-Schauder定理证明这种边值问题的可解性结果。

Secondly, based on the Mawhin's continuity theorem in coincidence degree theory and the Brousk's theorem, some novel criteron of the existence on periodic solutions are obtained under the more generalized assumptions than before.

主要工作是：第一，应用构造Liapunov函数以及Lasalle不变性原理，给出了解的有界性与收敛性的一些新的充分条件和充分必要条件，这些结果包含或扩展了已有文献关于同样问题的一些重要结果。

Properties of measurable functions; approximation by simple functions and by continuous functions; convergence in measure; Egoroff's theorem; Lusin's theorem; Jensen's inequality.

可测函数。可测函数的性质；简单和连续函数逼近；测度收敛；叶果洛夫定理；鲁津定理；詹森不等式

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