【正文】 語(yǔ)言： 每個(gè)語(yǔ)句表示一個(gè)動(dòng)作，臨時(shí)實(shí)體在語(yǔ)句間傳遞，形成仿真模型的邏輯結(jié)構(gòu)。SLAM 仿真語(yǔ)言： 用事件調(diào)度法、進(jìn)程交換法描述臨時(shí)實(shí)體進(jìn)程，臨時(shí)實(shí)體觸發(fā)離散事件發(fā)生、狀態(tài)值變化，狀態(tài)值過(guò)閾值時(shí)刻觸發(fā)事件。SIMAN 仿真語(yǔ)言： 仿真過(guò)程分成：模型處理、試驗(yàn)處理、仿真運(yùn)行、仿真輸出，使建模與仿真試驗(yàn)分離。SIMSCRIPT 仿真語(yǔ)言： 由事件表、時(shí)間推進(jìn)程序控制仿真運(yùn)行。第五節(jié) 面向?qū)ο蟮姆抡嬉?、基本概念?對(duì)象 ：數(shù)據(jù)結(jié)構(gòu)（屬性） + 操作方法（成員函數(shù)）。 對(duì)象是個(gè)程序模塊，作為運(yùn)行的基本實(shí)體。 通過(guò)執(zhí)行成員函數(shù)可改變屬性值。 消息 ：完成信息處理的對(duì)象間的通信機(jī)制。 發(fā)送對(duì)象通過(guò)消息對(duì)接收對(duì)象提出要求， 接收對(duì)象使用消息中提供的參數(shù)執(zhí)行自己的成員函數(shù)， 接收對(duì)象可以返回應(yīng)答信息給發(fā)送對(duì)象，但并非必須！ 對(duì)象類 ：具有某些共同屬性和行為的一類對(duì)象。 對(duì)象類可實(shí)例化成若干個(gè)對(duì)象， 同一類對(duì)象的屬性值可以不同， 方法 （成員函數(shù)）：通過(guò)執(zhí)行成員函數(shù)可改變對(duì)象屬性值。二、基本特征： 封閉性 ：將對(duì)象的屬性 (數(shù)據(jù) )和方法 (使用數(shù)據(jù)的方法 )進(jìn)行包裝。 僅能被同類對(duì)象中的成員函數(shù)直接訪問(wèn)， 不允許其它類對(duì)象的介入。 將對(duì)系統(tǒng)的影響限制在對(duì)象內(nèi)。 繼承性 ：各子類繼承父類的數(shù)據(jù)結(jié)構(gòu)和操作方法，成為共性， 各子類還要增加自己的特性。 改變父對(duì)象會(huì)影響所有子對(duì)象； 改變子對(duì)象不影響其它子對(duì)象和父對(duì)象。 多態(tài)性 ：接收同一消息時(shí)，不同對(duì)象產(chǎn)生不同結(jié)果。 即：用不同對(duì)象可產(chǎn)生不同結(jié)果。 而面向過(guò)程的非多態(tài)情況下，須用條件判斷產(chǎn)生不同結(jié)果。 動(dòng)態(tài)聯(lián)編 ：可在運(yùn)行時(shí)動(dòng)態(tài)改變數(shù)據(jù)結(jié)構(gòu)與操作方法。 三、面向?qū)ο笙到y(tǒng)開(kāi)發(fā)步驟：面向?qū)ο蟮姆治觯?OOA）： 通過(guò)對(duì)象識(shí)別確定類；通過(guò)結(jié)構(gòu)識(shí)別確定類層次結(jié)構(gòu)， 通過(guò)實(shí)例間的映射關(guān)系識(shí)別確定消息關(guān)聯(lián)。 面向?qū)ο蟮脑O(shè)計(jì)（ OOD）： 概要設(shè)計(jì)：定義類及類層次結(jié)構(gòu)中的數(shù)據(jù)結(jié)構(gòu)、外部接口。 （結(jié)構(gòu)設(shè)計(jì)） 詳細(xì)設(shè)計(jì)：確定軟件硬件開(kāi)發(fā)環(huán)境，細(xì)化概要設(shè)計(jì)結(jié)果。 （功能設(shè)計(jì)） 面向?qū)ο蟮某绦蛟O(shè)計(jì)（ OOPD）： 由源代碼實(shí)現(xiàn)詳細(xì)設(shè)計(jì)內(nèi)容。四、面向?qū)ο蟮姆抡妫? 面向?qū)ο蠓抡娴某绦蛘Z(yǔ)言有三類：一般的面向?qū)ο笳Z(yǔ)言（如 C++）； 面向 AI 的面向?qū)ο笳Z(yǔ)言 ；專門(mén)的面向?qū)ο蠓抡嬲Z(yǔ)言和軟件包（如 Smalltalk）； 類 結(jié)構(gòu)設(shè)計(jì)工作： 仿真算法類庫(kù)：匯集了數(shù)值解法；參數(shù)模型類庫(kù)：對(duì)象初態(tài)、仿真設(shè)置參數(shù) (仿真時(shí)間、步長(zhǎng) )；仿真模型類庫(kù)：實(shí)體的仿真基類、作戰(zhàn)環(huán)境仿真基類；實(shí)驗(yàn)框架類庫(kù)：仿真實(shí)驗(yàn)設(shè)計(jì)，即定義實(shí)驗(yàn)條件： 初始化設(shè)置、輸入調(diào)度方案、觀測(cè)變量、終止條件、數(shù)據(jù)收集。第六節(jié) 模型的校核、驗(yàn)證、確認(rèn)（ VVamp。A）校 核 (Verification)： 確定仿真系統(tǒng)是否正確地表達(dá)了開(kāi)發(fā)者的概念。驗(yàn)證 (Validation)： 根據(jù)仿真目的，確定仿真系統(tǒng)代表真實(shí)系統(tǒng)的準(zhǔn)確程度。確認(rèn) (Accreditation)： 官方、專家、用戶根據(jù)應(yīng)用目的接授仿真系統(tǒng)時(shí)， 對(duì)仿真系統(tǒng)進(jìn)行的資格認(rèn)可。VVA 過(guò)程貫穿于建模與仿真的全生命周期，保證模型的可信度。VVA 步驟：確定 VVA 需求： 根據(jù)對(duì) Mamp。S 的需求，確定 VVA 評(píng)估標(biāo)準(zhǔn)。制定 VVA 計(jì)劃： VVA 人員設(shè)計(jì) Mamp。S 的 VVA 計(jì)劃，明確 VVA 參與者的責(zé)任。概念模型校核 ： 校核 概念模型滿足 Mamp。S 需求，（假設(shè)、算法、約束的正確性， 數(shù)據(jù)的有效性，仿真系統(tǒng)性能指標(biāo)是否滿足） 驗(yàn)證仿真系統(tǒng)的可信度，確定模型可接收的標(biāo)準(zhǔn)。仿真系統(tǒng)設(shè)計(jì)校核： 建立仿真系統(tǒng)設(shè)計(jì)與概念模型間的對(duì)應(yīng)關(guān)系，軟硬件考慮。仿真實(shí)現(xiàn)校核： 代碼校核、硬件校核、初始數(shù)據(jù)校核、系統(tǒng)集成校核， 保證仿真實(shí)現(xiàn)的正確性。仿真結(jié)果驗(yàn)證： 仿真結(jié)果與真實(shí)結(jié)果比較， 驗(yàn)證仿真系統(tǒng)與實(shí)際系統(tǒng)的一致程度。評(píng)估仿真系統(tǒng)的可用性，匯總各階段材料， 綜合各階段校核與驗(yàn)證結(jié)果，給出仿真系統(tǒng)確認(rèn)結(jié)論。VVA 的基本原則：相對(duì)正確原則： 建模過(guò)程中須進(jìn)行假設(shè)、簡(jiǎn)化， VVA 的目的是確保仿真系統(tǒng)針對(duì)某個(gè)應(yīng)用目標(biāo)是可用、可信的。有限目標(biāo)原則： 仿真系統(tǒng) VVA 圍繞應(yīng)用目標(biāo)和功能需求進(jìn)行。全生命周期原則： VVA 工作貫穿于仿真系統(tǒng)設(shè)計(jì)、開(kāi)發(fā)、維護(hù)全生命周期，每個(gè)階段都要根據(jù)研究目標(biāo)對(duì)研究?jī)?nèi)容安排 VVA 活動(dòng)，盡旱發(fā)現(xiàn)問(wèn)題。必要不充分原則： 若仿真結(jié)果正確、可接受，則仿真系統(tǒng)可通過(guò) VVA； 反之，仿真系統(tǒng)通過(guò) VVA， 并不表明仿真結(jié)果永遠(yuǎn)正確！ 因 VVA 是針對(duì)仿真系統(tǒng)的應(yīng)用目標(biāo)和需求而制定的。條件性原則： 仿真系統(tǒng)的確認(rèn)是相對(duì)研究目標(biāo)而言的， 對(duì)不同研究目標(biāo)，須對(duì)仿真系統(tǒng)重新評(píng)估。全局性原則： 仿真系統(tǒng)內(nèi)各模塊的正確性，不能保證整個(gè)仿真系統(tǒng)的正確性。 整個(gè)仿真系統(tǒng)的正確性，須對(duì)系統(tǒng)整體進(jìn)行校核、驗(yàn)證。程度性原則： 確認(rèn)結(jié)論說(shuō)明了仿真系統(tǒng)針對(duì)應(yīng)用目標(biāo)的可接受程度。創(chuàng)造性原則： 仿真系統(tǒng)的 VVA 人員運(yùn)用應(yīng)用領(lǐng)域知識(shí)洞察 VVA 設(shè)計(jì)。計(jì)劃與記錄： 良好計(jì)劃是 VVA 成功的開(kāi)始， 記錄是對(duì)過(guò)去 VVA 工作的總結(jié)，又作為今后 VVA 的工作基礎(chǔ)。分析性原則： 對(duì)于無(wú)法通過(guò)測(cè)試來(lái)檢驗(yàn)的問(wèn)題，要充分利用系統(tǒng)分析人員的知識(shí)、經(jīng)驗(yàn)。1相對(duì)獨(dú)立性原則： 要保證對(duì)仿真的 VVA 工作具有一定程度的獨(dú)立性，避免仿真系統(tǒng)開(kāi)發(fā)者干預(yù) VVA 結(jié)果。1數(shù)據(jù)正確性原則： 要保證 VVA 所需數(shù)據(jù)經(jīng)校核、驗(yàn)證、確認(rèn)后，被證明是正確、充分的。數(shù)據(jù)不正確、不合適，會(huì)導(dǎo)致模型、仿真、 VVA 的失敗。VVA 組織：VVA 有關(guān)人員： Mamp。S 開(kāi)發(fā)者、 Mamp。S 用戶、 VV 代理、 A 代理。 由 Mamp。S 用戶指定 Mamp。S 開(kāi)發(fā)者、 A 代理； 由 A 代理指定 VV 代理（或自身兼任）。VVA 工作主要涉及兩類文檔： Mamp。S 的開(kāi)發(fā)文檔、應(yīng)用文檔； VVA 工作文檔（計(jì)劃文檔、階段報(bào)告、正式報(bào)告）。VVA 方法：非形式化方法： 對(duì)建模方法、模型文檔規(guī)范性進(jìn)行人工審查，確定是否滿足用戶利益。靜態(tài)分析方法： 分析源代碼的因果關(guān)系、調(diào)用結(jié)構(gòu)、數(shù)據(jù)流、控制流、狀態(tài)轉(zhuǎn)移、模型接口、用戶接口、語(yǔ)法語(yǔ)義。動(dòng)態(tài)分析方法： 加入跟蹤程序，收集模型運(yùn)行信息，分析模型輸出，評(píng)估模型動(dòng)態(tài)行為。 用舊仿真版本的測(cè)試數(shù)據(jù)對(duì)新仿真版本進(jìn)行測(cè)試。 開(kāi)發(fā)者根據(jù)用戶反饋更新仿真軟件及其文檔。 功能測(cè)試、結(jié)構(gòu)測(cè)試、靈敏度分析。 統(tǒng)計(jì)測(cè)試：在相同輸入下，比較仿真系統(tǒng)輸出與實(shí)際系統(tǒng)輸出的一致性。