算子的因子交换性是算子代数之间同构的不变量之一。
由于GUI程序中有大量的不变量需要检查，因此，自动化测试是必需的。
这本书象综合一个类似物理过程的幅度（真空真空幅度）的那样是要系的一个介绍和连接不变量。
一个不变量的完全集合可以用来确定两个态在局部幺正变换下是否是等价的。
还有循环不变式等等，但前置、后置条件和类不变式是基本要素。
几何不变量之间的几何关系的计算是这些技术的一个具体应用。
投影不变量具有与视点和摄像机内外参数无关等优点，正逐渐成为计算机视觉研究的常用工具。
类型系统自身并没有表现得能够捕获所有计划的不变量。
好的规范会定义常量来约束对象的状态并且提供使用其方法的条件。
解决这个问题的一个重要且常用的方法是寻找局域幺正变换下的不变量的完全集。
一组新的由低阶中心矩构成的仿射不变量验证了本文推导的正确性。
添加更加强大的不变量的另一种方法是从属类型。
通过分析，指出原文中所给绝对仿射不变量存在的缺陷，定义了一种新的绝对仿射不变量。
提出了一种用于图像分割的分段可变形模型，并在模型的能量函数中引入了仿射不变量信息。
提供用于讨论泛型类型和方法的术语的固定条件列表。
本文利用玻色子湮灭算符构造了含时单、双模玻色系统的非厄密不变量。
该方法利用从参考图和测试图中得到的特征点提取其凸壳，并计算凸壳的仿射不变特征向量。
业务领域中的变量不应作为IT领域中的变量实现。
确保满足需要的不变量是组件封装的一个方面。
对于任何volatile变量，不变式或约束都不能包含JavaBean属性。
但在多个目标相距较近的情况下，投影过程中产生的误差会造成目标对应错误。
不变量：在执行了外部组件后维持不变的条件。
单元测试工具使我们能够检查重整情况下继续保持的程序的关键不变量。
本文研究了关于投影体的中心仿射不变量比的问题。