等价的

In this paper,the nonstandard analysis theory is used for inducing a metric space by a Loeb measure space.On this basis,a metric space is induced by a internal finitely additive measure space.The close relationship between the metric space induced by a Loeb measure space and the metric space induced by a internal finitely additive measure space is illustrated with the concepts and some properties of Loeb measure.Then,some properties of the metric space that induced by a internal finitely additive measure space are studied.In the first two chapters,we first Succinctly present the origin,development and research states of the nonstandard analysis.Then,the theoretical foundation of nonstandard analysis as well as the axiomatic nonstandard analysis are given.Finally, the nonstandard model and the saturation model are discussed,as well as some natures of the nonstandard model and several equivalent conditions of saturation model are given.

本文利用非标准分析理论，在由Loeb测度空间导出度量空间的基础上，由内有限可加测度空间导出了度量空间，并借助Loeb测度的概念和若干性质证明了由标准的测度空间导出的度量空问和由内有限可加测度这个非标准的测度空间导出的度量空间有着密切的关系，在此关系的基础上还研究了由有限可加测度这个非标准的测度空间导出的度量空间的性质在第一、第二章里，我们首先简单介绍了非标准分析的产生、发展及研究现状，接着给出了非标准分析的理论基础以及公理化的非标准分析，进而讨论了非标准模型和饱和模型，并给出了非标准模型的一些性质和饱和模型的若干等价条件。

Firstly, it's proved that the base of free monoid is unique, and that the equation of a base, a generating set and a irreducible generating set in the semigroup with length; Secondly, it's given the relation of a primitive word and a word of indecomposable--Let and is indecomposable, then is primitive ;And by using the length's method and chart,some properties of primitive word have been proved and the solutions of the equation , are discussed; Lastly, on the base of some proposition in Free monoids and Languages ,the proofs of some properties are improved by instruction. For example: Let be a primitive word over X, where .Then is a code. And let then if and only if {} is a code.

首先，讨论了含幺半群中基的基本性质及基与最小生成元集的联系，并给出了含幺半群中基、生成元集、不可约生成元集三者之间的关系；证明了在有唯一长度的半群S中，不可约生成元集、基、最小生成元集三者之间的等价关系；其次，讨论了字的组合与分解性，得出了字的本原性与不可分解性之间的关系---若为不可分解的，则一定是本原的，反之，不一定真；并运用图示法证明了字的可补性理论，讨论了方程，的可解性；在此基础上，用归纳法进一步证明了本原字与码的有关命题--若是X上的一个本原字，其中，则是一个码；若则当且仅当{}是一个码。

Further, with the help of Riccati equations, an infinite number of conservation laws for the solton hierarchy are deduced. For the sake of simplicity, taking the general TD hierarchy as an illustrative example, we prove that its 2×2 Lenard pair of operators forms a Hamiltonian pair. Thus the isospectral evolution TD hierarchy is the general Hamiltonian system and possesses the Bi-Hamiltonian structures and Multi-Hamiltonian structures. By using the method of derivation of functional under some constraint condition, a complete one-to-one correspondence between the Hamiltonian functions of the hierarchy and its conservation density functions can be built. These results can also be applied to the isospectral evolution soliton hierarchy of this paper. Finally, there's a gauge transformation between the spectral problem of this paper and the AKNS system. Moreover, the potentials in these spectral problems satisfy the general Miura transformation, the corresponding relationship between the two soliton hierarchies is also given.

进一步本文还通过特征函数的组合关系所满足的Riccati方程，得到了该等谱方程族的无穷多个守恒律；为简便起见，本文以广义TD族为例，由它的2×2 Lenard算子对的性质证明了此算子对为Hamilton算子对，这说明广义TD族是广义Hamilton系统且具有Bi-Hamilton结构和Multi-Hamilton结构；进而利用它的依赖于谱参数的一般守恒密度的积分在约束条件下求泛函导数的方法，得到了广义TD族的Hamilton函数与守恒密度之间的对应关系，这些性质对于由本文提出的2×2谱问题所导出的等谱孤子族仍成立；另外此谱问题与AKNS系统存在着规范变换，位势之间有广义Miura变换，而孤子方程之间也满足一定的等价关系。

In order to reasonably depict four basic problems with friction, one Coulomb friction new form in first Kirchhoff stress is proposed to deal with finite deformation problems, other Coulomb friction form in incremental mode to elastoplastic flow theory; Hilbert function spaces concerning elastoplastical problems with friction are established, so it makes all operations and calculations in the treatise standardized within the scope of reasonably topologic structure; In view of functional extremum, the equivalence between generalized variational inequalities principles in elastoplasticity with friction and corresponding basic problems are testified by inducing Lagrangian multipliers, so it provides a rationally theoretical basis for numerical methods in elastoplasticity with friction; From the viewpoint of variational inequality, the theory of generalized variational inequalities in elasticity and elastoplasticity with frictional constraint is studied, and the uniqueness and existence of the solution of FEM is proofed under the proposed conditions of stress compatibility, and them FEM approximation and a discrete solution are discussed; Based on the principles of generalized variational inequalities in elastoplasticity with friction, direct generalized variational inequalities methods is pretended, which is a natural generalization and development of direct variational methods; Using generalized variational inequalities methods, some examples in metal forming including plane deformation, upset and extrusion are analyzed and the results prove that all the theories and methods in the paper are right, feasible, accurate and advanced.

主要内容有：为了合理地描述金属塑性成形中摩擦约束弹性、弹塑性基本问题，提出和研究了有限变形下以Kirchhoff第一应力表示的Coulomb摩擦定律形式和弹塑性流动理论下以增量形式表示的Coulomb摩擦定律表示形式；系统建立了摩擦约束弹塑性问题的Hilbert函数空间，使本文规范在一个具有合理的代数拓扑结构内进行一切操作和运算；利用Lagrange乘子，从泛函极值的角度系统地阐述和论证了一系列摩擦约束弹性、弹塑性广义变分不等原理与相应的实际问题之间的等价性，它为处理摩擦约束的弹塑性力学数值方法提供了合理的理论基础；从变分不等式的角度出发，阐述了对应于摩擦约束弹性、弹塑性问题的广义变分不等式理论，首次提出了在应力相容性条件下，它的有限元解具有存在唯一性，进而讨论了其有限元近似及离散解法；基于摩擦约束弹塑性广义变分不等式原理，首次提出了直接广义变分不等式方法，这一方法是直接变分法的合理推广和发展；利用直接广义变分不等式方法对金属压力加工中的平面变形问题、镦粗、挤压等塑性成形问题进行了分析计算，验证了该理论和数值算法的正确性、实用性、精确性和优越性。

Firstly,the classification of probability rule is analyzed on the base of classic rough set concepts and extended to the equal relation of set in the indefinite system,namely,the upper and lower approximation space of research set is expressed in the form of conditional probability;then,according to the measure of probability rule,the attributes reduction is carried out and the classification rule is extracted by using the related parameters of condition attributes' impend precision from the angle of conditional probability;Finally,the related simulation test result is given and the result shows the classification rules with probability measures is more rational.

首先在经典粗糙集概念的基础上分析概率规则的分类，并将其推广到不确定系统的集合等价关系中，即用条件概率的形式表示研究集合的上下近似空间；然后根据概率规则的测度从条件概率的角度利用条件属性的逼近精度的相关参数进行属性集的约简进而提取分类规则；最后给出了相关的仿真实验结果，结果表明带有概率测度的分类规则更合理。

This thesis mainly discuss following issues, Theory and simple expressions for array covariance matrixes are derived when angular spread functions are symmetric distribution functions, i. e. the Uniform distribution, the Gauss distribution, the Laplace distribution and the Von Mises distribution, and a non-symmetric distribution function, i. e. the Gamma distribution. And the relation between the effective signal subspace and the array number, or and the nominal angle of the distributed source, the angular spread, the distributed functions, and the Signal-to-Noise Ratio is gained. The dimension of the effective signal subspace increases with increment of the array number. And it is more obvious to the non-symmetric distribution. The dimension of the effective signal subspace decreases with increment of the nominal angle. And the distributed source is equal to a point source as θ=π/2. The dimension of the effective signal subspace increases with increment of the angular spread.

本论文针对阵列信号处理中广泛存在的分布源现象，主要讨论了以下问题：推导了角度分布函数分别为对称的均匀分布、高斯分布、拉普拉斯分布、Von Mises分布和非对称的伽马分布时，分布源阵列接收信号协方差阵的严格模型和简化模型，得到了单个分布源的有效信号子空间随阵元数、分布源中心角、分布角、角度分布函数和信噪比的变化规律：随着阵元数的增加，对所有角度分布函数的有效信号子空间维数也随着增加，且非对称分布函数的有效信号子空间充满整个空间的可能性更大；随着分布源中心角逐步增加，有效信号子空间维数逐步减小，当θ=π/2时，等价于点源情形；随着分布源分布角逐渐加大，有效信号子空间维数也随之增加，直到有效信号子空间充满整个空间；随着信噪比的增加，有效信号子空间维数有一定程度的减少。

In this paper, we mainly discuss some preliminary studies about statistical diagnostics for one kind of restricted multivariate linear regression model. At first, we give the parameters estimation of this model. After that, the problem of outlier test is considered by giving the equivalence relations of estimators and statistics in multivariate case deletion model and mean shift outlier model under the restricted condition.

本文主要讨论的是一种带线性约束的多元线性回归模型（这里的多元是指多个因变量对多个自变量的情形），重点在与统计诊断方面的一些初步研究，首先给出带有线性约束的多元线性回归模型的参数估计，其次讨论了该模型的异常点检验问题，主要介绍了常见的数据删除模型及均值漂移模型，并证明了此两种模型统计量之间的等价性。

It is shown that two-component Wadati-Konno-Ichikawa equation, i.e. a generalization of the wellknown WKI equation is obtained from the motion of space curves in Euclidean geometry, and it is exactly a system for the graph of the curves when the curve motion is governed by the two-component modified Korteweg-de Vries flow. At the same time, a n-component generalization to the WKI equation is obtained. Also, starting from the motion of curves, mKdV and its symmetry recursion operator is exhibited explicitly; two- and n-component mKdV systems are obtained. It is shown that WKI systems are gauge equivalent to mKdV systems. The two-component WKI equation admits an infinity number of conservation laws and a recursion formula for the conserved densities is given by considering an eigenvalue problem together with introducing an appropriate transformation.

在二维和三维欧氏空间上，我们从空间曲线运动出发，推导出了mKdV方程以及它的用以生成高阶对称的递归算子；推导出了多元mKdV方程以及二元和多元WKI方程，并证明了WKI系统和mKdV系统的规范等价性；尔后，通过考虑特征值问题，并引入一个恰当变换，给出了二元WKI方程的用以计算无穷多守恒密度的递归公式，从而证明了二元WKI方程的守恒可积性；系统地分析了两种mKdV方程的Painleve性质，并分别给出了两种不同形式的二元和n元mKdV方程的共振点出现的规律。

Containing the Visible Region positioning and the Sequence Region positioning raised in this paper as well as the Orientation Region positioning raised by Levitt [17] , the qualitative positioning method segments the environment of robot into different equivalent classes , and describes the positions without coordinates but just using landmarks and landmark relations, based on the extracted qualitative relations from images such as the visibility of landmarks, the sequence of landmarks and the position relative to the landmark pair boundary .

定性定位包括本文首次提出的可见区域定位和顺序区域定位，以及Levitt[17]提出的有向区域定位，利用通过图像获取的路标的定性关系如路标的可见性，路标排列的顺序和相对于路标对边界的位置等，将机器人的运动环境划分为若干个等价类；其定性性体现在不必使用坐标就可描述机器人的位置，这种定位方法只利用视觉反馈中的定性信息。

In this paper, we first give an example that the bilateral weighted shift operator in c_0space is hypercyclic operator and first solve the existence problem of hypercyclic operator in c_0or c_0(Z space . And then we investigate the property of weighted shift operator in c_0 space and an important property of the hypercyclic vector of weighted shift operator in c_0 space and c_0 space. At last we give the concept of weak hypercyclic operator and weak hypercyclic vector , and give the equivalence between the weak hypercyclicity and the hypercyclicity in l~1 space.

本文首先给出了c_0空间上的一个双边左加权移位算子是超循环算子的一个例子，首次解决了c_0 或c_0(Z 空间中超循环算子的存在性问题；接下来分别研究了c_0和c_0空间上的加权移位算子的性质以及c_0和c_0空间上的加权移位算子的超循环向量的一个重要性质，最后提出了弱超循环算子和弱超循环向量的概念，并且给出了I~1空间中弱超循环性与超循环性的等价性。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失