基于状态转换图同构求解的等价性验证算法 关键词：状态转换图；同构；时序电路；等价状态对 [gap=748]Key words：state transfer graph；isomorphisa-n；sequential circuit；equal state pair
基于6个网页-相关网页
若两状态转换图同构，则两图中的状态均可一一配对为待验证状态对，即所有的代验证状态对均为等价状态对。
If the state transfer graphs are isomorphism, all the states in different graphs can be matched as equal state pairs.
在系统脉冲能控的条件下通过系统输入-状态对的非奇异变换，把此问题等价地转化为正常状态空间系统的相应问题。
When the system is impulsively controllable, an equivalent problem for standard state space systems is derived from nonsingular transformation of input-state for systems.
为了提高该算法的速度和精度，对系统的量测空间进行了等价变换，而等价系统的状态空间却没有改变。
In order to improve the speed and precision of this algorithm, an equivalent transformation was taken for the system's measurement-space at the same state space.
应用推荐