%0 Journal Article
%T 基于粒计算的完全确定时序逻辑电路状态化简算法
%A 张凯英
%A 张裕
%A 陈泽华
%J 中山大学学报（自然科学版）
%D 2016
%X 摘要 状态化简是指通过一定算法消除时序逻辑电路中的冗余状态，进而降低电路复杂性、减少功耗和提高系统可靠性.完全确定时序逻辑电路指是指输出和次态不存在不确定状态的电路，其状态化简的本质是根据等价关系，寻找最大状态等价类的过程.本文将粒计算理论应用到传统的状态化简问题中，提出基于粒计算的状态化简算法.在定义输出矩阵和状态转移矩阵基础上，根据迭代原则，从粗粒度到细粒度，利用等价关系对论域元素持续进行分层粒化，直到分类不再改变得到所需的最大等价类（粒子）.实验结果与分析表明，该算法准确有效
%K 粒计算
%K 状态化简
%K 最大等价类
%K 输出矩阵
%K 转移矩阵
%U http://xwxt.sict.ac.cn/CN/abstract/abstract3552.shtml