模型同構嵌入(isomorphic embedding of mo -dell)一種特殊的子模型關係.設ail , .是丫的兩個模型，如果存在一個從o到居的一個子模型y'的同構映射h，即h : u-，且省里留，則稱模型召了可以同構嵌人留中，此時也稱男是那的一個同構擴張.例如，令oil=(N，十，0),= (N, " ,1)，其中N為自然數集.取映射h,n-2" n=0,1,2, W，並令C= 2,n一0,1,...cN=(C,.，1)，則有h:-，所以召了可以同構嵌人男中.
模型同構嵌入(isomorphic embedding of mo -dell)一種特殊的子模型關係.設ail , .是丫的兩個模型，如果存在一個從o到居的一個子模型y'的同構映射h，即h : u-，且省里留，則稱模型召...
初等嵌入是數學術語。初等嵌入(elementary embedding)模型之間的一種映射.設秘，歷是語言丫的模型，如果存在一個映射h:A-＞B，對驢的任意公式抓xl,xz, "..x‑和對任意的n元組a,a2，二，a‑ E A有au 甲壓,az, w,a,，若且唯若. pha, , hat, ,hand，則稱映射h是從ou到驪的初等嵌人.並稱ou...
模型同構是一個數學術語。描述 模型同構(isomorphism of models)模型論術語.指兩模型間的一種等價關係.語言丫中的模型}l=CA，{r}，}f}，{:})和.}= CB,{、}，fig}，{d})同構(記為甜蘭男)，若且唯若存在一個雙射h:A->B滿足:1.對g中每一n元關係符號R，設它在}}l及男中的解釋各為r及、，則...
4.1 形式語言的解釋與模型 4.2 模型的同構，同態，子模型，擴張，膨脹，歸約 4.3 式子的代入與驗證 4.4 理論，公理，定理和模型的理論 4.5 語言和理論的模型數 4.6 模型的同構嵌入 4.7 模型的初等等價 練習題 第五章 緊緻性定理與LST定理 5.1 從理論構造模型 5.2 緊緻性定理 5.3 緊緻...
《圖的可嵌入性理論(第2版)》在第一版的基礎上修訂再版，主要增添了有關圖在虧格非零曲面上的可嵌入性方面的一批新結果，主要內容包括：多面形與曲面、聯樹模型、圖上的空間、平面上的圖、平面可嵌入性、高斯交叉問題、平面嵌入、縱橫曲面嵌入、格線可嵌入性、嵌入的同構、圖的分解、曲面可嵌入性，曲面上的圖...
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功耗的分析與最佳化...
6.3.4同構的同步數據流圖模型 219 6.3.5無環優先擴展圖模型 220 6.3.6定時的Petri網和擴展預測/轉換網模型 221 6.3.7多執行緒圖系統模型 222 6.3.8圖和Petri網在多處理器系統中的套用 223 第7章嵌入式軟體開發過程中的軟體工程實踐 233 7.1軟體的算法複雜度 234 7.2軟體開發生命周期及其模型 236 7...
傳統的多核處理器和分散式計算機與異構多核處理器在架構和通信機制上存在巨大差別，相應的分散式作業系統也不適用於異構多核處理器，特別是在嵌入式系統領域。 針對嵌入式系統領域，通過異構多核處理器的結構特點，分別在作業系統架構、任務劃分、異構核間的任務分配以及同構核間動態任務調度等幾個關鍵問題方面進行了...
同構模型 同構模型（isomorphic model）是1990年公布的自動化科學技術名詞。公布時間 1990年經全國科學技術名詞審定委員會審定發布。出處 《自動化名詞》第一版。
第四章 可平面圖 第五章 平面性 第六章 高斯交叉問題 第七章 平面嵌入 第八章 縱橫可嵌入性 第九章 格線可嵌入性 第十章 多面形的同構 第十一章 圖的分解 第十二章 曲面可嵌入性 第十三章 極值問題 第十四章 圖和上圖擬陣 第十五章 紐結不變數 參考文獻 名詞索引（漢英）名詞索引 （英漢）
於是，人們希望有一個介於同態和同構之間的概念，在這一探索過程中，互模擬等價被引入。定義 模態邏輯中常常把互模擬定義在克里普克模型上。定義 令 M = (W , R, V ) 和 M ′= (W ′, R′,V′)是兩個克里普克模型 ,令 Z∈W ×W ′是一個非空的二元關係 , 對於任意的 w ∈W , w′∈W ′, ...
FME的英文全拼是Feature Manipulate Engine，是加拿大safe Software公司的產品，簡單說FME就是GIS數據轉換平台，它能夠實現100多種數據格式(模型)的相互轉換.如果從技術層面上說，FME 不再將數據轉換問題看作是從一種格式到另一種格式的變換，而是完全致力於將GIS 要素同構化並向用戶提供組件以使用戶能夠將數據處理為所...
第五節 嵌入與同構 思考題 第二章 命題邏輯 第一節 命題邏輯的句法和語義 第二節 緊緻性定理 第三節 證明 第四節 完全性定理 思考題 第三章 一階邏輯 第一節 一階邏輯的證明和元定理 第二節 算術中的元定理 第三節 一致性和完全性 第四節 完全性定理 第五節 理論的解釋和定義擴充 第六節 緊緻性...
二、 一個動態的制度變遷模型 三、 “再任法官”的遴選和薪酬：實踐中的入額標準和薪酬水平 四、 法官員額制的預期目標：實效檢驗 五、 法官員額制改革的制度困境 六、 一點餘論 附錄：法官調查問卷（三）第九章目標責任制下的法官管理——兼論法院扁平化管理的制度基礎 一、 引子 二、 “嵌入”“條塊”憲制...
二、 一個動態的制度變遷模型 三、 “再任法官”的遴選和薪酬：實踐中的入額標準和薪酬水平 四、 法官員額制的預期目標：實效檢驗 五、 法官員額制改革的制度困境 六、 一點餘論 附錄：法官調查問卷（三）第九章目標責任制下的法官管理——兼論法院扁平化管理的制度基礎 一、 引子 二、 “嵌入”“條塊”憲制...
二、 一個動態的制度變遷模型 三、 “再任法官”的遴選和薪酬：實踐中的入額標準和薪酬 水平 四、 法官員額制的預期目標：實效檢驗 五、 法官員額制改革的制度困境 六、 一點餘論 附錄：法官調查問卷（三）第九章目標責任制下的法官管理 ——兼論法院扁平化管理的制度基礎 一、 引子 二、 “嵌入”“條塊”憲...
實現語義在同構媒體數據近鄰方向上的傳播和異構媒體相似度量；同時根據媒體數據特點，套用局部典型相關性分析及多視圖學習技術等，最佳化特徵選擇，並在語義層面上通過異構媒體相似度量對最佳化特徵進行語義平滑，構建異構媒體的統一表達模型；在此基礎上，結合近鄰相似、數據局部嵌入、語義關聯及檢索實例等，提出媒體數據排序...
1.1.2 圖模型 1.1.3 矩陣與同構 1.1.4 分解和特殊圖 1.1.5 習題 12 路徑、 環和跡 1.2.1 圖的連通 1.2.2 二分圖 1.2.3 歐拉迴路 1.2.4 習題 13 頂點度和計數 1.3.1 計數和雙射 1.3.2 極值問題 1.3.3 圖解序列 1.3.4 習題 14 有向圖 1.4.1 定義和例子 1.4....
分散式格線系統屬於分散式系統按照計算分類的類型之一。與之對應的是分散式集群系統，它是同構的。分散式格線系統結構 分散式格線系統之間是異構的，是因為，在單個計算內部，各個之間的工作是分層次的，形似osi的七層模型，各層之間提供api相互進行鄰層的調用，但是各層內部的構成是地外透明的；格線協定建立在網際網路協定...
建立模型——理論轉化為實踐的媒介 一、創建了基於教師教學系統化設計的“風車模型”（一）引導問題化 （二）問題目標化 （三）目標操作化 （四）操作能力化 （五）能力可視化 二、構建了培養學生會提問的“螺旋模型”（一）教師解構 （二）師生同構 （三）學生自構 三、基於網際網路技術的“循證學習”模型 四、...
1.5.2 社會網路的圖同構 1.5.3 社會網路在計算機中的表示 1.5.4 社會網路的測量指標—igraph的實際操作 1.5.5 社會網路計算實例—學生社會網路計算 1.5.6 社會網路的計算方法與思維 1.5.7 社會網路計算在電子商務中的套用 1.6 社會網路的計算範式 1.7 全書章節安排...
同型論認為，物理現象、生理現象和心理現象都具有同樣的格式塔性質，具有兩兩相對應的關係，因而它們都是同型(Isomorphism)(或稱同構)的現象。按照這一觀點，當人感知到灰色背景上的白色圖形時，他的腦內也會存在與灰色背景和白色圖形相對應的區域，這就是身心同型。“相對應”是理解同型的關鍵，亦即特定的物理...
本項目將側重於圖靈度的整體性質，比如：哪些偏序關係可以嵌入圖靈度的結構中；圖靈度結構中可數理想的Scott階和同構分類；圖靈度結構中可定義函式的性質和關係；遞歸可枚舉圖靈度的性質在圖靈度整體結構性質研究中的套用等等。在可計算性理論以外，圖靈度的整體結構性質和其它數理邏輯分支也有密切聯繫，比如描述集合論。...
本項目研究成果將為CPS系統在同構框架下的建模仿真奠定共性理論基礎，提供關鍵使能技術。結題摘要 作為工業4.0的核心，信息物理融合系統(Cyber-Physical Systems, CPS)是一種計算、通信、控制與物理過程深度融合的複雜工程系統，通過計算資源與物理世界的有機集成，實現了嵌入式計算、網路通信、分散式控制等計算過程與物...
1.1 圖與圖模型 1.2 連通圖 1.3 若干常見的圖類 1.4 多重圖與有向圖 第2章 度 2.1 頂點的度 2.2 正則圖 2.3 度序列 2.4 延伸閱讀：圖與矩陣 2.5 專題探索：不規則圖 第3章 同構圖 3.1 同構的定義 3.2 同構關係 3.3 延伸閱讀：圖與群 3.4 延伸閱讀：重構與可解性 第...
影子世界裡的“雙人舞”——論人機同構模態中主持傳播的核心價值 葉昌前 53 場景理論視域下的網路新詞新語審視 ——基於對00後大學生使用網路流行用語的考察 祝 捷 鐘威虎 61 “機械複製時代的藝術”：從本雅明的廣播實踐理解播客 李峻岭 吳佳妮 72 場域理論視域下主流媒體主持人在社交媒體中的話語轉向 王 媛 ...
富克斯群通過定義是雙曲面的等距同構群的離散子群。 保持定向並作用在雙曲面的上半面上的 Fuchsian 群李群 PSL(2,R) 的離散子群，它是雙曲面的上半面模型的定向保持等距同構的群。富克斯群有時被認為是克萊因群的特殊情況，通過把雙曲面等距的嵌入到三維雙曲空間中並擴張在這個面上的群作用到整個空間。模群是 ...
計算機集群系統之間是同構的。主要採用集群計算。計算機格線系統 計算機格線系統之間是異構的，是因為，在單個計算內部，各個之間的工作是分層次的，形似osi的七層模型，各層之間提供api相互進行鄰層的調用，但是各層內部的構成是地外透明的；格線協定建立在網際網路協定之上，以網際網路協定中的通信、路由、名字解析為基礎。
8.2功率估算模型：從電子表格到功率狀態機145 8.2.1處理器的功耗模型147 8.2.2存儲功耗模型148 8.2.3片上互連的功耗模型148 8.2.4功率模型的嵌入式軟體150 8.2.5功率估算、分析和最佳化工具151 8.2.6標準化和功率格式153 8.3電源管理154 8.3.1管理技術分類155 8.3.2功率的動態監測和散熱管理156 8...
設X是巴拿赫空間，如果任何可分的巴拿赫空間都等距同構於X的某個閉子空間，則X稱為萬有空間，亦稱X具有萬有性。簡介 定義一 萬有空間是一類特殊拓撲空間。設X為拓撲空間，若X具有性質P，並且具有性質P的任意空間都可嵌入X內，則稱X為對於性質P的萬有空間。例如，希爾伯特方體I對於可分可度量化性質是萬有空間...
