全部

1·State invariants were used for the state prediction.

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

2·The contract includes invariants, preconditions, and post conditions.

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

3·The variable does not participate in invariants with other variables.

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

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

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

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

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

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

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

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

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

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

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

9·The type system by itself is not expressive enough to capture all of the intended invariants.

类型系统自身并没有表现得能够捕获所有计划的不变量。

10·Invariants: Conditions that must remain unchanged after the execution of the external component.

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

不变量

1·Interruption allows a cancelable activity to clean up any work in progress, restore invariants, notify other activities of the cancellation, and then terminate.

中断允许一个可取消活动来清理正在进行的工作，恢复不变量，通知其他活动它要被取消，然后才终止。

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

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

3·The type system by itself is not expressive enough to capture all of the intended invariants.

类型系统自身并没有表现得能够捕获所有计划的不变量。

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

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

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

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

不变性

1·With these limitations, I was able to support result collecting by clients both oblivious and controlling, without relying on them to enforce the invariants.

有了这些限制，就可以同时支持有客户机控制的和没有客户机控制这两种情况下的结果收集，不必依赖客户机来加强不变性。

2·For example, they can help you test your custom Exception class, verify that your datatype's Equals & GetHashCode are consistent, and check IList invariants.

例如，它可以帮你测试自定义的异常类，验证自定义类型的Equals和GetHashCode方法是否一致，以及检查IList的不变性。

3·Experiments show that our descriptor outperformed the conventional descriptor in rotational invariants.

实验表明，提出的描述子具有更好的旋转不变性。

(1)time invariant时不变的；时不变

(1)invariant system不变系统；不变量系统；无变系