计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2010年
23期
5113-5115,5132
,共4页
时间自动机%加速%精确加速%可加速环%回路
時間自動機%加速%精確加速%可加速環%迴路
시간자동궤%가속%정학가속%가가속배%회로
为了实现精确加速从而解决由于不同时间度量而造成的模型检测时出现的片段问题,提出了一种识别时间自动机中可加速环的方法.针对时间自动机规模较大的问题,在识别可加速环的方法中引入拓扑排序的思想,通过简化时间自动机的规模,提高了识别时间自动机中可加速环的效率.实例验证和复杂度分析表明该方法是可行的.
為瞭實現精確加速從而解決由于不同時間度量而造成的模型檢測時齣現的片段問題,提齣瞭一種識彆時間自動機中可加速環的方法.針對時間自動機規模較大的問題,在識彆可加速環的方法中引入拓撲排序的思想,通過簡化時間自動機的規模,提高瞭識彆時間自動機中可加速環的效率.實例驗證和複雜度分析錶明該方法是可行的.
위료실현정학가속종이해결유우불동시간도량이조성적모형검측시출현적편단문제,제출료일충식별시간자동궤중가가속배적방법.침대시간자동궤규모교대적문제,재식별가가속배적방법중인입탁복배서적사상,통과간화시간자동궤적규모,제고료식별시간자동궤중가가속배적효솔.실례험증화복잡도분석표명해방법시가행적.
