唯一性条件

The control inputs guarantee the asympototical stability, and the global existence and uniqueness of solutions for the initial value problems of systems under some consistency conditions also.

第二节，我们将变结构控制的思想应用到一类带变秩系数阵的线性时变广义系统，以确保系统运动过程中出现的新的相容性条件的满足，从而确保系统初值问题解的整体存在唯一性。

By using the cone theory, t he existence and uniqueness of solution of nonlinear Fredholm type integral equations on an infinite interval can be obtained without the assumption of continuity and compactness condition.

利用锥理论，在不需要非线性项满足连续性和紧性条件下，获得无穷区间上Fredholm型积分方程解的存在唯一性，并给出逼近解迭序列的误差估计。

In first part,The Theory and Simulation on Reconstruction Algorithms,webuild a well-defined mathematical model for OCT,on which we prove more than 10theorems,analyze and answer a series of significant questions about OCTreconstruction,from existence, uniqueness,continuousness,stability to sampling,resolution,ill-posedness and accuracy.

在上篇重建算法的理论与实践中，我们将OCT抽象为基于n维Radon变换的数学模型，从而分析、讨论、回答了从存在性、唯一性、连续性、稳定件到采样条件、分辨能力以及病态特件和重建精度等一系列在理论和了OCT的重建理论体系。

The system parameters are determined by optimizing an output-error cost function. To deal with the non-uniqueness of the fully parameterized state-space system, a projected gradient search algorithm is presented by restricting the update of the parameters to the tangent space to the manifold of observationally equivalent state-space systems. The sufficient condition to employ L-M algorithm for optimizing parameters is also introduced. The proposed hierarchical optimization identificationmethod includes two steps: First, the parameter search direction is determined by the proposed adaptive L-M projected gradient approach; Second, the optimum step size is computed according to a line search method.

通过极小化输出误差目标函数获得了系统参数估计；提出了正交梯度搜索方法用于解决系统参数的非唯一性问题，正交梯度搜索的本质是在输入-输出等价类相切平面的正交垂空间更新系统参数；给出了用 L-M 算法进行参数优化的充分条件；提出的系统参数递阶优化辨识方法包括两步：首先用给出的自适应 L-M 算子正交梯度方法确定参数优化方向；其次由一维搜索方法计算最佳步长。

Under suit upper and lower solution, iteration sequences were constructed, and existence and unique of solutions of linear boundary value problems on second order nonlinear Hammerstein type integro-differential-difference equation were obtained by means of applying the Arzela-Ascoli theorem Lebesque control convergence theorem and disproof method.

在上下解存在的条件下，构造迭代序列，由Arzea-Ascoli定理和Lebesque控制收敛定理得到了二阶非线性Hammerstein型积分微分差分方程的线性边值问题的解的存在性。再利用反证法获得了解的唯一性。

To be specific,its generalized characteristic polynomial has positive double roots,which we proved further has only a double,root by using the affine transformation and inverse affine transformation.

为了更好地进行干涉判断，根据椭圆-椭圆外切的代数条件——广义特征多项式具有正的重根，以及进一步证明出的该正重根的唯一性结论，利用仿射变换和逆变换方法，推导出了椭圆-椭圆的不适合边界解析方程。

The model in this paper takes the form as belowThe main contents and results in this paper are as follows:In section 1, we state our main analytical results on equilibria of the above system. First, several sufficient conditions for coexistence of the steady-state are given by the standard fixed-point index theory in cone. Second, the global structure of the coexistence solutions and their local stability are established by using bifurcation theory. Third, the multiplicity, uniqueness and stability of positive steady-state solutions to this system are derived by means of perturbation theory of eigenvalues, standard regularity theory, Sobolev embedding theorem and fixed-point index theory.

本文主要有两章内容：第一章研究了该模型正平衡解的性质，可分为三部分：第一部分运用极值原理、上下解方法和锥映射不动点指标理论得到正平衡解存在的充分条件；第二部分利用分歧理论给出了平衡态系统正分歧解的结构，并讨论了局部分歧解的稳定性；第三部分利用特征值扰动理论、标准椭圆正则化理论、Sobolev嵌入定理及指标理论讨论了正平衡解的多重性、唯一性及稳定性，并讨论了参数对解的影响。

Undoubtedly,it is of great importance to establish the existence and uniqueness under weaker conditions.

如果能在更弱的条件下建立随机方程的解的存在唯一性，无疑具有重大的理论意义。

Existence, uniqueness and continuous dependence of C〓 solutions for an iterative functional equation related to invariant curves of functional differential equations with piecewise constant arguments are given under weaker conditions than that known results of C〓 solutions.

本章首先讨论了与逐段常时滞泛函微分方程不变曲线有关的一类迭代函数方程的连续解的存在唯一性和连续依赖性，不但弱化了已有结果的C〓光滑性的条件，还讨论了连续解的对称性，并根据对称性将一些结果推进到高维。

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乘子，从泛函极值的角度系统地阐述和论证了一系列摩擦约束弹性、弹塑性广义变分不等原理与相应的实际问题之间的等价性，它为处理摩擦约束的弹塑性力学数值方法提供了合理的理论基础；从变分不等式的角度出发，阐述了对应于摩擦约束弹性、弹塑性问题的广义变分不等式理论，首次提出了在应力相容性条件下，它的有限元解具有存在唯一性，进而讨论了其有限元近似及离散解法；基于摩擦约束弹塑性广义变分不等式原理，首次提出了直接广义变分不等式方法，这一方法是直接变分法的合理推广和发展；利用直接广义变分不等式方法对金属压力加工中的平面变形问题、镦粗、挤压等塑性成形问题进行了分析计算，验证了该理论和数值算法的正确性、实用性、精确性和优越性。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。