唯一性

Differential equations from different aspects, such as the proof of the principle of Picard's

常微分方程初值问题；初等解法；解的存在性；解的唯一性。

A novel three-dimensional localization method is proposed. Firstly, the tomato effective centric spots are obtained from the left multi-sensor fusion image and the right multi-sensor fusion image. Then, being looked as symmetries, image pairs other point to point correspondences are searched from two directions by pixel neighbor area correlation values by using the polar line restraint, the unique restraint and the disparity gradient restraint.

即从双目定位的几何模型出发，在双目匹配搜索中，提取多源传感融合图像的番茄凸壳有效形心点，采用极线约束、唯一性约束进行立体视觉图像的特征点及其邻域灰度相关的双向匹配，利用体视原理获取唯一被测目标的空间坐标。

Under some proper conditions we prove the existence of optimal controls in the class of Lipschitz functions, and obtain an optimality condition looks somehow like Pontryagin's maximum principle for a smooth optimal control function.

在适当的假设条件下，我们证明了状态方程解的存在唯一性和最优控制的存在性；并且根据最有控制函数的光滑性进一步对最优化存在的必要条件进行分析。

The sufficient condition of the existance and unigueness of solution is that the original main matrix is positive.

本文通过对这类数值计算问题的解的唯一性及存在性的讨论，表明了解存在且唯一的一个充分条件是原系数矩阵正定。

In chapter 2 we shall give the proof of existence and uniqueness of solution to thestudied problem.

第二章给出具有薄层的抛物型方程等值面边值问题解的存在性与唯一性。

The research of quadratic programming includes two aspects: theory and algorithm.

对于二次规划的研究可以分为理论和算法，前者主要研究问题解的存在性、唯一性、稳定性等性质，后者主要集中在构造有效算法及其理论分析，本文旨在算法方面的研究。

Based on structuring a quotient space,consisting of pairs of convex compact sets,this paper discusses the uniqueness of quasidifferential of quasidifferentiable function.

本文在构造凸紧集对商空间的基础上，讨论了拟可微函数拟微分的唯一性，指出拟微分的表示可以不唯一。

Though all kinds of the enlightenment are different types of incessant animadversions and subversions, the aim of them is to protect the exclusive individuating nature of human being: dignity and freedom, which is the axes of the enlightening representing the ravelment of logos and sensibility.

各种启蒙都是不断批判和颠覆的行为，其目标是捍卫人之无法被取代的唯一性即尊严和自由。

By the above four criteria, it is proved that there does not exist a line parameterization which could satisfy all the four criteria at the same time, and that the line parameterization, formulated as c= ax+y, a∈-a0 ,a0, where a0 is an arbitrary positive number, can not only satisfy the uniqueness, boundedness, and recursiveness criteria, but also achieve the best goodness to the uniformness one.

根据上述四条标准，证明了不存在同时满足这四条标准的直线参数化方式t和直线参数化方式c= ax+y， a∈-a0 ，a0不但满足唯一性、有界性和递归性标准，而且可以获得均匀性标准的最优近似。

In the second part, we consider a repairable maintenance system.

第二部分讨论了维修系统数学模型的非负动态解的存在唯一性。

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.

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