定理的

Second,we introduce some important theorems we use in this paper,that is traverse theorem,martingale central limit theorem and slutsky theorem.

此外，还介绍了本文中所应用的主要定理，例如遍历定理，鞅中心极限定理以及slutsky定理等。

It introduces normal families, including equicontinuity, Arzela's theorem, Montel's and Marty's theorems, Zalcman's lemma; univalent functions, including Koebe's and de Branges' theorems; quasiconformal mappings, including conformal length, extremal length, geometric, analytic and metric definitions, quasiconformal extension, distortion theorem, quasicircle; iteration of rational functions, including fixed points, the Fatou and Julia sets, periodic points, Siegel disks, the Hausdorff measure and dimension, etc.

具体为：正规族，包括等度连续性、Arzela定理、Montel和Marty正规定则、Zalcman引理；单叶函数，包括Koebe定理和de Branges定理；拟共形映照，包括共形模、极值长度、几何、分析和距离定义、拟共形延拓、偏差定理，拟圆周等；有理函数的迭代，包括不动点、Fatou集和Julia集、周期点、Siegel盘、Hausdorff测度和维数，等等。在教学内容上充分体现综合性、前沿性。

In this paper, firstly, not only the incidence matrix ,adjacent matrix, cycle matrix, cut-set matrix of an undirected graph are summarized, but also the close contact between a graph and its corresponding matrix are discussed ; secondly, many problems of a graph which are solved by analysing its matrix are listed as follows:1、The co-tree set of a graph is obtained by using its cycle-matrix ; 2、The branches of its spanning tree are given by using its cut-set matrix ; 3、By making use of the incidence matrix of a graph ,not only its vertex cut 、cut vertex 、isolated point and spanning tree can be obtained ,but also the two sides which are whether parallel or not can be judged ;4、By using their adjacent matrix ,the two graphes which are whether isomorphous or not can be judged; once more, there is a detailed introduction in view of special graph (for example: bigaritite graph ,regular graph and so on);last but not least, a graph method of calculating the N power of a matrix is given and the practical applications of the theorem for degree is indicated.

本文首先综述了无向图的关联矩阵，邻接矩阵，圈矩阵，割集矩阵以及图和它对应矩阵之间的关系；其次总结出了利用上述各类矩阵可以解决的图的若干问题：1、利用图的圈矩阵可以求其连枝集；2、利用图的割集矩阵可以求其生成树的树枝；3、利用图的关联矩阵不仅可以求其割点、点割集、连通度、孤立点和生成树，而且可以判断两条边是否平行；4、利用图的邻接矩阵可以判断两个图是否同构；再次，针对特殊图（例如：二分图、正则图等等）的邻接矩阵作了详细介绍；最后，得到了利用图计算矩阵的N次幂的方法，指出度数定理的实际应用。

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.

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

In addition, we consider some conditions under which Weyl\'s and Browder\'s theorem hold for operator matrices.In chapter 4, the relationship between the reduced minimum modulus of the left multiplicative operator L_A and the reduced minimum modulus of operator A is discussed.

第三章重点研究了Banach空间上的算子满足Weyl定理和a-Weyl定理，得到了解析余亚正规算子满足a-Weyl定理；同时也讨论了上三角算子矩阵的Weyl(来源：ABC论63文网www.abclunwen.com)定理和Browder定理。

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-凸空间中极大极小不等式和鞍点定理；进一步，还可以探讨不动点定理和截口定理，极大元定理和抽象经济的平衡存在性等问题。

In the first part, we will first deal with the strong Bonnesen-style inequality (2.1.3) for closed convex curves in the plane (the numbers of formulae and references are those of them in the context below). Bonnesen had first proved the weaker inequality (2.1.2) in [12] and several years later, he outlined in his monograph [13] various Bonnesen-style inequalities including (2.1.3), he considered, however,(2.1.3) as a direct consequence of Kritikos theorem for convex bodies in higher dimensional Euclidean spaces,. Here, we will give an independent proof of the existence for inequality (2.1.3), and by the way, give an estimate on the width of the bi-enclosing annulus of closed convex curves in the plane.

具体地讲，在第一部分中，首先讨论平面上闭凸曲线的强Bonnesen型不等式(2.1.3)(公式的编号和参考文献的编号引自后面的正文)，Bonnesen在文[12]中先证明了较弱的不等式(2.1.2)，几年以后，在他的著作[13]中，讨论了多种Bonnesen型不等式，其中包括不等式(2.1.3)，不过，他把(2.1.3)作为高维欧氏空间中凸体的Kritikos定理的直接推论，我们这里对不等式(2.1.3)给出独立的存在性证明，并且还对平面闭凸曲线的bi-enclosing环的宽度给出了一个估计。

In the first part, we will first deal with the strong Bonnesen-style inequality (2.1.3) for closed convex curves in the plane (the numbers of formulae and references are those of them in the context below). Bonnesen had first proved the weaker inequality (2.1.2) in [12] and several years later, he outlined in his monograph [13] various Bonnesen-style inequalities including (2.1.3), he considered, however,(2.1.3) as a direct consequence of Kritikos\' theorem for convex bodies in higher dimensional Euclidean spaces,.

具体地讲，在第一部分中，首先讨论平面上闭凸曲线的强Bonnesen型不等式(2.1.3)(公式的编号和参考文献的编号引自后面的正文)，Bonnesen在文[12]中先证明了较弱的不等式(2.1.2)，几年以后，在他的著作[13]中，讨论了多种Bonnesen型不等式，其中包括不等式(2.1.3)，不过，他把(2.1.3)作为高维欧氏空间中凸体的Kritikos定理的直接推论，我们这里对不等式(2.1.3)给出独立的存在性证明，并且还对平面闭凸曲线的bi-enclosing环的宽度给出了一个估计。

The main work is done as following: 1.A model of dynamic fuzzy multi-dimensional data is proposed. The compose and the categoricalness theorem of the model of dynamic fuzzy multi-dimensional data is proposed. The provement of both is proposed.

主要工作有以下几方面： 1、给出了动态模糊多维数据模型，包括动态模糊多维数据模型合成定理和动态模糊多维数据模型完备性定理，对该模型的合成定理和完备性定理作了证明。

The fundamental properties of the system K are studied,and it is pointed out that All theorems of the system L are theorems of the system K.Some important theorems about quantifiers are obtained.Moreover,the following results also are proved that all instances of substitution in the system K of tautologies of the system L are logically valid for any R0 chain,the soundness theorem and strong soundness theorem hold in the system K,i.e.,all theorems ofthe system K also logically valid for any R0 chain.

其次，研究了系统K*的基本性质，指出了系统L*的定理都是系统K*的定理，给出了系统K*与量词有关的一些重要定理，证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式；系统K*的可靠性定理成立，即系统K*中的定理关于任何R0链也是逻辑有效的；系统K*的强可靠性定理也成立，即系统K*在任何理论T下的定理关于任何R0链也是逻辑有效的。

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.

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