不变式

关于求已知do循环不变式的一个方法及for循环的WP的定义

On a Method Attaining Known Do Loop Invariant and the Definition of WP in For Loop

另外，在纯DBC术语中，遵循DBC规则的类针对其将维护的内部一致性与外部世界有一个契约，即人所共知的类不变式。

What 's more , in pure DBC terms , a class that abides by DBC rules has a contract with the outside world about the internal consistency that it will maintain , which is known as the class invariant .

Petri网不变式和状态方程的求解

Methods for solving invariants and state equations for Petri nets

Z规格说明的系统不变式及其抽取

System Invariants and its Extracting in Z Specifications

PAR方法和循环不变式的范畴语义

PAR method and loop invariants'category theory semantic

Lorenz映射第二类熵不变式的证明

The proof of the second entropy invariants of Lorenz map

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

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

对确定性do循环，利用其WP求出循环不变式。

The loop invariant of definite do loop is attained by using its WP .

本文讨论线性二阶（常的与偏的）微分方程（非抛物型的），按照李群定义其不变式，证明了关系式λ（x，ε）（？）

In this paper , the second linear ( partial or ordinary ) differential equation ( non-parabolic ) and its invariants defined in Lie group are discussed , the relations (?)

本文介绍了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 .

基于对有界、被P不变式覆盖且P不变式被初始标记的Petri网的结构分析，提出一种避免资源分配系统禁止状态的方法。

Developed in this paper is a new strategy for avoiding forbidden states of resource allocation systems . The strategy is based on Petri nets and their structural analysis , with the Petri nets bounded and covered by initial marked P-invariants .

使用形式化方法PAR及循环不变式开发新策略，开发了Hanoi塔问题非递归算法，并对其进行了形式化的正确性证明。

This paper develops non-recursive algorithmic program of Hanoi tower problem employing PAR method and the new strategy of developing loop invariant and verifies the program formally .

利用安全Petri网的特点，提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法。

By using of the characters of safe Petri nets , a place invariant generation algorithm which uses the reachability tree of safe Petri nets and complete graph of mth order with self-loop is presented .

针对基于原型的单继承面向对象模型，通过扩展库的形式实现了Lua对契约式开发的支持，包括原型不变式、函数前后置断言。

An extension library supporting prototype invariants , function preconditions and postconditions is designed and implemented under a single-inheritance prototype-based OO model .

对Wirth一个不变式的修正

Correction of One of the Wirth Invariants

在诸多的应用领域里，不少问题的数学模型常常可用Abel型方程来表示.而非常数不变式（non-constantinvariants）的Abel型方程的求解极为困难。

In many situations , we can use Abel equations to express math models , although the Abel ( equations ) with non-constant invariants are difficult to be solved .

OVal并不是惟一可用的DBC库，事实上其DBC结构对比其他框架来说是相当有限的（例如，它未提供指定类不变式的简易方法）。

OVal isn 't the only DBC library available , and in fact its DBC constructs are fairly limiting compared to other frameworks ( for example , it doesn 't offer an easy way to specify class invariants ) .

利用Beasley的引理以及不变式，获得了交换半环上正则矩阵的行秩、列秩与Schein秩三者相等，以及坡上矩阵可逆的充要条件。

Making use of Beasley 's Lemma and permanent we obtain the row rank , column rank and Schein rank are identical for a regular matrix over a commutative semiring and the necessary and sufficient conditions for invertibility of matrices over an incline .

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

The variable does not participate in invariants with other variables .

程序正确性证明及循环不变式的寻找方法

Proof of program correctness and a method of getting loop invariant

价键理论的不变式方法的新算法

A New Algorithm for the Permanent Approach to Valence Bond Theory

其他的设计契约还有不变式。

Other Design Contracts are concepts of " Class Invariant " .

欧氏空间中超曲面的一个共形不变式的极值问题

Extremal problems of a conformal invariant of Hypersurfaces in Euclidean space

良基归纳法在时序逻辑程序不变式验证中的应用

Application of Well-founded Induction in Verifying Invariance of Temporal Logic Programs

由人工寻找循环不变式工作繁琐，容易出错。

However , writing loop invariants manually is boring and error-prone .

二阶线性微分方程在李群之下的不变式

The invariants of the second order linear differential equation in Lie group

不变式产生器&程序验证的重要工具

An invariant generator & an important tool of program verification

对象不变式在面向对象程序的证明中具有重要作用。

Object invariant is important in the object-oriented program proof .

本文主要介绍不变式产生器的具体实现。

The implementation of an invariant generator is presented in this paper .

从集合论的角度分析循环不变式

Analysis of loop invariants in terms of set theory