定理的

At last the results have been applied to the tracking problem of a class of mechanical systems with discontinuous friction term. Chapter 3 mainly deals with uniformly ultimate boundedness of a class of nonautonomous systems with discontinuous right-hand sides and corresponding perturbed systems (in the sense of Filippov solutions). The definitions of globally uniformly strongly ultimate boundedness and globally uniformly weakly ultimate boundedness of discontinuous systems and the definition of globally equiuniformly strongly ultimate boundedness of corresponding perturbed systems are presented firstly.

首次给出不连续系统全局强一致最终有界、全局弱一致最终有界的定义，以及针对于扰动系统的全局强等度一致最终有界性的定义，并基于非光滑的Lyapunov函数得到了不连续系统全局一致强、弱最终有界的Lyapunov定理和扰动系统全局强等度一致最终有界性的Lyapunov定理。

Based on the fundamental theory of impulsive differential systems, employing Green formula, Gauss divergence theorem, Jensen inequality and Gronwall-Bellman inequality with impulse, we discuss the oscillation of impulsive partial differential systems by adopting reduction to absurdity and the stability in via of comparison theorem, respectively. Especially, we take an in-depth study on the oscillation of neutral impulsive parabolic systems and the stability of a class of nonlinear impulsive partial differential equations and obtain some useful conclusions.

本学位论文以脉冲微分系统基本理论为基础，利用反证法的分析方法和比较定理，结合Green公式、Gauss散度定理、Jensen不等式、含脉冲的Gronwall-Bellman不等式以及相关数学工具研究了脉冲偏微分系统的振动理论和稳定性理论，特别对中立型脉冲时滞抛物系统的振动性和一类非线性脉冲偏微分系统的稳定性作了较为深入的研究，给出了一些有用的结论。

In chapter 2, we first give a generalized type of the Prigons fixed point theorem and a straightforward proof of it. At the same time, we give a positive answer to an open question about convergency of iterative sequence for generalized contraction which is bring forwarded by Frigon in [3]. Secondly, by using the introduced function φ, we establish some fixed point theorems for the set-valued φ-contraction mappings in gauge spaces. These results unify and generalize the corresponding results of Cain and Nashed [1], Figon [3], Espinola and Kirk[4], Tarafder [5] et al.

第二章，首先给出Frigon不动点定理[3]的推广及其简洁证明，同时对Frigon在文[3]中提出的关于广义压缩迭代序列收敛性的公开问题给出肯定的回答；然后，通过引入φ函数，在度规空间上建立集值φ-压缩映射的不动点定理，统一并推广了Cain和Nashed[1]，Figon[3]，Espinola和Kirk[4]，Tarafder[5]等的相应结果。

All quadrilateral mesh automatic generation for regular quadric surfaces based on Auto CAD AME;2. Represent Quadric Surfaces Using NURBS and Calculate the Control Vertecs and Weights;3. Through study,the property is found out that planes cutting edgewise quadric curve and quadric intersections from the quadric surfaces become the harmonic division.

文中采用了射影几何的方法，证明了画法几何中关于两个二次曲面相交的著名的复切定理和蒙日定理，通过研究得出了周切线平面和交线平面成调和分割的性质，同时还得出了处于复切的二次曲面必存在相公切的二次曲面的性

We also introduce and study a new system generalized nonlinear variational inclusions for fuzzy mappings in Hilbert space.

我们利用极大单调映象的预解算子技巧，建立了这类模糊映象的变分包含组与非线性集值映象的不动点问题之间的等价关系，再利用Nadler的不动点定理给出了这类变分包含组的解的存在性定理。

There is a relatively complete style of homogeneous function about the boundary condition in the problem of sure resolution of unhomogeneous boundary condition,which is based on the summarizing of mass former experiences and is proved in this article.

通过对非齐次边界条件的定解问题的讨论，引出了本文的论题，对非齐次边界条件定解问题的边界条件齐次化函数提出了一种比较一般和标准的形式，并提出了一个定理。对该定理进行了证明，证明了它的正确性。

In this chapter, firstly, the definition of rough semigroups is given afresh. Then based on rough groups, rough subgroups, rough cosets, rough invariant subgroups, some properties of rough subgroups and rough invariant subgroups and the concept of rough quotient groups are introduced. Finally, based on some concepts of homomorphism and isomorphism of rough groups, basic homomorphism theorem and isomorphism theorem of rough groups are put forward and proved.

在这一章中，首先重新给出了粗糙半群的定义，其次在粗糙群、粗糙子群、粗糙陪集、粗糙不变子群的基础上，给出了粗糙子群的若干性质、粗糙不变子群的三个重要性质和粗糙商群的定义，最后在粗糙群同态与同构的基础上，给出了粗糙群同态基本定理与同构定理。

In the first chapter (1.1.1)-(1.1.4) is studied by means of fixed point index theorem, not only the existence theorem is obtained, but the multiplicity is also obtained.

本文第一章利用这一理论研究方程(1.1.1)-(1.1.4)的正周期解问题，与已有研究成果相比，本章不仅获得了该类方程的正周期解的存在性定理又获得了正周期解的多解性定理，并将所取得的结论应用于一些具有实际背景的方程。

This article compared the integrand of infinite integral and unbounded function integral by comparing the infinitesimal with the infinity, obtained the corresponding equivalence theorem of criterion of convergence of abnormal integral, and gave out the proof.

将无穷积分及无界函数积分的被积函数运用无穷小和无穷大比较的方法进行比较，得到了相应的反常积分敛散性极限审敛法的等价定理，并给予证明，从而可运用等价定理灵活的判断反常积分的敛散性。

Firstly, the existence and uniqueness of the solution for neutral stochastic functional differential equations with infinite delay under the uniformly Lipschitz condition, linear grown condition and contractive condition can be directly derived; And the moment estimate of the solution and the estimate for error between the approximate solution and the accurate solution can be both given; If the uniformly Lipschitz condition is replaced by the local Lipschitz condition, the existence and uniqueness theorem can be gained; Meanwhile, the existence and uniqueness of the global solution in the interval 0,+∞ can also be obtained; Secondly, L~p-exponential estimate of the solution for neutral stochastic functional differential equations with infinite delay can be studied; At length, the theorem of the local solution about neutral stochastic functional differential equations with infinite delay only under the local Lipschitz condition and the contractive condition can be established.

首先，在一致Lipschitz条件，线性增长条件和压缩性条件下，直接得到了具无限时滞中立型随机泛函微分方程解的存在惟一性，并给出了解的矩估计，近似解与精确解之间的误差估计；将一致Lipschitz条件替换为局部Lipschitz条件，也得到了具无限时滞中立型随机泛函微分方程解的存在惟—性，同时，也给出了在整个区间0，+∞上具无限时滞中立型随机泛函微分方程解的存在惟一性定理；其次，也讨论了具无限时滞中立型随机泛函微分方程解的L~p指数估计；最后，在局部Lipschitz条件和压缩性条件下，建立了具无限时滞中立型随机泛函微分方程局部解的存在惟一性定理。

The labia have now been sutured together almost completely.The drains and the Foley catheter come out at the top.

此刻阴唇已经几乎完全的缝在一起了，排除多余淤血体液的管子和Foley导管从顶端冒出来。

To get the business done, I suggest we split the difference in price.

为了做成这笔生意，我建议我们在价格上大家各让一半。