唯一性

We then can verify the associative law and the commutative law for multiplication, and the uniqueness of the result of addition indicates the uniqueness and the cancellation law for multiplication.

我们容易验证乘法满足结合律和交换律，并且由加法结果的唯一性得出乘法结果的唯一性和乘法消去律。

We give several sufficient conditions for existence and uniqueness of least deviation point and its application in uniqueness of best approximation.

本文在一般线性赋范空间内提出点集的最小偏离问题，给出了最小偏离点的存在性与唯一性的各种充分性判据及其对于最佳逼近元唯一性问题的应用。

The general form of solution for the non symmetric matrix A is given, the expression of optimal approximation solution is presented, and an algorithm for solving the problem is described. The total least squares problem with symmetric and bisymmetry constraints is discussed respectively. A sufficient condition for existence of solution is derived by use of the theory of matrix Ricaati equation. The general form of solution is given if the problem has a solution, and the expression of optimal approximation solution is presented. Some numerical examples are given.

对矩阵A是非对称情形，给出了解的一般表达式，证明了最佳逼近问题解的存在唯一性，并给出了其解的表达式，描述了求解问题的算法；讨论了带对称和双对称约束的总体最小二乘问题，利用Ricaati矩阵方程的理论得到了解存在的一个充分条件，分别对对称矩阵和双对称矩阵两种情形，给出了解的一般表达式，证明了最佳逼近问题解的存在唯一性，给出了其解的表达式，提出了求解这些问题的算法，并给出了数值例子。

Based on the condition,the structure uniqueness and content compatibleness are proved,and the conventional synthesis of Petri nets in this framework is also discussed.

给出一种较弱的唯一性条件，及基于该条件的结构唯一性和内容兼容性的证明，并讨论在此框架体系中融合传统Petri网综合方法。

Based on upper and lower solutions,the existence and uniqueness theorem are established.

以上下解为基础，建立了解的唯一性定理，在适当条件下，构造具体的上下解，得到了解的存在性和唯一性。

By employing the theorem on existence and uniqueness of solutions, the existence and uniqueness of path is proved. A method of solving ordinary differential equation systems is proposed to get the trajectory of SVM solutions.

利用微分方程组的存在唯一性定理，我们得到了路径的存在唯一性，并给出了一种常微分方程组的近似解法求解SVM解的路径。

For the first time, in [3] the authors discussed the inequalities of B-B and by using them the authors give a proof of the existence and uniqueness of the generalized solution for magnetostatic field problem with zero boundary value. By using the inequalities of B--H in, in[-5,6] the authors give a proof of the existence and uniqueness of the generalized solutions for 3-D magnetostatic field Neumann problem and 2-D magnetic field first boundary value initial problem.

前人已讨论了B—H间的几个基本不式，并由之证明了三维静磁场带零边值问题广义解的存在与唯一性，作者也曾利用给出的B—H间的不式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性。

Firstly, we prove the existence and the uniqueness of the hyperfocal subalgebra when the coefficient field is split for a defect pointed group; then, considering the structural pattern of source algebras over arbitrary fields, by means of G-acted groups, we reduce the existence and the uniqueness of the hyperfocal subalgebra over an arbitrary field to the case that the coefficient field is split for a defect pointed group and the inertia group stablizes a hyperfocal subalgebra.

首先我们证明了如果系数域对亏点群是分裂的，则源代数的超聚焦子代数存在且共轭唯一；然后通过考虑任意域上源代数的结构模式，以G-作用群为手段，将超聚焦子代数的存在性和唯一性归结为系数域对亏点群是分裂的情况下惯性群稳定的超聚焦子代数的存在性和唯一性。

In the present work,the existence and uniqueness results aboutperiodic boundary value problems for different kinds of the nonlin-ear periodically perturbed nonconservative systems are establishedthrough the discretization technique,under suitable assumptions,by using global inverse function theorem and result about the ex-istence and uniqueness of periodic solution for nonhomogeneouslyfirst order linear periodic boundary value problem.

本文的第一章概述了在讨论原问题解的存在唯一性过程中以及构造和分析相关的数值求解方法时将要用到的全局反函数定理、有关矩阵特征值的若干重要引理、线性常微分方程非齐次周期问题解的存在唯一性定理和单参数影射方法及有关结论，并简单回顾了已有的证明非线性微分方程周期边值问题解的存在唯一性的方法，其中包括谱理论、最大最小化形式方法、摄动技术和全局反函数理论方法，最后，介绍了两类数值求解非线性微分方程问题的方法。

In chapter one,the backgrounds and current situation of operator theory in Banach space are introduced and the preliminaries of Banach space are given.In chapter two,we study the existence and uniqueness of fixed point for decreasing strict-set-contraction operator in product space.Under the weak continuous condition,we obtain the existence and uniqueness of fixed point for decreasing operator and we give an application of these results; In chapter three,we get several positive fixed point theorems of decreasing operator and the existence and uniqueness theorems of positive fixed point for operator C=A+B,C=D-A in real Banach space where the order is decided by a normal cone; In chapter four,we obtained some existence and uniqueness theorems of fixed point for some mixed monotone operators in semi-ordered Banach space.

在第一章中，主要介绍了半序Banach空间非线性算子的研究历史背景、现状以及半序Banach空间中的预备知识；在第二章中，我们利用半序方法研究了Banach乘积空间中严格集压缩减算子不动点存在唯一性问题，在弱连续的条件下，得到了不动点的存在唯一性和迭代收敛性，同时，给出了它们的一些应用；在第三章中，我们建立了拟弱连续减算子的正不动点定理，并证明了算子C=A+B，C=D-A的正不动点存在唯一性定理；在第四章中，我们得到了半序Banach空间中混合单调算子的不动点存在性及唯一性定理。

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.

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