定理

In our thesis, contents are organized as following In Chapter 1 we present our topic's internal and overseas research situations, theoretical and practical significance, and introduce the research object and contents, and the main contributions of this dissertation. Chapter 2 reviews the development of the stability results for nonlinear systems and some relevant recent results, which include Lyapunov and LaSalle-Yoshizawa theorems for nonlinear systems, and stochastic edition for stochastic nonlinear systems. Sontag's formula for systems affine in control is presented in the frame of CLF. The concepts of disturbance attenuation and the inverse optimality are also explained in this Chapter. In chapter 3 we present the solvable theorem of inverse optimal gain assignment problem, design the inverse optimal controller and the inverse optimal tracking controller for strict-feedback nonlinear continuous systems with unknown time-varing bounded disturbances and constant unknown parameters using an adaptive backstepping algorithm, which are nonlinear, continuous and are easier to realize. These designs are fully systematic and the algorithm can be directly coded in symbolic software. The results of simulation show the effectiveness of the control algorithms.

论文的结构如下：在第1章中，给出了本文研究课题的研究现状、理论意义和实际应用，并介绍了本文的研究对象、研究内容以及主要贡献；在第2章中，针对确定性非线性系统和随机非线性系统，分别介绍了Lyapunov定理、LaSalle-Yoshizawa定理及其随机版本；对仿射系统，在控制Lyapunov函数框架下，给出了Sontag公式；同时给出了非线性系统扰动抑制和逆最优控制问题的基本概念；在第3章中，针对具有未知时变有界扰动和未知定常参数的一类不确定非线性系统，给出并证明了逆最优增益配置可解定理，使用自适应Backstepping算法和均值定理，系统地设计了自适应逆最优控制器和逆最优跟踪器，这种设计方法可同时获得逆最优控制策略和自适应律，简单明了，仿真结果表明该控制算法的有效性，并给出了性能估计。

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利用不可约指标给出了一幂零李超代数的限多个不可约模其张量积仍不可约的判别准则。

Asimple necessary and sufficient condition for global controllability will bepresented. The analysis method is based on some basic facts in planartopology such as the Jordan curve Theorem, and in the geometric theoryof ordinary differential equations including the Poincare-Bendixson Theo-rem.

分析方法主要是基于平面拓扑中的一些基本事实，比如Jordan曲线定理，以及常微分方程几何理论中的几个基本定理，如Poincare-Bendixson定理，指标定理等。

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.

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

As a application of the above results, some minimax inequalities and saddle point theorems can be obtained. In addition, fixed point theorems and section theorems, maximal element theorems and the existence theorems of equilibrium for abstract economies can also be discussed.

作为应用，可以得到L-凸空间中极大极小不等式和鞍点定理；进一步，还可以探讨不动点定理和截口定理，极大元定理和抽象经济的平衡存在性等问题。

At first, the existence of extended form of approach to continuous selection for any set valued mapping without any continuity restriction in para-compact metric space is proved ;by the topologically separated mappings , the approximate selection theorem of sub-lower-semi-continuous mapping is established, furthermore , continuous selection problem in H-space is studied. Next, with W-correspondence, an improved variational inequality is obtained ; by the H-KKM mapping ,Ky Fan\'s minimax inequality is generalized to H-space . At last, with H-convexity instead of the linear topological structure, a new version of Browder fixed point theorem is established.Chapter 3 deals with set-valued mapping vector variational inequality and minimax problems.

第二章首先在仿紧的度量空间上对任意的集值映射建立了新的逼近连续选择定理，利用映射的拓扑可分性，在H-空间上建立了次下半连续映射的逼近连续选择定理和一个新的连续选择定理；然后利用W-对应，在H-空间上建立了广义的变分不等式；利用H-KKM映射，在H-空间上建立了广义的KyFan极小极大不等式；最后，利用H-凸性代替拓扑线性结构，在H-空间上建立了一个新型的Browder不动点定理。

The Pappus theorem and Pascal theorem are the important theorems of three points colinearity of degenerate and non degenerate two stage curves respectively.

常见资料如文献 [1～ 3]等均介绍了著名的Pappus定理和Pascal定理，这两个定理分别是退化和非退化二阶曲线中关于三点共线的重要定理，应用广泛。

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问题。

In fifth chapter,as applications of the existence theorem of〓-optimalcoupling operator for the jump processes,the estimate of the varied expontialconvergence rate for the jump processes and the existence of an order-preservingMarkov coupling for the jump processes are investigated,where,the obtained theexistence theorem of an order-preserving Markov coupling is a general theorem onPolish space endowed with semiorder,it includes the results that existence theoremon countable state apace endowed with total order or finite state space endow withsemiorder have been obtained by the internal and external mathematicians in recentten years.

第五章作为跳过程〓最优耦合算子存在性定理的应用，讨论了跳过程各种指数收敛速度的估计和保序Markov耦合的存在性。其中保序Markov耦合存在定理是具有偏序关系波兰空间上的跳过程最一般的定理，它包括了近10年来国内外对具有全序关系可数状态空间或具有偏序关系有限状态空间上的跳过程关于保序Markov耦合存在定理的研究成果。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。