計算機仿真模型的驗證和確認(rèn)
計算機仿真模型的驗證和確認(rèn)是在仿真模型的開發(fā)過程中進行的,最終目的是產(chǎn)生一個準(zhǔn)確和可信的模型。仿真模型正被越來越多地用于解決問題和幫助決策。這些模型的開發(fā)者和使用者,使用從這些模型結(jié)果中獲得的信息的決策者,以及受到基于這些模型的決策影響的個人,都有理由關(guān)注一個模型及其結(jié)果是否正確。這種關(guān)注是通過對仿真模型的驗證和確認(rèn)來解決的。仿真模型是對現(xiàn)實世界系統(tǒng)的近似模仿,它們從來沒有完全模仿過現(xiàn)實世界的系統(tǒng)。因此,一個模型應(yīng)該在模型的預(yù)期目的或應(yīng)用所需的程度上進行驗證和確認(rèn)。仿真模型的驗證和確認(rèn)是在功能規(guī)格被記錄下來和初始模型開發(fā)完成后開始的。驗證和確認(rèn)是一個反復(fù)的過程,在模型開發(fā)的整個過程中進行。
基本介紹 編輯本段
在計算機仿真的背景下,模型的驗證是確認(rèn)其在概念模型方面正確實施的過程(它與被認(rèn)為可接受的特定應(yīng)用目的的規(guī)格和假設(shè)相匹配)。在驗證過程中,模型被測試以發(fā)現(xiàn)和修復(fù)模型實施中的錯誤。各種過程和技術(shù)被用來確保模型與模型概念方面的規(guī)格和假設(shè)相匹配。模型驗證的目的是確保模型的實施是正確的。有許多技術(shù)可以用來驗證模型,包括但不限于讓專家檢查模型,制作邏輯流程圖,包括每個邏輯上可能的動作,檢查模型輸出在各種輸入?yún)?shù)設(shè)置下的合理性,以及使用交互式調(diào)試器。許多用于軟件驗證的軟件工程技術(shù)也適用于仿真模型驗證。
驗證檢查 編輯本段
驗證檢查模型對真實系統(tǒng)的表述是否準(zhǔn)確。模型驗證的定義是指證實計算機模型在其適用范圍內(nèi)擁有與模型的預(yù)期應(yīng)用相一致的令人滿意的精度范圍。一個模型應(yīng)該為一個特定的目的或一組目標(biāo)而建立,并為該目的確定其有效性。有許多方法可以用來驗證一個計算機模型。這些方法包括從主觀審查到客觀統(tǒng)計測試。一種常用的方法是讓模型建立者通過一系列的測試來確定模型的有效性。Naylor和Finger[1967]制定了一個模型驗證的三步方法,并被廣泛采用。第一步。建立一個具有較高表面效度的模型。第2步。驗證模型的假設(shè)。第3步。將模型的輸入-輸出轉(zhuǎn)換與真實系統(tǒng)的相應(yīng)輸入-輸出轉(zhuǎn)換進行比較。
一個具有面子有效性的模型對于了解真實世界系統(tǒng)的人來說,似乎是對真實世界系統(tǒng)的合理模仿。通過讓用戶和熟悉系統(tǒng)的人檢查模型輸出的合理性,并在此過程中發(fā)現(xiàn)不足之處,來檢驗面子有效性。讓用戶參與驗證的另一個好處是,模型對用戶的可信度和用戶對模型的信心會增加。對模型輸入的敏感度也可以用來判斷表面有效性。例如,如果一個快餐店直通車的模擬在顧客到達率為每小時20人和40人的情況下運行兩次,那么模型的輸出結(jié)果,如平均等待時間或等待的最大顧客人數(shù),預(yù)計將隨著到達率的增加而增加。
結(jié)構(gòu)假設(shè) 編輯本段
對系統(tǒng)如何運行以及系統(tǒng)的物理排列方式所做的假設(shè)是結(jié)構(gòu)性假設(shè)。例如,在快餐店的車道上有多少臺服務(wù)器,如果有多于一臺的服務(wù)器,它們是如何利用的?服務(wù)器是否平行工作,顧客通過訪問一個服務(wù)器完成交易,或者一個服務(wù)器接受訂單并處理付款,而另一個服務(wù)器準(zhǔn)備并提供訂單。模型中的許多結(jié)構(gòu)性問題來自于不良或不正確的假設(shè)。如果可能的話,應(yīng)該密切觀察實際系統(tǒng)的工作情況。
驗證分類 編輯本段
關(guān)于模型的假設(shè)一般分為兩類:關(guān)于系統(tǒng)如何工作的結(jié)構(gòu)假設(shè)和數(shù)據(jù)假設(shè)。此外,我們還可以考慮簡化假設(shè),即那些我們用來簡化現(xiàn)實的假設(shè)。
附件列表
詞條內(nèi)容僅供參考,如果您需要解決具體問題
(尤其在法律、醫(yī)學(xué)等領(lǐng)域),建議您咨詢相關(guān)領(lǐng)域?qū)I(yè)人士。
如果您認(rèn)為本詞條還有待完善,請 編輯
上一篇 圖譜著色 下一篇 靜態(tài)時序分析