合同包括不变量，先决条件和后置条件。
The contract includes invariants, preconditions, and post conditions.
对象不变量则为每个实例指定条件。
Object Invariants are conditions specified for each instances of a class.
确保满足需要的不变量是组件封装的一个方面。
Ensuring that the requisite invariants are satisfied is a necessary aspect of component encapsulation.
对状态的预测使用状态不变量；
添加更加强大的不变量的另一种方法是从属类型。
Yet another approach to adding much more powerful invariants is that of dependent types.
在斯托还有很长的唱和，显然不变量。
In the Stowe there is a long responsory, apparently not variable.
类型系统自身并没有表现得能够捕获所有计划的不变量。
The type system by itself is not expressive enough to capture all of the intended invariants.
不变量：在执行了外部组件后维持不变的条件。
Invariants: Conditions that must remain unchanged after the execution of the external component.
还有一种选择是，检查不变量以确保类型强制转换将会成功。
Alternatively, examine the invariants to ensure that the casts will succeed.
这种表示是客体平移、旋转和相似变化的不变量。
This representation is invariant to the translation, rotation, and scaling change of the object.
基于这些旋转不变量给出了一种形状相似性度量。
A shape similarity measure is defined on the extracted rotation invariants.
第三部分是一个不变量，第一、二部分可以变化无穷。
The third part was an unvarying quantity, but the first and second parts could be varied an infinite number of times.
顺便注意一下断定每个if语句正文中希望保留的不变量的注释。
By the way, notice the comments asserting what invariant we expect to hold in the body of each if statement.
其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。
Other features include class invariants, non-nullable reference types, and enhanced static analysis capabilities.
探讨了矩阵的不变量、准形及其在矩阵理论中的若干应用。
This paper probes into invariant and normal form of matrix and its application to matrix theory.
单元测试工具使我们能够检查重整情况下继续保持的程序的关键不变量。
Unit testing tools allow us to check that key invariants of our programs continue to hold under refactoring.
通过不变量算子的产生和湮灭算符，得到波函数和几率密度。
The wave function and probability density are obtained by the creation and annihilation operators of the invariant operator.
在气候资料中冷暖是随时间尺度而变化的，但也存在不变量。
The climatic colding and warming change with time scale, but there is also invariance.
对象不变量则将特定条件运用于对象的状态上，确保其不会拥有非法的值。
Object invariants are used to enforce certain conditions on objects to make sure they don't obtain illegal values.
提出了在图象匹配中使用的一些新的仿射透视近似投影不变量。
This paper proposes some new affine-perspective approximate invariants that are used in image matching.
目前正在进行多项调研项目以显著改进我们可以规定用于组件的不变量的种类。
There are several research projects underway to significantly improve the sorts of invariants we can specify for a component.
还提出了一种改进的整体平均算法，使得该不变量计算速度大为提高。
An improved ensemble average algorithm is studied and the computation speed is greatly improved.
把类型强制转换当作一种断言，把不变量当做说明该断言为true的原因的参数。
Think of a cast as a kind of assertion and the invariants as arguments for why the assertion is true.
讨论了动态不变量的检测，即通过一个动态分析发现可能的程序不变量。
This paper presents the detection of dynamic invariants, namely, the possible program invariable will be found by a dynamic analysis.
某个可供性是环境的不变量，是关于空间、时间和行动之间的一种联系。
An affordance is invariance for environment and it is a relation among space, time and action.
本文应用对偶正交变换下不变量，提出空间机构位移分析的对偶不变量方法。
Using the invariant under the dual orthogonal transformations, a method for the displacement analysis of spatial mechanisms is proposed.
图像不变量特征的提取与构造是模式识别和计算机视觉领域中的关键技术之一。
Extracting or construction of the invariant features is one of the key technologies in the field of pattern recognition and computer vision.
图像不变量特征的提取与构造是模式识别和计算机视觉领域中的关键技术之一。
Extracting or construction of the invariant features is one of the key technologies in the field of pattern recognition and computer vision.
应用推荐