定理

The exchange theorem of bases of closed regular fuzzy matroids is obtained with the help of "the exchange theorem of bases" of crisp matroids. Then,the relations between the fuzzy bases and the fuzzy circuits in closed regular fuzzy matroids are studied, and some necessary and sufficient conditions for some fuzzy independent set to be a fuzzy base; some fuzzy circuits from a fuzzy base, and some fuzzy bases from a fuzzy circuit are investigated.

根据传统拟阵的基交换定理，作者给出了闭正规模糊拟阵的基交换定理，得到了一系列结论，并在此基础上进一步研究了闭正规模糊拟阵的模糊基与模糊圈之间的关系，然后给出了闭正规模糊拟阵中某模糊独立集是模糊基、从一个模糊基得到一些模糊圈、以及从一个模糊圈得到一些模糊基的充要条件。

By using of the decomposition of equation and the Leray-Schauder fixed point theorem, four existence theorems are established.

通过使用方程的分解技巧和Leray-Schauder不动点定理建立了4个存在定理。

Then obtains the judgment theorem and existence theorem of the rational root of the integral coefficient polynomial.

进而得出整系数多项式的有理根的一个判定定理和根的存在定理。

Furthermore the existence theorem of periodic solutions was obtained by using Liapunov center theorem, and an example was presented to illustrate the results.

利用Liapunov中心定理，进一步得到了周期解的存在性定理，并举例说明结果的应用。

By changing differential equations into nonlinear integral equation,we study the existence of positive solution of a class of second order differential equations problems by the fixed point theorem of cone expansion and compression,and the fixed point index theorem,then we obtain two multiple positive .

通过将常微分方程转化为非线性积分方程，利用锥拉伸和锥压缩不动点定理和不动点指数讨论了一类二阶常微分方程的正解存在性问题，在一定条件下，得到了几个多重正解定理，同时证明了与此相关的主要引理

The method includes a "Theorem of General Expansion" for a complicated network and a "Theorem of Minimizing Expansion" for a logical expression.

本文提出了复杂网络的"大展开定理"和逻辑表式的"最小化展开定理"，并简要地叙述了本文作者已发表在"继电器"杂志(1978年1、2期)上的"逻辑——概率变换"和"单幂变换"等法则。

Through presentation and discussion of traditional wavelet construction with lifting scheme, the multiwavelet construction with lifting scheme is introduced. The extension of Vetterli-Herley theorem under multiwavelet condition is overall proved in detail. Based on equivalent scalar filters banks, a kind of multiwavelet construction with lifting scheme and corresponding theorem are proposed.

通过介绍基于提升格式构造传统小波的内容，引入基于提升格式构造多小波的研究，对Vetterli-Herley定理在多小波中扩展进行详细全面地证明，提出了一种基于等效标量滤波器组的提升格式构造多小波的实现框架和定理，并通过实例验证该方案的可行性。

In exterior differentiation, one studies tensors, exterior algebra, tangent bundle, tangent vector fields, one-parameter groups action on a manifold, Frobenius's theorem, tensors fields, exterior differential form, integration on manifolds, Stokes's theorem etc.

外微分部分主要涉及外代数、切丛，光滑切向量场，单参数变换群，光滑张量场，外微分形式，Frobenius定理，外微分形式的积分，Stokes定理及其应用等。

In this paper, the author estimated the module of quasiconformal mapping in curved fan, by the expression of local maximal dilatation function of quasiconformal mapping, Riemann′ s existence theorem and extremal length method, the author obtained a result of moduler deviation on curved fan.

本文对曲边扇形内的拟共形映照的模进行估计。借助拟共形映照的局部最大伸张函数来表达，利用黎曼存在定理和极值长度方法，得到关于曲边扇形的一个模偏差定理。

In this paper, we study the foundation of the constructing in CDT, and get the theorem of CDT factorization.

文章对范畴数据类型构造的基本原理作了深入探讨，并采用了一种新的方法实现了CDT同态的因子分解定理，得到了CDT构造中某些重要的性质和CDT因子分解定理。

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.

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