復(fù)雜系統(tǒng)的形式化建模及量化分析方法綜述

摘要： 形式化模型是系統(tǒng)驗證和性能分析的重要基礎(chǔ)手段，在系統(tǒng)設(shè)計階段即可評估復(fù)雜系統(tǒng)可行性和性能邊界，被廣泛用于各類復(fù)雜系統(tǒng)的抽象仿真與理論分析。由于系統(tǒng)交互模式逐漸向多元化、動態(tài)化轉(zhuǎn)變，這加劇了系統(tǒng)的復(fù)雜性和不確定性。對此，以形式化建模的核心評價要素為出發(fā)點，系統(tǒng)分析了幾種典型的形式化建模方法的優(yōu)勢和不足，為復(fù)雜系統(tǒng)形式化建模提供了技術(shù)參考。首先，提出形式化建模及模型求解方法的評價要... （共14頁）