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

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

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

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