模型驗證是指測定標定後的交通模型對未來數據的預測能力(即可信程度)的過程。根據具體要求和可能,可用的驗證方法有:①靈敏度分析,著重於確保模型預測值不會背離期望值,如相差太大,可判斷應調整前者還是後者,另外還能確保模型與假定條件充分協調。②擬合度分析,類似於模型標定,校核觀測值和預測值的吻合程度。
模型驗證是指測定標定後的交通模型對未來數據的預測能力(即可信程度)的過程。根據具體要求和可能,可用的驗證方法有:①靈敏度分析,著重於確保模型預測值不會背離期望值,如相差太大,可判斷應調整前者還是後者,另外還能確保模型與假定條件充分協調。②擬合度分析,類似於模型標定,校核觀測值和預測值的吻合程度。
模型驗證是指測定標定後的交通模型對未來數據的預測能力(即可信程度)的過程。根據具體要求和可能,可用的驗證方法有:①靈敏度分析,著重於確保模型預測值不會背離期望...
模型檢驗是確定模型的正確性、有效性和可信性的研究與測試過程。一般包括兩個方面:一是驗證所建模型即是建模者構想中的模型;二是驗證所建模型能夠反映真實系統的...
模型檢測(model checking),是一種很重要的自動驗證技術。它最早由Clarke和Emerson以及Quelle和Sifakis在1981年分別提出,主要通過顯式狀態搜尋或隱式不動點計算來驗證...
《仿真模型有效性確認與驗證》是由 國防科技大學出版社出版於1998。... 《仿真模型有效性確認與驗證》是由 國防科技大學出版社出版於1998。書名 仿真模型有效性確認...
驗證性因子分析是對社會調查數據進行的一種統計分析。它測試一個因子與相對應的測度項之間的關係是否符合研究者所設計的理論關係。驗證性因子分析往往通過結構方程建模...
交叉驗證(Cross-validation)主要用於建模套用中,例如PCR、PLS回歸建模中。在給定的建模樣本中,拿出大部分樣本進行建模型,留小部分樣本用剛建立的模型進行預報,並求這...
水質模型驗證是指在對水質模型的結構和參數進行標定後,對水質預測的結果進行驗證。水質模型驗證,通常是利用另一組或幾組獨立的輸入、輸出數據,試驗已標定過的模型,...
所謂形式驗證,是指從數學上完備地證明或驗證電路的實現方案是否確實實現了電路設計所描述的功能。形式驗證方法分為等價性驗證、模型檢驗和定理證明等。...
在機器學習和模式識別等領域中,一般需要將樣本分成獨立的三部分訓練集(train set),校驗集(validation set ) 和測試集(test set)。校驗集是用來做模型選擇(model ...
基於模型的軟體驗證與測試(計算機系列教程)詞條標籤: 文化, 出版物 圖集 基於模型的軟體驗證與測試圖冊 V百科往期回顧 詞條統計 瀏覽次數:次 編輯次數:4次歷史...
在機器學習中,一般將樣本分成獨立的三部分訓練集(train set),驗證集(validation set)和測試集(test set)。其中,測試集用來檢驗最終選擇最優的模型的性能如何。...
統計假設檢驗(Statistical hypothesis test)主要是驗證所選的模型和所解釋的公式,在結構上、形式上、變化方向上是否能代表客觀情況。一般採用最小平方法解模時必須...
協同驗證是在工作流子模型不斷的合成,規模逐漸擴大的過程中,隨時支持著語義驗證,檢驗整個協同過程是否完成了協作者的目標。協同驗證具有二維性,一個維度考慮規模,...
簡易付款驗證是指在電子商務消費過程中由消費者(customer )、商家(mer2chant)和銀行(bank)及所信任的第三方認證機構(CA)之間的信息流、資金流的交易驗證。在電子...
現實性檢驗是檢驗模型與實際一致性的方法。模型驗證的一種手段。這類檢驗可能是顯式的,例如在不同的假定下對模型行為和子模型行為的測試;也可能是隱式的,即基於...
模型檢測是一種用於自動驗證有限狀態並發系統的技術,與基於模擬、測試和演繹推理的傳統技術相比,具有許多方面的優勢。本書共分18章,涵蓋的主要內容包括模型檢測的基本...
動力分析模型(Dynamic analysis model)也叫動力學模型,主要用以航空太空飛行器上的載荷分析或其他動力分布情況的分析。耦合載荷分析是太空飛行器研製過程中的一個重要環節,...
《數字積體電路設計驗證》是2010年科學出版社出版的圖書,作者是李曉維。本書闡述了作者及其科研團隊自主創新的研究成果和結論,對致力於數字積體電路設計驗證方法研究的...
水質模型,是的數學描述。... 水質模型模型驗證 水質模型驗證是指在對水質模型的結構和參數進行標定後,對水質預測的結果進行驗證。水質模型驗證,通常是利用另一組或...
《基於模型的設計:MCU篇》一書採用了先進的產品開發思想一一基於模型設計的方法,並以MATLAB R2010b為軟體平台。讓工程師在可視化的MATLAB統一開發環境中,一邊進行...
尼爾斯·玻爾(Niels Bohr,1885-1962),在盧瑟福模型的基礎上,他提出了電子在核外的量子化軌道,解決了原子結構的穩定性問題,描繪出了完整而令人信服的原子結構學說...
《交直流系統電磁暫態模型研究及仿真驗證》由張民著,以工程套用為目標,結合直流工程設計的實際需要,基於圖論理論和電磁暫態仿真技術,研究了基於:PSCAD/VEMTDC的交...
《信息安全仿真驗證技術》是2015年12月由國防工業出版社出版的圖書,作者是王冬海。... 2.3.4仿真可信度驗證方法202.4信息安全仿真模型212.4.1環境模型21...
20.1IBIS模型定義20.2IBIS發展歷史20.3IBIS模型生成20.4IBIS模型所需數據20.4.1輸出模型20.4.2輸入模型20.4.3其他參數20.5IBIS檔案格式20.6IBIS模型驗證...
《數字積體電路設計驗證:量化評估、激勵生成、形式化驗證》是科學出版社出版的圖書。內容涉及數字積體電路設計驗證的三個主要方面:量化評估、激勵生成和形式化驗證。...
實體屬性值模型(Entity-attribute-value modelEAV)是一種用數據模型描述實體的屬性(屬性,參數),可以用來形容他們潛在巨大,但實際上將適用於給定的實體的數量是相對較...
尼爾斯·玻爾(Niels Bohr,1885-1962),在盧瑟福模型的基礎上,他提出了電子在核外的量子化軌道,解決了原子結構的穩定性問題,描繪出了完整而令人信服的原子結構學說...
CMMI的全稱為Capability Maturity Model Integration,即能力成熟度模型集成。CMMI是CMM模型的最新版本。早期的CMMI(CMMI-SE/SW/IPPD),SEI在部分國家和地區開始推廣和...