When the decimal position is obtained, digit values are retrieved and arranged in proper order to get the currency value.
当获得了小数点的位置后,各个数字值便会被检索并以适当的顺序排列,从而获取货币值。
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只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间。
应用推荐