查询词典 extended mean value theorem

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定理证明这种边值问题的可解性结果。

In chapter 5,we persue the ctiticality and complexity of thecritical sets.We describe carefully the Whitney's example in 1935.Meantime,we introduce some rsults about the critical sets and thecritical value sets,in particular,on W-sets and C-sets.And usingthe Lebesgue density theorem and the Vitali covering lemma weprove a rank zero theorem with Hausdorff measures.Finally wegive some examples to prove our results are sharp in the sense thatthe numbers k,m,n,s,〓,etc.,in the hypothesescan not be improved.

第五章研究临界点集的临界性和复杂性，并详细地描绘了Whit-ney在1935年的例子，同时也介绍了关于临界点集和临界值集的一些结果，尤其是W-集和C-集的一些结果，并利用Lebesgue密度定理和Vitali覆盖引理证明了一个与Hausdorff测度相关的秩零定理，最后举例证明我们的结果在定理的假设中的那些数字如k，m，n，s，a，r+/等不能被改进的情况下是最佳的。

Under suit upper and lower solution, iteration sequences were constructed, and existence and unique of solutions of linear boundary value problems on second order nonlinear Hammerstein type integro-differential-difference equation were obtained by means of applying the Arzela-Ascoli theorem Lebesque control convergence theorem and disproof method.

在上下解存在的条件下，构造迭代序列，由Arzea-Ascoli定理和Lebesque控制收敛定理得到了二阶非线性Hammerstein型积分微分差分方程的线性边值问题的解的存在性。再利用反证法获得了解的唯一性。

In chapter2 we obtain the constructure theorem and intechange theorem of 2-tournaments.wefind the correlation between the number of 3-cycles and 2-cycles in 2-tournament andits score vector,discuss a class of extreme value problem of tournament,answer partlya open problem posed by Brualdi.

第二章讨论了2-竞赛图和竞赛矩阵的一些基本问题：存在性和结构问题，证明了具有相同得分向量的任意两个2-竞赛矩阵可以通过三角形转换而互相得到，得到了2-竞赛图中2-圈与3-圈的数目与得分向量之间的关系式；讨论了2-竞赛中的一类极值问题，部分地回答了Brualdi〓的一个问题。

Its universal approximation has been proved by using differential intermediate value theorem and Weierstrass theorem.

笔者采用微分中值定理和Weierstrass定理证明它的通用逼近性。

Through the study of this article requires proficiency in differential intermediate value theorem and Taylor's formula to prove, using theorem to solve a number of conclusions related questions, so can a clear understanding of this kind of problem solving ideas.

通过本文的学习，要求熟练掌握微分中值定理和泰勒公式的证明，运用定理结论来解决一些与之相关的问题，使能够明确了解此类问题的解题思路。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The first systematic and fundamental research is did by Modigliani and Miler, they bring out with the famous MM theorem in 1958.Which says capital structure doesn't affect enterprise market value and average capital cost in a condition of perfect market. After that, several economists including Modigliani and Miler themselves put this theory forward with the MM theorem with the consideration of tax, the trade-off theory, the pecking order theory,market for corporate control, these analyses throw lights on the problem from different aspect.

对此做出系统性和开创性研究的是Modigliani和Miler，在1958年提出了资本成本与资本结构无关的MM定理，在此基础上，包括Modigliani和Miller在内的许多经济学家对此进行了探索，他们先后提出了考虑税收的MM定理、权衡理论、优序融资理论、控制权理论，从不同的角度分析了资本结构的优化问题。

Firstly, the eigenvalue problem of a class of second order elliptic equation with critical potential and indefinite weights is considered. Then, using critical point theory, Trudinger-Moser inequality and the properties of the first eigenvalue, we prove the existence of a nontrivial solution for a class of nonlinear elliptic with critical potentialand indefinite weights in R~2. Secondly, we prove the existence of nontrivial solutions for a class of subcritical and critical elliptic systems with indefinite part in R~2 byusing a generalized linking theorem, Trudinger-Moser inequality and concentration-compactness principle.5. The existence of at least three weak solutions for discrete boundary value problem is established by using a three critical point theorem introduced by Ricceri.

首先，讨论了R~2中一类带不定权且含临界位势的二阶椭圆型方程的特征值问题，并借此特征值问题的第一特征值性质，利用山路引理及Trudinger-Moser不等式，证明了R~2中一类带不定权且含临界位势的非线性椭圆型方程非平凡解的存在性；其次，利用广义环绕定理，Trudinger-Moser不等式及集中列紧原理，得到了R~2上一类具有强不定部分的半线性椭圆型方程组在非线性项分别为次临界增长和临界增长情形下非平凡解的存在性。

This thesis explains basic financial innovation theorems including "circumventive innovation theorem","transaction cost innovation theorem" and " value chain theory ", etc and the relationship between these theorems and Internet banking; on the basis of analyzing the developing history and current situation of Internet banking business in foreign countries and in china, it points out the major problems existing in our Internet banking innovation, summarizes the experiences in foreign Internet banking which can be referential to our commercial banks, and gets to the conclusion that meeting customer's demands and keeping, maintaining, utilizing the customer relationship effectively are the key points in Internet banking innovation.

阐释了&规避管制理论&、&交易成本理论&、&价值链理论&等金融创新理论的基本内容及其与网络银行业务创新的关系；通过对国内外网络银行业务功能发展历程的简要回顾和对其业务创新现状的介绍，总结了国外发展网络银行业务过程中可供我国商业银行借鉴的经验，探讨了我国网络银行业务创新存在的主要问题，并认为满足客户需求，保持、维护并有效利用银行与客户间的关系是进行网络银行业务创新的关键所在。

Methods Clinical data of 3 cases of bile duct injury during laparoscopic cholecystectomy were analyzed retrospectively.

回顾总结3例LC术中胆管损伤的临床资料，分析3例胆管损伤的原因及对策。

These techniques are applied to the gobang.

本文将这些技术用于五子棋中。