清单2循环中包含不变式。
该变量没有包含在具有其他变量的不变式中。
The variable does not participate in invariants with other variables.
该字段不遵循其他字段的不变式。
The field need not obey any invariants with respect to others.
如何寻找循环不变式和证明的正确性？
此代码的循环不变式是什么？
它包含了一个不变式——下界总是小于或等于上界。
It contains an invariant — that the lower bound is always less than or equal to the upper bound.
本文主要介绍不变式产生器的具体实现。
The implementation of an invariant generator is presented in this paper.
不变式是在属性的生命期内一直保持为真的规则。
Invariant is the rules which always hold true in the attribute's life period.
对象不变式在面向对象程序的证明中具有重要作用。
Object invariant is important in the object-oriented program proof.
在进入时假定，并在退出时对峙一些特定的属性：不变式。
Maintain a certain property, assumed on entry and guaranteed on exit: the class invariant.
利用常微分方程的不变式，非常方便地求解了一些量子力学问题。
Some problems of quantum mechanics can be solved easily by means of the invariant of differential equation.
还有循环不变式等等，但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts.
首先，基于网论t不变式的概念，把系统的网模型设计为一个公平网。
First of all, a fair net is obtained by adding some places that make the net have only one T-invariant.
如此看来，类不变式好像是被附加到了类暴露例程的前置和后置条件上。
It's as if the class invariant is added to the pre - and post-condition of every single exported routine of the class.
文摘：利用常微分方程的不变式，非常方便地求解了一些量子力学问题。
Abstract: Some problems of quantum mechanics can be solved easily by means of the invariant of differential equation.
这些技术能探测出较简单问题的循环不变式，但是却无法处理复杂问题。
These technologies can detect some simple loop invariants, but can not deal with complex issues.
不变式保证，在执行完每个功能后，类的状态被都保持在一个规定的状态。
The class Invariant guarantees (for the local class) that the state of the class will be maintained within specified tolerances at the end of each feature execution.
不变式包管，在履行完每个功能后，类的状况被都对峙在一个规定的状况。
The class Invariant guarantees (for the local class) that the state of the class will be maintained within specified tolerances at the end of each feature execution.
对现有的循环不变式开发技术进行了分析和比较，剖析了其难以实用的原因；
An analysis and comparison is Given about the existing techniques for developing loop invariants and the reasons are presented why they are difficult to popularize.
第四章在有限典型群的极大子群和根子群的有理不变式域方面做了一些讨论。
In Chapter 4, we focus on the structure of the rational invariant fields of the maximal subgroups and root subgroups of finite classical groups.
还有循环契约要素条件不变式等等，但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre contract element condit- and post-conditions and class invariants are really the basic fabric of contracts.
正如您可以从本文样例文件(参见下载)看到的，一种类似的方法定义了后置条件和不变式。
As you can see from the sample files that accompany this article (see Download), a similar approach defines post-conditions and invariants.
但从根本上讲，类不变式是一种刻画类和类实例的基本的一致性和完整性的方法。
But more fundamentally, a class invariant is a way to characterize the fundamental consistency and integrity properties of the class and its instances.
对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant.
包括不变式产生规则，不变式在计算机中的表示和转换，以及定理证明的部分实现方法。
The generation rules, the notation and the transformation of invariants are described. The method of theorem verification is also included.
分析、比较当前数值计算方法，研究用PAR方法来开发循环不变式和数值算法的优越性；
Demonstating the effectiveness of PAR method in arithmetic computing, studying the contribution to the numerical methods by PAR method;
文中利用一个半位势涡度时间不变式对热带斜压大气地转适应过程中的尺度准则进行了研究。
Based on an invariant of semi-potential vorticity, the scale criterion of geostrophic adaptation in tropical baroclinic atmosphere is discussed.
例如，在记账应用程序中，一致性可能包括所有资产账户的总和始终等于所有负债账户的总和这个不变式。
For example, in an accounting application, consistency would include the invariant that the sum of all asset accounts equal the sum of all liability accounts.
这就意味着无论什么时候创建一个类实例，该属性(或者说类不变式)的一致性都必须得到确保。
That means that this property, the class invariant, must be satisfied whenever an instance of the class is created.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
应用推荐