验证专门化元素的内容模型比它们常规的等价部分更具限制性。
Verify that the content models of specialized elements are more restrictive than their general equivalents.
以一类简单的碰撞振动系统为例，验证了两种混沌门槛值判据的等价性。
In this paper the equivalence of two criteria for chaos threshold in an impact vibration system is verified.
为了提高时序电路的等价性验证速度，提出一种改进的基于寄存器匹配的验证算法。
An improved algorithm based on register mapping is proposed to increase the speed of equivalence checking for sequential circuits.
应用推荐