仿真系統(tǒng)模型驗證方法和工具研究.pdf

1、隨著系統(tǒng)仿真技術在各個領域日益廣泛的應用，仿真模型及其產生結果的有效性備受模型用戶的關注。模型的驗證是確定模型有效性的有效途徑。模型驗證需要模型驗證理論和驗證工具的支持，本文從這點出發(fā)，對模型驗證方法和驗證工具進行了深入的研究，主要內容如下：
　　首先，闡述了課題的背景和目的，分析了模型驗證工作中存在的困難。對模型驗證方法和驗證工具的國內外發(fā)展歷史和現狀進行了綜合說明，并給出了本文的組織結構。
　　其次，從模型靜態(tài)性能驗證和

2、動態(tài)性能驗證的角度對模型驗證方法進行了總結，概括介紹了每類方法的原理、優(yōu)缺點和適用范圍，為模型驗證方法的選擇與使用提供了指導。
　　再次，對知識工程在模型驗證中的應用進行了研究。針對動態(tài)性能驗證時缺少真實數據的情況，充分利用經驗知識，提出了基于特征提取與匹配的驗證方法，并詳細介紹了該方法的原理和驗證步驟。利用原理知識設計了靜態(tài)性能驗證中的驗證方法選擇規(guī)則。
　　然后，在上述理論研究的基礎上，對驗證工具進行了設計。搭建了驗證工

3、具的總體框架，對其中的關鍵組件進行了簡要介紹。構建了驗證數據庫、專家知識庫、驗證方法知識庫和驗證規(guī)則知識庫。針對待驗證性能的特點和數據的可獲得情況，設計了六個驗證流程，并對各驗證流程進行了詳細的說明。
　　最后，用VisualC++6.0對模型驗證工具進行了實現，并通過實驗證明了該驗證工具的有效性。
　　總之，本文分析了模型驗證方法的原理，總結了每類方法的優(yōu)缺點和適用范圍，同時研究了知識工程在模型驗證中的應用。在理論研究的基