State invariants were used for the state prediction.

对状态的预测使用状态不变量；

The contract includes invariants, preconditions, and post conditions.

合同包括不变量，先决条件和后置条件。

The variable does not participate in invariants with other variables.

该变量没有包含在具有其他变量的不变式中。

Alternatively, examine the invariants to ensure that the casts will succeed.

还有一种选择是，检查不变量以确保类型强制转换将会成功。

Object Invariants are conditions specified for each instances of a class.

对象不变量则为每个实例指定条件。

To proposes a new feature extraction method and reasonable feature invariants.

给出了一种提取特征点的新方法和合理的特征不变量。

Yet another approach to adding much more powerful invariants is that of dependent types.

添加更加强大的不变量的另一种方法是从属类型。

Variants in the business domain should not be implemented as invariants in the IT domain.

业务领域中的变量不应作为 IT 领域中的变量实现。

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.

不变量：在执行了外部组件后维持不变的条件。

Ensuring that the requisite invariants are satisfied is a necessary aspect of component encapsulation.

确保满足需要的不变量是组件封装的一个方面。

Think of a cast as a kind of assertion and the invariants as arguments for why the assertion is true.

把类型强制转换当作一种断言，把不变量当做说明该断言为true的原因的参数。

Unit testing tools allow us to check that key invariants of our programs continue to hold under refactoring.

单元测试工具使我们能够检查重整情况下继续保持的程序的关键不变量。

Other features include class invariants, non-nullable reference types, and enhanced static analysis capabilities.

其他的特性还包括类不变量、非空引用类型和加强的静态分析功能。

Object invariants are used to enforce certain conditions on objects to make sure they don't obtain illegal values.

对象不变量则将特定条件运用于对象的状态上，确保其不会拥有非法的值。

We will use this theory to classify joint invariants and joint differential invariants of some transformation groups.

我们将利用该理论对一些特殊变换群的联合不变量、联合微分不变量进行分类。

There are several research projects underway to significantly improve the sorts of invariants we can specify for a component.

目前正在进行多项调研项目以显著改进我们可以规定用于组件的不变量的种类。

We can rely on informal documentation to specify such invariants, but the more invariants we can formalize and check, the better.

我们可以依靠非正式文件来规定这类不变量，我们标准化和检查的不变量越多，效果就越好。

Complex moment invariants are discussed in detail. Application of the invariants in image retrieval and its algorithm are introduced.

讨论了复数矩不变性的实现方法，介绍了复数矩不变性在图像检索中的应用及算法。

As you can see from the sample files that accompany this article (see Download), a similar approach defines post-conditions and invariants.

正如您可以从本文样例文件(参见下载)看到的，一种类似的方法定义了后置条件和不变式。

Clients should use data attributes with care — clients may mess up invariants maintained by the methods by stamping on their data attributes.

客户应该小心使用数据属性——客户可能会因为随意修改数据属性而破坏了本来由方法维护的数据一致性。

There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts.

还有循环不变式等等，但前置、后置条件和类不变式是基本要素。

Consider a cyclic flow that has mutually exclusive branches; each branch has preconditions and invariants that apply to all activities in the branch.

假设有一个具有互斥分支的循环流；每个分支都有一些应用于该分支中所有活动的前置条件和不变量。

You can model these constraints, conditions, and invariants independently using DITA specialization, probably by extending the concept topic type.

您可以使用DITA专门化分别为这些约束、条件和不变式建模，可能还要扩展concept主题类型。

For example, we shouldn't expect that the method types for a text-editing API would capture such invariants as "only opened documents can be closed."

例如，我们不应期望文本编辑API的方法类型可以捕获所有与“只关闭打开的文件”类似的不变量。