(The class invariant above was effectively a field-invariant specification!)
(上面的类不变条件实际上就是一个字段不变条件的规范！)
That is to say, assuming the class invariant was satisfied before the routine was called, the routine must ensure that class invariant is again going to be satisfied on exit.
也就是说，假设类不变式在该例程调用前被满足了，那么例程退出时必须再次确保类不变式得到满足。
The 'Invariant Sections' are certain Secondary Sections whose titles are designated, as being those of Invariant Sections, in the notice that says that the Document is released under this License.
“不变章节”是标题已被指定的某些次要章节，在一个声明了是以本授权加以发行的文件中，依此作为不变章节。
To improve the speed of matching with two dimension invariant moment of image, a fast target detecting algorithm based on invariant moment is put forward.
针对采用图像二维不变矩匹配时，计算量大、耗费时间长的缺点，提出了一种基于不变矩特征匹配的快速目标检测算法。
Experiments are performed to show that the proposed algorithm can locate corners accurately, is rotationally invariant, has scale invariant property and is insensitive to noise contamination.
实验结果证实了该算法角点定位的准确性、旋转不变性，具有一定的尺度不变性和抗噪声能力。
On uniformly continuous function space U(G), Equivalence of invariant mean and topological invariant mean is showed by two methods.
设G为局部紧群，在一致连续函数空间U（ G）上，用两种方法证明左不变平均和拓扑左不变的等价性。
In this paper, a stereo matching method for image uncalibrated camera parameter is proposed, which is based on geometric affine invariant and photometric invariant.
本文提出了一种基于几何仿射不变量和亮度不变量的缺失摄像机标定参数图像的立体匹配方法。
The main problems which invariant theory research are the set of generators of invariants, the defining relations of the generators of invariants, the structure of invariant ring, and so on.
不变理论研究的主要问题是不变环的生成元集合，生成元之间的定义关系及环结构等等。
This paper analyses the influence of scale factor on moment invariant features in discrete, constructs a new moment invariant with both scale, translation and rotating invariance.
分析了在离散状态下比例因子对不变矩特征的影响，构造了一种新的不变矩，使其具有平移、旋转和比例因子的不变性。
A new combined invariant moment was presented according to the characteristics of NMI's feature and affine invariant moment proposed by Jan Flusser with their application conditions.
针对商标图像结构越来越复杂的特点，提出了一种基于联合不变矩形状特征的商标图像检索方法。
Visual invariant theory is eighteen eighties at the end of the invariant theory is introduced to a research direction in the field of computer vision research.
视觉不变量理论是十九世纪八十年代末将不变量理论引入到计算机视觉研究领域中形成的一个研究方向。
A linear integral invariant, a universal integral invariant and an absolute integral invariant of second order of the system are obtained under the given condition.
给出系统存在积分不变量的条件，在此条件下导出系统的线性积分不变量、通用积分不变量和二阶绝对积分不变量。
The geometrical invariant space is constructed by using image normalization. A significant region is obtained from the normalized image by utilizing the invariant centroid theory.
方案利用归一化技术将原始图像映射到几何不变空间内，结合不变质心理论提取出归一化图像的重要区域；
Final, we proposed the detection algorithm of shallow ocean under water bottom topography in SAR images, amongst it adopted average invariant moments and redefined distance of invariant moments.
最后提出了SAR图像中浅海水下地形的检测算法，其中采用了平均不变矩并重新定义了不变矩的距离。
A technique to construct an affine invariant descriptor for remote-sensing image registration based on the scale invariant features transform (SIFT) in a kernel space is proposed.
针对遥感图像配准，基于尺度不变特征变换(SIFT)提出了一种在核空间中构建仿射不变描述子的方法。
In this paper, the approximate perturbation range of the state matrix of a linear time-invariant system is given, keeping the system controllability invariant.
本文给出了线性定常系统状态矩阵摄动时保持能控性不变的摄动区间的估计。
We propose a new 3D affine invariant in the paper, and a blind watermarking scheme for 3D models is built with this invariant.
本文提出一种新的三维仿射不变量，基于此不变量构造一种鲁棒的三维模型盲水印算法。
This method is effective on brightness invariant, movement invariant and rotation invariant in the matching of digital city image sequences.
该算法对数字城市中序列图像匹配具有光照强度、平移、旋转不变性。
Based on their method, we suggest a new filter design for space-invariant and rotation-invariant in a given Angle range pattern recognition system.
本文在他们的基础上提出一种实现空间平移不变和在一定的角度范围内转动不变的特征识别方法，给出相应的滤波器设计具体公式。
Geometry character and invariant character of ship target is analyzed and a united relative invariant moment is used to calculate the feature to meet real-time requirements.
分析了舰船目标的几何特征和不变特征，为满足实时性要求，使用一组统一的相对矩来计算特征量。
In this paper, a face recognition method is presented based on moment invariant, in which moment invariant of image matrix is used as feature and BP net as recognition method.
该文将图像矩阵的不变矩作为识别特征，建立了人脸识别模型。
Invariant moments are important measure in the pattern recognition. Invariant moments are independent of position, scale and orientation.
不变矩是模式识别中的一种重要方法，它具有平移不变性、比例不变性和旋转不变性等优点。
The variety of ear angle and occlusion are the difficulties of ear recognition. The Scale Invariant Feature Transform(SIFT) is invariant to image scaling, translation and rotation.
人耳的角度变化和遮挡是人耳识别中的难点问题，SIFT局部描述算子具有对图像尺度缩放、平移、旋转等的不变性，因此提出利用SIFT特征的人耳识别算法。
Compared with the classical Lie method, it adds an invariant surface condition in the formation. Consequently, it makes calculation easy and obtains more group-invariant solutions.
非古典对称方法在经典的李对称方法的基础上添加了初始方程的表面不变条件，从而既简化了计算，又有助于得到更多的对称及群不变解。
This thesis introduces the Petri net and the Petri net model of a data link layer protocol, and illustrates the properties of the net with S-invariant and T-invariant.
本文介绍了Petri网和数据链路层协议的一个Petri网模型，并且用S不变式和T不变式证明了该网的活性及其它性质。
This thesis introduces the Petri net and the Petri net model of a data link layer protocol, and illustrates the properties of the net with S-invariant and T-invariant.
本文介绍了Petri网和数据链路层协议的一个Petri网模型，并且用S不变式和T不变式证明了该网的活性及其它性质。
应用推荐