遵义师范学院学报
遵義師範學院學報
준의사범학원학보
JOURNAL OF ZUNYI NORMAL COLLEGE
2007年
5期
63-65
,共3页
有限状态机%二元优化%状态编码%一致性
有限狀態機%二元優化%狀態編碼%一緻性
유한상태궤%이원우화%상태편마%일치성
对于有制约条件下的复杂状态机的编码优化问题,一直是EDA技术的难点,本文根据信息度量理论的二元优化算法,以某状态机为实例,详细介绍了有限状态机的二元优化状态编码算法实现的步骤和细节,并对该算法的自动化实现的空间爆炸问题作了相关讨论和建议.
對于有製約條件下的複雜狀態機的編碼優化問題,一直是EDA技術的難點,本文根據信息度量理論的二元優化算法,以某狀態機為實例,詳細介紹瞭有限狀態機的二元優化狀態編碼算法實現的步驟和細節,併對該算法的自動化實現的空間爆炸問題作瞭相關討論和建議.
대우유제약조건하적복잡상태궤적편마우화문제,일직시EDA기술적난점,본문근거신식도량이론적이원우화산법,이모상태궤위실례,상세개소료유한상태궤적이원우화상태편마산법실현적보취화세절,병대해산법적자동화실현적공간폭작문제작료상관토론화건의.
