1) configural verification
构形验证
3) isomorphism checking
同构验证
1.
Recursive clustering algorithm for isomorphism checking of combinational circuits;
电路同构验证的递归集簇算法
4) Component Verification
构件验证
1.
The Research of Software Testing Technology and Software Component Verification;
软件测试技术及软件构件验证的研究
5) formal verification
形式验证
1.
Overview for non-classical slicing technique and its application in formal verification;
非经典切片技术及其在形式验证中的应用综述
2.
Research on Methods for Formal Verification of Vlsi Circuit;
超大规模集成电路形式验证的方法研究
3.
Study on the Formal Verification Methods in BDD and SAT;
基于BDD和SAT的形式验证方法的研究
6) graphic verification
图形验证
1.
The comprehensive research survey of NC graphic verification technology is given in the field of abroad NC geometric verification and physics verification,NC graphic verification at home.
从数控铣削程序的图形验证技术入手,以国外数控铣削程序的几何与物理验证技术、国内数控程序的图形验证技术为视角,较全面地对该项技术的发展历史与研究现状进行了阐述,并分析了其优缺点和发展趋势。
补充资料：构形
物体在空间所占据的区域，连续介质力学常用的术语。物质点X当其构形为χ时，它在空间所占据的位置以矢量x表示：
。物体随着时间t的迁移在空间移动，叫做运动。物质点X在时间t的位置x，由下式给出：
，这是用物质点X和它的构形χ来表示物体的运动。有时用某一特定的构形к，利用从к看到的χ表示物体的运动,更加方便。这种构形叫参考构形。在参考构形 к上的物质点X的位置矢量X为：
。
作为参考构形，不必是时间固定的构形，也可以是随时间移动的构形。实际上，在力学中常用这种参考构形，它称为现时构形或流动构形。
。物体随着时间t的迁移在空间移动，叫做运动。物质点X在时间t的位置x，由下式给出：
，这是用物质点X和它的构形χ来表示物体的运动。有时用某一特定的构形к，利用从к看到的χ表示物体的运动,更加方便。这种构形叫参考构形。在参考构形 к上的物质点X的位置矢量X为：
。
作为参考构形，不必是时间固定的构形，也可以是随时间移动的构形。实际上，在力学中常用这种参考构形，它称为现时构形或流动构形。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条