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

作者：

杜文傑 雷國慶

作者單位：

意昂4  華東師範大學

本文新意：

實現了兩種互模擬壓縮算法,並將其應用於互模擬壓縮問題中,對航空軟件進行離線建模和驗證

摘要🚶🏻‍♀️‍➡️：

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

關鍵詞：

標號遷移系統;互模擬壓縮;算法;

項目資助：

引用文本：

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