计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
14期
30-33
,共4页
姬莉霞%周清雷%李占波%苏锦祥
姬莉霞%週清雷%李佔波%囌錦祥
희리하%주청뢰%리점파%소금상
时间自动机%转换系统%可达性%状态空间%模型检测
時間自動機%轉換繫統%可達性%狀態空間%模型檢測
시간자동궤%전환계통%가체성%상태공간%모형검측
对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法.该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统--时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸.
對時間自動機的轉換繫統進行改進,提齣瞭一箇狀態空間的極小化構造方法.該方法用位置和停留在該位置時的可能時鐘值集閤來錶示狀態,以此隱藏因時間流逝而引髮的無窮狀態,得到瞭改進的轉換繫統--時間段轉換繫統;併通過對轉換可能髮生時間的分析,去除無效轉換;然後使用轉換互模擬閤併等價狀態,實現瞭狀態空間的極小化,有效地避免瞭狀態空間爆炸.
대시간자동궤적전환계통진행개진,제출료일개상태공간적겁소화구조방법.해방법용위치화정류재해위치시적가능시종치집합래표시상태,이차은장인시간류서이인발적무궁상태,득도료개진적전환계통--시간단전환계통;병통과대전환가능발생시간적분석,거제무효전환;연후사용전환호모의합병등개상태,실현료상태공간적겁소화,유효지피면료상태공간폭작.
