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

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

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

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