查询词典 atiyah singer index theorem

Then using Hahn-Banach separation theorem, we obtain Lagrange multiplier theorem.

再利用Hahn-Banach分离定理，得到Benson真有效解的Lagrange乘数定理。

The differential theorem of mean is called "the Lagrange theorem of mean" generally, is in the differential calculus one of most important conclusions.

微分中值定理一般称为"Lagrange中值定理"，是微分学中最重要的结论之一。

This article is divided into several categories of questions, focus on a typical example of the Lagrange Mean Value Theorem to prove the application of the inequality summarized in the hope that readers can better grasp the Lagrange mean value theorem in the inequality in the application of skills .

本文将题型分成几类，集中典型例题，对拉格朗日中值定理在不等式证明的应用中进行归纳总结，希望读者能够更好的掌握拉格朗日中值定理在不等式中的应用技巧。

This paper gives the new method to prove the Cauchy Mean Value Theorem ,which also may be deduced from the Lagrange Mean Value Theorem.

给出柯西中值定理的一个新的证法，说明柯西中值定理也可由拉格朗日中值定理导出。

This paper describes the content of the theorem, and theorems are given two proofs, cite the Lagrange mean value theorem in the mathematics major applications, including that inequality, identity, Limit, determine monotonicity, root The existence of such.

本文简要叙述了定理的内容，并且给出了定理的两种证明方法，例举了拉格朗日中值定理在数学中的主要应用，包括证明不等式，恒等式，求极限，判断单调性，根的存在性等。

This article will write divides into several kinds, the centralism typical sample question, carries on the induction to the Lagrange theorem of mean in the application which the inequality proved to summarize, hoped that the reader can better grasp the Lagrange theorem of mean in the inequality application skill.

本文将题型分成几类，集中典型例题，对拉格朗日中值定理在不等式证明的应用中进行归纳总结，希望读者能够更好的掌握拉格朗日中值定理在不等式中的应用技巧。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

There are proved the theorems on convergence of sequences of the integral, which are similar to Levi's theorem, Fatou's theorem and so on in Lebesgue's integral.

4中引进了一类特殊的所谓λ次可加模糊测度空间，给出了这种测度空间上收敛性的Егоров定理和Riesz定理并得到了该空间上的模糊积分在积分号下取极限的一些充分条件。

This paper investigates alternating iterative method and generalized alternating method for the solution of a large linear system, extend the convergence theorem and comparison theorem for generalized or alternating iterative method when the coefficient are Hermitian positive definite systems.

本文主要研究了大型线性方程组的交替迭代法及迭代法的各种变形，给出了当系数矩阵为Hermitian正定矩阵时各类迭代法的收敛原理及其相应的比较理论。

This paper weakened the Liouville s theorem conditions,and gives the Liouville theorem of a promotion.

弱化了刘维尔定理的条件，给出了刘维尔定理的一个推广。

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