模型校驗（model checking）是1990年公布的自動化科學技術名詞。
基本介紹
- 中文名：模型校驗
- 外文名：model checking
- 所屬學科：自動化科學技術
- 公布時間：1990年
公布時間,出處,
公布時間
1990年，經全國科學技術名詞審定委員會審定發布。
出處
《自動化名詞》第一版。
模型校驗
相關詞條
- 模型校驗
模型校驗（model checking）是1990年公布的自動化科學技術名詞。公布時間1990年，經全國科學技術名詞審定委員會審定發布。出處《自動化名詞》第一版。1...
- 衝擊相變巨觀物理模型的校驗新方法
《衝擊相變巨觀物理模型的校驗新方法》是依託中國工程物理研究院流體物理研究所，由陳永濤擔任項目負責人的面上項目。項目摘要 在研青年科學基金巧妙結合正向和逆向載入實驗，系統給出了不同載入壓力下含相變材料的衝擊加卸載歷程及對層裂...
- 供水管網水力模型建模工程實施與管理
7．3 校驗標準數據處理 7．4 模型校驗常用技術手段 7．5 模型校驗常見現象例解 7．6 模型校驗小結 第8章 供水管網水力模型的精度管理 8．1 建立正確的精度觀 8．1．1 模型精度提高的制約因素 8．1．2 合理的精度訴求是正確的...
- 模型實驗
（1）模型實驗作為一種研究手段，可以嚴格控制實驗對象的主要參數而不受外界條件和自然條件的限制，做到結果準確。（2）模型實驗有利於在複雜的實驗過程中突出主要矛盾，便於把握、發現現象的內在聯繫，有時還可用來對原型所得結論進行校驗...
- SPICE器件模型
SPICE器件模型 校驗 不管你決定選擇何種模型和仿真工具，你所使用的方法必須是有效的。至少，模型的準確性、完整性必需得到保證。例如，一個接收器的IBIS模型必需包括Vinl和Vinh的值，驅動器的IBIS模型必需包括Vmeas的值。IBIS模型的數據表...
- 基於圖模型的低密度校驗編碼理論研究
《基於圖模型的低密度校驗編碼理論研究》是依託西安電子科技大學，由王新梅擔任項目負責人的面上項目。中文摘要 本項目擬研究並解決低密度校驗碼最佳軟判決疊代解碼;研究適用於循環圖的疊代置信傳播算法,以及低密度校驗碼和Turbo碼組合編碼...
- 基於CIM模型的跨區域供電範圍搜尋方法及其系統
模型校驗主要包括：各檔案的語法正確性；網路拓撲、參數等正確性；圖形檔案與模型檔案的一致性等。模型校驗的內容可以根據需要自行配置。邊界維護是模型合併中的重要環節，智慧型邊界維護簡化了模型邊界維護的流程。內外網廠站分析是基於人工或...
- 靶向PD1/PD-L1通路的虛擬噬菌體展示模型構建與實驗驗證
PD-L1拮抗肽；進而採用多種特徵與機器學習方法，構建、最佳化靶向PD1/PD-L1通路的計算淘選模型並對多種虛擬肽庫進行篩選；接著通過分子動力學計算及酶聯免疫、石英晶體微天平、表面電漿共振等實驗對虛擬淘選結果進行多重校驗；最終...
- 金融統計與數理金融:方法、模型及套用
1.5.7 模型校驗方法、隱含波動率和波動率微笑33 1.5.8 期權價格與風險中性密度34 1.6 評註與延伸閱讀35 參考文獻35 第2章 單期模型的套利理論37 2.1 定義與預備37 2.2 線性定價測度38 2.3 套利理論的進一步討論41 2...
- 物流系統仿真:從理論到實踐
第4章 仿真結果分析與模型校驗 4.1 仿真結果的瞬態與穩態特徵 4.2 區間估計和置信區間 4.2.1 點估計 4.2.2 區間估計 4.3 終止型仿真結果分析 4.3.1 重複運行法 4.3.2 序貫程式法 4.3.3 穩態仿真中初始條件所引起的...
- 系統辨識的漸進法
系統辨識的漸進法以L.Ljung的漸進理論為基礎，能夠全面解決系統辨識的四個基本問題：實驗設計、模型階的確定、參數估計和模型校驗。漸進法已在國外石油化工工業及其他流程工業有廣泛套用。本項目擬將漸進法向兩個方向擴展：. 1. Errors...
- 嵌入式系統設計的驗證與調試技術
2.6 模型仿真/33 2.6.1 FSM仿真/35 2.6.2 基於MSC的系統模型仿真/39 2.7 基於模型的測試/43 2.8 模型校驗/50 2.8.1 屬性規範/50 2.8.2 校驗過程/63 2.9 SPIN驗證工具/71 2.10 SMV驗證工具/74 2.11 案例分析...
- 正交前向回歸算法
第 k 步，將模型庫中剩餘的模型項與前 k-1 項逐一正交，並計算對應的ERR值，選擇ERR值最大的項作為第 k 項；重複步驟 2 直至模型有足夠強的描述能力；模型校驗。算法優點：OFR 是一種快速算法。當模型結構未知的情況下，備選...
- 基於Revit的BIM設計實務及管理:機電專業
3．1．3 模型完成標準 3．1．4 操作要點 3．2 初步設計階段 3．2．1 工作要點 3．2．2 操作流程 3．2．3 各專業操作步驟及細節 3．2．4 操作要點 3．2．5 模型完成標準 3．2．6 模型校驗內容 3．3 施工圖模型階段 3...
- RGPS
服務需求模型的校驗與驗證(V&V)： S-P-G-R, S-P, S-G, S-R 對於業務開發人員的服務需求模型的V&V需求，採用RGPS需求元模型由下而上的關聯關係，即S-P-G-R進行逐步校驗與驗證，或者對所需的S-P, S-G, S-R模型...
- 現代物流仿真技術
全書共分3篇11章，包括緒論、系統建模與仿真技術、系統建模基礎、離散事件系統建模方法、連續系統建模方法、仿真結果分析與模型校驗、Witness軟體的使用、生產物流管理系統建模和仿真、物流配送中心作業系統建模與仿真、配貨作業系統建模與仿真、...
- 離散系統仿真與最佳化:面向工業工程的套用
全書內同包括系統建模、仿真軟體、模型校驗和確認、輸入數據分析、隨機數和隨機變數生成、仿真輸出分析、基於仿真的系統最佳化方法，以及套用實例分析等。目錄 序 前言 第1章系統仿真概述 1 1系統、模型與系統仿真 1 2為什麼需要系統仿真 1...
- 採用路徑算法和管網簡化的城市內澇近實時模擬
在此基礎上構建了典型區域的SWMM模型，根據經過驗證模型的分析，降雨強度變化比不透水率變化對內澇溢流總體積的影響更大；此外，用內澇事件的最大積水深度進行模型校驗，其模擬精度弱於用積水過程校準的模型，但二者精度差異在可接受範圍內...
- 反艦飛彈武器系統的精度分析及效能評估
4．6．1 仿真模型驗模技術 4．6．2 擾動模型校驗 第5章 機載火控系統模型及目標模型的建立 5．1 機載火控系統模型 5．1．1 火力控制模組 5．1．2 航路規劃模組 5．1．3 飛彈末制導模組 5．2 目標模型 5．2．1 目標艦的...
- maplesim
- 模型框圖直接映射實際物理系統 - 簡單和直觀的模型創建過程加速建模任務 - 由於模型框圖與實際系統示意圖非常相似，所以模型校驗所需時間較少 - 建模元件使用熟悉的圖示 - 連線自動排列產生更清晰的模型框圖 - 分層模型框圖方便模型導航...
- 交叉驗證
用交叉驗證的目的是為了得到可靠穩定的模型。在建立PCR 或PLS 模型時，一個很重要的因素是取多少個主成分的問題。用cross validation 校驗每個主成分下的PRESS值，選擇PRESS值小的主成分數。或PRESS值不再變小時的主成分數。常用的精度...
- 網路學習行為分析及建模
第四節網路學習行為系統概念模型 一、構建策略 二、概念模型圖 第五節概念模型校驗 第五章網路學習行為信息模型 第一節網路學習行為信息模型 一、網路學習行為信息模型構建策略 二、網路學習行為中的行為單元與行為流 三、網路學習行為...
- 工業關鍵系統的形式化方法
第五章航空電子設備的符號模型校驗 5.1前言 5.2 飛行跑道安全監控套用 5.2.1RSM的作用 5.2.2RSM的設計 5.2.3RSM的形式化驗證 5.2.4符號模型校驗結構 5.2.5符號狀態空間生成飽和算法 5.2.6基於飽和算法的模型校驗 5.2.7...
- 管理系統仿真建模及套用
5.2 離散事件仿真模型的時鐘推進機制 5.3 離散事件系統仿真策略 5.4 排隊系統的建模與仿真 5.5 庫存系統的建模與仿真 習題與思考題 第6章 仿真結果分析與模型校驗 6.1 仿真的類別和系統的性能測度 6.2 終止型仿真的結果分析 6...
- 灤河流域水庫群聯合調度及三維仿真
3.3 人類活動影響下流域水循環模型 3.3.1 模型結構 3.3.2 模擬要素 3.3.3 能量過程模擬 3.3.4 水文過程模擬 3.4 人類活動影響下灤河流域水循環機理研究 3.4.1 參數處理 3.4.2 模型校驗 第4章 基於演化算法的洪水預報...
- 神經·模糊·預測控制及其MATLAB實現(第3版)
8.1.4 模型的校驗 （308）8.2 系統模型建立與轉換函式 （308）8.2.1 模型轉換 （309）8.2.2 模型建立 （313）8.3 基於階躍回響模型的控制器設計與仿真函式 （315）8.3.1 輸入/輸出有約束的模型預測控制器設計與仿真 （...
- 機器學習案例實戰
5.5 模型校驗評估 91 5.5.1 二分類算法評估 91 5.5.2 ROC 曲線繪製. 92 5.5.3 決策樹參數最佳化 94 5.5.4 k 折交叉驗證. 95 5.6 工作流的運行.95 5.7 算法性能比較.98 第6章 基於深度神經網路的股票預測...
- 中小河流山洪監測與預警預測技術研究
7.3 模型參數與確定方法 7.3.1 模型參數與參數確定方法 7.3.2 模型的參數識別與地區綜合 7.4 GBHM在山洪預報中的套用 7.4.1 套用流域概況和基礎數據信息處理 7.4.2 模型估算與模型校驗 7.4.3 精度評定與誤差分析 7.5 ...
- 智慧型預測控制及其MATLAB實現
8.1.4 模型的校驗 （275）8.2 系統模型建立與轉換函式 （275）8.2.1 模型轉換 （276）8.2.2 模型建立 （281）8.3 基於階躍回響模型的控制器設計與仿真函式 （282）8.3.1 輸入/輸出有約束的模型預測控制器設計與仿真 （...
