深夜福利网-深夜福利网站大全,国产一区二区三区久久精品,99re6热在线精品视频播放,日韩中文字幕视频免费,影院一区二区小说性鲍视频

知名百科  > 所屬分類(lèi)  >  百科詞條   

計(jì)算機(jī)仿真模型的驗(yàn)證和確認(rèn)

計(jì)算機(jī)仿真模型的驗(yàn)證和確認(rèn)是在仿真模型的開(kāi)發(fā)過(guò)程中進(jìn)行的,最終目的是產(chǎn)生一個(gè)準(zhǔn)確和可信的模型。仿真模型正被越來(lái)越多地用于解決問(wèn)題和幫助決策。這些模型的開(kāi)發(fā)者和使用者,使用從這些模型結(jié)果中獲得的信息的決策者,以及受到基于這些模型的決策影響的個(gè)人,都有理由關(guān)注一個(gè)模型及其結(jié)果是否正確。這種關(guān)注是通過(guò)對(duì)仿真模型的驗(yàn)證和確認(rèn)來(lái)解決的。仿真模型是對(duì)現(xiàn)實(shí)世界系統(tǒng)的近似模仿,它們從來(lái)沒(méi)有完全模仿過(guò)現(xiàn)實(shí)世界的系統(tǒng)。因此,一個(gè)模型應(yīng)該在模型的預(yù)期目的或應(yīng)用所需的程度上進(jìn)行驗(yàn)證和確認(rèn)。仿真模型的驗(yàn)證和確認(rèn)是在功能規(guī)格被記錄下來(lái)和初始模型開(kāi)發(fā)完成后開(kāi)始的。驗(yàn)證和確認(rèn)是一個(gè)反復(fù)的過(guò)程,在模型開(kāi)發(fā)的整個(gè)過(guò)程中進(jìn)行。

目錄

基本介紹 編輯本段

在計(jì)算機(jī)仿真的背景下,模型的驗(yàn)證是確認(rèn)其在概念模型方面正確實(shí)施的過(guò)程(它與被認(rèn)為可接受的特定應(yīng)用目的的規(guī)格和假設(shè)相匹配)。在驗(yàn)證過(guò)程中,模型被測(cè)試以發(fā)現(xiàn)和修復(fù)模型實(shí)施中的錯(cuò)誤。各種過(guò)程和技術(shù)被用來(lái)確保模型與模型概念方面的規(guī)格和假設(shè)相匹配。模型驗(yàn)證的目的是確保模型的實(shí)施是正確的。有許多技術(shù)可以用來(lái)驗(yàn)證模型,包括但不限于讓專(zhuān)家檢查模型,制作邏輯流程圖,包括每個(gè)邏輯上可能的動(dòng)作,檢查模型輸出在各種輸入?yún)?shù)設(shè)置下的合理性,以及使用交互式調(diào)試器。許多用于軟件驗(yàn)證的軟件工程技術(shù)也適用于仿真模型驗(yàn)證。

驗(yàn)證檢查 編輯本段

驗(yàn)證檢查模型對(duì)真實(shí)系統(tǒng)的表述是否準(zhǔn)確。模型驗(yàn)證的定義是指證實(shí)計(jì)算機(jī)模型在其適用范圍內(nèi)擁有與模型的預(yù)期應(yīng)用相一致的令人滿(mǎn)意的精度范圍。一個(gè)模型應(yīng)該為一個(gè)特定的目的或一組目標(biāo)而建立,并為該目的確定其有效性。有許多方法可以用來(lái)驗(yàn)證一個(gè)計(jì)算機(jī)模型。這些方法包括從主觀審查到客觀統(tǒng)計(jì)測(cè)試。一種常用的方法是讓模型建立者通過(guò)一系列的測(cè)試來(lái)確定模型的有效性。Naylor和Finger[1967]制定了一個(gè)模型驗(yàn)證的三步方法,并被廣泛采用。第一步。建立一個(gè)具有較高表面效度的模型。第2步。驗(yàn)證模型的假設(shè)。第3步。將模型的輸入-輸出轉(zhuǎn)換與真實(shí)系統(tǒng)的相應(yīng)輸入-輸出轉(zhuǎn)換進(jìn)行比較。

計(jì)算機(jī)仿真模型的驗(yàn)證和確認(rèn)

一個(gè)具有面子有效性的模型對(duì)于了解真實(shí)世界系統(tǒng)的人來(lái)說(shuō),似乎是對(duì)真實(shí)世界系統(tǒng)的合理模仿。通過(guò)讓用戶(hù)和熟悉系統(tǒng)的人檢查模型輸出的合理性,并在此過(guò)程中發(fā)現(xiàn)不足之處,來(lái)檢驗(yàn)面子有效性。讓用戶(hù)參與驗(yàn)證的另一個(gè)好處是,模型對(duì)用戶(hù)的可信度和用戶(hù)對(duì)模型的信心會(huì)增加。對(duì)模型輸入的敏感度也可以用來(lái)判斷表面有效性。例如,如果一個(gè)快餐店直通車(chē)的模擬在顧客到達(dá)率為每小時(shí)20人和40人的情況下運(yùn)行兩次,那么模型的輸出結(jié)果,如平均等待時(shí)間或等待的最大顧客人數(shù),預(yù)計(jì)將隨著到達(dá)率的增加而增加。

結(jié)構(gòu)假設(shè) 編輯本段

對(duì)系統(tǒng)如何運(yùn)行以及系統(tǒng)的物理排列方式所做的假設(shè)是結(jié)構(gòu)性假設(shè)。例如,在快餐店的車(chē)道上有多少臺(tái)服務(wù)器,如果有多于一臺(tái)的服務(wù)器,它們是如何利用的?服務(wù)器是否平行工作,顧客通過(guò)訪問(wèn)一個(gè)服務(wù)器完成交易,或者一個(gè)服務(wù)器接受訂單并處理付款,而另一個(gè)服務(wù)器準(zhǔn)備并提供訂單。模型中的許多結(jié)構(gòu)性問(wèn)題來(lái)自于不良或不正確的假設(shè)。如果可能的話(huà),應(yīng)該密切觀察實(shí)際系統(tǒng)的工作情況。

驗(yàn)證分類(lèi) 編輯本段

關(guān)于模型的假設(shè)一般分為兩類(lèi):關(guān)于系統(tǒng)如何工作的結(jié)構(gòu)假設(shè)和數(shù)據(jù)假設(shè)。此外,我們還可以考慮簡(jiǎn)化假設(shè),即那些我們用來(lái)簡(jiǎn)化現(xiàn)實(shí)的假設(shè)。

附件列表


0

詞條內(nèi)容僅供參考,如果您需要解決具體問(wèn)題
(尤其在法律、醫(yī)學(xué)等領(lǐng)域),建議您咨詢(xún)相關(guān)領(lǐng)域?qū)I(yè)人士。

如果您認(rèn)為本詞條還有待完善,請(qǐng) 編輯

上一篇 圖譜著色    下一篇 靜態(tài)時(shí)序分析

同義詞

暫無(wú)同義詞