仿真模型與建模方法論第一頁，共五十五頁，2022年，8月28日本章主要內(nèi)容建?；驹砟Ｐ偷姆切问交枋瞿Ｐ偷男问交硎净谟嬎銠C的建模方法學(xué)*解釋結(jié)構(gòu)建模*仿真模型的確認(rèn)第二頁，共五十五頁，2022年，8月28日第一節(jié)建模原理一、模型與建模建模：通過觀測和檢測，在忽略次要因素及不可檢測變量的基礎(chǔ)上，用數(shù)學(xué)的方法對實際系統(tǒng)進(jìn)行描述，從而獲得簡化近似模型的過程在系統(tǒng)研究中，模型用來收集系統(tǒng)有關(guān)信息和描述系統(tǒng)有關(guān)實體模型是用以產(chǎn)生行為數(shù)據(jù)的一組指令第三頁，共五十五頁，2022年，8月28日由實際系統(tǒng)構(gòu)造模型建立模型結(jié)構(gòu)（確定系統(tǒng)的邊界，鑒別系統(tǒng)的實體屬性和活動）提供數(shù)據(jù)（使活動中的屬性間建立確定的關(guān)系）系統(tǒng)模型應(yīng)有的性質(zhì)相似性——模型與系統(tǒng)在屬性上具有相似的特性和變化規(guī)律簡單性——實用的前提下，越簡單越好多面性——同一系統(tǒng)可能有不同層次的多種模型第四頁，共五十五頁，2022年，8月28日模型的有效性可用實際系統(tǒng)數(shù)據(jù)和模型產(chǎn)生的數(shù)據(jù)之間的符合程度來度量，分三個級別

復(fù)制有效（Replicativelyvalid）：輸入輸出數(shù)據(jù)匹配，不能預(yù)測，把實際系統(tǒng)看作黑箱

預(yù)測有效（Predictivelyvalid）：了解實際系統(tǒng)的內(nèi)部狀態(tài)及總體結(jié)構(gòu)，可預(yù)測系統(tǒng)的將來的狀態(tài)和行為變化，但不明了內(nèi)部的分解結(jié)構(gòu)

結(jié)構(gòu)有效（Structurallyvalid）：了解內(nèi)部的分解結(jié)構(gòu)，可反映系統(tǒng)產(chǎn)生某種行為的操作過程

第五頁，共五十五頁，2022年，8月28日數(shù)學(xué)模型的作用提高認(rèn)識實際系統(tǒng)不可觀部分→可觀部分提高決策能力實際系統(tǒng)不可控部分→可控部分第六頁，共五十五頁，2022年，8月28日二、建?；驹斫＿^程的信息源第七頁，共五十五頁，2022年，8月28日建?；顒樱韩@取有關(guān)信息源、建立數(shù)學(xué)模型、模型應(yīng)用三類信息源建模目標(biāo)：由系統(tǒng)的研究內(nèi)容決定，如研究系統(tǒng)與外界的相互作用關(guān)系：以輸入輸出為主的系統(tǒng)外部行為模型研究系統(tǒng)的內(nèi)在活動規(guī)律：描述系統(tǒng)輸入/輸出集合，狀態(tài)集合之間關(guān)系的內(nèi)部結(jié)構(gòu)狀態(tài)模型第八頁，共五十五頁，2022年，8月28日先驗知識前人的研究成果：公理、原理、定理及模型等，相關(guān)學(xué)科知識實驗數(shù)據(jù)先驗知識常常是普遍性規(guī)律，實際系統(tǒng)有其特殊性，有時只知道模型結(jié)構(gòu)，其參數(shù)必須通過實驗確定，有時甚至結(jié)構(gòu)也是未知的三者都可以用于模型檢驗，建模過程一般反復(fù)進(jìn)行，直至達(dá)到建模目的

第九頁，共五十五頁，2022年，8月28日建模途徑（主要由信息源決定）演繹法：從一般到特殊運用先驗信息，建立某些假設(shè)和原理通過數(shù)學(xué)的邏輯演繹建立數(shù)學(xué)模型實驗數(shù)據(jù)用來證實或者否定原始的原理

歸納法：從特殊到一般基于實驗數(shù)據(jù)建立數(shù)學(xué)模型

推導(dǎo)與觀測一致的具有普遍性的理論結(jié)果

需要對數(shù)據(jù)進(jìn)行內(nèi)插或外推

第十頁，共五十五頁，2022年，8月28日工程應(yīng)用中多為混合建模方法第十一頁，共五十五頁，2022年，8月28日模型可信性模型的真實程度，取決于模型種類及構(gòu)造過程，與模型的有效性相對應(yīng)在行為水平上的可信性：模型能否重現(xiàn)真實系統(tǒng)的行為在狀態(tài)結(jié)構(gòu)水平上的可信性：模型能否與真實系統(tǒng)在狀態(tài)上相互對應(yīng)，應(yīng)能對未來的行為進(jìn)行唯一的預(yù)測在分解結(jié)構(gòu)水平上的可信性：模型能否表示出真實系統(tǒng)的內(nèi)部的工作情況，而且應(yīng)是唯一的表示第十二頁，共五十五頁，2022年，8月28日可信性的檢驗應(yīng)貫穿在整個建模階段，并且與建模方法相互結(jié)合演繹中的可信性：前提的正確性，前提的其他結(jié)果的檢驗歸納中的可信性：偏差估計，統(tǒng)計方法目的方面的可信性：是否滿足目標(biāo)第十三頁，共五十五頁，2022年，8月28日三、模型的分類常用分類根據(jù)模型的時間集合：連續(xù)時間模型、離散時間模型根據(jù)模型的狀態(tài)變量：連續(xù)變化模型、離散變化模型第十四頁，共五十五頁，2022年，8月28日①真正的連續(xù)系統(tǒng)，對應(yīng)模型一般為常微分和偏微分方程②常稱為采樣系統(tǒng)，對應(yīng)模型為離散時間的偏微分方程和系統(tǒng)動力學(xué)模型③離散事件模型，用流程圖、表等非數(shù)學(xué)模型形式表示④差分方程模型，有限狀態(tài)自動機，馬爾可夫鏈模型第十五頁，共五十五頁，2022年，8月28日數(shù)學(xué)模型一覽表數(shù)學(xué)模型特征方程式隨機模型系統(tǒng)有確定的輸入時，得到的輸出是不確定的隨機方程確定模型確定輸入得到確定的輸出非隨機方程微觀模型系統(tǒng)在局部或瞬時范圍內(nèi)存在規(guī)律微分方程、差分方程宏觀模型系統(tǒng)在全局或一段時間范圍內(nèi)存在規(guī)律聯(lián)立方程、積分方程線性模型系統(tǒng)的輸入輸出滿足齊次性和疊加性線性方程非線性模型系統(tǒng)的輸入輸出不滿足齊次性和疊加性非線性方程第十六頁，共五十五頁，2022年，8月28日數(shù)學(xué)模型特征方程式連續(xù)模型系統(tǒng)的輸入輸出是連續(xù)時間的函數(shù)微分方程等連續(xù)方程離散模型系統(tǒng)的輸入輸出是時間的整標(biāo)函數(shù)差分方程集中參數(shù)模型系統(tǒng)的輸入能立刻到達(dá)系統(tǒng)內(nèi)各點常微分方程等分布參數(shù)模型系統(tǒng)的輸入要經(jīng)過一段時間才能傳播到系統(tǒng)內(nèi)各點偏微分方程定常系統(tǒng)輸出的形狀取決于輸入形狀，與輸入時間無關(guān)常系數(shù)方程時變系統(tǒng)輸出的形狀與輸入的形狀和輸入時間有關(guān)變系數(shù)方程非存儲系統(tǒng)輸出僅與同時刻的輸入有關(guān)代數(shù)方程存儲系統(tǒng)某時刻輸出依賴于到該時刻為止的某區(qū)間上的輸入非代數(shù)方程第十七頁，共五十五頁，2022年，8月28日第二節(jié)建模方法學(xué)為方便理解和交流，對建模與仿真的研究報告內(nèi)容也有規(guī)范，一般包括模型和針對模型構(gòu)造的假設(shè)的非形式描述模型結(jié)構(gòu)的形式描述執(zhí)行仿真的程序設(shè)計仿真試驗，仿真結(jié)果分析模型應(yīng)用的范圍與有效性現(xiàn)在的模型與過去的和將來的模型的關(guān)系第十八頁，共五十五頁，2022年，8月28日模型的非形式描述，采用文字圖表方式，用來說明系統(tǒng)的本質(zhì)，但不是詳盡描述，是與讀者直觀建立聯(lián)系的最自然而有效的方法，主要由模型的實體、包括參變量的描述變量、實體間的相互關(guān)系以及有必要闡釋的假設(shè)等組成，是基礎(chǔ)性的工作模型結(jié)構(gòu)形式描述，采用數(shù)學(xué)或者其它明確的形式，可以了解系統(tǒng)內(nèi)在、本質(zhì)的運動規(guī)律，便于同行交流第十九頁，共五十五頁，2022年，8月28日一、模型的非形式描述實體

Com.1著重描述實際系統(tǒng)的概念部分 ┇

Com.m描述變量

Com.1 Var.11 說明每個變量表征符號及其 ┇ 范圍集，并闡述變量的作用

Var.1n ┇第二十頁，共五十五頁，2022年，8月28日 ┇

Com.m Var.m1 ┇ Var.mn PAR Par.1參變量 ┇

Par.m實體相互關(guān)系 描述實體對其它各個實體的影響、作用及聯(lián)系， 即刻畫系統(tǒng)的規(guī)律、內(nèi)部關(guān)系，用規(guī)則、假設(shè) 和定律等作非形式描述第二十一頁，共五十五頁，2022年，8月28日例：環(huán)形羅賓服務(wù)(RoundRobinService)某計算機系統(tǒng)有一臺主機與5個終端用戶組成，主機依次順時針為每一個用戶服務(wù)。輪到某用戶時，傳遞數(shù)據(jù)給主機CPU并等待回答，接收到回答后準(zhǔn)備下一輪數(shù)據(jù)。建模研究用戶如何迅速的完成其程序編制第二十二頁，共五十五頁，2022年，8月28日非形式描述實體CPU,USR1,USR2,USR3,USR4,USR5描述變量CPU：Who.Now——

范圍{1,2,3,4,5}；Who.Now=i表示USRi由CPU服務(wù)USR：Completion.State——

范圍[0,1]；表示USR完成整個程序任務(wù)的比例參變量Xi——

范圍[0,1]；表示USRi每次完成程序的比例實體相互關(guān)系CPU以固定速度依次為用戶服務(wù)，即Who.Now為1,2,3,4,5,1,2,…循環(huán)運行當(dāng)Who.Now=i，CPU完成USRi剩下的Xi工作。假設(shè)：CPU對USR的服務(wù)時間固定，不依賴于USR的程序；USRi的進(jìn)程由各自的參變量Xi決定。第二十三頁，共五十五頁，2022年，8月28日二、模型的形式化表示理論基礎(chǔ)抽象是建立真實世界的現(xiàn)象與數(shù)學(xué)模型間相互關(guān)系的唯一手段理論構(gòu)造：首先定義集合，再建立抽象的復(fù)合集合結(jié)構(gòu)，然后定義函數(shù)關(guān)系具體化：抽象時先簡化，再在簡化的結(jié)構(gòu)中添加細(xì)節(jié)例如：各種物理學(xué)定理在建立時往往經(jīng)過了極度簡化，然后在不同的應(yīng)用背景下，根據(jù)需要再進(jìn)行修正，如理想氣體方程不可能直接應(yīng)用到實際的計算中，但通過修正后的更復(fù)雜的形式則往往有實際的意義第二十四頁，共五十五頁，2022年，8月28日集合論可以作為研究系統(tǒng)的工具，因為建模就是要得到一個被化為抽象集合結(jié)構(gòu)的系統(tǒng)的定義，該集合結(jié)構(gòu)總可以用若干同類結(jié)構(gòu)的合成體替換，從而不斷地使其具體化第二十五頁，共五十五頁，2022年，8月28日數(shù)學(xué)模型的形式化表示一個系統(tǒng)可以被定義為七元組集合結(jié)構(gòu)：S=<T,X,Ω,Q,Y,δ,λ>時間基T：描述時間以及為事件排序的集合。T為整數(shù)集I時，為離散時間系統(tǒng)，為實數(shù)集R時，為連續(xù)時間系統(tǒng)輸入集X：代表系統(tǒng)界面的一部分，外部環(huán)境通過它作用于系統(tǒng)。如通過信息流和物質(zhì)流作用于系統(tǒng)輸入段集Ω：描述某時間間隔內(nèi)系統(tǒng)的輸入模式，是（X,T）的一個子集第二十六頁，共五十五頁，2022年，8月28日內(nèi)部狀態(tài)集Q：表示系統(tǒng)的記憶，影響此后的響應(yīng)，是內(nèi)部結(jié)構(gòu)建模的核心狀態(tài)轉(zhuǎn)移函數(shù)δ：是一個映射δ：Q×Ω→Q，表示任意時刻的內(nèi)部狀態(tài)和從該時刻起的輸入段唯一地決定了段終止時的狀態(tài)輸出集Y：代表界面的一部分，系統(tǒng)通過它作用于環(huán)境輸出函數(shù)λ：映射λ：Q→Y，或者λ：Q×X×T→Y，是多對一的映射由此，得到系統(tǒng)行為的概念：是其內(nèi)部結(jié)構(gòu)的外部表現(xiàn)形式，即在(X,T)×(Y,T)上的關(guān)系第二十七頁，共五十五頁，2022年，8月28日模型的有效性與建模形式化復(fù)制有效、預(yù)測有效和結(jié)構(gòu)有效分別對應(yīng)行為水平、狀態(tài)結(jié)構(gòu)水平和分解結(jié)構(gòu)水平的系統(tǒng)描述

Rs：輸入-輸出關(guān)系行為水平將系統(tǒng)看作黑盒，僅記錄輸入輸出信號需要時間基，基本描述單位是“軌跡”：從一個時間基的區(qū)間到表示可能的觀測結(jié)果的某個集合上的映射系統(tǒng)的“行為描述”是由輸入輸出軌跡對偶構(gòu)成的集合第二十八頁，共五十五頁，2022年，8月28日狀態(tài)結(jié)構(gòu)水平掌握系統(tǒng)內(nèi)部狀態(tài)，總體結(jié)構(gòu)與內(nèi)部工作情況隨時間的推移，該描述可以使模型自動產(chǎn)生一種行為軌跡產(chǎn)生軌跡的基礎(chǔ)是“狀態(tài)集”及“狀態(tài)轉(zhuǎn)移函數(shù)”（計算未來狀態(tài)的規(guī)則）第二十九頁，共五十五頁，2022年，8月28日分解結(jié)構(gòu)水平將系統(tǒng)描述為由許多子系統(tǒng)相互連接起來而構(gòu)成的一個整體每個子系統(tǒng)都給出了一個狀態(tài)結(jié)構(gòu)水平上的描述；并給出各子系統(tǒng)間的耦合描述第三十頁，共五十五頁，2022年，8月28日三、基于計算機的建模方法學(xué)經(jīng)典的建模與仿真面向物理系統(tǒng)按仿真步驟順序進(jìn)行：定義→建?！抡嬗嬎銠C的作用主要是使計算更快速、準(zhǔn)確缺乏對復(fù)雜系統(tǒng)的研究方法系統(tǒng)某部分難以用準(zhǔn)確的數(shù)學(xué)模型表述系統(tǒng)內(nèi)部有多個研究對象，且關(guān)系復(fù)雜，需要考慮模型的綜合利用第三十一頁，共五十五頁，2022年，8月28日軟系統(tǒng)特性復(fù)雜性：內(nèi)部關(guān)系復(fù)雜，系統(tǒng)具有多重性，通常存在病態(tài)結(jié)構(gòu)和定義不可分性：空間、時間上難以分割，難以定義系統(tǒng)的邊界和分隔物低可接受性：無合適的測量技術(shù)或代價太大，難以進(jìn)行實驗研究計算機除能進(jìn)行快速標(biāo)準(zhǔn)的邏輯與算術(shù)運算外，還具有存儲數(shù)據(jù)與信息以及與用戶交互的能力，應(yīng)充分發(fā)揮作用第三十二頁，共五十五頁，2022年，8月28日研究基于計算機的建模理論的目標(biāo)：在交互式計算機的扶助下，使系統(tǒng)建模過程進(jìn)行得更加有效、現(xiàn)實和高速支持建模與仿真的計算機系統(tǒng)的基本功能能對已知事實及已有模型作恰當(dāng)?shù)拇鎯?，即能處理各種局部模型通過人機交互，對局部模型進(jìn)行繼承和綜合利用，形成完整的全局模型第三十三頁，共五十五頁，2022年，8月28日全局性建模的基本思路模型的描述靜態(tài)結(jié)構(gòu)：給出描繪系統(tǒng)現(xiàn)象的方式動態(tài)結(jié)構(gòu)：提供各種現(xiàn)象間變化的情況重視建模信息源存儲先驗信息，根據(jù)建模目標(biāo)，定義實驗框架組合和完整化模型的先驗知識對所有涉及的對象都建立相應(yīng)的庫第三十四頁，共五十五頁，2022年，8月28日模型對象及其信息存儲變量及變量庫變量是描述系統(tǒng)的靜態(tài)結(jié)構(gòu)的基礎(chǔ)，用來表示系統(tǒng)中有用的屬性，具有名字、范圍集、含義與單位一組變量可歸并成一個單獨的組合，用于分清變量定義之間的內(nèi)在依賴性，與基本算子聯(lián)合在一起還可構(gòu)造復(fù)雜的變量變量含義之間的內(nèi)在聯(lián)系稱為語義結(jié)構(gòu)。語義結(jié)構(gòu)可建立起變量間的等效性，并以此導(dǎo)出定義真實系統(tǒng)的整個變量集的結(jié)構(gòu)變量庫的基本形式是作為系統(tǒng)中所有變量的字典模型是通過選擇變量的一個子集形成靜態(tài)結(jié)構(gòu)，加上控制這些變量變化的規(guī)則及其動態(tài)結(jié)構(gòu)而構(gòu)成第三十五頁，共五十五頁，2022年，8月28日實體及實體庫實體是按特定意義組合在一起的變量集的標(biāo)記，其作用是獲取子系統(tǒng)和系統(tǒng)的邊界一個模型總是某個特定實體的一種表示，只能包含從屬于該實體的變量。模型靜態(tài)結(jié)構(gòu)是實體結(jié)構(gòu)的抽取實體庫是變量庫結(jié)構(gòu)過渡到模型結(jié)構(gòu)的第二級結(jié)構(gòu)，其組織原則是實體結(jié)構(gòu)實體結(jié)構(gòu)是組成各種特殊的、綜合的模型和實驗框架的骨架第三十六頁，共五十五頁，2022年，8月28日實驗框架和實驗框架庫實驗框架規(guī)定了實際系統(tǒng)或用它的模型做實驗和進(jìn)行觀察的有限的環(huán)境實驗框架E包括：輸入變量集、輸出變量集；可選：輸入段集，運行控制變量集，運行控制段集，統(tǒng)計或信號處理過程集為達(dá)到建模目標(biāo)，要求實驗框架對模型有可適用性直接可適用性：框架中的變量以模型中相同的名字出現(xiàn)間接可適用性：框架的變量與模型的靜態(tài)結(jié)構(gòu)變量有關(guān)或可從中推導(dǎo)出第三十七頁，共五十五頁，2022年，8月28日模型庫包括實際系統(tǒng)已經(jīng)建立起來的各方面模型可按操作式結(jié)構(gòu)(OperationsStructure)組織模型的組合與分解操作模型的粗化（簡化）與精化（詳細(xì)化）操作各種模型在具有通用性的實驗框架下進(jìn)行比較模型庫是一個可擴充的模型集，應(yīng)能保存以前開發(fā)的模型，且便于自由地應(yīng)用適當(dāng)?shù)墓絹硪?guī)范模型能幫助模型引用實體結(jié)構(gòu)和實驗框架中的內(nèi)容第三十八頁，共五十五頁，2022年，8月28日參數(shù)庫參數(shù)表示現(xiàn)實世界中物體的系統(tǒng)或其子系統(tǒng)的性質(zhì)，但不一定直接與系統(tǒng)有關(guān)參數(shù)是模型規(guī)范中的常數(shù)，要從一類模型中選出一個特殊的模型，必須確定參數(shù)參數(shù)的對應(yīng)是一種關(guān)系，允許將一類模型參數(shù)估計中的經(jīng)驗知識傳遞到另一類模型參數(shù)庫的作用：存儲實際系統(tǒng)的實驗信息（參數(shù)估計）；通過將模型檢驗中得到的估計擴展到有關(guān)的其他模型，增加信息的利用率隨著時間的變化參數(shù)庫存儲并完整化了從實際系統(tǒng)中得到的實驗信息第三十九頁，共五十五頁，2022年，8月28日庫的活動及相互間關(guān)系庫的活動庫名稱活動變量定義與實體連接粗化、提煉、建立語義關(guān)系實體從模型中提取、組合、分解參數(shù)協(xié)調(diào)、建立對應(yīng)關(guān)系、辨識、推廣實驗框架與實體連接、粗化、精煉檢驗?zāi)Ｐ偷倪m用性模型與實體連接、粗化、精煉檢驗框架的有效性第四十頁，共五十五頁，2022年，8月28日不同信息庫之間關(guān)系在應(yīng)用建模支持系統(tǒng)時應(yīng)注意完整性、有效性、一致性第四十一頁，共五十五頁，2022年，8月28日四、解釋結(jié)構(gòu)建?；靖拍顝?fù)雜系統(tǒng)直接建立準(zhǔn)確模型困難，常先定義反映系統(tǒng)內(nèi)部主要特征的結(jié)構(gòu)關(guān)系結(jié)構(gòu)模型：表示實體及其相互間關(guān)系，其建模目標(biāo)應(yīng)明確針對何種關(guān)系實體集合S={s1…sn}，si為實體，R={<x,y>|w(x,y)}表示某種關(guān)系w下各實體間關(guān)系的集合，集合S和定義在S上的關(guān)系R就表示了系統(tǒng)在關(guān)系w下的結(jié)構(gòu)模型第四十二頁，共五十五頁，2022年，8月28日可用有向連接圖或矩陣表示（1，0）表示Si，Sj有無關(guān)系

鄰接矩陣第四十三頁，共五十五頁，2022年，8月28日結(jié)構(gòu)模型特性是一種幾何模型，可用有向連接圖表示以定性分析為主，用來分析實體間關(guān)系可用矩陣形式描述，使定性分析和定量分析相結(jié)合其描述形式處于數(shù)學(xué)模型形式和邏輯分析形式之間，可處理宏觀/微觀、定性/定量的問題可達(dá)矩陣Ar（各節(jié)點之間經(jīng)過一定長度的通路后可到達(dá)的程度）可由鄰接矩陣A計算而得：Ar=(A+I)r，Ar=Ar-1時結(jié)束第四十四頁，共五十五頁，2022年，8月28日結(jié)構(gòu)建模（解釋結(jié)構(gòu)模型法）選擇構(gòu)成系統(tǒng)的要素（實體）建立鄰接矩陣和可達(dá)矩陣(需要注意判斷和刪除回路(不同元素對應(yīng)的矩陣的行、列相同則構(gòu)成回路))層次級別的劃分找出Si的可達(dá)集（Si可到達(dá)的元素集合），前因集（可到達(dá)Si的元素集合），并由此判斷最高一級元素（前因集為自身），刪去之，逐步劃分層次第四十五頁，共五十五頁，2022年，8月28日建立結(jié)構(gòu)模型由層次級別的劃分的結(jié)果，重新排列去除回路后的可達(dá)矩陣按級別從高到底的順序劃出每一級別中的節(jié)點，相同級別的節(jié)點平行放置按新的可達(dá)矩陣連接相鄰兩級跨級的連線若可由已有連線的傳遞性推出，則不畫補充因構(gòu)成回路而被刪掉的元素及連線第四十六頁，共五十五頁，2022年，8月28日第三節(jié)仿真模型的確認(rèn)經(jīng)過抽象并作了一些假定的仿真模型能否替代現(xiàn)實系統(tǒng)？仿真模型的確認(rèn)(VV&A)Verification(驗證)：檢驗?zāi)Ｐ褪欠裾_地實現(xiàn)，即驗證計算機仿真程序的正確性Validation(確認(rèn))：確定仿真模型是否是所研究的現(xiàn)實系統(tǒng)的準(zhǔn)確描述Accreditation(認(rèn)定)：認(rèn)可模型與仿真過程、結(jié)果（學(xué)術(shù)界有爭議）第四十七頁，共五十五頁，2022年，8月28日一、仿真模型的驗證仿真模型的驗證是仿真模型與仿真程序在邏輯結(jié)構(gòu)和數(shù)據(jù)參數(shù)之間的比較過程可通過以下途徑排除仿真程序中的問題用子程序編寫和調(diào)試仿真程序在仿真程序的運行中檢查輸出的合理性（與實際情況比較）仿真程序運行時的跟蹤檢查（主要狀態(tài)量的觀察）——信息量過大，不適用于大系統(tǒng)整個跟蹤，而是跟蹤特定程序段及采用其它軟件質(zhì)量保證方法第四十八頁，共五十五頁，2022年，8月28日二、仿真模型確認(rèn)的“三步法”模型確認(rèn)時應(yīng)注意保證被研究的仿真模型是可供使用的、方便的、費用較低的不應(yīng)追求模型的絕對準(zhǔn)確，而是研究模型逼近實際系統(tǒng)的程度，最重要的是，要使決策人員在利用仿真系統(tǒng)和實際系統(tǒng)實驗時，能夠作出完全相同的決策或選擇。應(yīng)與特定的建模目標(biāo)聯(lián)系，即一個模型對某一目標(biāo)可以被確認(rèn)，而對另一目標(biāo)則可能是無效的。確認(rèn)工作應(yīng)貫穿在整個仿真過程中。模擬模型的確認(rèn)并不是在模型建立以后所作的點綴，建模和確認(rèn)在整個模擬研究過程中必須自始至終協(xié)同地進(jìn)行第四十九頁，共五十五頁，2022年，8月28日尚未有比較完整的理論和方法Naylor和Finger提出的“三步法”模型的專家評估確認(rèn)檢驗?zāi)Ｐ偷募僭O(shè)模型的輸出數(shù)據(jù)與實際數(shù)據(jù)的比較第五十頁，共五十五頁，2022年，8月28日1.模型的專家評估確認(rèn)從直觀考察模型的有效性應(yīng)結(jié)合用戶需求或建模目標(biāo)，并通過實驗分析模型靈敏度等指標(biāo)模型確認(rèn)的每一個步驟是使模型具有較好的外觀合理性。特別是模型的用戶和其他了解所模擬實際系統(tǒng)的人員應(yīng)當(dāng)承認(rèn)模型的直觀合理性在建模和模型執(zhí)