同構模型（isomorphic model）是1990年公布的自動化科學技術名詞。
基本介紹
- 中文名：同構模型
- 外文名：isomorphic model
- 所屬學科：自動化科學技術
- 公布時間：1990年
- 審定機構：全國科學技術名詞審定委員會
公布時間,出處,
同構模型
相關詞條
- 同構模型
同構模型 同構模型（isomorphic model）是1990年公布的自動化科學技術名詞。公布時間 1990年經全國科學技術名詞審定委員會審定發布。出處 《自動化名詞》第一版。
- 模同構
模同構是一種特殊的模同態，假設f是模M到模N的同態，若f時一一的並且是映上的，則f為模M到模N的同構。兩個同構的模，從模的結構來看，它們沒有什麼區別。模同構具有一個性質，即若f為模M到模N的同態，則f的逆映射f^(-1)也是同構。廣義模同構是一種廣義模同態。預備知識 模的同態映射 設M 和M' 均...
- 同構思想
同構思想(idea of isomorphism)是數學的基本思想之一。當著兩個集合在某種意義下同構，則可以把對某個集合的研究，完全地轉化為對另一集合的研究.例如對實數序偶的加法和平面向量的加法而言，序偶集合和向量集合是同構的.因而就加法來說，完全可以把對平面向量的研究轉化為對實數序偶的研究.在數學中最簡單而常用的...
- 同構型系統
同構型(也稱均質型)系統是指系統中每個結點上的資料庫類型都相同，即它們支持相同的數據模型、訪問方法、最佳化策略、並發控制算法，以及相同的命令語言和查詢語言等。通常同構型各結點的數據模型和全局數據模型是相同的。如果在同構型系統中，各結點使用相同的計算機和作業系統，則稱為完全均質型DDBMS，不過，在分散式系...
- 模型同構嵌入
模型同構嵌入(isomorphic embedding of mo -dell)一種特殊的子模型關係.設ail , .是丫的兩個模型，如果存在一個從o到居的一個子模型y'的同構映射h，即h : u-，且省里留，則稱模型召了可以同構嵌人留中，此時也稱男是那的一個同構擴張.例如，令oil=(N，十，0),= (N, " ,1)，其中N為自然數集....
- 非標準算術模型
標準模型(standard model)是指滿足一定條件的模型，在以自然數、有理數、實數、複數等標準的數學結構的研究中，當我們試圖通過公理化，把它們置入一階謂詞演算中以構成一階系統時，就能發現該系統的模型之間結構可以相同也可以不相同。通常把與原來的結構同構的模型稱為標準模型，反之稱為非標準模型。其定義為：令S為...
- 基斯勒-謝拉赫同構定理
Keisler-Shelah iso-morphism theorem)初等等價模型的代數判定定理.設ou},c}是語言獷的模型。則au三劣的充分必要條件是:存在一非空足碼集1及1上的超濾子D，使TTD0?}l- TTD.}.該定理把兩個模型的“初等等價”的模型論概念轉化為其超冪的同構的代數概念，因而有助於模型論問題與代數問題的溝通.
- 同構:群體智慧的創新設計坊
同構：案例研究 工作坊概述 基地分析 區域開發歷史 周邊環境分析 大連礦坑歷史與案例 小野田水泥廠發展 設計思維方法的研究和探索 設計工作坊在大連的工作過程 破冰 T字形特長結構圖 基地調研 實地訪問 5×5頭腦風暴 快速草模型製作 概念演練 設計工作坊在大連的設計進展 設計工作坊在悉尼的工作過程 回顧 視頻腳本 視...
- 序同構
序同構 序同構指偏序集(A,≦)與偏序集(B,≦)序同構,若且唯若，存在一個雙射f : A → B，使得 a ≦b → f(a)≦f(b)且f(a)≦f(b) → a ≦b。序同構的定義 參見詞條：同構、偏序
- 模型論方法
用模型論方法的證明，一般是基於如下事實:若理論T有一個遞歸可枚舉的公理集，並且T是完備的，則理論T是可判定的.而理論T的完備性，很多是通過模型論方法證明的.例如，許多證明都用到了以下定理:若理論T沒有有窮模型，並且存在某個無窮基數a，使T為a範疇的(即T的任何兩個基數為a的模型是同構的)，則T為完備...
- React狀態管理與同構實戰
也許是因為它的組件模型足夠簡單、易於理解；也許是因為它允許開發者把視圖寫在JSX 中；也許是因為它為很多前端工程師帶來了如JSX、V-DOM、Flux、immutable、HOC、Fiber 等新的理念（雖然有些理念不是它創造的）；也許是因為它對同構的支持；也許是因為React Native；也許，因為以上全部。但無論如何，這些理由都不...
- 亨森引理
亨森引理是關於模型同構的一個引理。該引理斷言：對於每個其常量及關係個數少於card⁺(X)（card⁺(X)是card(X)的後繼基數）的一階語言L，若A與B是L的初等價結構，它的定義域與關係是多擴大*X的內實體，並且card(A)=card(B)，則A與B是同構的。後繼基數 (successor cardinal number)後繼基數是基數的一...
- 公理系統
模型也可以用來顯示一個公理在系統中的獨立性。通過構造除去一個特定公理的子系統的正確模型，我們表明該省去的公理是獨立的，若它的正確性不可以從子系統得出。兩個模型被稱為同構，如果它們的元素可以建立一一對應，並且以一種保持它們之間的關係的方式。一個其每個模型都同構於另一個的公理系統稱為範疇式的，而...
- 範疇的
範疇的是模型論的基本概念之一。指理論J的任意兩個模型都是同構的。兩個模型同構，實質上可以看作一個模型。因此，從結構的觀點看，一個理論是範疇的，指的是該理論在同構的意義下，實質上只有一個模型。範疇性通過對形式理論的模型性質的某種規定來刻畫形式理論本身的性質。然而，只要J具有至少一個無限模型，它便...
- 時空型
時空型也名空間型，指空間的兩個結構體之間的同構關係。 時空型決策所指的空間是三度空間，除了肉眼空間，還包括更大的巨觀空間和更小的微觀空間。這樣的三度空間，還在時間線上不斷變換著運動的角度，構成複雜多變的時空模型。根據複雜多變的時空模型進行的決策，是時空型決策。空間型決策 肉眼可見的空間最容易被...
- 範疇性
範疇性(categoricity)是理論的某個基數的模型都同構的一種特性。設L為一可數語言，T是L中的完全理論。如果T恰有一個可數模型(在同構意義下)，則稱T為ω範疇的。概念 範疇性(categoricity)是理論的某個基數的模型都同構的一種特性。設L為一可數語言，T是L中的完全理論。如果T恰有一個可數模型(在同構意義下)，...
- 幾何公理系統
幾何公理系統模型的同構 幾何公理系統模型的同構(isomorphism of geometric axiom system model)指對同一幾何系統不同模型之間的某種關係的描述，設AX表示由若干個公理所組成的一個公理系統，而AX在兩個不同的對象系統Σ和Σ上分別構造了兩個模型M和M(參見“公理系統的模型”)，如果M和M的對象之間能夠建立這樣的一一...
- 初等類
初等類 初等類(elementary class)一個理論的模型組成的模型類.初等類一個理論的模型組成的模型類.設K是語言牙的一族模型(同構的模型只算作一個)，如果存在牙中的一個理論T，使K恰由T的一切模型組成，則稱K為一個初等類.如果存在牙中的一個語句a，使K恰由a的一切模型組成，則稱K為一個基本初等類 ...
- 結構(數學術語)
數學結構間的映射2——同構 考慮兩個線性空間V和W。從V到W的同構映射，就是一個線性映射，或者，如果是從V映射到V，也可以叫做線性變換(將V中的元素E變換為另一個元素F)。是的，線性代數裡的核心概念之一——線性映射，就是兩個代數結構之間同構映射的一個例子。它保持了線性組合的結構(幾何上將直線映射為直線...
- 科學哲學視野中的複雜系統與模擬方法
第2章 模型及模型方法 一從隱喻、類比到科學模型 二科學中的模型 （一）模型的基本概念 （二）模型的基本類型 （三）模型的評價與選擇標準 三模型的認識論本質 （一）同態、同構與模型 （二）關於建模的模型 （三）模型的認識論狀態（status）和本體論承諾：實在論還是工具主義 四模型在科學研究中的作用 （一...
- 互模擬等價
而常用的一個這樣的概念是同構,然而同構的概念又太強,因為同構的結構本質上和形式上都是相同的。於是，人們希望有一個介於同態和同構之間的概念，在這一探索過程中，互模擬等價被引入。定義 模態邏輯中常常把互模擬定義在克里普克模型上。定義 令 M = (W , R, V ) 和 M ′= (W ′, R′,V′)是兩個...
- 嵌入式系統原理、設計與套用
5.3.1同步數據流圖模型 5.3.2同構的同步數據流圖模型 5.3.3無環優先擴展圖模型 5.3.4定時的Petri網和擴展預測/轉換網模型 5.3.5多執行緒圖系統模型 5.3.6圖和Petri網在多處理器系統中的套用 5.4統一建模語言 第6章程式設計和分析 6.1程式分析 6.1.1執行時間的分析與最佳化 6.1.2功耗的分析與最佳化...
- 空間對稱群
例如，有限幾何某些模型的自同構群在一般意思下不是「對稱群」，儘管其亦會保留對稱性。其保留著點集族，而非點集(或「物件」)本身。見pattern groups。如上面所述，空間自同構的群會形成一於其內物件之群作用。對於一給定之幾何空間內的一給定之幾何形狀，考慮如下之等價關係：兩個空間自同構為等價的若且唯若兩...
- 幾何公理體系的基本問題
如歐幾里得幾何公理體系完備性的證明，即由該體系的每一模型都與實數模型同構而得到它的所有模型同構。對任何一個公理體系要求它必須是相容的，最好是獨立的，至於完備性則可根據需要而定。例如，歐幾里得幾何體系是相容的、獨立的並且是完備的，所以歐幾里得幾何有豐富的內容，它刻畫了歐幾里得空間，而絕對幾何體系是不...
- 曲線模空間
我們把所有虧格g的光滑代數曲線--在同構意義下--放在一起構成的集合。該集合形成一個擬代數簇， 我們稱它為虧格g曲線模空間， 記為Μ_g。 一般說來, M_g不具備緊性。因此人們需要將其緊化。 有許多不同的緊化方式， 比如佐武緊化、Mumford緊化等 定義 。背景介紹 模空間的概念可以追溯到黎曼對於黎曼曲面...
- 向量空間格
向量空間格 向量空間格(vector space lattice)組合理論中常用的一種格.它是在可除環K上的n維向量空間V的所有子空間，連同包容關係構成的格，記為V.當n和K確定之後，也就在同構的意義上確定了'CV ，因此亦記此格為n,K.此類格是不可分解的、可補的模格.在組合理論中，常取K為有限域GF 婦·
- 實數公理
此外還有其它完備性，例如作為公理系統所確定的數學對象是否唯一（同構意義上）也稱為完備性，這種意義下，實數也是完備的；還有作為公理系統，其語言（language）中的任何一個句子（sentence）S，這個理論包括且僅包括S或S之逆，也稱為完備性，這種意義下，實數也是完備的。因此在出現“完備”這一說法時要注意通過...
- 組合結構圖
強調收發訊息的對象的結構組織，順序圖和協作圖是同構的，這意味著它們可以互相轉換。活動圖(activity diagram)描述系統元素的活動，是一種特殊的狀態圖，它展現了在系統內從一個活動到另一個活動的流程。活動圖專注於系統的動態視圖，它強調對象間的控制流程，對於系統的功能建模特別重要。用例視圖(use case view)...
- 企業整體創新工程研究
五、同構原理 六、反向原理 七、開放原理 八、可拓原理 九、中介原理 第三章 企業整體創新工程：創新流程 一、企業整體創新工程創新流程概述 二、企業整體創新工程創新流程的層級分析 三、企業整體創新工程的節點基元功能模組分析 四、企業整體創新工程具體創新工作流程分析 第四章 企業整體創新工程：創新管理 一、企業...
