定理的

First, a switching function is designed to guarantee that the movement of the system is asymptotically stable in the switching manifold. And the equation of the switching surface is given based on pole assignment theorem; Then a discrete robust adaptive quasi-sliding-mode tracking controller is presented by constructing the two adaptive gains, and the globally asymptotically stability of the system is proved based on the Lyapunov-Razumikhin stability theorem.

首先，利用广义系统的概念给出了系数矩阵为能控标准型的滑模面方程，并利用极点配置定理给出了能使系统稳定的滑模面；其次，构造了含有自适应律的离散趋近律，设计了能够使系统达到同步的变结构控制器，并利用Lyapunov稳定性定理，证明了系统的趋近运动的稳定性。

By using the concept of the stop-loss order, we have discussed the total compensations S of random risks while individual risk model approximates collective risk model and generalized some known results.

从停止损失序的角度，探讨了用集体风险模型来近似个体风险模型时，随机风险理赔总额S的一般情况，我们推广现有文献的关于单因模型的结果，得到了各模型间S的序的关系(定理1)，并给出了各模型S之间的误差公式(定理3)。

In view of the fuzzy characteristics of real world, fuzzy set theory and statistics with vague data are combined to generalize key theorem and bounds on rate of uniform convergence of learning processes as the base of statistical learning theory in this thesis.

摘要考虑到现实世界的模糊性，本文结合模糊集理论和模糊统计学的知识，对作为统计学习理论基础的关键定理和学习过程一致收敛速度的界进行推广，给出了模糊学习理论的关键定理和一致收敛速度的界。

Main points of this paper are as follows:(1) to explain emphatically and to prove the Jukes-Cantor Model, Kimura Model and the relationships of them;(2) to construct and to prove, using EM algorithm, the theorems of estimating best branches of DNA sequences having censored data for Jukes-Cantor Model under the conditions of rooted tree and unrooted tree respectively;(3) to construct and to prove, using EM algorithm, another three theorems of estimating best parameters of DNA sequences having censored data for Kimura Model under the conditions of rooted tree and unrooted tree.

本论文的重点在于解释和证明Jukes-Cantor模型、Kimura模型及两模型之间的关系；运用EM算法构造并证明Jukes-Cantor模型下含缺损数据的DNA序列构建有根树的最佳分枝长度估计定理；运用EM算法构造并证明Kimura模型下含缺损数据的DNA序列构建有根树的最佳参数估计定理。

Using the new comparative method, the variation of constants formula, M-matrix theory, integral differential inequality, new theoretical results on global exponential stability of neural networks with bounded time-varying delays and Lipschitz continuous activation functions have been obtained.

利用新的比较方法的思想，改进了一维线性和非线性纯时滞微分系统的3/2稳定性定理，推广了Yorke条件到具两个时滞项的情形，将Yorke等人的3/2稳定性定理推广到具两个时滞项的线性和非线性纯时滞微分系统，进一步还推广到N维纯时滞微分系统，为纯时滞神经网络的研究打下理论基础。

Apply those properties to find the self-dual code of length 66, we got new extremal self-dual [66,33,12] code with β=32 for w1 and at least 50 inequivalent extremal self-dual [66,33,12] codes with .

我们推广Harada[4]的一个建构自对偶码的定理，Harada[4]的方法在[2n，n]， n为偶数的条件下方可成立，而我们推广出的定理可以适用於n为奇数的情况。

This chapter proposes three conceptions, i.e., Kernelled quasidiferential, star-kernel and star-diferential, and establishes their operational properties. A sufficient theorem and a sufficent and necessity theorem for a quasi-kernel being a kernelled quasidiferential are proven. Both the existence of star-kernel for a quasidiferentiable function and the existence of star-differential for a direnction-ally diferentiable function are established.

在这一章里，首先给出核拟微分，星核与星微分的定义及其它们的运算性质；然后证明了拟核微分的一个充分条件定理及一个充要条件定理；最后讨(来源：A27BC论文网www.abclunwen.com)论拟可微函数星核的存在性及方向可微函数星微分的存在性以及Penot-微分与上下导数之间的关系。

For geometrical propositions are one and all apodeictic, that is, are bound up with the consciousness of their necessity; for instance, that space has only three dimensions.

因为几何学的定理全都是无可置疑的，亦即与它们的必然性的意识结合在一起的，例如空间只有三种量度；但这一类定理不可能是经验性的命题或经验判断，也不是从这些经验判断中推出来的。

In the second chapter, the stabilities of periodic regular gaits for six-legged robots walking longitudinally and laterally were systematically studied respectively, employing a hexpod's geometric model with outward extension of middle legs. Major progress and achievements reached are: a Both the necessary and the sufficient conditions for static walking of hexapods were established theoretically. b A generalized optimization method of gait stability was investigated. c For all feasible duty factor, stability-optimal gaits were obtained, with the expressions being of wide adaptation.

第二章系统分析研究了轴对称六足步行机器人在&中腿行程外置模型&下沿两个运动主方向运动时周期规则步态的稳定性及步态规划问题，主要取得以下三方面新的进展：（1）从理论上建立了六足步行机静态稳定的必要性定理和充分性定理；（2）探索了步态稳定性计算机择优的一般方法；（3）对于所有可能的有荷因数取值，从理论上证明静态稳定性最优步态的存在，并得到具有相当普遍意义的统一表达式。

The paper de-duced the kinematically admissible plastic strain rate cycles of scattered structuresproceeding from Betti′s reciprocal theorem and the principle of virtual work.A fi-nite element formula of upper shakedown analysis of shells is given.Computerprograms are coded to resolve the problems of lower shakedown limit andoptimum shakedown design of plate structures and the lower and uppershakedown limits of combined rotation shells with initial geometric imperfections.The computing results show the correctness and effectiveness of the methods pro-posed by this paper.

本文还从Betti互换定理和虚功原理出发推导出离散结构中可能的塑性应变率循环，将其应用于安定上限定理，首次给出了壳体安定上限分析的有限元列式；编制了板的安定下限分析和板的安定优化设计程序及有初始几何缺陷的组合旋转壳体安定上下限分析的样条有限元程序，计算结果表明本文提出的方法正确、可行。

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.

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