计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2006年
7期
23-25,31
,共4页
有限精度时间自动机%模型检验%符号化方法
有限精度時間自動機%模型檢驗%符號化方法
유한정도시간자동궤%모형검험%부호화방법
简要介绍了有限精度时间自动机(FPTA)的基本概念,重点讨论FPTA状态中时钟的表示.FPTA只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间.在FPTA模型中,时钟操作的时空性能主要依赖于时钟序的数据结构和算法.提出了用位矩阵来表示时钟序的数据结构POM(Partial-Order Matrix).采用该结构的操作算法具有O(n)复杂度,且无需标准化操作;同时,一切操作均可以通过位运算实现,从而大幅度提高时钟操作的时间效率.
簡要介紹瞭有限精度時間自動機(FPTA)的基本概唸,重點討論FPTA狀態中時鐘的錶示.FPTA隻記錄時鐘值的整數部分,而用時鐘序的概唸來模擬錶示時鐘值小數部分的大小關繫,從而減少生成的狀態空間.在FPTA模型中,時鐘操作的時空性能主要依賴于時鐘序的數據結構和算法.提齣瞭用位矩陣來錶示時鐘序的數據結構POM(Partial-Order Matrix).採用該結構的操作算法具有O(n)複雜度,且無需標準化操作;同時,一切操作均可以通過位運算實現,從而大幅度提高時鐘操作的時間效率.
간요개소료유한정도시간자동궤(FPTA)적기본개념,중점토론FPTA상태중시종적표시.FPTA지기록시종치적정수부분,이용시종서적개념래모의표시시종치소수부분적대소관계,종이감소생성적상태공간.재FPTA모형중,시종조작적시공성능주요의뢰우시종서적수거결구화산법.제출료용위구진래표시시종서적수거결구POM(Partial-Order Matrix).채용해결구적조작산법구유O(n)복잡도,차무수표준화조작;동시,일절조작균가이통과위운산실현,종이대폭도제고시종조작적시간효솔.
