同構模型(isomorphic model)是1990年公布的自動化科學技術名詞。
基本介紹
- 中文名:同構模型
- 外文名:isomorphic model
- 所屬學科:自動化科學技術
- 公布時間:1990年
- 審定機構:全國科學技術名詞審定委員會
同構模型(isomorphic model)是1990年公布的自動化科學技術名詞。
同構模型 同構模型(isomorphic model)是1990年公布的自動化科學技術名詞。公布時間 1990年經全國科學技術名詞審定委員會審定發布。出處 《自動化名詞》第一版。
同構思想(idea of isomorphism)是數學的基本思想之一。當著兩個集合在某種意義下同構,則可以把對某個集合的研究,完全地轉化為對另一集合的研究.例如對實數序偶的加法和平面向量的加法而言,序偶集合和向量集合是同構的.因而就加法來說...
廣義模同構是一種廣義模同態。預備知識 模的同態映射 設M 和M' 均為R- 模。映射 為一個加法群同態,且滿足 ,那么我們稱映射 為M 到M' 的一個模同態。如果N 為M 的一個子模,那么M 到M/N 的自然映射 為一個M 到...
稱模型 為標準算術模型,其中“+”、“”分別是自然數的加法與乘法,s是後繼函式, ,0是通常的自然數零。顯然 滿足Peano算術公理。其他滿足Peano公理但不與 同構的模型統稱非標準算術模型。背景介紹 在數學中,非歐幾何中就是靠...
(1)LDBMS(Local DBMS),局部站點上的資料庫管理系統,其功能是建立和管理局部資料庫,提供站點自治能力,執行局部套用及全局查詢的子查詢。在同構並同質時,模式和操作都不需要轉換,可直接執行操作,所以其功能被弱化。(2)GDBMS(Global...
對於傳統標準的監督學習算法而言必須知道所有可能的數據輸入,如果缺少其中的某一輸入就會對建立的模型產生偏差,貝葉斯網路的方法反映的是整個資料庫中數據間的機率關係模型,缺少某一數據變數仍然可以建立精確的模型。(3)貝葉斯網路允許學習...
函式模型分為一元函式模型和多元函式模型,其中一元函式模型最為常見。函式模型的計算機擬合方法包括兩種:“Origin軟體法”和“C語言程式法”。Origin軟體法適用於一元函式模型的擬合,C語言程式法適用於一元函式模型和多元函式模型的擬合,這...
幾何公理系統模型的同構 幾何公理系統模型的同構(isomorphism of geometric axiom system model)指對同一幾何系統不同模型之間的某種關係的描述,設AX表示由若干個公理所組成的一個公理系統,而AX在兩個不同的對象系統Σ和Σ上分別構造了...
亨森引理(Henson lemma)是關於模型同構的一個引理,其可判定初等價結構是否同構。簡介 亨森引理是關於模型同構的一個引理。該引理斷言:對於每個其常量及關係個數少於card⁺(X)(card⁺(X)是card(X)的後繼基數)的一階語言L,若...
範疇性(categoricity)是理論的某個基數的模型都同構的一種特性。設L為一可數語言,T是L中的完全理論。如果T恰有一個可數模型(在同構意義下),則稱T為ω範疇的。概念 範疇性(categoricity)是理論的某個基數的模型都同構的一種特性。
如歐幾里得幾何公理體系完備性的證明,即由該體系的每一模型都與實數模型同構而得到它的所有模型同構。對任何一個公理體系要求它必須是相容的,最好是獨立的,至於完備性則可根據需要而定。例如,歐幾里得幾何體系是相容的、獨立的並且是...
初等類(elementary class)一個理論的模型組成的模型類.初等類(elementary class)一個理論的模型組成的模型類.設K是語言牙的一族模型(同構的模型只算作一個),如果存在牙中的一個理論T,使K恰由T的一切模型組成,則稱K為一個初等類....
但無樣本或樣本有限、工況時變、系統模型難以辨識等是採油過程故障診斷實際套用中存在的重要問題。本申請擬以解決上述問題展開基於狀態重構機理的採油過程故障診斷理論與技術研究。包括:建立同構混合模型描述採油過程,既兼顧機理模型對採油過程...
1、空間的有理上同調即是其蘇利文極小模型的上同調;2、 的不可分元素的空間即是 的有理同倫群的對偶;3、有理同調的懷特海德積即是導子d 的“二次部分”的對偶;4、兩空間的有理同倫型相同若且唯若其蘇利文極小模型同構;5...
第2章 模型及模型方法 一從隱喻、類比到科學模型 二科學中的模型 (一)模型的基本概念 (二)模型的基本類型 (三)模型的評價與選擇標準 三模型的認識論本質 (一)同態、同構與模型 (二)關於建模的模型 (三)模型的認識論...