集合模型(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]指以機率論為基礎,採用數學統計方法建立的模型。有些過程無法用理論分析方法導出其模型,但可通過試驗測定數據...
平均模型是採用平均指標的馬爾可夫決策過程。除了折扣指標以外,衡量策略優劣的常用指標還有平均指標,它是指單位時間的平均期望報酬。已經證明:當用來描述馬爾可夫決策過程...
數據模型(Data Model)是數據特徵的抽象。數據(Data)是描述事物的符號記錄,模型(Model)是現實世界的抽象。數據模型從抽象層次上描述了系統的靜態特徵、動態行為和約束...
計算機網路是指由通信線路互相連線的許多自主工作的計算機構成的集合體,各個部件之間以何種規則進行通信,就是網路模型研究的問題。網路模型一般是指OSI七層參考模型和...
標準模型假設(standard model hypothesis)一種中間假設.它是美國數學家科恩(Cohen,P.J.)在介紹力迫法時引人的一個命題.在證明集合論外加公理的相容性時,通常以...
安德森模型是一種哈密頓算符,通常用來描述重費米子。...... 安德森模型是一種哈密頓算符,通常用來描述重費米...頓算符的譜為測量系統總能是所有可能結果的集合。...
STAR模型的經濟學含義是經濟集合體中所有變化主要由不同行為個體變化引起,並非所有個體同時對某個經濟信號做出反映而相互影響。...
實體-聯繫模型(簡稱E-R模型)它提供不受任何DBMS約束的面向用戶的表達方法,在資料庫設計中被廣泛用作數據建模的工具。...
<t2<…< tn="" )="" 所得到的離散數字組成序列集合x(t1),="" x(t2)...ARIMA模型又稱自回歸求和移動平均模型,當時間序列本身不是平穩的時候,如果它的...
網路術語中的參考模型指的是OSI參考模型,由ISO(國際標準化組織)制定的一套普遍適用的規範集合,以使得全球範圍的計算機平台可進行開放式通信。ISO創建了一個有助於...
《合作博弈理論模型(原書第2版)》是2011年7月1日科學出版社出版的圖書,作者是劉小冬。...
事件驅動模型poll 編輯 poll庫是在linux2.1.23中引入的,windows平台不支持poll. poll與select的基本方式相同,都是先創建一個關注事件的描述符的集合,然後再去等待...
公共信息模型(CIM),是一個抽象模型,描述電力企業的所有主要對象,特別是與電力運行有關的對象。它分為CIM 規範(CIM Specification)和CIM 模式(CIM Schema )兩個...
阿羅-德布魯模型是一個關於一般均衡存在性的證明。100多年前,瓦爾拉斯(Leon Walras)提出了一般均衡理論,但他的數學證明有誤,阿羅 (Kenneth Arrow)與德布魯(Gerard...
