航空軟件模型狀态最小化算法的比較

作者：

杜文傑 雷國慶

作者單位：

伟德betvlctor体育官网  華東師範大學

本文新意：

實現了兩種互模拟壓縮算法,并将其應用于互模拟壓縮問題中,對航空軟件進行離線建模和驗證

摘要：

  标号遷移系統是對航空軟件操作行為建模的重要手段。當軟件規模很大時,對應的标号遷移系統變得非常龐大,需要對其狀态空間進行壓縮。本文分别實現了由Valmari和Schatzle等人提出的兩種互模拟壓縮算法,并将其應用于互模拟壓縮問題中,比較了兩種算法的運行效果。根據實驗數據可知,在PC平台上處理百萬級規模以内的标号遷移系統最好選擇基于内存的Valmari算法,在服務器的數據庫中處理超大規模遷移系統時應選擇基于外存的Schatzle算法。

關鍵詞：

标号遷移系統;互模拟壓縮;算法;

項目資助：

引用文本：

杜文傑,雷國慶.航空軟件模型狀态最小化算法的比較[J].金融管理研究,2020(02):133-142.