基于三方元代数理论的时序机分解中完全覆盖的求解算法  

AN ALGORITHM OF SEEKING COMPLETENESS COVER IN OPTIMUM FULL-DECOMPOSITION

作　　者：于筑国[1] 张佑生[1] 

机构地区：[1]合肥工业大学计算机与信息系

出　　处：《合肥工业大学学报（自然科学版）》1996年第2期72-76,共5页Journal of Hefei University of Technology：Natural Science

摘　　要：文章基于三方元代数理论，提出一个时序机最优全分解过程中用到的求解完全覆盖问题的算法，该算法使用筛漏技术，使算法复杂性为Ｈ（ｎ２）In this paper.we obtain an algorithm of seeking a completeness cover.This algorithm is used in optimum full-decomposition of sequential machines that are based on the theory of trinity algebra.

关 键 词：完全覆盖 时序机 状态结点集 三方元代数理论 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]