模型檢測(model checking),是一種很重要的自動驗證技術。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分別提出,主要通過顯式狀態搜尋或隱式不動點計算來驗證...
模型檢測是一種用於自動驗證有限狀態並發系統的技術,與基於模擬、測試和演繹推理的傳統技術相比,具有許多方面的優勢。本書共分18章,涵蓋的主要內容包括模型檢測的基本...
模型辨識就是在輸入輸出數據的基礎上,從一組給定的模型類中,確定一個與所測系統等價的模型。...
《隨機模型檢測理論與套用》是2014年科學出版社出版的圖書,作者是周從華。...... 《隨機模型檢測理論與套用》是2014年科學出版社出版的圖書,作者是周從華。...
P2DR模型是美國ISS公司提出的動態網路安全體系的代表模型1,也是動態安全模型的雛形。:根據風險分析產生的安全策略描述了系統中哪些資源要得到保護,以及如何實現對它們的...
現實性檢驗是檢驗模型與實際一致性的方法。模型驗證的一種手段。這類檢驗可能是顯式的,例如在不同的假定下對模型行為和子模型行為的測試;也可能是隱式的,即基於...
內容簡介 《面板數據模型的檢驗方法》的主要內容為面板數據模型的相關檢驗方法研究。一方面梳理說明面板數據理論中涉及的檢驗估計方法;另一方面,緊隨國際研究前沿方向,...
模型檢測(model checking)是一種很重要的自動驗證技術。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分別提出,主要通過顯式狀態搜尋或隱式不動點計算來驗證...
輪廓檢測指在包含目標和背景的數字圖像中,忽略背景和目標內部的紋理以及噪聲干擾的影響,採用一定的技術和方法來實現目標輪廓提取的過程。它是目標檢測、形狀分析、目標...
計量經濟模型是用截面數據作為計量經濟學模型的樣本數據,應注意以下幾個問題。一是樣本與母體的一致性問題。計量經濟學模型的參數估計,從數學上講,是用從母體中隨機...
系統辨識是根據系統的輸入輸出時間函式來確定描述系統行為的數學模型。現代控制理論中的一個分支。通過辨識建立數學模型的目的是估計表征系統行為的重要參數,建立一個能...
教學模型是與醫學相關的用於教學上的一些模擬人體某部位的模型。大部分是由PVC材料製成,教學模型形象逼真顯示人體某些部位的功能和特性。在醫學上經常接觸到的教學...
前列腺檢查模型是用於前列腺各種疾病診斷的技能訓練模型,模型形象逼真、解剖感覺真實、前列腺部件更換容易,由進口塑膠材料經不鏽鋼模具澆模工藝製成。...
COX回歸模型,又稱“比例風險回歸模型(proportional hazards model,簡稱Cox模型)”,是由英國統計學家D.R.Cox(1972)年提出的一種半參數回歸模型。該模型以生存結局...
模擬檢驗的步驟包括確定問題、收集資料、制訂模型、建立模型的計算程式、鑑定和證實模型、設計模型試驗、進行模擬操作和分析模擬結果。模擬檢驗的主要作用:能對高度複雜...
機率模型,給定一個用戶的查詢串,相對於該串存在一個包含所有相關文檔的集合。我們把這樣的集合看作是一個理想的結果文檔集,在給出理想結果集後,我們能很容易得到...
所謂形式驗證,是指從數學上完備地證明或驗證電路的實現方案是否確實實現了電路設計所描述的功能。形式驗證方法分為等價性驗證、模型檢驗和定理證明等。...
假設檢定是推論統計中用於檢驗統計假設的一種方法。而“統計假設”是可通過觀察一組隨機變數的模型進行檢驗的科學假說。一旦能估計未知參數,就會希望根據結果對未知的...