此外，该算法同样适用于概念间存在的其它偏序关系如整体部分关系等。
An interesting feature of the presented algorithms is that it can also be used in other kinds of partial relation among concepts.
FPTA只记录时钟值的整数部分，而用时钟序的概念来模拟表示时钟值小数部分的大小关系，从而减少生成的状态空间。
To reduce the state space, FPTA records the integer values of clocks together with the order of decimal fraction instead of the real number values.
FPTA只记录时钟值的整数部分，而用时钟序的概念来模拟表示时钟值小数部分的大小关系，从而减少生成的状态空间。
To reduce the state space, FPTA records the integer values of clocks together with the order of decimal fraction instead of the real number values.
应用推荐