集合模型(set model)一類集合論語言模型. 在集合論相容性與獨立性證明中,集合模型通常指域為集合的標準模型.由反射原理,對任何ZFC系統有限條公理而言,一定存在一個...
集合論模型,又叫集理論模型,該模型由Meyer提出,是長時記憶中的語義記憶的一種理論模型,它用要素集合的方式來解釋語義記憶的表征方式。...
笛卡兒模型(Cartesian model)是一種歐氏幾何模型,是一個數學概念。...... 笛卡兒模型(Cartesian model)是一種歐氏幾何模型,是一個數學概念。概念解析全體實數的集合僅...
內模型法(method of inner model)是集合論相對相容性證明的基本方法之一。設Σ1,Σ2為集合論語言中的兩個公式集,M為Σ1的一個模型,若存在公式A(x),使N={...
B模型(B-model)也叫作B擴大。B模型是一種特殊的非標準模型。...... B模型亦稱B擴大,是一種特殊的非標準模型。設K是一個句子集合,T是在K中出現的一切常項所...
模型論(Model theory)是數學的一個學科,模型論的一些重要定理,如緊緻性定理,L-S-T 定理,省略型定理, 插值定理等等,不僅對邏輯,集合論,遞歸論的研究有重要作用...
布爾(Boolean)模型是基於集合論和布爾代數的一種簡單檢索模型。它的特點是查找那些於某個查詢詞返回為“真”的文檔。...
產品模型是指仿照產品的外形、顏色、形狀等等通過特殊的方法做成與實際產品幾乎一樣的模型。產品模型是動態的,它是製造過程中各類實體對象模型的集合,包括物料、中期...
機率模型,給定一個用戶的查詢串,相對於該串存在一個包含所有相關文檔的集合。我們把這樣的集合看作是一個理想的結果文檔集,在給出理想結果集後,我們能很容易得到...
統計模型[stochasticmodel;statisticmodel;probabilitymodel]指以機率論為基礎,採用數學統計方法建立的模型。有些過程無法用理論分析方法導出其模型,但可通過試驗測定數據...
計算機網路是指由通信線路互相連線的許多自主工作的計算機構成的集合體,各個部件之間以何種規則進行通信,就是網路模型研究的問題。網路模型一般是指OSI七層參考模型和...
馬爾可夫模型(Markov Model)是一種統計模型,廣泛套用在語音識別,詞性自動標註,音字轉換,機率文法等各個自然語言處理等套用領域。經過長期發展,尤其是在語音識別中的...
平均模型是採用平均指標的馬爾可夫決策過程。除了折扣指標以外,衡量策略優劣的常用指標還有平均指標,它是指單位時間的平均期望報酬。已經證明:當用來描述馬爾可夫決策過程...
數據模型(Data Model)是數據特徵的抽象。數據(Data)是描述事物的符號記錄,模型(Model)是現實世界的抽象。數據模型從抽象層次上描述了系統的靜態特徵、動態行為和約束...
標準模型假設(standard model hypothesis)一種中間假設.它是美國數學家科恩(Cohen,P.J.)在介紹力迫法時引人的一個命題.在證明集合論外加公理的相容性時,通常以...
三維模型是物體的多邊形表示,通常用計算機或者其它視頻設備進行顯示。顯示的物體可以是現實世界的實體,也可以是虛構的物體。任何物理自然界存在的東西都可以用三維模型...
向量模型認識到布爾模型中的二元權重的局限性,從而提出了一個適合部分匹配的框架。它在查詢串和文檔之間分配給索引術語非二元的權重,這些術語權重反映了資料庫中的...
<t2<…< tn="" )="" 所得到的離散數字組成序列集合x(t1),="" x(t2)...ARIMA模型又稱自回歸求和移動平均模型,當時間序列本身不是平穩的時候,如果它的...
安德森模型是一種哈密頓算符,通常用來描述重費米子。...... 安德森模型是一種哈密頓算符,通常用來描述重費米...頓算符的譜為測量系統總能是所有可能結果的集合。...
公共信息模型(CIM),是一個抽象模型,描述電力企業的所有主要對象,特別是與電力運行有關的對象。它分為CIM 規範(CIM Specification)和CIM 模式(CIM Schema )兩個...
阿羅-德布魯模型是一個關於一般均衡存在性的證明。100多年前,瓦爾拉斯(Leon Walras)提出了一般均衡理論,但他的數學證明有誤,阿羅 (Kenneth Arrow)與德布魯(Gerard...
用動態規劃方法解決決策過程的最最佳化問題所需建立的模型。一般動態規劃模型包括以下幾個組成部分:(1)時間參量集。由於實際的決策過程是隨時間而變化的,所以時間參量...
文檔對象模型(Document Object Model,簡稱DOM),是W3C組織推薦的處理可擴展置標語言的標準編程接口。它是一種與平台和語言無關的應用程式接口(API),它可以動態地...
《水文集合預報概述及模型案例》內容包括水文集合預報的定義、發展史及水文集合預報的實現方法,以及水文集合預報產生的三大核心模組及集合預報的驗證方法與套用。全書分...
模型場景:首先我們需要明白什麼是場景? 在文學作品裡,常常會出現為表示主角的表現而特定的時空。那么這個具體的時空,就是具體的場景了。那裡出現的一些事物的集合,...
一種信息傳播模型,是信息傳播過程的抽象描述。...... 獨立級聯模型的算法[3] 如下:1.初始的活躍節點集合A。2.在t時刻,新近被激活的節點u對它的鄰接節點v產生...
